الصفحة 1
الصفحة 1
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications presents approaches for ontology learning from text and will be relevant for researchers working on text mining, natural language processing, information retrieval, semantic web and ontologies. Containing introductory material and a quantity of related work on the one hand, but also detailed descriptions of algorithms, evaluation procedures etc. on the other, this book is suitable for novices, and experts in the field, as well as lecturers.
Official Statistics 4.0 : Verified Facts for People in the 21st Century
Explores official statistics and their social function in modern societies. Digitisation and globalisation are creating completely new opportunities and risks, a context in which facts (can) play an enormously important part if they are produced with a quality that makes them credible and purpose-specific. In order for this to actually happen, official statistics must continue to actively pursue the modernisation of their working methods.
New Directions and Applications in Control Theory
This volume contains a collection of papers in control theory and applications presented at a conference in honor of Clyde Martin on the occasion of his 60th birthday, held in Lubbock, Texas, November 14-15, 2003.
New Computational Paradigms ; 1st Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s allegedly new paradigms. The remaining material covers traditional topics in computability theory such as relative computability, theory of numberings, and domain theory, in addition to topics on the relationships between proof theory, computability, and complexity theory.
New Algorithms for Macromolecular Simulation
Molecular simulation is a widely used tool in biology, chemistry, physics and engineering. This book contains a collection of articles by leading researchers who are developing new methods for molecular modelling and simulation. Topics addressed here include: multiscale formulations for biomolecular modelling, such as quantum-classical methods and advanced solvation techniques; protein folding methods and schemes for sampling complex landscapes; membrane simulations; free energy calculation; and techniques for improving ergodicity. The book is meant to be useful for practitioners in the simulation community and for those new to molecular simulation who require a broad introduction to the state of the art.
National Systems of Innovation in Comparison : Structure and Performance Indicators for Knowledge Societies
The book documents major elements of the joint work of eight leading German institutes, elaborated in the context of a regular annual report on Germany's technological performance. It provides much more than the pure compilation of quantitative indicators for international benchmarking, but gives support to an appropriate interpretation of the referring results and suggests relevant conclusions for innovation policy. A special focus is on Germany; so the book also aims at non-German readers interested in specific features of the German innovation system.
Nanoinformatics
Brings out the state of the art on how informatics-based tools are used and expected to be used in nanomaterials research. There has been great progress in the area in which “big-data” generated by experiments or computations are fully utilized to accelerate discovery of new materials, key factors, and design rules. Data-intensive approaches play indispensable roles in advanced materials characterization. "Materials informatics" is the central paradigm in the new trend. "Nanoinformatics" is its essential subset, which focuses on nanostructures of materials such as surfaces, interfaces, dopants, and point defects, playing a critical role in determining materials properties. There have been significant advances in experimental and computational techniques to characterize individual atoms in nanostructures and to gain quantitative information. The collaboration of researchers in materials science and information science is growing actively and is creating a new trend in materials science and engineering.
Multivariate Public Key Cryptosystems
Multivariate public key cryptosystems (MPKC) is a fast-developing new area in cryptography. In the past 10 years, MPKC schemes have increasingly been seen as a possible alternative to number theoretic-based cryptosystems such as RSA, as they are generally more efficient in terms of computational effort. As quantum computers are developed, MPKC will become a necessary alternative. Multivariate Public Key Cryptosystems systematically presents the subject matter for a broad audience. Information security experts in industry can use the book as a guide for understanding what is needed to implement these cryptosystems for practical applications, and researchers in both computer science and mathematics will find this book a good starting point for exploring this new field. It is also suitable as a textbook for advanced-level students.
Multiscaling in molecular and continuum mechanics : Interaction of time and size from macro to nano ; Application to biology, physics, material science, mechanics, structural and processing engineering
The manipulation of molecules and atoms has been regarded as a common base for both material and life science. Quantum and continuum mechanics are being applied side by side for exploring the behavior of small and large objects moving at fast and slow speed.
Membrane Computing ; Vol. 3850 ; 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems. Like the previous workshops,
Medical data processing and analysis
Medical data can be defined as obtaining information from patients (such as signals, images, sounds, chemical components and their concentration, body temperature, respiratory rate, blood pressure, and different treatment measurements) to quantify the patient’s status and disease stage. Computer-aided diagnostic (CAD) systems use classical image processing, computer vision, machine learning, and deep learning methods for image analysis. Using image classification or segmentation algorithms, they find a region of interest (ROI) pointing to a specific location within the given image or an outcome of interest in the form of a label pointing to a diagnosis or prognosis. Computer science, with the evolution of artificial intelligence and machine learning techniques, facilitates the modeling and interpretation of results—from carrying out measurements to experiments and observations.
International Symposium on Mathematics, Quantum Theory, and Cryptography ; Proceedings of MQC 2019
This book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan.
Intelligent Computing Everywhere
Intelligent Computing Everywhere investigates the relevance and relationship artificial intelligence maintains with "modern strands of computing" i.e. pervasive computing and ambient intelligence, bioinformatics, neuroinformatics, computing and the mind, non-classical computing and novel computing models, as well as DNA computing and quantum computing.
Information theory and machine learning
The recent successes of machine learning, especially regarding systems based on deep neural networks, have encouraged further research activities and raised a new set of challenges in understanding and designing complex machine learning algorithms. New applications require learning algorithms to be distributed, have transferable learning results, use computation resources efficiently, convergence quickly on online settings, have performance guarantees, satisfy fairness or privacy constraints, incorporate domain knowledge on model structures, etc. A new wave of developments in statistical learning theory and information theory has set out to address these challenges.
Information theoretic security ; 3rd International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings
This book constitutes the proceedings of the Third International Conference on Information Theoretic Security, held in Calgary, Canada, in August 2008.The 14 papers presented in this volume were carefully reviewed and selected from 43 submissions. There were nine invited speeches to the conference. The topics covered are secure and reliable communication; quantum information and communication; networks and devices; multiparty computation; information hiding and tracing; coding theory and security; quantum computation; foundation; and encryption.
Information security and privacy ; 25th Australasian Conference, ACISP 2020, Perth, WA, Australia, November 30 – December 2, 2020, Proceedings
This book constitutes the refereed proceedings of the 25th Australasian Conference on Information Security and Privacy, ACISP 2020, held in Perth, WA, Australia, in November 2020*. The 31 revised full papers and 5 short papers presented were carefully revised and selected from 151 submissions. The papers present and discuss the latest research, trends, breakthroughs, and challenges in the domain of information security, privacy and cybersecurity on a variety of topics such as post-quantum cryptography; symmetric cipher; signature; network security and blockchain; cryptographic primitives; mathematical foundation; machine learning security, among others.
Implementation and application of automata ; Vol. 3317 ; 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
Contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other fields. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencing and genecompression, and from state complexity and new algorithms for automata operations to applications of quantum finite automata.
Handbook of Fractional Calculus for Engineering and Science
Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods and algorithms for engineering-related equations. Contains comparison of various methods for accuracy and validity. Demonstrates the applicability of fractional calculus in science and engineering. Examines qualitative as well as quantitative properties of solutions of various types of science- and engineering-related equations.
Geometric Properties for Incomplete Data
Computer vision and image analysis require interdisciplinary collaboration between mathematics and engineering. This book addresses the area of high-accuracy measurements of length, curvature, motion parameters and other geometrical quantities from acquired image data. It is a common problem that these measurements are incomplete or noisy, such that considerable efforts are necessary to regularise the data, to fill in missing information, and to judge the accuracy and reliability of these results. This monograph brings together contributions from researchers in computer vision, engineering and mathematics who are working in this area.
