Refine Results
Sort By
From
To
Page 5
Page 5
Law, Humanities and the COVID Crisis
Seeks to address the immediacy of COVID-19 by focusing on the implications of the virus in a wider interdisciplinary context Law, Humanities and the COVID Crisis</i> sets out a framework for understanding the COVID-19 virus beyond its epidemiological constraints, asking us to question the very definition of what it means to be human. Researchers from around the world offer their critical reflections on the past, present, and future of this period of sociocultural upheaval and the tremendous suffering that has laid bare fundamental imbalances in our society.
Law of contract and specific relief
The book deals with the intricacies of contract law in a straightforward and lucid style. The book covers many new developing areas in contract law which are of practical and academic importance. The current twelfth edition of the book has been thoroughly revised and updated by the author.
Justice in extreme cases: criminal law theory meets international criminal law
Shows how to use moral theory to challenge and improve ICL, and how extreme cases can challenge and improve criminal law theory. It will appeal to scholars and jurists in ICL, as well as scholars of criminal law theory or legal philosophy.
Artificial intelligence in the financial services industry
Today, the financial services sector is facing a period of rapid disruption and innovation, and artificial intelligence (AI) is at the heart of these changes. Artificial intelligence can be used to gather enormous amounts of data, detect abnormalities, and solve complex problems. Financial institutions are already experimenting extensively with AI strategies to enhance and streamline financial institutions, BSA and AML compliance, CRA requirements, fraud detection, and real estate valuations, all while reducing cost levels. This book looks at how artificial intelligence is affecting the financial services industry.
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up, with no prior knowledge of linguistics being assumed, covering more than the average two-semester introductory course in linguistics.This comprehensive, reader-friendly volume offers readers a high-level orientation, discussing the foundations of the field and presenting both the classical work and the most recent results. It covers an extremely rich array of topics including not only syntax and semantics but also phonology and morphology, probabilistic approaches, complexity, learnability, and the analysis of speech and handwriting.
Machine Learning Refined : Foundations, Algorithms, and Applications
Provides students with the fundamental knowledge and practical tools needed to conduct research and build data-driven products. The authors prioritize geometric intuition and algorithmic thinking, and include detail on all the essential mathematical prerequisites, to offer a fresh and accessible way to learn. Practical applications are emphasized, with examples from disciplines including computer vision, natural language processing, economics, neuroscience, recommender systems, physics, and biology.
Machine Learning Approaches in Cyber Security Analytics
Introduces various machine learning methods for cyber security analytics. With an overwhelming amount of data being generated and transferred over various networks, monitoring everything that is exchanged and identifying potential cyber threats and attacks poses a serious challenge for cyber experts. Further, as cyber attacks become more frequent and sophisticated, there is a requirement for machines to predict, detect, and identify them more rapidly. Machine learning offers various tools and techniques to automate and quickly predict, detect, and identify cyber attacks.
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Liapunov Functions and Stability in Control Theory
Presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework of mathematical nonlinear control theory. A Particular focus is on the problem of the existence of Liapunov functions (converse Liapunov theorems) and their regularity, whose interest is especially motivated by applications to automatic control.
Knowledge and Skill Chains in Engineering and Manufacturing : Information Infrastructure in the Era of Global Communications
Explores knowledge and skill chains in engineering and manufacturing in the age of global communications. Information infrastructure involves a range of activities from product planning, engineering, and manufacturing trough transportation, marketing, and repair/upgrade to returns and recycling/disposal. Distinct from the traditional engineering database, life-cycle support information has its own characteristic requirements, -- flexible extensibility, distributed architecture, multiple viewpoints, long-time archiving, and product usage information. Several authors address the architecture of the information infrastructure, its services and its requirements. Other papers focus on the knowledge and skill chains that develop in a variety of situations: the supply chain, the factory floor, the man-system interaction, etc. For each of these, state-of-the-art and state-of-research scenarios for various industrial sectors address both engineering and operations requirements in the current socio-economic environment.
Kernel Methods for Machine Learning with Math and Python: 100 Exercises for Building Logic
Addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows: Includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book. / The mathematical premises of kernels are proven and the correct conclusions are provided, helping readers to understand the nature of kernels. / Source programs and running examples are presented to help readers acquire a deeper understanding of the mathematics used. / Once readers have a basic understanding of the functional analysis topics covered in Chapter 2, the applications are discussed in the subsequent chapters. Here, no prior knowledge of mathematics is assumed. / Considers both the kernel for reproducing kernel Hilbert space (RKHS) and the kernel for the Gaussian process; a clear distinction is made between the two.
Journal on Data Semantics VIII
Springer's LNCS Journal on Data Semantics aims at providing a highly visible dissemination channel for most remarkable work that in one way or another addresses research and development on issues related to the semantics of data. The target domain ranges from theories supporting the formal definition of semantic content to innovative domain-specific application of semantic knowledge. This publication channel should be of the highest interest to researchers and advanced practitioners working on the Semantic Web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Iterating Infusion : Clearer Views of Objects, Classes, and Systems
Iterating Infusion presents comprehensive tools for you to best manage and work with object orientation. These include simplified fundamental concepts, popular language comparisons, advanced designing strategies, a broad usage progression, thorough design notations (interaction algebra), and data-oriented (fundamentally-OO) languages. The title, Iterating Infusion, alludes to the fact that any system has multiple, coexisting functional levels and that new levels—both lower and higher—are continually added to the same functional area. The practical effect is to bring processes into focus, always clarifying the vague. The extreme form of this is when separate but compatible technologies are brought together to create advancements; these can be baby-steps or great leaps, with varying amounts of effort. In more general terms, the same thing in a different context can take on much more power. And actually, this phenomenon is at the heart of object-oriented software.
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 Engineering : Applied Automata Theory and Logic
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
Computation and the humanities : Towards an oral history of digital humanities
This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more than 70 years. However, we have no comprehensive histories of its research trajectory or its disciplinary development. The authors make a first contribution towards remedying this by uncovering, documenting, and analysing a number of the social, intellectual and creative processes that helped to shape this research from the 1950s until the present day.
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.
Complexity Theory : Exploring the Limits of Efficient Algorithms
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, the limits of what is possible with the available resources. An understanding of these limits prevents the search for non-existing efficient algorithms. This textbook considers randomization as a key concept and emphasizes the interplay between theory and practice: New branches of complexity theory continue to arise in response to new algorithmic concepts, and its results - such as the theory of NP-completeness - have influenced the development of all areas of computer science. The topics selected have implications for concrete applications, and the significance of complexity theory for today's computer science is stressed throughout.
Complex Analysis with Applications to Number Theory
The book discusses major topics in complex analysis with applications to number theory.It 's including the theory of several finitely and infinitely complex variables, hyperbolic geometry, two- and three-manifolds, and number theory. In addition to solved examples and problems, the book covers most topics of current interest, such as Cauchy theorems, Picard’s theorems, Riemann–Zeta function, Dirichlet theorem, Gamma function, and harmonic functions.
Case-Based Approximate Reasoning
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology in the field of artificial intelligence. The key idea of CBR is to tackle new problems by referring to similar problems that have already been solved in the past. More precisely, CBR proceeds from individual experiences in the form of cases. The generalization beyond these experiences typically relies on a kind of regularity assumption demanding that 'similar problems have similar solutions'. Making use of different frameworks of approximate reasoning and reasoning under uncertainty, notably probabilistic and fuzzy set-based techniques, this book develops formal models of the above inference principle, which is fundamental to CBR. The case-based approximate reasoning methods thus obtained especially emphasize the heuristic nature of case-based inference and aspects of uncertainty in CBR. This way, the book contributes to a solid foundation of CBR which is grounded on formal concepts and techniques from the aforementioned fields. Besides, it establishes interesting relationships between CBR and approximate reasoning, which not only cast new light on existing methods but also enhance the development of novel approaches and hybrid systems.
