الصفحة 95
الصفحة 95
Balkan Sprachbund Morpho-Syntactic Features
This book discusses the morpho-syntactic Balkan Sprachbund features in nine languages in which they are most numerous. It contains a wealth of Balkan linguistic material, collected from both the existing literature sources and from the author’s own field work.
Balanced Website Design : Optimising Aesthetics, Usability and Purpose
Balanced Website Design (BWD) is a new methodology that fuses the strengths of traditional structured, stepped, and iterative approaches with a sharp focus on defining and achieving the desired characteristics of purpose, usability and aesthetics – absolutely essential requirements for any website. The book includes discussions of new perspectives on usability and aesthetics in the special context of website design. BWD is suitable for all types of websites, for individual and/or team projects, and should prove to be of significant value for even the most experienced of website designers. BWD provides guidance, structure and detailed documentation/process support for the activity of designing and implementing your next website – helping you to maximise its effectiveness and relevance.
Bacterial Biofilms
This volume tends to focus on the biology of biofilms that affect human disease. It opens with chapters that provide the reader with current perspectives on biofilm development, physiology, environmental and regulatory effects, the role of quorum sensing, and resistance/phenotypic persistence to antimicrobial agents during biofilm growth. The next chapters are devoted to common problematic biofilms, those that colonize venous and urinary catheters. The final series of chapters examines biofilm formation by four species that are important pathogens and well studied models, one of which, Yersinia pestis, cleverly adopts a biofilm state of growth within its insect vector to promote disease transmission to mammalian hosts.
Azaheterocycles Based on -, ß-Unsaturated Carbonyls
Devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles leading to three-, five-, six and seven-membered partially hydrogenated nitrogen-containing heterocycles. During the last decade interest in these classes of organic c- pounds has been experiencing a scientific renaissance owing to their significant role in biological processes in living cells and diverse effects on physiological activities. In addition, such compounds are also more prevalent from the vi- point of ''classical'' problems of organic chemistry, among them reactivity, chemo- and regioselectivity, tautomerism, conformational analysis and features of their electronic structure. The character of these problems in the case of partially hydrogenated heterocycles differs sufficiently from that for hetero- omatized and perhydrogenated heterocyclic compounds and investigations in this field very often lead to interesting and unusual results. Extensively characterized cyclocondensations of, -unsaturated carbonyls, their synthetic equivalents and their precursors are the most widespread, facile and generally valid pathway to dihydroazaheterocycles.
Axonal branching and recovery of coordinated muscle activity after transsection of the facial nerve in adult rats
Facial nerve surgery inevitably leads to partial pareses, abnormally associated movements and pathologically altered reflexes. The reason for this "post-paralytic syndrome" is the misdirected reinnervation of targets
Axially chiral compounds : Asymmetric synthesis and applications
Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially chiral motifs constitute the core backbones of the majority of chiral ligands and organocatalysts in asymmetric catalysis. In a new work of particular relevance to synthetic chemists, Axially Chiral Compounds: Asymmetric Synthesis and Applications delivers a clearly structured and authoritative volume covering the classification, characteristics, synthesis, and applications of axial chirality.
Axial flux permanent magnet brushless machines
Axial Flux Permanent Magnet (AFPM) brushless machines are modern electrical machines with a lot of advantageous merits over their conventional counterparts. They are increasingly used in power generation, domestic appliances, industrial drives, electric vehicles, and marine propulsion drives and many other applications. This book deals with the analysis, construction, design, optimisation, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others. This monograph will be of interest to electrical engineers and other engineers involved in the design and application of AFPM brushless machine drives. It will be an important resource for researchers and graduate students in the field of electrical machine and drives.
Autonomy oriented computing : From problem solving to complex systems modeling
Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and presenting experimental case studies. The book serves as a comprehensive reference source for researchers, scientists, engineers, and professionals in all fields concerned with this promising new development in computer science. It can also be used as a main or supplementary text in graduate and undergraduate programs across a broad range of computer-related disciplines, including Robotics and Automation, Amorphous Computing, Image Processing and Computer Vision, Programming Paradigms, Computational Biology, and many others. The first part of the book, Fundamentals, describes the basic concepts and characteristics of an AOC system, and then it enumerates the critical design and engineering issues faced in AOC system development. The second part of the book, AOC in Depth, provides a detailed analysis of methodologies and case studies to evaluate the use of AOC in problem solving and complex system modeling. The final chapter reviews the essential features of the AOC paradigm and outlines a number of possibilities for future research and development.
Autonomous Navigation in Dynamic Environments
The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present new ideas and approaches in this newly emerging technical domain. The book surveys the state-of-the-art, discusses in detail various related challenging technical aspects, and addresses upcoming technologies in this field. The aim of the book is to establish a foundation for a broad class of mobile robot mapping and navigation methodologies for indoor, outdoor, and exploratory missions.Three main topics located on the cutting edge of the state of the art are addressed, from both the theoretical and technological point of views: Dynamic world understanding and modelling for safe navigation, Obstacle avoidance and motion planning in dynamic environments, and Human-robot physical interactions. Several models and approaches are proposed for solving problems such as Simultaneous Localization and Mapping (SLAM) in dynamic environments, Mobile obstacle detection and tracking, World state estimation and motion prediction, Safe navigation in dynamic environments, Motion planning in dynamic environments, Robust decision making under uncertainty, and Human-Robot physical interactions.
Autonomous intelligent systems : Agents and data mining ; International workshop, AIS-ADM 2005
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St. Petersburg, Russia in June 2005. The 17 revised full papers presented together with 5 invited papers and the abstract of an invited talk were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.
Autonomic communication ; Vol. 3854 : 2nd International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
The Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific sponsorship through Working Groups IFIP WG6. 6 (Management of Networks and Distributed Systems) and IFIP WG6. 3 (Performance of Communication Systems). The workshop was organized at a time when the – yet to be well defined – field of autonomic communication (AC) is attracting the interest of both the scientific community and the research funding organizations. The latter is manifested, on one hand, by the numerous recent relevant research exploratory forums, workshop panels, preliminary forward-looking position papers, research outlooks and frameworks and, on the other hand, by the commitment of the FET program of the European Commission in Europe to funding long-term research in this area for the next four years.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
Automatic Quantum Computer Programming : A Genetic Programming Approach
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough understanding of the power of quantum computing, and it is not always clear how best to utilize the power that it is understood. This dilemma exists because quantum algorithms are difficult to grasp and even more difficult to write. Despite large-scale international efforts, only a few important quantum algorithms are documented, leaving many essential questions about the potential of quantum algorithms unanswered.
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Austenitic TRIP/TWIP steels and steel-zirconia composites : Design of tough, transformation-strengthened composites and structures
This book presents a collection of the most up-to-date research results in the field of steel development with a focus on pioneering alloy concepts that result in previously unattainable materials properties.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
