Page 73
Page 73
img

Machine Learning Applications in Civil Engineering

Discusses machine learning and deep learning models for different civil engineering applications. These models work for stochastic methods wherein internal processing is done using randomized prototypes. The book explains various machine learning model designs that will assist researchers to design multi domain systems with maximum efficiency. It introduces Machine Learning and its applications to different Civil Engineering tasks, including Basic Machine Learning Models for data pre-processing, models for data representation, classification models for Civil Engineering Applications, Bioinspired Computing models for Civil Engineering, and their case studies.

img

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.

img

Machine Learning and Knowledge Extraction ; 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17–20, 2021, Proceedings

Constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, held in virtually in August 2021. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 48 submissions. The cross-domain integration and appraisal of different fields provides an atmosphere to foster different perspectives and opinions; it will offer a platform for novel ideas and a fresh look on the methodologies to put these ideas into business for the benefit of humanity.

img

Machine Learning and Data Mining for Computer Security : Methods and Applications

Presents research conducted in academia and industry on methods and applications of machine learning and data mining for problems in computer security and will be of interest to researchers and practitioners, as well students.

img

Machine Learning : The Basics

Approaches ML as the computational implementation of the scientific principle. This principle consists of continuously adapting a model of a given data-generating phenomenon by minimizing some form of loss incurred by its predictions. Trains readers to break down various ML applications and methods in terms of data, model, and loss, thus helping them to choose from the vast range of ready-made ML methods.

img

Machine Learning : Modeling Data Locally and Globally

Machine Learning - Modeling Data Locally and Globally presents a novel and unified theory that tries to seamlessly integrate different algorithms. Specifically, the book distinguishes the inner nature of machine learning algorithms as either "local learning"or "global learning."This theory not only connects previous machine learning methods, or serves as roadmap in various models, but – more importantly – it also motivates a theory that can learn from data both locally and globally. This would help the researchers gain a deeper insight and comprehensive understanding of the techniques in this field. The book reviews current topics,new theories and applications.

img

Low-cost methods for molecular characterization of mutant plants : Tissue desiccation, DNA extraction and mutation discovery : Protocols

Offers low-cost and rapid molecular assays for the characterization of mutant plant germplasm. Detailed protocols are provided for the desiccation of plant tissues; the extraction of high-quality DNA for downstream applications; the extraction of single-strand-specific nucleases for single nucleotide polymorphism; and small insertion/deletion discovery using standard agarose gel electrophoresis. The methods described can be applied in any laboratory equipped for basic molecular biology and do away with the need for expensive freezers and toxic organic compounds.

img

Lotus japonicus Handbook

Represents the first effort to compile basic descriptions and methods for research in Lotus, including symbiotic processes, cell and molecular biology protocols, functional genomics, mutants, gene tagging and genetic analysis, transformation and reverse genetic analysis, primary and secondary metabolism, and an exhaustive update of the scientific literature available on this plant.

img

Loss and Damage from Climate Change : Concepts, Methods and Policy Options

Provides an authoritative insight on the Loss and Damage discourse by highlighting state-of-the-art research and policy linked to this discourse and articulating its multiple concepts, principles and methods. Written by leading researchers and practitioners, it identifies practical and evidence-based policy options to inform the discourse and climate negotiations. With climate-related risks on the rise and impacts being felt around the globe has come the recognition that climate mitigation and adaptation may not be enough to manage the effects from anthropogenic climate change.

img

Long-Run Growth Forecasting

Explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number of countries. It offers a systematic approach to models of potential GDP that can also be used for forecasts of more than a decade. It is an attempt to fill the wide gap between the high demand for such models by commercial banks, international organizations, central banks and governments on the one hand and the limited supply on the other hand. Frequent forecast failures in the past (e.g. Japan 1990, Asia 1997) and the heavy economic losses they produced motivated the work. The book assesses the large number of different theories of economic growth, the drivers of economic growth, the available datasets and the empirical methods on offer. A preference is shown for evolutionary models and an augmented Kaldor model. The book uses non-stationary panel techniques to find pair-wise cointegration among GDP per capita and its main correlates such as physical capital, human capital and openness.

img

Logos of phenomenology and phenomenology of the logos ; Book Four : The logos of scientific interrogation, participating in nature-Life-saring in life

Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of links in order to mutually confirm and rectify their results. Coming closer and closer to phenomenology, the sciences of life find the common ground of the reality in the ontopoiesis of life.Could it not be that the interrogative logos of science, participating in human creative inventiveness will bring together also the divergent scientific methods in a common network? A network which comprises natural processes, societal sharing-in-life, and existential communication.

img

Logistics Systems : Design and Optimization

In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and Optimization falls within this perspective and presents twelve chapters that well illustrate the variety and the complexity of logistics activities. Each chapter is written by recognized researchers who have been commissioned to survey a specific topic or emerging area of logistics. The first chapter, by Riopel, Langevin, and Campbell, develops a framework for the entire book. It classifies logistics decisions and highlights the relevant linkages to logistics decisions. The intricacy of these linkages demonstrates how thoroughly the decisions are interrelated and underscores the complexity of managing logistics activities. Each of the following chapters focus on quantitative methods for the design and optimization of logistics systems.

img

Logistics Outsourcing Relationships : Measurement, Antecedents, and Effects of Logistics Outsourcing Performance

In recent years, logistics outsourcing has gained increasing importance and today is used by a large number of firms across virtually all industries worldwide. Logistics service providers have developed a wide array of services that are utilized to improve logistics processes - and mainly to cut costs.This book uses state-of-the-art scientific methods to reveal that most firms currently do not realize the full potential of logistics outsourcing. It shows the complexity of outsourcing performance and that its true drivers lie in the relationship between service providers and their customers. Through the results of a large-scale empirical survey, the book also emphasizes the importance of a firm's approach towards outsourcing: solely striving for cost reductions may be a dead end, while the often overlooked increased logistics service levels are equally important for boosting logistics performance. In the light of current outsourcing practices, this indicates substantial room for improvement for most firms.

img

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.

img

Logic-based program synthesis and transformation ; 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

img

Logical Aspects of Computational Linguistics ; 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings

Inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.

img

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.

img

Logic, Thought and Action

Contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision.

img

Logic, language, information and computation ; 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

img

Logic, language, information and computation ; 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community.

Results Per Page