الصفحة 7
الصفحة 7
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
Flowing Matter
This book presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena. Flowing matter is a subject at the crossroads between physics, mathematics, chemistry, engineering, biology and earth sciences, and relies on a multidisciplinary approach to describe the emergence of the macroscopic behaviours in a system from the coordinated dynamics of its microscopic constituents. Depending on the microscopic interactions, an assembly of molecules or of mesoscopic particles can flow like a simple Newtonian fluid, deform elastically like a solid or behave in a complex manner. When the internal constituents are active, as for biological entities, one generally observes complex large-scale collective motions. Phenomenology is further complicated by the invariable tendency of fluids to display chaos at the large scales or when stirred strongly enough. This volume presents several research topics that address these phenomena encompassing the traditional micro-, meso-, and macro-scales descriptions, and contributes to our understanding of the fundamentals of flowing matter.
FitBuddy : An artificial intelligence powered personal trainer
FitBuddy App is a sports application that employs artificial intelligence in its job as a personal trainer that enables users to exercise anywhere with convenience, tremendous benefit, and high accuracy. The user can exercise with or without weights, in addition to cycling and running. The user must first provide the application with the personal data it has asked for in order to create an appropriate sports program for the user. After that, the user may explore the sports program's weeks and day's sections.
Field and Service Robotics ; Vol. 24 : Recent Advances in Research and Applications
This unique collection is the post-conference proceedings of the 4th FSR in Lake Yamanaka, Japan at July 2003. This book edited by Shin’ichi Yuta, Hajime Asama, Sebastian Thrun, Erwin Prassler and Takashi Tsubouchi is rich by topics and authoritative contributors and presents the current developments and new directions in field and service robotics. The contents of these contributions represent a cross-section of the current state of robotics research from one particular aspect: field and service applications, and how they reflect on the theoretical basis of subsequent developments. Pursuing technologies aimed at realizing skilful, smart, reliable, robust field and service robots is the big challenge running throughout this focused collection.
Field and service robotics : Results of the 6th international conference
This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th - 12th July 2007. The conference provided a forum for researchers, professionals and robot manufacturers to exchange up-to-date technical knowledge and experience. This book offers a collection of a broad range of topics including: Underwater Robots and Systems, Autonomous Navigation for Unmanned Aerial Vehicles, Simultaneous Localization and Mapping, Climbing Robotics, Sensor Fusion.
Fault-Tolerance Techniques for SRAM-Based FPGAs
This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing the model of the problem and the upset effects in the programmable architecture. In the sequence, it shows the main fault tolerance techniques used nowadays to protect integrated circuits against errors. A large set of methods for designing fault tolerance systems in SRAM-based FPGAs is described. Some presented techniques are based on developing a new fault-tolerant architecture with new robustness FPGA elements. Other techniques are based on protecting the high-level hardware description before the synthesis in the FPGA.
Fault Diagnosis and Tolerance in Cryptography ; 3rd International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings
The sophistication of the underlying cryptographic algorithms, the high complexity of the implementations, and the easy access and low cost of cryptographic devices resulted in increased concerns regarding the reliability and security of crypto-devices. The effectiveness of side channel attacks on cryptographic devices, like timing and power-based attacks, has been known for some time. Several recent investigations have demonstrated the need to develop methodologies and techniques for designing robust cryptographic systems (both hardware and software) to protect them against both accidental faults and maliciously injected faults with the purpose of extracting the secret key. This trend has been particularly motivated by the fact that the equipment needed to carry out a successful side channel attack based on fault injection is easily accessible at a relatively low cost (for example, laser beam technology), and that the skills needed to use it are quite common.
Fatty acids
Fatty acid metabolism, including the de novo synthesis, uptake, oxidation, and derivation of fatty acids, plays several important roles at cellular and organ levels. Recent studies have identified characteristic changes in fatty acid metabolism in idiopathic pulmonary fibrosis (IPF) lungs, which implicates its dysregulation in the pathogenesis of this disorder. Here, we review the evidence for how fatty acid metabolism contributes to the development of pulmonary fibrosis, focusing on the profibrotic processes associated with specific types of lung cells, including epithelial cells, macrophages, and fibroblasts. We also summarize the potential therapeutics that target this metabolic pathway in treating IPF.
Fast software encryption ; Vol. 4047 ; 13th international workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored for the last ?ve years by the International Association for Cryptologic Research (IACR), and previous FSE workshops have been held around the world: 1993 Cambridge, UK 1994 Leuven, Belgium 1996 Cambridge, UK 1997 Haifa, Israel 1998 Paris, France 1999 Rome, Italy 2000 New York, USA 2001 Yokohama, Japan 2002 Leuven, Belgium 2003 Lund, Sweden 2004 New Delhi, India 2005 Paris, France The FSE workshop is devoted to research on fast and secure primitives for symmetric cryptography, including the design and analysis of block ciphers, stream ciphers, encryption schemes, analysis and evaluation tools, hash fu- tions, and message authentication codes.
Fallsammlung zum Strafprozessrecht = Case collection on criminal procedure law
The collection of term papers and exams essentially covers the spectrum of questions of criminal procedure law. On the one hand, it enables an exemplary repetition and deepening of the basic knowledge of criminal procedure law, on the other hand, it clearly conveys the formal and content-related requirements to be placed on above-average term papers and exams. The case collection is intended as a supplement to the reading of a textbook aimed at acquiring the knowledge of criminal procedural law necessary for the examination and training in the criminal law trainee station.
Factorization of Matrix and Operator Functions : The State Space Method
The present book deals with factorization problems for matrix and operator functions. The problems originate from, or are motivated by, the theory of non-selfadjoint operators, the theory of matrix polynomials, mathematical systems and control theory, the theory of Riccati equations, inversion of convolution operators, theory of job scheduling in operations research. The book systematically employs a geometric principle of factorization which has its origins in the state space theory of linear input-output systems and in the theory of characteristic operator functions. This principle allows one to deal with different factorizations from one point of view. Covered are canonical factorization, minimal and non-minimal factorizations, pseudo-canonical factorization, and various types of degree one factorization.
Extracting Accountability : Engineers and Corporate Social Responsibility
The growing movement toward corporate social responsibility (CSR) urges corporations to promote the well-being of people and the planet rather than the sole pursuit of profit. In Extracting Accountability, Jessica Smith investigates how the public accountability of corporations emerges from the everyday practices of the engineers who work for them. Focusing on engineers who view social responsibility as central to their profession, she finds the corporate context of their work prompts them to attempt to reconcile competing domains of accountability—to formal guidelines, standards, and policies; to professional ideals; to the public; and to themselves.
Extensionalism : The Revolution in Logic
This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western thought. It shows that the history of logic from Aristotle to Tarski is the history of the gradual undoing of the classic conflation of logic and empirical science. It sets tomorrow’s agenda for philosophers and historians of logic and scientific method by taking as its starting point the mere fact that, curiously, ancient logic is not as formal as current literature presents it. Rather, as Bar-Am explains, modern formal logic became possible only after a series of bold criticisms of the magnificent Aristotelian system. These criticisms begin with David Hume’s declaration that logic does not sanction induction, follow on with Kant’s view of logic as an extremely limited system, and culminating with Booles’ introduction of logic as an extensional system, and Russell’s solution to his own paradox.
Exploring the Cosmic Frontier : Astrophysical Instruments for the 21st Century
On May 18-21, 2004, the Max-Planck-Society’s Harnack-Haus in Dahlem, Berlin hosted the international symposium "Exploring the Cosmic Frontier: Astrophysical Instruments for the 21st Century". contains 70 papers from the meeting and is intended to give a lasting account of a snapshot of an evolving scientific discourse and interaction throughout our field of research.
Exploring Probability in School : Challenges for Teaching and Learning
Exploring Probability in School provides a new perspective into research on the teaching and learning of probability. It creates this perspective by recognizing and analysing the special challenges faced by teachers and learners in contemporary classrooms where probability has recently become a mainstream part of the curriculum from early childhood through high school. The authors of the book discuss the nature of probability, look at the meaning of probabilistic literacy, and examine student access to powerful ideas in probability during the elementary, middle, and high school years. Moreover, they assemble and analyse research-based pedagogical knowledge for teachers that can enhance the learning of probability throughout these school years.
Experimental and Efficient Algorithms ; 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings
This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient and Experimental Al- rithms (WEA 2005), that was held May 10–13, on Santorini Island, Greece. The WEA events are intended to be an international forum for research on the design, analysis and especially the experimental implementation, evaluation and engineering of algorithms, as well as on combinatorial optimization and its applications. The?rstthreeworkshopsinthisserieswereheldinRiga(2001),MonteVerita (2003) and Rio de Janeiro (2004). Thisvolumecontains3invitedpapersrelatedtocorrespondingkeynotetalks.
Evolutionary Algorithms for Solving Multi-Objective Problems
This book for Solving Multi-Objective Problems, significantly augmented with contemporary knowledge and adapted for the classroom. All the various features of multi-objective evolutionary algorithms (MOEAs) are presented in an innovative and student-friendly fashion, incorporating state-of-the-art research results. The diversity of serial and parallel MOEA structures are given, evaluated and compared. The book provides detailed insight into the application of MOEA techniques to an array of practical problems. The assortment of test suites are discussed along with the variety of appropriate metrics and relevant statistical performance techniques.
Evaluation of Multilingual and Multi-modal Information Retrieval ; 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers
This book covers Multilingual Textual Document Retrieval, Domain-Specifig Information Retrieval, i-CLEF, QA@CLEF, ImageCLEF, CLSR, WebCLEF and GeoCLEF.
Estrogen Effects in Psychiatric Disorders
A number of studies, mostly focusing on estrogen replacement therapy in women, have reported beneficial actions of these hormones on various neurobiological and neuropathological parameters in health and disease. Recent research has focused on gender differences and there is increasing evidence that estrogens exert protective effects in schizophrenia. Hormonal fluctuations or lack of estrogen may increase the risk of depression among vulnerable women. Treatment of depression with estrogen may stabilize and restore disrupted homeostasis – as during post-partum, premenstrual, or perimenopausal conditions – and act as a psychomodulator to offset vulnerability to dysphoric mood when estrogen levels are significantly decreased, as in the case of postmenopausal women. Studies on the effect of estrogens on Alzheimer’s Disease are still rather controversial, they do, however, facilitate the hypothesis that estrogens may have a modifying effect on the onset and course of AD, at least in subgroups of patients.
