الصفحة 377
الصفحة 377
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
2050 China : Becoming a Great Modern Socialist Country
Arranged and developed around the theme of “2050 China,” it analyzes the factors and advantages of the Chinese road to socialist modernization, explores and summarizes the development goal and the basic logic of the socialist modernization of China, and further shows the general basis of the primary stage of socialism.
18 Unconventional Essays on the Nature of Mathematics
This essays edited by Reuben Hersh contains frank facts and opinions from leading mathematicians, philosophers, sociologists, cognitive scientists, and even an anthropologist. Each essay provides a challenging and thought-provoking look at recent advances in the philosophy of mathematics, demonstrating the possibilities of thinking fresh, sticking close to actual practice, and fearlessly letting go of standard shibboleths.
17th International Conference on Information Technology–New Generations (ITNG 2020)
This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles an annual event on state of the art technologies for digital information and communications. The application of advanced information technology to such domains as astronomy, biology, education, geosciences, security, and healthcare are among the themes explored by the ITNG proceedings. Visionary ideas, theoretical and experimental results, as well as prototypes, designs, and tools that help information flow to end users are of special interest. Specific topics include Machine Learning, Robotics, High Performance Computing, and Innovative Methods of Computing. The conference features keynote speakers; a best student contribution award, poster award, and service award; a technical open panel, and workshops/exhibits from industry, government, and academia.
150 Best New Eco Home Ideas
Features nearly 500 pages of full-color photographs and dozens of inventive and decorative profiles. Architects, designers, and homeowners today looking for comfortable, beautiful dwellings with a minimal carbon footprint will find a cornucopia of ideas in this handsome compendium. A fabulous review of the most forward-thinking eco-friendly house designs being created today, 150 Best New Eco Home Ideas showcases the work of internationally renowned architects and designers who have achieved practical, innovative, and stunning solutions around the globe. From solar paneling and wind energy systems to environmentally-friendly heating and cooling solutions and thermal glazing to trombe walls, 150 Best New Eco Home Ideas covers the latest trends and breakthroughs in eco homes. Inspiring and inventive, this lush sourcebook is essential for architects, designers, interior decorators, and all conscientious homeowners interested in creating warm and inviting homes with only a fraction of the environmental impact of those using conventional methods
14th International Congress for Applied Mineralogy (ICAM2019) ; Belgorod State Technological University named after V. G. Shukhov, 23–27 September 2019, Belgorod, Russia
This proceedings of the 14th International Council for Applied Mineralogy Congress (ICAM) in Belgorod, Russia cover a wide range of topics including applied mineralogy, advanced and construction materials, ore and industrial minerals, mineral exploration, cultural heritage, etc. It includes contributions to geometallurgy, industrial minerals, oil and gas reservoirs as well as stone artifacts and their preservation. The International Congress on Applied Mineralogy strengthens the relation between the research on applied mineralogy and the industry.
13th International Conference on Electrical Bioimpedance and the 8th Conference on Electrical Impedance Tomography2007 ; ICEBI 2007, August 29th - September 2nd 2007, Graz, Austria
These proceedings continue the series edited in the framework of the traditional triennial International Conference on Electrical Bio-Impedance (ICEBI), the most important platform for presenting recent scientific achievements in the area of electrical bio-impedance. The XIII ICEBI was held from Aug. 29th – Sept. 02nd 2007 at the Graz University of Technology in Graz, Austria. As already in previous years the 13th ICEBI was held together with the 8th Conference on Electrical Impedance Tomography, the annual meeting for biomedical impedance imaging. Consequently, the proceedings also contain many contributions from this very important and challenging branch of bioimpedance research.
11th Mediterranean Conference on Medical and Biomedical Engineering and Computing 2007 ; MEDICON 2007, 26-30 June 2007, Ljubljana, Slovenia
Biomedical engineering today is a well-recognized area of research. It brings together bright minds from diverse disciplines ranging from engineering, physics, and computer sciences on one side to biology and medicine on the other side. With valuable assistance of members of the International Advisory Committee and Scientific Program Committee, the co-organizing institutions and societies, our sponsors, and distinguished invited lecturers we will ensure that the research and development presented at MEDICON 2007 plenary meetings, scientific sessions, and workshops will truly be relevant and up-to-date. The MEDICON conferences are international events of high scientific standards with long lasting tradition held every third year in one of the Mediterranean countries under the auspices of the International Federation for Medical and Biological Engineering.
101 rules of thumb for low energy architecture
Sets out the essential elements of low-energy architecture in a fresh, intuitive way. Where ever-changing technology and complex legislation can cloud the designer’s thought-process, this book equips you with the fundamentals you need to minimise CO2 emissions, design for low-energy use and work with, not against, the forces of nature.
100 years of relativity : Space-time structure - Einstein and beyond
Contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century.
100 cases in acute medicine
A succinct summary of the patient's history, examination and initial investigations, including photographs where relevant, is followed by questions on the diagnosis and management of each case. The answer includes a detailed discussion on each topic, with further illustration where appropriate, providing an essential revision aid as well as a practical guide for students and junior doctors. Making clinical decisions and choosing the best course of action is one of the most challenging and difficult parts of training to become a doctor. Fully revised and updated for this second edition, these cases will teach students and junior doctors to recognize important clinical symptoms and signs, and to develop their diagnostic and management skills.
10 Years Southeast European Cooperative Initiative : From Dayton to Brussels
The Southeast European Cooperative Initiative (SECI) was the first international instrument for "peace keeping and peace making". Conceived by the United States with full partnership and participation of the European Union, SECI was a response to the Dayton Agreement. SECI was convinced that sending troops and diplomats did not suffice. It called for a new strategy and approach that would promote economic and social development through regional cooperation. SECI understood that despite their differences, the countries of South East Europe shared many mutual concerns. For the international community, SECI was a prelude to a broader instrument - the Stability Pact for South Eastern Europe, launched in 1999. The approach was a success! This compendium of documents, agreements, analyses and essays gives a glimpse into decision-making processes and results achieved.
(R)Evolution : Organizations and the Dynamics of the Environment
Investigates the possible changes needed for industrial organizations to adapt to and remain competitive in their ever evolving environment. (R)Evolution’s main area of contribution to these very complex issues is embedded in the work’s ambitious attempt to borrow from evolutionary biology and genetics not only metaphors but also concepts and models to be adapted to the management of business organizations. The work provides us with a comprehensive vision of adaptation and variation in the business community, integrating various intellectual inputs which are based on an evolutionary vision of economic behavior. Using an extensive study of the literature in management science, and applying new models and methodologies in numerous case studies, Dekkers draws many insightful conclusions including the claim that companies often evolve slower than generally expected. Furthermore the research calls into question the effectiveness of the common practice of corporate reorganization. Embracing and merging most major contemporary developments in the theories of change into a comprehensive integrated approach, (R)Evolution is an invaluable resource for researchers specializing in the management of technological change.
(IOT) Based street light, energy saving control system
Energy efficiency simply means using less energy to perform the same task. That is, to eliminate energy waste. Reducing energy use limits the number of carbon emissions in the environment, in turn, conserving energy produces a higher quality of life, helping create a healthier planet, or at least helping sustain the resources we already have; and if not now, then when? Hence, the main purpose of our project was to design and implement an energy saving street lights’ system, remotely controlling the lights so they consume the least amounts of energy possible using the modern technology; internet of things.
