الصفحة 3
الصفحة 3
Mathematical Foundations of Computer Science 2005 ; 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 papers address various aspects in theoretical computer science, ranging from quantum computing, approximation, automata, circuits, scheduling, games, and more.
Machines, Computations, and Universality ; 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings
The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.
Machines, Computations, and Universality ; 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St Petersburg, Russia in September 2004. This book covers a variety of foundational aspects in theoretical computer science such as cellular automata, molecular computing, quantum computing, and formal languages
Machine Learning for Cyber Agents : Attack and Defence
The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services has been improved, and new tools created. On the other, it entails new cyber threats both through evolved attacking capacities and through its own imperfections and vulnerabilities. Moreover, quantum computers are further pushing the boundaries of what is possible, by making machine learning cyber agents faster and smarter.
Machine learning and big data : Concepts, algorithms, tools and applications
Showcase novel use-cases and applications, present empirical research results from user-centered qualitative and quantitative experiments of these new applications, and facilitate a discussion forum to explore the latest trends in big data and machine learning by providing algorithms which can be trained to perform interdisciplinary techniques such as statistics, linear algebra, and optimization and also create automated systems that can sift through large volumes of data at high speed to make predictions or decisions without human intervention
Logical approaches to computational barriers ; 2nd Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, and computational learning. Applications are everywhere, especially, in algebra, analysis and geometry, or data types and programming. This volume, Logical Approaches to Computational Barriers, is the proce- ings of the second in a series of conferences of CiE that was held at the Depa- ment of Computer Science, Swansea University, 30 June - 5 July, 2006.
Logic for Programming, Artificial Intelligence, and Reasoning ; 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Logic and Theory of Algorithms ; 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008.The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.
ISSE 2006 — Securing Electronic Busines Processes : Highlights of the Information Security Solutions Europe 2006 Conference
Presents the most interesting talks given at ISSE 2006 - the forum for the interdisciplinary discussion of how to adequately secure electronic business processes. The topics include: Smart Token and e-ID-Card Developments and their Application - Secure Computing and how it will change the way we trust computers - Risk Management and how to quantify security threats - Awareness raising, Data Protection and how we secure corporate information. Adequate information security is one of the basic requirements of all electronic business processes. It is crucial for effective solutions that the possibilities offered by security technology can be integrated with the commercial requirements of the applications. The reader may expect state-of-the-art: best papers of the Conference ISSE 2006.
Computation and Logic in the Real World ; 3rd Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability in Europe, (CiE) is an informal network working on computability theory including its foundations, technical development, and applications. It performed with discrete or continuous data by all kinds of algorithms, programs, and machines. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Comparative genomics ; Vol.4205 ; RECOMB 2006 International Workshop, RECOMB-CG 2006, Montreal, Canada, September 24-26, 2006, Proceedings
The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative discoveries about genome structure and process to theorems on the complexity of computational problems inspired by genome comparison.
Comparative genomics ; Vol. 3678 : RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings
This book constitutes the refereed proceedings of the RECOMB 2005 Satellite Workshop, the 3rd RECOMB Comparative Genomics meeting RCG 2005, held in Dublin, Ireland in September 2005. The 14 revised full papers presented were carefully reviewed and selected from 21 initial submissions. The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative discoveries about genome structure and process to theorems on the complexity of computational problems inspired by genome comparison.
Citation Analysis in Research Evaluation
This book is written for members of the scholarly research community, and for persons involved in research evaluation and research policy. More specifically, it is directed towards the following four main groups of readers: – All scientists and scholars who have been or will be subjected to a quantitative assessment of research performance using citation analysis. – Research policy makers and managers who wish to become conversant with the basic features of citation analysis, and about its potentialities and limitations. – Members of peer review committees and other evaluators, who consider the use of citation analysis as a tool in their assessments. – Practitioners and students in the field of quantitative science and technology studies, informetrics, and library and information science. Citation analysis involves the construction and application of a series of indicators of the ‘impact’, ‘influence’ or ‘quality’ of scholarly work, derived from citation data, i.e. data on references cited in footnotes or bibliographies of scholarly research publications. Such indicators are applied both in the study of scholarly communication and in the assessment of research performance. The term ‘scholarly’ comprises all domains of science and scholarship, including not only those fields that are normally denoted as science – the natural and life sciences, mathematical and technical sciences – but also social sciences and humanities.
Bioelectricity : A Quantitative Approach
"The authors’ goal in producing this book was to provide an introductory text to electrophysiology, based on a quantitative approach. In attempting to achieve this goal, therefore, the authors have opened the book with a useful, and digestible, introduction to various aspects of the mathematics relevant to this field, including vectors, introduction to Laplace, Gauss’s theorem, and Green’s theorem. This book will be useful for students in medical physics and biomedical engineering wishing to enter the field of electrophysiological investigation. It will also be helpful for biologists and physiologists who wish to understand the mathematical treatment of the processes and signals at the center of the interesting interdisciplinary field.
Bioeconomic modelling and valuation of exploited marine ecosystems
This book offers an environmental-economic analysis of exploited ecosystems with a clear policy orientation. The study tries to move beyond traditional economic fishery analysis in two respects. First, several theoretical and numerical models are offered that combine economic and ecological descriptions of fisheries. These models give special attention to spatial processes as well as to combining exploitation and conservation objectives. Second, valuation and stakeholder concerns are addressed in empirical analyses employing both qualitative and quantitative approaches. The latter is done by using advanced methods of monetary valuation. In addition, the first part of the book presents short, introductory overviews of integrated assessment, economic modeling of fishery management, and incorporating uncertainty in fisheries analysis.
Bioactive Heterocycles IV
This volume contains nine more contributions from expert researchers of the?eld, providing readers with in depth and current research results regarding therespective topics. In the?rst chapter, Flemming et al. review the chemistry, biosynthesis, metabolism and biological activities of tetrahydrocannabinol and its deri- tives. Hansch and Verma contribute to the quantitative structure-activity re- tionship (QSAR) analysis of heterocyclic topoisomerase I and II inhibitors. These inhibitors, knowntoinhibit either enzyme, actasantitumoragentsand are currently used in chemotherapy and in clinicaltrials. In the third chapter, Khan reviews some aspects of molecular modeling studies on biologically active alkaloids.
Binary Rare Earth Oxides
The book begins with a brief introduction to binary rare earth oxides, their physical and chemical stabilities, polymorphism, crystal structures and phase transformation and the association with current applications. The book goes on to present the band structure of the oxides using several quantum chemical calculations, which belong to a newly developed area in the binary rare earth oxides. Central to this chapter are the characterizations of electrical, magnetic and optical properties, as well as details of single crystal growth and particle preparation methods that have progressed in recent years. Later chapters concentrate on thermo-chemical properties and trace determination techniques. The final chapter contains a variety of useful applications in various fields such as phosphors, glass abrasives, automotive catalysts, fuel cells, solid electrolytes, sunscreens, iron steels, and biological materials.
Bilinear integrable systems : From classical to quantum, continuous to discrete ; Proceedings of the NATO Advanced Research Workshop on Bilinear Integrable Systems: From Classical to Quantum, Continuous to Discrete St. Petersburg, Russia, 15-19 September 2002
Trained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University with Professor Siegert in the field of “QuantumStatistical mechanics”. He wrote a widely appreciated Doctoral dissertation on“Functional Integral representation of the grand partition function”. As a youngresearcher, he entered the RCA Company in Tokyo to do research on semi-conductor plasmas. Professor Hirota was led to model the Toda lattice as a non-linear networkof ladder-type LC circuits. The self-dual case led to equations very reminiscentof the Sine-Gordon equation, with much the same features (existence of onesoliton, soliton-soliton interaction, etc)
Beyond Kyoto : A new global climate certificate system : Continuing Kyoto commitsments or a global ´Cap and Trade´ scheme for a sustainable climate policy?
This book shows how humankind can ‘prevent dangerous interference with the c- mate system’ without dangerous interference with the global economic system. In the two underlying studies on behalf of the Ministry of Environment and Transport of i the German federal state of Baden-Württemberg, the results have been elaborated through scientific evaluation of different climate protection systems and intensive developmental work on an efficient climate protection system. The results will be presented in nine chapters according to the following nine basic R&D steps: 1. Quantifying the ‘ultimate climate objective’ of the world community in order ‘to prevent dangerous interference with the climate system,’ thus achieving climate sustainability; 2. Development of a comprehensive standard system for evaluating the prospect of success for different climate protection systems; 3. Based on this scientific standard system, evaluation of the current Kyoto system and of the most important proposals for ‘incremental regime evolution’ of the Kyoto system. Unfortunately, it must be noted that these systems are incapable of achi- ing climate sustainability; 4. Evaluating three proposals for ‘structural regime change’ of the Kyoto system. Following this objective evaluation process and numeric comparison of the diff- ent proposals, 5. Description of the eight basic elements of GCCS and its in-depth ‘critical asse- ment;’ 6.
