Page 1
Page 1
Non-Linear Optical Properties of Matte : From molecules to condensed phases
Non-Linear Optical Properties of Matter: From Molecules to Condensed Phases attempts to draw together both theory and application in this field. As such it will be of interest to both experimentalists and theoreticians alike. Divided into two parts, Part 1 is concerned with the theory and computing of non-linear optical (NLO) properties while Part 2 reviews the latest developments in experimentation.This book will be invaluable to researchers and students in academia and industry. It will be of particular interest to anyone involved in materials science, theoretical and computational chemistry, chemical physics, and molecular physics.
Neural Nets ; 16th Italian Workshop on Neural Nets, WIRN 2005, International workshop on natural and artificial immune systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 16th Italian Workshop on Neural Nets, WIRN 2005, as well as the satellite International Workshop on Natural and Artificial Immune Systems, NAIS 2005, held in Vietri sul Mare, Italy in June 2005. The 41 revised papers presented together with a lecture by the winner of the Premio Caianiello award were carefully reviewed and improved during two rounds of selection and refereeing.
Natural language and information systems ; 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings
This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information Systems, held June 25-27,2008.It also containssome of the best researchproposalsas submitted to the NLDB2008 doctoral symposium heldonJune24,2008.Theprogrammealso includes three invited talks covering the main perspectives of the application of naturallanguageto informationsystems: the wayhumansprocess, communicate and understand natural language, what are the implications and challenges - wardssemanticsearchfor the new Webgeneration, how naturallanguageapplies to the well-established database way of querying as a means to unlock data and information for end users.
MooTools Essentials : The Official MooTools Reference for JavaScript™ and Ajax Development
Mootools is a light, modular JavaScript framework that makes adding Ajax, animations, and interactive elements to your site a breeze. But it's more than fancy effects and shortcuts; Mootools enhances the JavaScript language and makes writing clean, object–oriented code almost pleasant. Unlocking the power of Mootools, and therefore JavaScript, isn't that hard, but knowing where to start can be.
Model Checking Software ; Vol. 3925 ; 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering.
Microwave engineering ; 4th ed.
Includes more material on active circuits, noise, nonlinear effects, and wireless systems. Chapters on noise and nonlinear distortion, and active devices have been added along with the coverage of noise and more material on intermodulation distortion and related nonlinear effects. On active devices, there's more updated material on bipolar junction and field effect transistors. New and updated material on wireless communications systems, including link budget, link margin, digital modulation methods, and bit error rates is also part of the new edition. Other new material includes a section on transients on transmission lines, the theory of power waves, a discussion of higher order modes and frequency effects for microstrip line, and a discussion of how to determine unloaded Q from resonator measurements
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Ionospheric multi-spacecraft analysis tools : Approaches for deriving ionospheric parameters
This book provides a comprehensive toolbox of analysis techniques for ionospheric multi-satellite missions. The immediate need for this volume was motivated by the ongoing ESA Swarm satellite mission, but the tools that are described are general and can be used for any future ionospheric multi-satellite mission with comparable instrumentation.
Introductory Statistics with R
R is an Open Source implementation of the S language. It works on multiple computing platforms and can be freely downloaded. R is now in widespread use for teaching at many levels as well as for practical data analysis and methodological development. This book provides an elementary-level introduction to R, targeting both non-statistician scientists in various fields and students of statistics. The main mode of presentation is via code examples with liberal commenting of the code and the output, from the computational as well as the statistical viewpoint. A supplementary R package can be downloaded and contains the data sets.
International Cooperation for Enhancing Nuclear Safety, Security, Safeguards and Non-proliferation ; Proceedings of the XXI Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, Italy, October 7–8, 2019
This book examines key aspects of international cooperation to enhance nuclear safety, security, safeguards, and nonproliferation, thereby assisting in development and maintenance of the verification regime and fostering progress toward a nuclear weapon-free world.
Intelligent Network Management and Control : Intelligent Security, Multi-criteria Optimization, Cloud Computing, Internet of Vehicles, Intelligent Radio
The management and control of networks can no longer be envisaged without the introduction of artificial intelligence at all stages. Deals with topical issues related mainly to intelligent security of computer networks, deployment of security services in SDN (software-defined networking), optimization of networks using artificial intelligence techniques and multi-criteria optimization methods for selecting networks in a heterogeneous environment. Focuses on selecting cloud computing services, intelligent unloading of calculations in the context of mobile cloud computing, intelligent resource management in a smart grid-cloud system for better energy efficiency, new architectures for the Internet of Vehicles (IoV), the application of artificial intelligence in cognitive radio networks and intelligent radio input to meet the on-road communication needs of autonomous vehicles.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; Vol.3990 ; 3rd International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings
Constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006. The 20 revised full papers presented together with 3 invited talks address methodological and foundational issues from AI, OR, and algorithmics and present applications to the solution of combinatorial optimization problems in various fields via constraint programming.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20–23, 2008. The purpose of this conference series is to bring together researchers in the felds of constraint programming, artifcial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration and hybridization of the felds’ diferent techniques. Through the years, this research community is discovering that the felds have much in c- mon, and there has been tremendous richness in the resulting cross-fertilization of felds.
Improving operating leverage using hyperautomation : Unlock strategic advantages across banking and non-banking financial institutions
Delving in depth into enterprise non-interest operating cost management and operating leverage. operating Leverage is about managing a bank's capabilities and its capacity to deliver its products and services efficiently. it is not limited to managing operational costs but includes the operational support for the growth of business and for improving profitability. the reader can learn to improve risk adjusted operational effectiveness by implementing a nuanced approach to managing performance, risk, control, and cost simultaneously, at the process level. the book explains why hyperautomation, a technology that intelligently automates business processes is a more advanced and comprehensive way to manage these factors in a holistic and integrated way.
High-quality outdoor learning : Evidence-based education Outside the classroom for children, teachers and society
Reviews evidence and case studies on the effects of outdoor learning on teachers and learners. It shows how real-world learning outside the classroom contributes to unlocking the full potential of learners, demonstrating its benefits for academic learning, social competencies, personal and emotional development, psychological well-being, and physical activity and health. In addition, the book highlights how outdoor learning nurtures environmental awareness and helps learners to tackle current sustainability challenges. Its focus on high-quality learning makes it a unique contribution to the implementation of SDG 4. Aimed at lecturers at teacher training universities, teachers, professional educators, coaches, and multipliers who train staff of educational NGOs, as well as decision makers on all levels of education systems, this book is of interest to all those who seek a more in-depth understanding of the future of education.
Hepatocellular Cancer : Diagnosis and Treatment
Recent advances in the use of ultrasound and computed tomography, in new drugs and drug combinations, as well as with increasingly successful liver transplantation have transformed not only our understanding of hepatocellular cancer (HCC), but also our clinical management of the disease. In Hepatocellular Cancer: Diagnosis and Treatment, highly experienced clinicians-many from Dr. Thomas Starzl's renowned liver transplant team at the University of Pittsburgh-present a fully synthesized practical approach to HCC patient management, including an up-to-date literature review. Their presentation includes all the latest developments in the diagnosis and treatment of primary liver cancer. A summary chapter details for physicians the diagnostic and therapeutic decision-making process for dealing with such problems as incidental tumors in the liver transplant, the role of neo-adjuvant chemotherapy, intra-arterial vs intravenous therapy, the uses of embolization, and the significance of portal vein thrombus. A value-added compact disk containing a companion ebook version of Hepatocellular Cancer: Diagnosis and Treatment is included for downloading and use in the reader's PC or PDA. Authoritative and highly practical, Hepatocellular Cancer: Diagnosis and Treatment captures for physicians the recent exciting changes in our understanding of hepatocellular cancer, focusing on today's optimal diagnostic methods, novel therapeutics, and day-to-day best management practices.
Hardware and software, verification and testing ; 2nd International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL.
Handhelds in medicine : A practical guide for clinicians
Handheld computers are emerging as the stethoscopes of the twenty-first century, and no clinician should be without! These small, easy-to-use devices are now powerful enough to help clinicians manage information and make medical decisions at the point of care. Here, Drs. Stayer, Reynolds and Ebell, practicing physicians and nationally recognized handheld computing experts, show you how to make the most of a handheld computer in your medical practice. This comprehensive how-to guide targets all levels of handheld computer users from novices to experts. It is designed with easy-to-understand hands-on exercises that walk readers through each new skill presented. For beginners, the first section is devoted to "getting to know your handheld," choosing or upgrading a handheld computer, and the basics of handheld operation. There's also a comprehensive chapter on downloading and installing software. Futher sections delve into different types of medical and nonmedical software, Internet and evidence-based resources for medical handheld computing, and, finally, advanced topics such as designing custom software and going wireless. Even the most advanced user will find a lot to learn in this book.
Handbook of damage mechanics : Nano to macro Scale for materials and structures
A wide range of materials that engineers may encounter are covered, including metals, composites, ceramics, polymers, biomaterials, and nanomaterials. The internationally recognized team of contributors employs a consistent and systematic approach, offering readers a user-friendly reference that is ideal for frequent consultation.
Guide to RISC Processors : for Programmers and Engineers
This guidebook provides an accessible and all-encompassing compendium on RISC processors, introducing five RISC processors: MIPS, SPARC, PowerPC, ARM, and Itanium. Initial chapters explain the differences between the CISC and RISC designs and clearly discuss the core RISC design principles. The text then integrates instruction on MIPS assembly language programming, thereby enabling readers to concretely grasp concepts and principles introduced earlier. Readers need only have a basic knowledge of any structured, high-level language to obtain the full benefits here.
