Page 21
Page 21
Fundamental approaches to software engineering ; Vol. 3922 ; 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Fundamental approaches to software engineering ; 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
Fundamental approaches to software engineering ; 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Fundamental approaches to software engineering ; 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.
Fundamental approaches to software engineering ; 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This book cover software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
Fundamental approaches to software engineering ; 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software Engineering, held in Thessaloniki, Greece, in April 2018, the volume contains regular research papers that cover a wide range of topics, such as program and system analysis, model transformations, configuration and synthesis, graph modeling and transformation,software product lines, test selection, as well as learning and inference.
Functionalized Nanoscale Materials, Devices and Systems
The primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and Systems for Chem. -Bio Sensors, Photonics, and Energy Generation and Storage” was to present a contemporary and comprehensive overview of the field of nanostructured materials and devices and its applications in chem. -bio sensors, nanophotonics, and energy generation and storage devices. The study has become one of the most promising disciplines in science and technology, as it aims at the fundamental understanding of new physical, che- cal, and biological properties of systems and the technological advances arising from their exploration. Such systems are intermediate in size, between the isolated atoms and molecules and bulk material, where the unique transitional characteristics between the two can be understood, controlled, and manipulated.
Functional verification coverage measurement and analysis
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure.
Functional Equations and How to Solve Them
This book covers topics in the theory and practice of functional equations. Special emphasis is given to methods for solving functional equations that appear in mathematics contests, such as the Putnam competition and the International Mathematical Olympiad. This book will be of particular interest to university students studying for the Putnam competition, and to high school students working to improve their skills on mathematics competitions at the national and international level. Mathematics educators who train students for these competitions will find a wealth of material for training on functional equations problems.
Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
Fully-depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications addresses the problem of reducing the supply voltage of conventional circuits for ultralow-power operation and explains power-efficient MTCMOS circuit design for FD-SOI devices at a supply voltage of 0.5 V. The topics include the minimum required knowledge of the fabrication of SOI substrates; FD-SOI devices and the latest developments in device and process technologies; and ultralow-voltage circuits, such as digital circuits, analog/RF circuits, and DC-DC converters. Each ultra-low-power technique related to devices and circuits is fully explained using figures to help understanding.
Fuel Cell Electronics Packaging
Today's commercial, medical and military electronics are becoming smaller and smaller. At the same time, these devices are packed with more functions and demand more power. This power requirement is currently met almost exclusively by battery power. A fuel cell is like a battery converting chemical energy directly to electricity. The convergence of fuel cell technology and microelectronics is enabling the new design and manufacturing of fuel cells.Fuel Cell Electronics Packaging presents the latest developments in the technology convergence of microelectronics and fuel cells. Using the well established manufacturing methods used in microelectronics packaging, fuel cells can be further fabricated in smaller sizes with higher energy density, at a faster pace and lower cost.
Frontiers of Fundamental Physics ; Proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004
The Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004, aimed at providing a platform for a wide range of physicists to meet and share thoughts on the latest trends in various, mainly cross-disciplinary research areas. This includes the exploration of frontier lines in High Energy Physics, Theoretical Physics, Gravitation and Cosmology, Astrophysics, Condensed Matter Physics, Fluid Mechanics. Such frontier lines were unified by the use of computers as an, often primary, research instruments, or dealing with issues related to information theory.
Frontiers in civil and hydraulic engineering ; Vol.2 : Proceedings of the 8th International Conference on Architectural, Civil and Hydraulic Engineering (ICACHE 2022), Guangzhou, China, 12–14 August 2022
Focuses on the research of architecture and hydraulic engineering in civil engineering. The proceedings feature the most cutting-edge research directions and achievements related to civil and hydraulic engineering. Subjects in the proceedings including: Engineering Structure Intelligent Building Structural Seismic Resistance Monitoring and Testing Hydraulic Engineering Engineering Facility The works of this proceedings can promote development of civil and hydraulic engineering, resource sharing, flexibility and high efficiency.
Frontiers in civil and hydraulic engineering ; Vol.1 : Proceedings of the 8th International Conference on architectural, civil and hydraulic engineering (ICACHE 2022), Guangzhou, China, 12–14 August 2022
Focuses on the research of architecture and hydraulic engineering in civil engineering. The proceedings feature the most cutting-edge research directions and achievements related to civil and hydraulic engineering. Subjects in the proceedings including: Engineering Structure Intelligent Building Structural Seismic Resistance Monitoring and Testing Hydraulic Engineering Engineering Facility The works of this proceedings can promote development of civil and hydraulic engineering, resource sharing, flexibility and high efficiency.
Frommer's radiology for the dental professional
With a wealth of features that underscore practical application, you will not only learn the proper step-by-step techniques for safe and effective dental imaging, but you’ll also learn how to evaluate and, if applicable, interpret the images. This full-color 10th Edition boasts new content on digital imaging, expanded information on radiation safety and infection control, plus updated new photos of the latest techniques and technology. New chapter summaries and review questions further reinforce your understanding and application skills, and feature boxes help you troubleshoot and prevent common errors. Overall, it’s the ideal radiology introduction for anyone pursuing a successful career in the dental professions!
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.
From parity violation to hadronic structure and more : Refereed and selected contributions from Grenoble, France, June 8-11, 2004
Almost 50 years after the proposal of Lee and Young in 1956 to test the hypothesis of parity violation in weak interactions and the subsequent experimental verification of parity violation by C. S. Wu, parity violation has today become a useful property of weak interactions. This is due to the fact that the focus nowadays has changed: parity violation in weak interactions is no more a topic of investigation but is used as a tool in many different fields ranging from nuclear physics to the search for the hidden extra dimensions requested by string theory. For our first workshop which took place June 5-8, 2002, at the Institut fiir Ke- physik of the Johannes Gutenberg-Universitat Mainz, we concentrated on the in vestigation of the strangeness contribution in the nucleon. This book contains the refereed and selected papers of the second workshop "From Parity Violation to Hadron Structure and more (Part II)", which took place June 8-11, in the Labo- toire de Physique Subatomique et de Cosmologie, in Grenoble. These papers appear in EPJAdirect, the electronic-only part of EPJA, and they are accessible without restrictions. They will also appear in printed form and can be ordered through Springer. The excellent presentations show the dramatic and steady progress in the accuracy of measured parity violating asymmetries over the last few years.
From Object to Experience : The New Culture of Architectural Design
Combines a history of ideas about architectural experience with the latest insights from the fields of neuroscience, cognitive science and evolutionary biology to make a powerful argument about the nature and future of architectural design. Today, the sciences have granted us the tools to help us understand better than ever before the precise ways in which the built environment can affect the building user's individual experience. Through an understanding of these tools, architects should be able to become better designers, prioritizing the experience of space - the emotional and aesthetic responses, and the sense of homeostatic well-being, of those who will occupy any designed environment. In From Object to Experience, Mallgrave goes further, arguing that it should also be possible to build an effective new cultural ethos for architectural practice. Drawing upon a range of humanistic and biological sources, and emphasizing the far-reaching implications of new neuroscientific discoveries and models, this book brings up-to-date insights and theoretical clarity to a position that was once considered revolutionary but is fast becoming accepted in architecture
From model-driven design to resource management for distributed embedded systems ; IFIP TC 10 Working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
Fringe 2005 ; The 5th International Workshop on Automatic Processing of Finge Patterns
In 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were the focus of discussion, while in 1997 new approaches in multi-sensor metrology, active measu- ment strategies and hybrid processing technologies played a central role.
