الصفحة 44
الصفحة 44
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 ; 11th International Conference, FASE 2008, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulationsthereforetoallthe authorswhomadeittothe alprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area،The events that comprise ETAPS address various aspects of the system velopment process,including specifcation, design, implementation, analysis and improvement.
Functional Verification of Programmable Embedded Architectures : A Top-Down Approach
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric.
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 Somatic Symptoms in Children and Adolescents : A Stress-System Approach to Assessment and Treatment
This book sets out the stress-system model for functional somatic symptoms in children and adolescents. The book begins by exploring the initial encounter between the paediatrician, child, and family, moves through the assessment process, including the formulation and the treatment contract, and then describes the various forms of treatment that are designed to settle the child’s dysregulated stress system
Functional Imaging and Modeling of the Heart ; 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007
This book constitutes the refereed proceedings of the 4th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2007, held in Salt Lake City, UT, USA in June 2007.
Functional imaging and modeling of the heart ; 3rd International workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: cardiac imaging, signal and image processing, applied mathematics and physics, biomedical engineering and computer science, cardiology, radi- ogy, biology, and physiology. In the ?rst two editions, the conference received an enthusiastic acceptance by experts of all these communities. FIMH was ori- nally started as a European event and has increasingly attracted more and more people from the US and Asia. This edition of FIMH received the largest number of submissions so far with a result of 47 papers being accepted as either oral presentations or posters. There were a number of submissions from non-EU institutions which con?rms the growing interest in this series of meetings. All papers were reviewed by up to four reviewers. The accepted contributions were organized into 8 oral sessions and 3 poster sessions complemented by a number of invited talks. This year we tried to allocate as many papers as possible as oral presentations to facilitate more active participation and to stimulate multidisciplinary discussions.
Functional Foods
Functional Foods Presenting cutting-edge information on new and emerging food engineering processes, Functional Foods, the second volume in the groundbreaking new series, “Bioprocessing in Food Science,” is an essential reference on the modeling, quality, safety, and technologies associated with food processing operations today.
Functional Data Analysis
This monograph presents many ideas and techniques for such data. Included are expressions in the functional domain of such classics as linear regression, principal components analysis, linear modeling, and canonical correlation analysis, as well as specifically functional techniques such as curve registration and principal differential analysis. Data arising in real applications are used throughout for both motivation and illustration, showing how functional approaches allow us to see new things, especially by exploiting the smoothness of the processes generating the data. The data sets exemplify the wide scope of functional data analysis; they are drawn from growth analysis, meteorology, biomechanics, equine science, economics, and medicine.The book presents novel statistical technology, much of it based on the authors’ own research work, while keeping the mathematical level widely accessible.
Functional approach to nonlinear models of water flow in soils
The mathematical modelling required by these processes revealed from the beg- ning interesting and dificult mathematical problems, so that the attention was redirected to the theoretical mathematical aspects involved. Then, the qualitative results found were used for the explanation of certain behaviours of the physical processes which had made the object of the initial study and for giving answers to the real problems that arise in the soil science practice. In this way the work evidences a perfect topic for an applied mathematical research.
Functional and operatorial statistics
An increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress of technologies which allow us to store more and more information while modern instruments are able to collect data much more effectively due to their increasingly sophisticated design. This evolution directly concerns statisticians, who have to propose new methodologies while taking into account such high-dimensional data (e.g. continuous processes, functional data, etc.). The numerous applications (micro-arrays, paleo-ecological data, radar waveforms, spectrometric curves, speech recognition, continuous time series, 3-D images, etc.) in various fields (biology, econometrics, environmetrics, the food industry, medical sciences, paper industry, etc.) make researching this statistical topic very worthwhile. This book gathers important contributions on the functional and operatorial statistics fields
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.
Full-Chip Nanometer Routing Techniques
From a manufacturability standpoint, nanometer routers must explicitly deal with the ever increasing design complexity, and be capable of adapting to the constraint requirements of timing, signal integrity, process antenna effect, and new interconnect architecture such as X-architecture. In the nanometer era, we must look into new-generation routing technologies that combine high performance and capacity with the integration of congestion, timing, SI prevention, and DFM algorithms as the best means of getting to design closure quickly. In this book, we present a novel multilevel full-chip router, namely mSIGMA for SIGnal-integrity and MAnufacturability optimization. And these routing technologies will ensure faster time-to-market and time-to-profitability
Full of Life : UNESCO Biosphere Reserves - Model Regions for Sustainable Development
UNESCO biosphere reserves are full of life. Here, people put sustainable development into practice: economic, ecological, social and cultural objectives are pursued, conserving precious natural spaces in the process. People are opening up new opportunities for today and are taking responsibility for future generations. What could be more exciting than a look at new ways into the future? The 14 biosphere reserves in Germany are part of a world network of 440 areas in the UNESCO Man and the Biosphere Programme (MAB). Founded in the 1970s to research the relationship between man and the environment, biosphere reserves have been developed into model regions for sustainable development since the 1992 Rio Conference. This publication gives an overview of developments to date and the new direction for the MAB Programme in Germany. The generally valid guidelines for the conservation, care and development of these areas are explained. Various project examples from practice and research bear witness to the living implementation of the Programme in the German UNESCO biosphere reserves.
Fuel Cells : From Fundamentals to Applications
Fuel Cells: Fundamentals to Applications is a concise source of the basic electrochemical principles and engineering aspects involved in the development and commercialization of fuel cells. It describes the applications and techno-economic assessment of fuel cell technologies along with an in-depth discussion of conventional and novel approaches pursued for generating energy. This book is divided into four parts. Parts I and II explain basic and applied electrochemistry relevant to an understanding of fuel cells. Part III covers engineering and technology aspects and Part IV, applications and economics. The first part covers, in detail, the electrode kinetics and electrocatalysis of charge-transfer reactions, and leading electrochemical technologies with focus on relevance to fuel cells. The second part addresses the governing principles of fuel cells, electrocatalysis of fuel cell reactions and experimental techniques pertinent to fuel cell research and development. The third part is devoted to modeling of fuel cell systems and a thorough discussion of fuels, fuel processing and fuel storage, transmission, and distribution. The final part deals with the status of the fuel cell technologies, their applications and economics.
Fuel Cell Technology : Reaching Towards Commercialization
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and formulate them as they relate to the various engineering disciplines.The series deals with a diverse range of materials: ceramics, metals (ferrous and non-ferrous), semiconductors, composites, polymers biomimetics, etc. Each monograph in the series is written by a specialist and demonstrates how enhancements in materials and the processes associated with them can improve performance in the field of engineering in which they are used.
Fruit Manufacturing : Scientific Basis, Engineering Properties, and Deteriorative Reactions of Technological Importance
The fruit processing industry is a major global business. While basic principles of fruit processing have shown only minor changes over the last years, major improvements continually occur. More efficient equipment is capable of converting huge quantities of fruits into pulp, juice, dehydrated, frozen and refrigerated products, etc. that make possible the preservation of products for year-round consumption. Fruit processing and storage involve physical and chemical changes that negatively modify fruit quality. The industry’s ability to provide a nutritious and healthful fruit product to the consumer is highly dependent on the knowledge of the quality modifications that occur during the processing.
Frontiers of high performance computing and networking – ISPA 2007 workshops ; ISPA 2007 International workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007, held in Niagara Falls, Canada in August 2007.
Frontiers of high performance computing and networking – ISPA 2006 workshops ; ISPA 2006 International workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings
This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in December 2006 (see LNCS 4330). Topics addressed are frontiers of high performance computing and networking (FHPCN 2006), XEN in HPC cluster and grid computing environments (XHPC 2006), semantic grid applications in computing and engineering (S-GRACE 2006), fertilization of grid computing and geographic information system (GridGIS 2006), high performance computing in genomic proteomic and transcriptomic (HPC-GTP 2006), parallel and distributed computing in engineering (PDCE 2006), parallel and distributed multimedia computing (ParDMCom 2006), middleware performance (WOMP 2006), information security and digital forensics (ISDF 2006), and ubiquitous processing for wireless networks (UPWN 2006).
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection purposes. However, lot quality is usually measured on the basis of two criteria for such products: the proportion of nonc- forming packages in the lot and the lot mean quantity.
