الصفحة 43
الصفحة 43
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.
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.
Fundamental approaches to software engineering ; 10th International Conference, FASE 2007 Held as part of the joint European conference on theory and practice of software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software.
Functional Neuroanatomy of Pain
Pain is an unpleasant but very important biological signal for danger. Nociception is necessary for survival and maintaining the integrity of the organism in a potentially hostile environment. Pain is both a sensory experience and a perceptual metaphor for damage and it is activated by noxious stimuli that act on a complex pain sensory apparatus. However, chronic pain having no more a protective role can become a ruining disease itself, termed "neuropathic pain".
Functional Biomaterials : Drug Delivery and Biomedical Applications
Explores in depth a wide range of functional biomaterials-based systems for drug, gene delivery, and biomedical aspects. The chapters cover newer technologies such as polymeric micelle, pH-responsive biomaterials, stimuli-responsive hydrogels, silk fibroin, inorganic biomaterials, synthetic biomaterials, 3D printed biomaterials, metallic biomaterials, ceramic and hybrid biomaterials. It also describes the theranostic approaches for cancer therapy, the biomaterials-based nanofibers scaffolds in tissue engineering, as well as the strategies applications of metallic biomaterials for the medical and dental prosthetic field.
Functional and logic programming ; 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion, the ProgramCommittee selected20 papers(33%)for presentationat theconference.
Functional and logic programming ; 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
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.
Fullerene and Alzheimer disease
Patients have suffered for a long time from Alzheimer's disease. The presence of some obstacles in treatment, which prompted us to talk in this research on one of the modern treatments for this disease, which is fullerene. The focus was in some detail on its structure and characteristics, in addition to its applications. We especially mention its application in the treatment of Alzheimer's. This was a new step in the world of medicine and pharmacy.
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.
Fuel Additives : Chemistry and technology
The book introduces and summarizes refinery operations to an extent that discussions of fuels in the following chapters become easier to understand. Then follow detailed descriptions of problems that occur for reasons of the ways in which liquid petroleum fuels are transported, stored, and used. In these discussions, their applications to jet fuel, heating oils, gasoline, diesel fuels, and bunker fuels are covered.
Fruits and Nuts
Genome Mapping and Molecular Breeding in Plants presents the current status of the elucidation and improvement of plant genomes of economic interest. The focus is on genetic and physical mapping, positioning, cloning, monitoring of desirable genes by molecular breeding and the most recent advances in genomics. The series comprises seven volumes: Cereals and Millets; Oilseeds; Pulses, Sugar and Tuber Crops; Fruits and Nuts; Vegetables; Technical Crops; and Forest Trees. Fruits and nuts form the largest group among crop plants. Several constraints such as long life cycle, heterozygosity and large plant size caused comparatively slow research progress in the past. The chapters on 20 fruit and nut crops authored by 56 renowned scientists from 12 countries include for the first time comprehensive reviews on mango, banana, olive, pineapple, pistachio, persimmon and papaya. Other crops covered are apple, grape, cherry, plum, peach, pear, apricot, strawberry, raspberry, blueberry, almond, citrus and avocado.
Frontiers in Planar Lightwave Circuit Technology : Design, Simulation, and Fabrication
This book is the result of the NATO Advanced Research Workshop on Frontiers in Planar Lightwave Circuit Technology, which took place in Ottawa, Canada from September 21-25, 2004. In this volume the reader will find detailed overviews of experimental and theoretical work in high index contrast waveguide systems, micro-optical resonators, nonlinear optics, and advanced optical simulation methods, as well as articles describing emerging applications of integrated optics for medical and biological applications.
Frontiers in Number Theory, Physics, and Geometry II : On Conformal Field Theories, Discrete Groups and Renormalization
The present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", which took place at the Centrede PhysiquedesHouches in theFrenchAlps, March9- 21,2003. Itisdividedintotwovolumes. VolumeIcontainsthecontributionson three broad topics: Random matrices, Zeta functions and Dynamical systems. The present volume contains sixteen contribution sonthreethemes:Conformal?eld theories for strings and branes, Discrete groups and automorphic forms and?nally, Hopf algebras and renormalization. The relation between Mathematics and Physics has a long history.
Frontiers in Number Theory, Physics, and Geometry I : On Random Matrices, Zeta Functions, and Dynamical Systems
This book presents pedagogical contributions on selected topics relating Number Theory, Theoretical Physics and Geometry. The parts are composed of long self-contained pedagogical lectures followed by shorter contributions on specific subjects organized by theme. Most courses and short contributions go up to the recent developments in the fields; some of them follow their author?s original viewpoints. There are contributions on Random Matrix Theory, Quantum Chaos, Non-commutative Geometry, Zeta functions, and Dynamical Systems. The chapters of this book are extended versions of lectures given at a meeting entitled Number Theory, Physics and Geometry, held at Les Houches in March 2003, which gathered mathematicians and physicists.
Frontiers in Magnetic Materials
Frontiers in Magnetic Materials focuses on the current achievements and state-of-the-art advancements in magnetic materials. Several lines of development- High-Tc Superconductivity, Nanotechnology and refined experimental techniques among them – raised knowledge and interest in magnetic materials remarkably. The book comprises 24 chapters on the most relevant topics written by renowned international experts in the field. It is of central interest to researchers and specialists in Physics and Materials Science, both in academic and industrial research, as well as advanced students.
Frontiers in Computing Technologies for Manufacturing Applications
Frontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent computing in manufacturing. Modeling, data processing, algorithms and computational analysis of difficult problems found in advanced manufacturing are discussed. It is the first book to bring together combinatorial optimization, information systems and fault diagnosis and monitoring in a consistent manner. Techniques are presented in order to aid decision makers needing to consider multiple, conflicting objectives in their decision processes. In particular, the use of metaheuristic optimization techniques for multi-objective problems is discussed. Readers will learn about computational technologies that can improve the performance of manufacturing systems ranging from manufacturing equipment to supply chains.
