الصفحة 18
الصفحة 18
Fracture Mechanics : Inverse Problems and Solutions
This book presents, in a unified manner, a variety of topics in Continuum and Fracture Mechanics: energy methods, conservation laws, mathematical methods to solve two-dimensional and three-dimensional crack problems.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Fractional calculus—theory and applications
Fractional calculus has led to tremendous progress in various areas of science and mathematics. New definitions of fractional derivatives and integrals have been uncovered, extending their classical definitions in various ways. Moreover, rigorous analysis of the functional properties of these new definitions has been an active area of research in mathematical analysis. Systems considering differential equations with fractional-order operators have been investigated thoroughly from analytical and numerical points of view, and potential applications have been proposed for use in sciences and in technology. The purpose of this Special Issue is to serve as a specialized forum for the dissemination of recent progress in the theory of fractional calculus and its potential applications.
Foundations of software science and computational structures ; Vol.3441 : 8th International Conference, FOSSACS 2005, Held as part of the joint European conferences on theory and practice of software, ETAPS 2005
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. 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.
Foundations of software science and computational structures ; 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences 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 Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 24th International conference, FOSSACS 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 Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 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 Foundations of Software Science and Computational Structures, FOSSACS 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.
Foundations of software science and computation structures ; 22nd International conference, FOSSACS 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 constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
Foundations of software science and computation structures ; 11th International conference, FOSSACS 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%.Congratulations there foretoall the authorswhomadeittothe fnalprogramme! 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
Foundations of Quantum Theory : From Classical Concepts to Operator Algebras
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory.
Foundations of Quantum Physics
Intended to be used as a textbook for an introductory course in quantum mechanics at the undergraduate level, Foundations of Quantum Physics is also meant to be retained by the student for later use as a reference. The presentation begins with the solution of some basic quantum mechanical problems. The emphasis is on those features of the solutions that are unique to quantum physics. It is only after these aspects of quantum physics are thoroughly discussed that the mathematical formalism of quantum mechanics is presented and related to the previous chapters. Throughout the book, the emphasis is on understanding the concepts and relating them to known phenomena.
Foundations of learning classifier systems
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique combining Genetic Algorithms and Reinforcement Learning. It includes self-contained background chapters on related fields (reinforcement learning and evolutionary computation) tailored for a classifier systems audience and written by acknowledged authorities in their area - as well as a relevant historical original work by John Holland.
Foundations of information and knowledge systems ; 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory.
Forward-backward stochastic differential equations and their applications
This volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations (FBSDEs). Basic techniques such as the method of optimal control, the "Four Step Scheme", and the method of continuation are presented in full. Related topics such as backward stochastic PDEs and many applications of FBSDEs are also discussed in detail. The volume is suitable for readers with basic knowledge of stochastic differential equations, and some exposure to the stochastic control theory and PDEs. It can be used for researchers and/or senior graduate students in the areas of probability, control theory, mathematical finance, and other related fields.
Formal Methods and Software Engineering ; 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Formal Concept Analysis ; 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually analyzing data and kno- edge. The theory itselfstronglyreliesonorder and lattice theory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning , and, over the last years, the range of application shaskept growing. The mainreasonfor this comesfromthe fact that our modern society has turned into an “information” society. After years and years of using computers, companies realized they had stored gigantic amounts of data.
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
Forest Inventory : Methodology and Applications
This book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. The book is divided into four sections. The first section deals mostly with sampling issues. First, we present the basic sampling designs at a fairly non-technical mathematical level. In addition, we present some more advanced sampling issues often needed in forest inventory. Those include for instance problems with systematic sampling, and methods for sampling vegetation or rare populations. Forest inventory also includes issues that are unique to forestry, like problems in measuring sample plots in the field, or utilising sample tree measurements. These issues include highly sophisticated methodology, but we try to present these also such that forestry students can grasp the ideas behind them. Each method is presented with examples. For foresters who need more details, references are given to more advanced scientific papers and books in the fields of statistics and biometrics.
