الصفحة 8
الصفحة 8
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Mathematical foundations of computer science 2006 ; 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, held in Stará Lesná, Slovakia in August/September 2006. The 62 revised full papers presented together with the full papers or abstracts of 7 invited talks were carefully reviewed and selected from 174 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry, parallel and distributed computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based systems, and artificial intelligence.
Machine Learning: ECML 2006 ; 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 17th European Conference on Machine Learning, ECML 2006, held in Berlin, Germany in September 2006, jointly with PKDD 2006. The 46 revised full papers and 36 revised short papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 564 papers submitted to both, ECML and PKDD. The papers present a wealth of new results in the area and address all current issues in machine learning.
Machine Learning in Computer Vision
The goal of this book is to address the use of several important machine learning techniques into computer vision applications. An innovative combination of computer vision and machine learning techniques has the promise of advancing the field of computer vision, which contributes to better understanding of complex real-world applications. The effective usage of machine learning technology in real-world computer vision problems requires understanding the domain of application, abstraction of a learning problem from a given computer vision task, and the selection of appropriate representations for the learnable (input) and learned (internal) entities of the system. In this book, we address all these important aspects from a new perspective: that the key element in the current computer revolution is the use of machine learning to capture the variations in visual appearance, rather than having the designer of the model accomplish this. As a bonus, models learned from large datasets are likely to be more robust and more realistic than the brittle all-design models.
Machine Learning and Knowledge Discovery in Databases ; European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II
Constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2008, held in Antwerp, Belgium, in September 2008.The 100 papers presented in two volumes, together with 5 invited talks, were carefully reviewed and selected from 521 submissions. In addition to the regular papers the volume contains 14 abstracts of papers appearing in full version in the Machine Learning Journal and the Knowledge Discovery and Databases Journal of Springer.
Machine Learning and Knowledge Discovery in Databases ; European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I
Constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2008, held in Antwerp, Belgium, in September 2008.The 100 papers presented in two volumes, together with 5 invited talks, were carefully reviewed and selected from 521 submissions. In addition to the regular papers the volume contains 14 abstracts of papers appearing in full version in the Machine Learning Journal and the Knowledge Discovery and Databases Journal of Springer.
Logos of phenomenology and phenomenology of the logos ; Book Two : The Human Condition in-the-Unity-of-Everything-there-is-alive Individuation, Self, Person, Self-determination, Freedom, Necessity
The Human Condition-in-the-unity-of-everything-there-is-alive, under whose aegis the present selection of essays falls, offers the urgently needed new approach to reinvestigating humanness. While recent advances in the neurosciences, genetics and bio-engineering challenge the traditional abstract conception of "human nature", indicating its transformability, thus putting in question the main tenets of traditional philosophical anthropology, in the new perspective of the Human Creative Condition the human individual is seen in its emergence and unfolding within the dynamic networks of the logos of life, and within the evolution of living types.
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Logica Universalis : Towards a General Theory of Logic
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach.
Logica Universalis : Towards a General Theory of Logic
Signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
Logic Programming ; Vol. 4079 ; 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. The 20 revised full papers and 6 application papers presented together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles, were carefully reviewed and selected from 83 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Logic programming ; 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3835 : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Linearity, Symmetry, and Prediction in the Hydrogen Atom
The predictive power of mathematics in quantum phenomena is one of the great intellectual successes of the 20th century. This textbook, aimed at undergraduate or graduate level students (depending on the college or university), concentrates on how to make predictions about the numbers of each kind of basic state of a quantum system from only two ingredients: the symmetry and the linear model of quantum mechanics. This method, involving the mathematical area of representation theory or group theory, combines three core mathematical subjects, namely, linear algebra, analysis and abstract algebra. Wide applications of this method occur in crystallography, atomic structure, classification of manifolds with symmetry, and other areas.
Linear Programming : Foundations and Extensions
Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully written. Specific examples and concrete algorithms precede more abstract topics. Topics are clearly developed with a large number of numerical examples worked out in detail.
Linear Algebraic Monoids
The theory of linear algebraic monoids culminates in a coherent blend of algebraic groups, convex geometry, and semigroup theory. The book discusses all the key topics in detail, including classification, orbit structure, representations, universal constructions, and abstract analogues. An explicit cell decomposition is constructed for the wonderful compactification, as is a universal deformation for any semisimple group. A final chapter summarizes important connections with other areas of algebra and geometry. The book will serve as a solid basis for further research. Open problems are discussed as they arise and many useful exercises are included.
Lie Algebras and Applications
This book, designed for advanced graduate students and post-graduate researchers, provides an introduction to Lie algebras and some of their applications to the spectroscopy of molecules, atoms, nuclei and hadrons. In the first part, a concise exposition is given of the basic concepts of Lie algebras, their representations and their invariants. The second part contains a description of how Lie algebras are used in practice in the treatment of bosonic and fermionic systems. Physical applications considered include rotations and vibrations of molecules (vibron model), collective modes in nuclei (interacting boson model), the atomic shell model, the nuclear shell model, and the quark model of hadrons. One of the key concepts in the application of Lie algebraic methods in physics, that of spectrum generating algebras and their associated dynamic symmetries, is also discussed. The book contains many examples that help to elucidate the abstract algebraic definitions. It provides a summary of many formulas of practical interest, such as the eigenvalues of Casimir operators and the dimensions of the representations of all classical Lie algebras.
Lie Algebras and Algebraic Groups
The theory of Lie algebras and algebraic groups has been an area of active research in the last 50 years. It intervenes in many different areas of mathematics : for example invariant theory, Poisson geometry, harmonic analysis, mathematical physics. The aim of this book is to assemble in a single volume the algebraic aspects of the theory so as to present the foundation of the theory in characteristic zero. Detailed proofs are included and some recent results are discussed in the last chapters. All the prerequisites on commutative algebra and algebraic geometry are included.
Learning and Intelligent Optimization ; 2nd International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems and are organized in topical sections on improving optimization through learning, variable neighborhood search, insect colony optimization, applications, new paradigms, cliques, stochastic optimization, combinatorial optimization, fitness and landscapes, and particle swarm optimization.
