الصفحة 21
الصفحة 21
Advances in Design
Advances in Design examines recent advances and innovations in product design paradigms, methods, tools and applications. It presents fifty-two selected papers which were presented at the 14th CIRP International Design Seminar held in May 2004.
Advances in databases and information systems ; Vol. 3631 ; 9th East European conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings
This book constitutes the proceedings of the 9th East-European Conference on Advances in Databases and Information Systems was 2005, in Tallinn, Estonia. It was organized in a cooperation between the Institute of Cybernetics at Tallinn University of Technology, the Department of Computer Engineering of Tallinn University of Technology, and the Moscow chapter of ACM SIGMOD. The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of excellent researchaccomplishmentsand to promote interaction and collaboration between the Database and Information Systems research communities from Central and East European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, the development of advanced DBMS technologies, and their advanced applications in particular in information s- tems.
Advances in Ad Hoc Networking ; Proceedings of the Seventh Annual Mediterranean Ad Hoc Networking Workshop, Palma de Mallorca, Spain, June 25–27, 2008
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Advanced Wired and Wireless Networks
ADVANCED WIRED AND WIRELESS NETWORKS brings the reader a sample of recent research efforts representative of advances in the areas of recognized importance for the future Internet, In Part I, we bring ad-hoc networking closer to the reality of practical use. The focus is on more advanced scalable routing suitable for large networks, directed flooding useful in information dissemination networks, as well as self-configuration and security issues important in practical deployments. Part II illustrates the efforts towards development of advanced mobility support techniques (beyond traditional "mobile phone net") and Mobile IP technologies. The issues range from prediction based mobility support, through context transfer during Mobile IP handoff, to service provisioning platforms for heterogeneous networks. The focus of the final section concerns the performance of networks and protocols. Furthermore this section illustrates researchers’ interest in protocol enhancement requests for improved performance with advanced networks, reliable and efficient multicast methods in unreliable networks, and composite scheduling in programmable/active networks where computing resources equal network performance as transmission bandwidth.
Advanced Software Engineering : Expanding the Frontiers of Software Technology ; IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Advanced Gate Stacks for High-Mobility Semiconductors
Provides a comprehensive monograph on gate stacks in semiconductor technology. The reader will get a clear view of what has been done so far, what is the state-of-the-art and which are the main challenges ahead before we come any closer to a viable Ge and III-V MOS technology.
Advanced Experimental Methods For Noise Research in Nanoscale Electronic Devices
The approach described is to create methods for experimental observations of noise sources, their localization and their frequency spectrum, voltage-current and thermal dependences. Our current knowledge of measurement methods for mesoscopic devices is summarized to identify directions for future research, related to downscaling effects. The directions for future research into fluctuation phenomena in quantum dot and quantum wire devices are specified. Nanoscale electronic devices will be the basic components for electronics of the 21st century. From this point of view the signal-to-noise ratio is a very important parameter for the device application. Since the noise is also a quality and reliability indicator, experimental methods will have a wide application in the future.
Ad-Hoc Networking ; IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Activity and Sign : Grounding Mathematics Education
Provides new sources of knowledge based on Michael Otte’s fundamental insight that understanding the problems of mathematics education – how to teach, how to learn, how to communicate, how to do, and how to represent mathematics – depends on means, mainly philosophical and semiotic, that have to be created first of all, and to be reflected from the perspectives of a multitude of diverse disciplines.
Actin-Binding Proteins and Disease
This volume, written by experts in the field, is the first to deal with the relationship between human disease and the actin cytoskeleton. It provides overviews of actin and selected actin-binding proteins, and then focuses on diseases that involve these proteins. Specific chapters deal with actin, cofilin, profilin, gelsolin and thymosin ¾4. Other chapters discuss the roles of multiple actin-binding proteins in cancer and metastasis, leukocyte disorders, and heart failure, and there is a chapter that describes how intracellular pathogens use the host actin cytoskeleton. This seminal volume is intended for researchers, clinicians, physicians, and graduate students in the fields of biochemistry, cell biology, microbiology, immunology, and genetics.
Absolute Stability of Nonlinear Control Systems
Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor Pei Yu, has created a second edition of his seminal work on the subject. Liao begins with an introduction to the Lurie problem and the Lurie control system, before moving on to the simple algebraic sufficient conditions for the absolute stability of autonomous and non-autonomous ODE systems, as well as several special classes of Lurie-type systems. The focus of the book then shifts toward the new results and research that have appeared in the decade since the first edition was published. This includes nonlinear control systems with multiple controls, interval control systems, time-delay and neutral Lurie control systems, systems described by functional differential equations, the absolute stability for neural networks, as well as applications to chaos control and chaos synchronization.
Abord clinique en urologie = Clinical approach in urology
Seduced by the idea of commenting on the clinical experience they have acquired during their career, the authors have deliberately approached their specialty by describing the symptoms that give the chapters their titles. They nevertheless described the differential diagnoses, the diseases involved and the treatments. After a chapter devoted to the examination of the patient, including the detours of the interrogation, back pain or scrotal pain are analyzed. The authors then turned to voiding disorders and their causes. The peculiarities of hematuria, depending on their level of origin, are described and commented on. The semiology of tumor masses is carefully detailed and, conversely, the problem of prostate cancer screening by PSA is dealt with in a separate chapter. Erectile dysfunction and penile diseases are the last chapters. In the line of the “Clinical approach” collection, this manual is easy to consult thanks to a detailed index, easy to understand because it is written in clear language and, moreover, well illustrated (21 diagrams and 2 tables). In this little book, the authors have approached urology from a perspective close to how patients feel.
A Study about Prevalence of Thalassemia Complications in Syrian Patients
Inherited haemoglobin disorders, including thalassemia and sickle-cell disease, are the most common monogenic diseases worldwide. Several clinical forms of α-thalassemia and β-thalassemia, including the co-inheritance of β-thalassemia with haemoglobin E resulting in haemoglobin E/β-thalassemia, have been described. The disease hallmarks include imbalance in the α/β-globin chain ratio, ineffective erythropoiesis, chronic hemolytic anemia, compensatory hemopoietin expansion, hypercoagulability, and increased intestinal iron absorption. The complications of iron overload, arising from transfusions that represent the basis of disease management in most patients with severe thalassemia. The mature Hb molecule is a tetramer composed of 2 a-globin and 2 b-globin polypeptides, which assemble, along with a heme prosthetic group, to form the complete molecule.
A Short Course on Operator Semigroups
Gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on Banach spaces. It treats the fundamental Hille-Yosida generation theorem as well as perturbation and approximation theorems for generators and semigroups.
A Roadmap for Formal Property Verification
Develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
A Legacy for Living Systems : Gregory Bateson as Precursor to Biosemiotics
This book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, cognitive science, anthropology and philosophy discuss how Bateson's thinking might lead to a fruitful reframing of central problems in modern science. Most important perhaps, Bateson's bioanthropology is shown to play a key role in developing the set of ideas explored in the new field of biosemiotics. The idea that organismic life is indeed basically semiotic or communicative lies at the heart of the biosemiotic approach to the study of life.The only book of its kind, this volume provides a key resource for the quickly-growing substratum of scholars in the biosciences, philosophy and medicine who are seeking an elegant new approach to exploring highly complex systems.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
2D Functional Nanomaterials : Synthesis, Characterization, and Applications
In 2D Functional Nanomaterials: Synthesis, Characterization, and Applications, Dr. Ganesh S. Kamble presents an authoritative overview of the most recent progress in the rational design and synthesis of 2D nanomaterials and their applications in semiconducting catalysts, biosensors, electrolysis, batteries, and solar cells. This interdisciplinary volume is a valuable resource for materials scientists, electrical engineers, nanoscientists, and solid-state physicists looking for up-to-date information on 2D heterojunction nanomaterials.
