الصفحة 5
الصفحة 5
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational intelligence in economics and finance ; Vol. II
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide range of economics and finance problems in recent years, for example to price forecasting and market efficiency. This book contains research ranging from applications in financial markets and business administration to various economics problems. Not only are empirical studies utilizing various CI algorithms presented, but so also are theoretical models based on computational methods. In addition to direct applications of computational intelligence, readers can also observe how these methods are combined with conventional analytical methods such as statistical and econometric models to yield preferred results.
Computational intelligence and security ; Vol. 3801 ; International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on Computational Intelligence and Security, CIS 2005, held in Xi'an, China, in December 2005. The 338 revised papers presented - 254 regular and 84 extended papers - were carefully reviewed and selected from over 1800 submissions. The first volume is organized in topical sections on learning and fuzzy systems, evolutionary computation, intelligent agents and systems, intelligent information retrieval, support vector machines, swarm intelligence, data mining, pattern recognition, and applications.
Computational Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Machine Learning: ECML 2007 ; 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference in Freiburg, 2001. The European Conference on Machine Learning (ECML) traces its origins to 1986, when the ?rst European Working Session on Learning was held in Orsay, France. The European Conference on Principles and Practice of KnowledgeDiscoveryinDatabases(PKDD) was?rstheldin1997inTrondheim, Norway.
Machine learning for brain disorders
Organized into five parts. Part One presents the fundamentals of ML. Part Two looks at the main types of data used to characterize brain disorders, including clinical assessments, neuroimaging, electro- and magnetoencephalography, genetics and omics data, electronic health records, mobile devices, connected objects and sensors. Part Three covers the core methodologies of ML in brain disorders and the latest techniques used to study them. Part Four is dedicated to validation and datasets, and Part Five discusses applications of ML to various neurological and psychiatric disorders.
Machine learning for biomedical application
Biomedicine is a multidisciplinary branch of medical science that consists of many scientific disciplines, e.g., biology, biotechnology, bioinformatics, and genetics; moreover, it covers various medical specialties. In recent years, this field of science has developed rapidly. This means that a large amount of data has been generated, due to (among other reasons) the processing, analysis, and recognition of a wide range of biomedical signals and images obtained through increasingly advanced medical imaging devices. The analysis of these data requires the use of advanced IT methods, which include those related to the use of artificial intelligence, and in particular machine learning. It is a summary of the Special Issue “Machine Learning for Biomedical Application”, briefly outlining selected applications of machine learning in the processing, analysis, and recognition of biomedical data, mostly regarding biosignals and medical images.
Machine Learning and Probabilistic Graphical Models for Decision Support Systems
Presents recent advancements in research, a review of new methods and techniques, and applications in decision support systems (DSS) with Machine Learning and Probabilistic Graphical Models, which are very effective techniques in gaining knowledge from Big Data and in interpreting decisions. It explores Bayesian network learning, Control Chart, Reinforcement Learning for multicriteria DSS, Anomaly Detection in Smart Manufacturing with Federated Learning, DSS in healthcare, DSS for supply chain management, etc. Researchers and practitioners alike will benefit from this book to enhance the understanding of machine learning, Probabilistic Graphical Models, and their uses in DSS in the context of decision making with uncertainty. The real-world case studies in various fields with guidance and recommendations for the practical applications of these studies are introduced in each chapter.
Linear Genetic Programming
Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. In contrast to functional expressions or syntax trees used in traditional Genetic Programming (GP), Linear Genetic Programming (LGP) employs a linear program structure as genetic material whose primary characteristics are exploited to achieve acceleration of both execution time and evolutionary progress.
Linear and Generalized Linear Mixed Models and Their Applications
This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. It offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it discusses the latest developments and methods in the field, incorporating relevant updates since publication of the first edition. These include advances in high-dimensional linear mixed models in genome-wide association studies (GWAS), advances in inference about generalized linear mixed models with crossed random effects, new methods in mixed model prediction, mixed model selection, and mixed model diagnostics.
Learning Classifier Systems ; International Workshops, IWLCS 2003-2005, Revised Selected Papers
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and Washington (2005). The Genetic and Evolutionary Computation Conference, the main ACM SIGEvo conference, hosted these three editions.
Learning Classifier Systems ; 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
Constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO.The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledge representation, analysis of the system, mechanisms, new directions, as well as applications.
Large-Scale Knowledge Resources. Construction and Application ; 3rd International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings
At the start of the 21st century,we are now well on the way to wards aknowled- intensive society, in which knowledge plays ever more important roles. Thus, research interest should inevitably shift from information to knowledge, with the problems of building, organizing, maintaining and utilizing knowledge - coming centralissues in a wide varietyof felds. The 21stCentury COE program “Framework for Systematization and Application of Large-scale Knowledge - sources (COE-LKR)” conducted by the Tokyo Institute of Technology is one of several early attempts worldwide to address these important issues. Inspired by this project, LKR2008 aimed at bringing together diverse contributions in cognitive science, computer science, education and linguistics to explore design, construction, extension, maintenance, validation and application of knowledge.
Job Scheduling Strategies for Parallel Processing ; Vol. 3834 : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, 2005, held in conjunction with the 19th ACM International Conference on Supercomputing. This book covers a range of parallel architectures, from distributed grids, through clusters, to massively-parallel supercomputers.
Computational and Ambient Intelligence ; 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, fuzzy logic and evo- tionary systems).These new computational techniques are used in applications that try to bring a new situation of well-being to the user. The conjunction of a more and more miniaturized hardware together with the growing computational intelligence embodied in this hardware leads us towards fully integrated embedded systems-on- chip and opens the door for truly ubiquitous electronics.
Comparative genomics ; International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, held in Paris, France, in October 2008.
Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining
Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and modeling, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.
Classification and Learning Using Genetic Algorithms : Applications in Bioinformatics and Web Intelligence
This book provides a unified framework that describes how genetic learning can be used to design pattern recognition and learning systems. The book is unique in the sense of describing how a search technique, the genetic algorithm, can be used for pattern classification mainly through approximating decision boundaries, and it demonstrates the effectiveness of the genetic classifiers vis-à-vis several widely used classifiers, including neural networks. It provides a balanced mixture of theories, algorithms and applications, and in particular results from the bioinformatics and Web intelligence domains.
Biometrics, Computer Security Systems and Artificial Intelligence Applications
This book presents the most recent achievements in some fascinating and rapidly developing fields within Computer Science. The scientific works presented in this book have been partitioned into three topical groups: Image Analysis and Biometrics, Computer Security Systems, and Artificial Intelligence and Applications. Image Analysis and Biometrics is the branch of Computer Science dealing with the very difficult task of artificial, visual perception of objects and surroundings, as well as the problems connected with it. Computer Security and Safety is at present a very important and intensively investigated branch of Computer Science because of the menacing activity of hackers and computer viruses.
