Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. Previous symposia were held in Munich, Seattle, Deauville…
The series “Studies in Systems, Decision and Control” (SSDC) covers both new developments and advances, as well as the state of the art, in the various areas of broadly perceived systems, decision making and control- quickly, up to date and with a high quality. The intent is to cover the theory, applications, and perspectives on the state of the art and future developments relevant to s…
The exchange of orbit information is becoming more important in view of the increasing population of objects in space as well as the increase in parties involved in space operations. The aim of this thesis was to investigate how orbit information maintained by a space surveillance system can be provided to its users. Services like collision avoidance require very accurate information, while oth…
Alternative Analytical Method Used in Calculus of Hyper Static Mechanical Systems, in Plotting the Distribution of Shear Force, Bending Moment, Displacements and Rotations of Section Beam
Dental air abrasion is a minimally invasive, ultraconservative method, with indication of choice for incipient fissural caries, which still count for 90% of newly appeared caries and raise diagnosing problems of the lesional stage. In this context, the aim of the paper was to use and assess dental air abrasion as an alternative technique for the preparation of dental structures, both on extract…
Orbital debris is becoming an increasing problem for space flight missions. New satellite launches, explosions, collisions and other events cause a steady rise in the number of objects orbiting the Earth. It is therefore important to determine the future development of the object population, as well as the effectiveness of debris mitigation measures, in long-term simulations. Orbital propagatio…
Alternative Analytical Method Used in Calculus of Hyper Static Mechanical Systems, in Plotting the Distribution of Shear Force, Bending Moment, Displacements and Rotations of Section Beam
Dental air abrasion is a minimally invasive, ultraconservative method, with indication of choice for incipient fissural caries, which still count for 90% of newly appeared caries and raise diagnosing problems of the lesional stage. In this context, the aim of the paper was to use and assess dental air abrasion as an alternative technique for the preparation of dental structures, both on extract…
Agent Based Sensor and Data Fusion in Forest Fire Observer