الصفحة 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.
Ontologies-Based Databases and Information Systems ; 1st and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers
This book constitutes the refereed post-proceedings of the First and Second VLDB Workshop Ontologies-based techniques for DataBases and Information Systems, held in Trondheim, Norway, September 2005 and Seoul, Korea, September 2006.
Online Storage Systems and Transportation Problems with Applications : Optimization Models and Mathematical Solutions
This books covers the analysis and development of online algorithms involving exact optimization and heuristic techniques, and their application to solve two real life problems. The first problem is concerned with a complex technical system: a special carousel based high-speed storage system - Rotastore. It is shown that this logistic problem leads to an NP-hard Batch PreSorting problem which is not easy to solve optimally in offline situations. The second problem originates in the health sector and leads to a vehicle routing problem. Reasonable solutions for the offline case covering a whole day with a few hundred orders are constructed with a heuristic approach, as well as by simulated annealing. Optimal solutions for typical online instances are computed by an efficient column enumeration approach leading to a set partitioning problem and a set of routing-scheduling subproblems. The latter are solved exactly with a branch-and-bound method which prunes nodes if they are value-dominated by previous found solutions or if they are infeasible with respect to the capacity or temporal constraints.
On the path to AI : Law’s prophecies and the conceptual foundations of the machine learning age
This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century.
On the move to meaningful internet systems 2007 : OTM 2007 Workshops ; OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007,
it is clear that there is an acute and increasing need to address and discuss in an integrated forum the implied software and system issues as well as methodological, semantical, theoretical and application issues. As we all know, e-mail, the Internet, and even video conferences are not sufficient for effective and efficient scientific exchange. This is why the OnTheMove (OTM) Federated Conferences series has been created to cover the increasingly wide yet closely connected range of fundamental technologies such as data and Web Semantics.
On the move to meaningful internet systems 2007 : CoopIS, DOA, ODBASE, GADA, and IS ; OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II
This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2007), Distributed Objects and Applications (DOA 2007), Ontologies, Databases and Applications of Semantics (ODBASE 2007), Grid computing, high performance and Distributed Applications (GADA 2007), and Information Security (IS 2007) held as OTM 2007 in Vilamoura, Portugal, in November 2007.
On the move to meaningful internet systems 2007 : CoopIS, DOA, ODBASE, GADA, and IS ; OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed Objects and Applications, Ontologies, Databases and Applications of Semantics, Grid computing, high performance and Distributed Applications, and Information Security held as OTM 2007 in Vilamoura, Portugal, in November 2007.
On the Move to Meaningful Internet Systems : OTM 2008 ; OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2008), Distributed Objects and Applications (DOA 2008), Grid computing, high performAnce and Distributed Applications (GADA 2008), Information Security (IS 2008), and Ontologies, Databases and Applications of Semantics (ODBASE 2008), held as OTM 2008 in Monterrey, Mexico, in November 2008.
omputer science : Theory and applications ; 3rd International computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008.
omputational science and its applications - ICCSA 2005 ; Vol. 3480 ; International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Obstructions in Security-Aware Business Processes : Analysis, Detection, and Handling
This book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
Obstetric life support manual
A comprehensive review in normal and abnormal pregnancy physiology, the most common etiologies of maternal medical emergencies, recognition of maternal deterioration and pending cardiopulmonary arrest, modifications to cardiopulmonary resuscitation in pregnant and postpartum patients, special procedures that can assist in diagnosing and treating maternal medical emergencies tailored to the setting (e.g., point-of-care ultrasound, resuscitative cesarean delivery, extracorporeal cardiopulmonary resuscitation), treatment of trauma/stroke in pregnancy, and postpartum maternal medical emergencies. There are streamlined algorithms and cognitive aids designed to improve a team’s ability to successfully implement techniques unique to treating maternal medical emergencies and car..
Object-Based Image Analysis and Treaty Verification : New Approaches in Remote Sensing – Applied to Nuclear Facilities in Iran
This book describes recent progress in object-based image interpretation, and also presents many new results in its application to verification of nuclear non-proliferation. A comprehensive workflow and newly developed algorithms for object-based high resolution image (pre-) processing, feature extraction, change detection, classification and interpretation are developed, applied and evaluated. The entire analysis chain is demonstrated with high resolution imagery acquired over Iranian nuclear facilities.
Numerical Techniques for Chemical and Biological Engineers Using MATLAB® : A Simple Bifurcation Approach
This book addresses the bifurcation characteristics of chemical and biological processes as the general case and treats systems with a unique steady state as special cases. It uses a system approach which is the most efficient for knowledge organization and transfer. The book develops mathematical models for many commercial processes utilizing the mass-, momentum-, and heat-balance equations coupled to the rates of the processes that take place within the boundaries of the system. The models are solved numerically through MATLAB codes with emphasis on the design and optimization of the chemical and biological industrial equipment and plants.
Numerical Simulation in Molecular Dynamics : Numerics, Algorithms, Parallelization, Applications
Particle models play an important role in many applications in physics, chemistry and biology. They can be studied on the computer with the help of molecular dynamics simulations. This book presents in detail both the necessary numerical methods and techniques (linked-cell method, SPME-method, tree codes, multipole technique) and the theoretical background and foundations. It illustrates the aspects modelling, discretization, algorithms and their parallel implementation with MPI on computer systems with distributed memory. Furthermore, detailed explanations are given to the different steps of numerical simulation, and code examples are provided.
Numerical Optimization : Theoretical and Practical Aspects
This book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a tutorial way. It covers fundamental algorithms as well as more specialized and advanced topics for unconstrained and constrained problems. Most of the algorithms are explained in a detailed manner, allowing straightforward implementation. Theoretical aspects of the approaches chosen are also addressed with care, often using minimal assumptions. It's contains computational exercises in the form of case studies which help understanding optimization methods beyond their theoretical, description, when coming to actual implementation. Besides, the nonsmooth optimization part has been substantially reorganized and expanded.
Numerical Optimization
Numerical Optimization presents a comprehensive and up-to-date description of the most effective methods in continuous optimization. It responds to the growing interest in optimization in engineering, science, and business by focusing on the methods that are best suited to practical problems.The book has been thoroughly updated throughout. There are new chapters on nonlinear interior methods and derivative-free methods for optimization, both of which are used widely in practice and the focus of much current research. Because of the emphasis on practical methods, as well as the extensive illustrations and exercises.
Numerical Methods Using Java : For Data Science, Analysis, and Engineering
Covers a wide range of topics, including chapters on linear algebra, root finding, curve fitting, differentiation and integration, solving differential equations, random numbers and simulation, a whole suite of unconstrained and constrained optimization algorithms, statistics, regression and time series analysis. The mathematical concepts behind the algorithms are clearly explained, with plenty of code examples and illustrations to help even beginners get started. You will: Program in Java using a high-performance numerical library / Learn the mathematics for a wide range of numerical computing algorithms / Convert ideas and equations into code / Put together algorithms/ and classes to build your own engineering solution / Build solvers for industrial optimization problems / Do data analysis using basic and advanced statistics
Numerical Methods for General and Structured Eigenvalue Problems
The purpose of this book is to describe recent developments in solving eig- value problems, in particular with respect to the QR and QZ algorithms as well as structured matrices. Outline Mathematically speaking, the eigenvalues of a square matrix A are the roots of its characteristic polynomial det(A??I). An invariant subspace is a linear subspace that stays invariant under the action of A. In realistic applications, it usually takes a long process of simpli?cations, linearizations and discreti- tions before one comes up with the problem of computing the eigenvalues of a matrix. In some cases, the eigenvalues have an intrinsic meaning, e.g., for the expected long-time behavior of a dynamical system; in others they are just meaningless intermediate values of a computational method. The same applies to invariant subspaces, which for example can describe sets of initial states for which a dynamical system produces exponentially decaying states. Computing eigenvalues has a long history, dating back to at least 1846 when Jacobi [172] wrote his famous paper on solving symmetric eigenvalue problems. Detailed historical accounts of this subject can be found in two papers by Golub and van der Vorst [140, 327].
Numerical Methods for Controlled Stochastic Delay Systems
The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems in continuous time. This book extends the methods to stochastic systems with delays. Because such problems are infinite-dimensional, many new issues arise in getting good numerical approximations and in the convergence proofs. Useful forms of numerical algorithms and system approximations are developed in this work, and the convergence proofs are given. All of the usual cost functions are treated as well as singular and impulsive controls. A major concern is on representations and approximations that use minimal memory.
