الصفحة 3
الصفحة 3
Dynamic Vision for Perception and Control of Motion
The book uniquely details an approach to real-time machine vision for the understanding of dynamic scenes, viewed from a moving platform that begins with spatio-temporal representations of motion for hypothesized objects whose parameters are adjusted by well-known prediction error feedback and recursive estimation techniques. A coherent and up-to-date coverage of the subject matter is presented, with the machine vision and control aspects detailed, along with reports on the mission performance of the first vehicles using these innovative techniques built at Munich. Pointers to the future development and likely applications of this hugely important field of research are presented.
Dualisability : Unary Algebras and Beyond
Natural duality theory is one of the major growth areas within general algebra. This text provides a short path to the forefront of research in duality theory. It presents a coherent approach to new results in the area, as well as exposing open problems. Unary algebras play a special role throughout the text. Individual unary algebras are relatively simple and easy to work with. But as a class they have a rich and complex entanglement with dualisability. This combination of local simplicity and global complexity ensures that, for the study of natural duality theory, unary algebras are an excellent source of examples and counterexamples.
Direct and inverse Sturm-Liouville problems : A method of solution
This book provides an introduction to the most recent developments in the theory and practice of direct and inverse Sturm-Liouville problems on finite and infinite intervals. A universal approach for practical solving of direct and inverse spectral and scattering problems is presented, based on the notion of transmutation (transformation) operators and their efficient construction. Analytical representations for solutions of Sturm-Liouville equations as well as for the integral kernels of the transmutation operators are derived in the form of functional series revealing interesting special features and lending themselves to direct and simple numerical solution of a wide variety of problems.
Dirac Operators in Representation Theory
This monograph presents a comprehensive treatment of important new ideas on Dirac operators and Dirac cohomology. Dirac operators are widely used in physics, differential geometry, and group-theoretic settings (particularly, the geometric construction of discrete series representations). The related concept of Dirac cohomology, which is defined using Dirac operators, is a far-reaching generalization that connects index theory in differential geometry to representation theory. Using Dirac operators as a unifying theme, the authors demonstrate how some of the most important results in representation theory fit together when viewed from this perspective.
Digital Sketching : Computer-Aided Conceptual Design
Delivers a comprehensive and insightful examination of how architects and other design professionals can best use digital design technology to become better designers. Celebrated professional, professor, and author John Bacus provides readers with practical and timely information on emerging digital design technologies and their effect on professional practice.
Deepfake
The technology used to create such digital content has quickly become accessible to the masses, such as “DEEPFAKE.” Deep fakes refer to manipulated videos, or other digital representations produced by sophisticated artificial intelligence, that yields to synthesize a sequence of face images and voices of characters corresponding to their identities, such as voice tone, facial expression, with a good lip synchronization. Therefore, this study is about developing real-time video generation software, which generates a target video from a single input image. Several methods and algorithms have been applied to detect, analyze personalize facial expression, voice and natural head poses to present a life-like image instead of a low quality one.
Deep structure, singularities, and computer vision ; 1st international workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, revised selected papers
Constitutes the refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer Vision, DSSCV 2005, held in Maastricht. This book represents in understanding the relation between structural, topological information represented by singularities and metric information of signals, shapes, and colors.
Cycle Representations of Markov Processes
This book provides new insight into Markovian dependence via the cycle decompositions. It presents a systematic account of a class of stochastic processes known as cycle (or circuit) processes - so-called because they may be defined by directed cycles. An important application of this approach is the insight it provides to electrical networks and the duality principle of networks. This edition adds new advances, which reveal wide-ranging interpretations of cycle representations such as homologic decompositions, orthogonality equations, Fourier series, semigroup equations, and disintegration of measures. The text includes chapter summaries as well as a number of detailed illustrations.
Cultural representations of gender vulnerability and resistance : A Mediterranean approach to the Anglosphere
This book considers the cultural representation of gender violence, vulnerability and resistance with a focus on the transnational dimension of our contemporary visual and literary cultures in English. Contributors address concepts such as vulnerability, resilience, precarity and resistance in the Anglophone world through an analysis of memoirs, films, TV series, and crime and literary fiction across India, Ireland, Canada, Australia, the US, and the UK. Chapters explore literary and media displays of precarious conditions to examine whether these are exacerbated when intersecting with gender and ethnic identities, thus resulting in structural forms of vulnerability that generate and justify oppression, as well as forms of individual or collective resistance and/or resilience. Substantial insights are drawn from Animal Studies, Critical Race Studies, Human Rights Studies, Post-Humanism and Postcolonialism.
Crisis and Legitimacy in Atlantic American Narratives of Piracy: 1678-1865
This book, Crisis and Legitimacy in Atlantic American Narratives of Piracy: 1678-1865, examines literary and visual representations of piracy beginning with A.O. Exquemelin’s 1678 Buccaneers of America and ending at the onset of the US-American Civil War.
Condorcets Paradox
It begins with a historical overview of the discovery of Condorcet's Paradox in the 18th Century, reviews numerous studies conducted to find actual occurrences of the paradox, and compiles research that has been done to develop mathematical representations for the probability that the paradox will be observed.
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
This book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that support natural language production and understanding, and other manifestations of cognition. One fundamental question raised in the text is whether requisite knowledge structures can be adequately modeled by means of a uniform representational format, and if so, what exactly is its nature. Frames are a key topic covered which have had a strong impact on the exploration of knowledge representations in artificial intelligence, psychology and linguistics; cascades are a novel development in frame theory. Other key subject areas explored are: concepts and categorization, the experimental investigation of mental representation, as well as cognitive analysis in semantics. This book is of interest to students, researchers, and professionals working on cognition in the fields of linguistics, philosophy, and psychology.
Computing Meaning : Vol.3
This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed in language. Aimed at linguists, computer scientists, and logicians with an interest in the computation of meaning, this book focuses on two main topics in recent research in computational semantics. The first topic is the definition and use of underspecified semantic representations, i.e. formal structures that represent part of the meaning of a linguistic object while leaving other parts unspecified. The second topic discussed is semantic annotation. Annotated corpora have become an indispensable resource both for linguists and for developers of language and speech technology, especially when used in combination with machine learning methods. The annotation in corpora has only marginally addressed semantic information, however, since semantic annotation methodologies are still in their infancy. This book discusses the development and application of such methodologies.
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science.
Combinatorics of Coxeter Groups
Coxeter groups are of central importance in several areas of algebra, geometry, and combinatorics. This clear and rigorous exposition focuses on the combinatorial aspects of Coxeter groups, such as reduced expressions, partial order of group elements, enumeration, associated graphs and combinatorial cell complexes, and connections with combinatorial representation theory. While Coxeter groups have already been exposited from algebraic and geometric perspectives, this text is the first one to focus mainly on the combinatorial aspects of Coxeter groups. The first part of the book provides a self-contained introduction to combinatorial Coxeter group theory. The emphasis here is on the combinatorics of reduced decompositions, Bruhat order, weak order, and some aspects of root systems. The second part deals with more advanced topics, such as Kazhdan-Lusztig polynomials and representations, enumeration, and combinatorial descriptions of the classical finite and affine Weyl groups. A wide variety of exercises, ranging from easy to quite difficult are also included.
Cohesion, coherence and temporal reference from an experimental corpus pragmatics perspective
Provides new methodological and theoretical insights into temporal reference and its linguistic expression, from a cross-linguistic experimental corpus pragmatics approach. Verbal tenses, in general, and more specifically the categories of tense, grammatical and lexical aspect are treated as cohesion ties contributing to the temporal coherence of a discourse, as well as to the cognitive temporal coherence of the mental representations built in the language comprehension process. As such, it investigates the phenomenon of temporal reference at the interface between corpus linguistics, theoretical linguistics and pragmatics, experimental pragmatics, psycholinguistics, natural language processing and machine translation.
Mathematical Knowledge Management ; Vol. 4108 ; 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Machine Learning in Computer Vision
The goal of this book is to address the use of several important machine learning techniques into computer vision applications. An innovative combination of computer vision and machine learning techniques has the promise of advancing the field of computer vision, which contributes to better understanding of complex real-world applications. The effective usage of machine learning technology in real-world computer vision problems requires understanding the domain of application, abstraction of a learning problem from a given computer vision task, and the selection of appropriate representations for the learnable (input) and learned (internal) entities of the system. In this book, we address all these important aspects from a new perspective: that the key element in the current computer revolution is the use of machine learning to capture the variations in visual appearance, rather than having the designer of the model accomplish this. As a bonus, models learned from large datasets are likely to be more robust and more realistic than the brittle all-design models.
Logical and Relational Learning
This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming (ILP), multirelational data mining (MRDM) and (statistical) relational learning (SRL). These subfields of data mining and machine learning are concerned with the analysis of complex and structured data sets that arise in numerous applications, such as bio- and chemoinformatics, network analysis, Web mining, natural language processing, within the rich representations offered by relational databases and computational logic.
Local Newforms for GSp(4)
Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local field. This theory considers vectors fixed by the paramodular groups, and singles out certain vectors that encode canonical information, such as L-factors and epsilon-factors, through their Hecke and Atkin-Lehner eigenvalues. While there are analogies to the GL(2) case, this theory is novel and unanticipated by the existing framework of conjectures. An appendix includes extensive tables about the results and the representation theory of GSp(4).
