Page 136
Page 136
Algorithms in Real Algebraic Geometry
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing.
Algorithms for a New World : When Big Data and Mathematical Models Meet
Algorithms, artificial neural networks, and machine learning help us discover the opportunities and pitfalls of a world governed by mathematics and artificial intelligence.
Algorithms and architectures for parallel processing ; 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings
The improvements in computation and communication capabilities have enabled the creation of demanding applications in critical domains such as the environment, health, aerospace, and other areas of science and technology. Similarly, new classes of applications are enabled by the availability of heterogeneous large-scale distributed systems which are becoming available nowadays (based on technologies such as grid and peer-to-peer systems).Parallel computing systems exploit a large diversity of computer architectures, from supercomputers, shared-memory or distributed-memory multi processors, to local networks and clusters of p- sonal computers. With the recent emergence of multi core architectures, parallel computing is now set to achieve “mainstream” status. Approaches that have been advocated by parallel computing researchers in the past are now being utilized in a number of software libraries and hardware systems that are available for everyday use. Parallel computing ideas have also come to dominate areas such as multi user gaming (especially in the development of gaming engines based on “cell” arc- tectures).
Algorithmic number theory ; 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium, ANTS 2006, held in Berlin, July 2006. The book presents 37 revised full papers together with 4 invited papers selected for inclusion. The papers are organized in topical sections on algebraic number theory, analytic and elementary number theory, lattices, curves and varieties over fields of characteristic zero, curves over finite fields and applications, and discrete logarithms.
Algorithmic learning theory ; 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, held in Budapest, Hungary, in October 2008, co-located with the 11th International Conference on Discovery Science, DS 2008.
Algèbre, Chapitres 1 à 3 = Algebra, Chapters 1 to 3
To do algebra is essentially to calculate, that is to say to perform, on elements of a set, (<algebraic operations n, the best-known example of which is provided by the (<four rules)) of elementary arithmetic. This is not the place to retrace the slow process of progressive abstraction by which the notion of algebraic operation, initially restricted to natural integers and to measurable quantities, gradually widened its field, as it grew. at the same time generalized the notion of ((number O, until, going beyond the latter, it came to apply to elements which no longer had any character ((numeric)>, for example to permutations of a - seems (see Historical Note in chap. 1).
Algebraic Theory of Locally Nilpotent Derivations
This book explores the theory and application of locally nilpotent derivations, which is a subject of growing interest and importance not only among those in commutative algebra and algebraic geometry, but also in fields such as Lie algebras and differential equations. The author provides a unified treatment of the subject, beginning with 16 First Principles on which the entire theory is based. These are used to establish classical results, such as Rentschler’s Theorem for the plane, right up to the most recent results, such as Makar-Limanov’s Theorem for locally nilpotent derivations of polynomial rings.
Algebraic Multiplicity of Eigenvalues of Linear Operators
This book brings together all the most important known results of research into the theory of algebraic multiplicities, from well-known classics like the Jordan Theorem to recent developments such as the uniqueness theorem and the construction of multiplicity for non-analytic families.
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem of rational curves – and uses these problems to introduce the fundamental tools of modern algebraic geometry: dimension; singularities; sheaves; varieties; and cohomology. The treatment uses as little commutative algebra as possible by quoting without proof (or proving only in special cases) theorems whose proof is not necessary in practice, the priority being to develop an understanding of the phenomena rather than a mastery of the technique. A range of exercises is provided for each topic discussed, and a selection of problems and exam papers are collected in an appendix to provide material for further study.
Algebraic Cycles, Sheaves, Shtukas, and Moduli : Impanga Lecture Notes
The articles in this volume are devoted to: - moduli of coherent sheaves. - principal bundles and sheaves and their moduli. - new insights into Geometric Invariant Theory. - stacks of shtukas and their compactifications. - algebraic cycles vs. commutative algebra. - Thom polynomials of singularities. - zero schemes of sections of vector bundles.
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists
AIU asset management system (Assettracker)
Assets can be defined as something of value that can be converted into cash, as all institutions and companies own assets and the larger the size of the organization, the greater the need to manage its owned assets. Some companies have resorted to manually tracking their assets by making paper data, but later, with the continuation of this approach, it has been noted that these data are largely lacking in organization and create difficulties in searching and tracking the life cycle of each asset separately. Here comes the role of our project, which is a software project based on automating assets and converting them from traditional methods to digital methods with the aim of obtaining the maximum benefit from assets in the organization by avoiding wasting assets, and issuing detailed reports indicating the decision-making process, in addition to the ability to deal with operations Effectively maintain assets.
Airport Building Information Modelling
Details how Building Information Modelling is being successfully deployed in the planning, design, construction and future operation of the Istanbul New Airport, a mega-scale construction project incorporating a varying mix of infrastructures including terminals, runways, passenger gates, car parks, railways and roads. The book demonstrates how Airport Building Information Modelling (ABIM) is being used to: • facilitate collaboration, cooperation and integrated project delivery • manage subcontractors and eliminate cost over-runs • reduce waste on site and enhance overall quality • connect people in a virtual environment to encourage collaborative working • provide clients with an effective interface for lifecycle management including: design development, construction documentation, construction phases and BIM and Big Data Integration for future facilities management
Air-Ice-Ocean Interaction : Turbulent Ocean Boundary Layer Exchange Processes
At a time when the polar regions are undergoing rapid and unprecedented change, understanding exchanges of momentum, heat and salt at the ice-ocean interface is critical for realistically predicting the future state of sea ice. By offering a measurement platform largely unaffected by surface waves, drifting sea ice provides a unique laboratory for studying aspects of geophysical boundary layer flows that are extremely difficult to measure elsewhere. This book draws on both extensive observations and theoretical principles to develop a concise description of the impact of stress, rotation, and buoyancy on the turbulence scales that control exchanges between the atmosphere and underlying ocean when sea ice is present. Several interesting and unique observational data sets are used to illustrate different aspects of ice-ocean interaction ranging from the impact of salt on melting in the Greenland Sea marginal ice zone, to how nonlinearities in the equation of state for seawater affect mixing in the Weddell Sea.
AiREAS : Sustainocracy for a Healthy City : The Invisible made Visible ; Phase 1
Describes the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation. The unique group process that followed uses the complexity of the city of Eindhoven as living lab. It is an anthropology based initiative that invites directly to the same table of core innovative responsibility the local government, innovative business partners, scientific insights and reseach, and civilian participation.
AiREAS : Sustainocracy for a healthy city : Phase 3 : Civilian participation – Including the global health deal proposition
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to innovative change. The three books together describe the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation.
Air quality integrated assessment : A European perspective
This book reports on the results of an extended survey conducted across Europe within the framework of the APPRAISAL FP7 project to determine the extent to which an integrated assessment approach to air quality is being adopted, on the one hand, by regional and local authorities to develop air quality plans and, on the other, by researchers. Following a detailed analysis of the role and structure of the components of an integrated assessment study, the results of the survey are considered from a variety of perspectives.
AI voice dubbing = الدبلجة الصوتية بالذكاء الاصطناعي
The advent of artificial intelligence has revolutionized numerous domains, including media and entertainment. This project focuses on developing an AI Voice Dubbing application that facilitates the seamless dubbing of audio content from English to Arabic. Unlike traditional robotic voice outputs, our application ensures that the dubbed content retains the original voice characteristics, providing a natural and authentic listening experience. The system also offers users the option to select alternative output voices, including those of celebrities, or any other voice by uploading their media, providing a YouTube link, or recording audio directly. The core functionality of the application is to produce a dubbed audio file, maintaining high fidelity to the original speaker's voice tone and style, the application provides a text output of the dubbed content, which users can edit as needed to ensure accuracy and personal preference.
AI sign language translator
People with disabilities are facing a lot of difficulties every day. Whether it is in social life, work or education environment, or in communication. The effect of assistive technologies in enhancing people with disabilities was huge. Assistive technologies refer to the term of products or related systems that are used to help people with disabilities to maintain or improve functioning and thereby promote well-being. These technologies allow people with difficulties to be more productive in life. Assistive technologies could be in many forms such as wheelchairs, communication products or other forms. In the communication products, many efforts have been made to develop systems or devices that assist individuals who have difficulty understanding and producing speech.
AI in marketing : Applications, insights, and analysis
AI in marketing equips students with the knowledge to understand the impact of artificial intelligence (AI) on marketing strategies, processes, and activities, empowering them to navigate the AI-driven marketing landscape confidently. divided into four parts, it provides a comprehensive exploration of AI's transformative role in marketing. the first part lays the groundwork, offering foundational insights into the intersection of AI and marketing. Part II explores the various applications of AI in marketing, and the tools marketers use to optimize their processes and deliver enhanced customer experiences. the third part focuses on leveraging AI for consumer insights, enabling marketers to craft data-driven strategies. the final part examines ethical considerations and the pedagogical integration of AI into marketing education.
