الصفحة 39
الصفحة 39
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.
Functions of a-Bounded Type in the Half-Plane
This is a unique book related to the theory of functions of a-bounded type in the half-plane of the complex plane, which is constructed by application of the Liouville integro-differential operator. In addition, the book contains improvements of several results such as the Phragmen-Lindelof Principle and Nevanlinna Factorization in the Half-Plane, and offers a new, equivalent definition of the classical Hardy spaces in the half-plane. The last chapter of the book presents an application of the constructed theory as well as M.M.Djrbashian’s theory of Nevanlinna type classes in the disc in the spectral theory of linear operators. This is a solution of a problem repeatedly stated by M.G.Krein and being of special interest for a long time.
Functions de variable réelle : Théorie élémentaire = Real variable functions : Elementary theory
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This Book is the fourth of the treaty; it is devoted to the basics of real analysis. It includes the chapters: Derivatives; Primitive and integral; Elementary functions; Differential equations ; Local study of functions; Generalized Taylorian developments. Euler-Maclaurin summation formula; The gamma function. It also contains historical notes.
Functional Identities
The theory of functional identities (FIs) is a relatively new one - the first results were published at the beginning of the 1990s, and this is the first book on this subject. An FI can be informally described as an identical relation involving arbitrary elements in an associative ring together with arbitrary (unknown) functions. The goal of the general FI theory is to describe these functions, or, when this is not possible, to describe the structure of the ring admitting the FI in question. This abstract theory has turned out to be a powerful tool for solving a variety of problems in ring theory, Lie algebras, Jordan algebras, linear algebra, and operator theory.
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.
Functional Approach to Optimal Experimental Design
The book presents a novel approach for studying optimal experimental designs. The functional approach consists of representing support points of the designs by Taylor series. It is thoroughly explained for many linear and nonlinear regression models popular in practice including polynomial, trigonometrical, rational, and exponential models. Using the tables of coefficients of these series included in the book, a reader can construct optimal designs for specific models by hand. The book is suitable for researchers in statistics and especially in experimental design theory as well as to students and practitioners with a good mathematical background.
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.
Functional Analysis and Evolution Equations : The Günter Lumer Volume
Günter Lumer was an outstanding mathematician whose work has great influence on the research community in mathematical analysis and evolution equations. He was at the origin of the breath-taking development the theory of semigroups saw after the pioneering book of Hille and Phillips of 1957. This volume contains invited contributions presenting the state of the art of these topics and reflecting the broad interests of Günter Lumer.
Function algebras on finite sets : Basic course on many-valued logic and clone theory
Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory.
Fun with algorithms ; 4th International conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held in Castiglioncello, Italy in June 2007.
Fuchsian Reduction : Applications to Geometry, Cosmology, and Mathematical Physics
Fuchsian reduction is a method for representing solutions of nonlinear PDEs near singularities. The technique has multiple applications including soliton theory, Einstein's equations and cosmology, stellar models, laser collapse, conformal geometry and combustion. Developed in the 1990s for semilinear wave equations, Fuchsian reduction research has grown in response to those problems in pure and applied mathematics where numerical computations fail.
FSTTCS 2007 : Foundations of software technology and theoretical computer science; 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science.
FSTTCS 2006 : Foundations of software technology and theoretical computer science ; 26th International Conference, Kolkata, India, December 13-15, 2006, Proceed
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.
FSTTCS 2005 : Foundations of software technology and theoretical computer science ; 25th International conference, Hyderabad, India, December 15-18, 2005, Proceedings
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to excellence shown by the early organizersof the conference. The conference is now organized by IARCS (Indian Association for Researchin Computing Science), and the conference has been the foundation on which the IARCS community has been built. To commemorate the Silver Jubilee of FST&TCS.
FSTTCS 2004 : Foundations of software technology and theoretical computer science ; 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running conference on computer science in India, and is organized under the aegis of the Indian As- ciation for Research in Computing Science, IARCS. Since its inception in 1981, the conference (held annually in the month of December) has helped in nurt- ing and creating an environment for the exchange of ideas amongst the research community in the country, by attracting top scientists around the world to the conference. This volume contains the proceedings of the 24th FSTTCS conf- ence held in December 2004. A strong point of the FSTTCS programmes has been excellent invited talks by eminent computer scientists of international renown.
Frontiers of Optical Spectroscopy ; Investigating Extreme Physical Conditions with Advanced Optical Techniques
Advanced spectroscopic techniques allow the probing of very small systems and very fast phenomena, conditions that can be considered "extreme" at the present status of our experimentation and knowledge. Quantum dots, nanocrystals and single molecules are examples of the former and events on the femtosecond scale examples of the latter. The purpose of this book is to examine the realm of phenomena of such extreme type and the techniques that permit their investigations. Each author has developed a coherent section of the program starting at a somewhat fundamental level and ultimately reaching the frontier of knowledge in the field in a systematic and didactic fashion. The formal lectures are complemented by additional seminars.
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 of Ferroelectricity : A Special Issue of the Journal of Materials Science
The book presents theory, fundamentals and applications of ferroelectricity. It describes the current levels of understanding of various aspects of the subject as presented by authorities in the field. Reviews and research reports cover the spectrum of ferroelectricity. Topics include relaxors, piezoelectrics, microscale and nanoscale studies, polymers and composites, unusual properties, and techniques and devices. The information in this book is intended for physicists, engineers and materials scientists working with ferroelectric materials including ceramics, single crystals, polymers, composites and even some biological materials.
Frontiers of combining systems ; 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
