Introduction to the theory of computation
Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs.
Introduction to Planetary Science : The Geological Perspective
This textbook is intended to be used in a lecture course for college students majoring in the Earth Sciences. Planetary Science provides an opportunity for these students to apply a wide range of subject matter pertaining to the Earth to the study of other planets of the solar system and their principal satellites. As a result, students gain a wider perspective of the different worlds that are accessible to us and they are led to recognize the Earth as the only oasis in space where we can live without life-support systems.The subject matter is presented in 24 chapters that lead the reader through the solar system starting with historical perspectives on space exploration and the development of the scientific method. The presentations concerning the planets and their satellites emphasize that their origin and subsequent evolution can be explained by applications of certain basic principles of physics, chemistry, and celestial mechanics and that the surface features of the solid bodies in the solar system can be interpreted by means of the principles of geology.
Introduction to Pharmaceutical Analytical Chemistry
Enables students to gain fundamental knowledge of the vital concepts, techniques and applications of the chemical analysis of pharmaceutical ingredients, final pharmaceutical products and drug substances in biological fluids. A unique emphasis on pharmaceutical laboratory practices, such as sample preparation and separation techniques, provides an efficient and practical educational framework for undergraduate studies in areas such as pharmaceutical sciences, analytical chemistry and forensic analysis. Suitable for foundational courses, this essential undergraduate text introduces the common analytical methods used in quantitative and qualitative chemical analysis of pharmaceuticals.
Introduction to organic and medicinal chemistry
Designed to be an undergraduate reference textbook for students of chemistry who aim to select degree modules geared towards medicinal chemistry. The first two chapters offer an overview of basic organic chemistry, followed by organic synthesis in Chapter 3, with an emphasis on the importance of synthetic procedures in relation to the chemistry of drug design. In Chapter 4, the book covers foundational aspects of biochemistry and biomedical science to provide a basis for students understanding where and how drugs work on selected targets. Later, the book explains how medicines have been created for selected topics in medicinal chemistry – namely against pathogens, cancer and neurological targets.
Introduction to Computer Graphics : Using Java 2D and 3D
This book introduces the most important basic concepts of computer graphics, coupling the technical background and theory with practical examples and applications throughout. Its user-friendly approach enables the reader to gain understanding through the theory at work, via the many example programs provided. With only elementary knowledge of the programming language Java, the reader will be able to create their own images and animations immediately, using Java 2D and/or Java 3D.
International Prosecution of Human Rights Crimes
It is intended for a wide variety of readers: academics, all kinds of jurists, as well as human rights activists, who sometimes know more about the applicable law than the legal experts. It owes its existence to a paradox: On the one hand, new structures for dealing with the most serious international crimes are being put into place.
International Competitiveness in Africa : Policy Implications in the Sub-Saharan Region
The effects of international trade and foreign direct investment on developing economies have always been controversial. With the unstoppable spread of globalization and the supremacy of "open" policies over "closed" ones, the debate between "participating" and "not participating" in the world economy has been superseded by discussions on the best policy measures for expanding participation and enhancing the accrued welfare gains. Policies to strengthen international competitiveness are almost unanimously considered important means towards those ends. This book examines two policies frequently used to enhance international competitiveness in Sub-Saharan African economies: exchange rate policy and productivity-related policy.
Intelligent Virtual Agents ; Vol.3661 : 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings
The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments held in Brighton at the 13th European Conference on Artificial Intelligence (ECAI'98). This workshop was followed by a second one held in Salford in Manchester in 1999. Subsequent events took place in Madrid, Spain in 2001 and Irsee, Germany in 2003 and attracted participants from both sides of the Atlantic as well as Asia. th This volume contains the proceedings of the 5 International Working Conference on Intelligent Virtual Agents, IVA 2005, held on Kos Island, Greece, September 12–14, 2005, which highlighted once again the importance and vigor of the research field. A half-day workshop under the title “Socially Competent IVA’s: We are not alone in this (virtual) world!” also took place as part of this event. IVA 2005 received 69 submissions from Europe, North and South America, Africa and Asia. The papers published here are the 26 full papers and 14 short papers presented at the conference, as well as one-page descriptions of the 15 posters and the descriptions of the featured invited talks by Prof. Justine Cassell, of Northwestern University and Prof. Kerstin Dautenhahn, of the University of Hertfordshire. We would like to thank a number of people that have contributed to the success of this conference. First of all, we thank the authors for their high-quality work and their willingness to share their ideas.
Intelligent drugs : How AI is transforming healthcare
The progress of biotechnologies and artificial intelligence allowed the development of vaccines in less than a year, thus saving millions of human lives and preserving the global economy. The emergence of intelligent drugs is highlighted, with the promise of ultra-targeted, more effective, and safer treatments against a wide range of diseases. Personalized medicine then becomes realistic, with computer-designed drugs, perfectly adapted to each individual, tested on virtual patients before their real use. In the near future, thanks to AI, new drugs will improve physical performance, stimulate cognitive abilities, prevent diseases, and slow down aging.
Integrated Information Management : Applying Successful Industrial Concepts in IT
After years of apparent dormancy, once again companies are paying more att- tion to information management. IT departments and CIOs are confronted with a number of new challenges, which force them to reconsider past information m- agement strategies and solutions. Recently cited as positive trends in IT are only those developments concerning stronger customer service and process orientation or pertaining to new forms of IT governance.
Integrated Chemical Microsensor Systems in CMOS Technology
This book, "Integrated Chemical Microsensor Systems in CMOS Technology", provides a comprehensive treatment of the highly interdisciplinary field of CMOS chemical microsensor systems. It is targeted at students, scientists and engineers who are interested in gaining an introduction to the field of chemical sensing since all the necessary fundamental knowledge is included. However, as it provides detailed information on all important issues related to the realization of chemical microsensors in CMOS technology, it also addresses experts well familiar with the field.
Insights into the pharmaceutical and clinical applications of nanoparticles in cancer therapy
Healthcare has long been on a quest for a ‘magic bullet’ to cure the dreaded disease cancer. As this book shows, nanoparticles perfectly fit the bill with their promising characteristics. Meticulously engineered nanostructures, with a useful drug or molecule, target a specific cancer in unique ways. However, as with many targeted systems, the effectiveness of the system needs to be weighed against the adverse effects. The toxicity of nanoparticles has been a worldwide concern, and evidence-based medicine analyses nanostructures for proof of safety and their efficacy in killing cancer cells. This book gives a fresh perspective on a wealth of diverse nanotechnological advances for various cancers.
Inorganic Reactions in Water
Organized to facilitate reference to the reagents involved, this book describes the reactions of the elements and their mostly simpler compounds, primarily inorganic ones and primarily in water. It emphasizes the similarities and differences in actual chemical behavior, as opposed to electronic structures and theories, although not exclusively.Inorganic Reactions in Water again makes available some of the more comprehensive coverage of descriptive aqueous chemistry found in older sources, but now corrected and interpreted with the added insights of the last seven decades. It also provides new information, including reactions of the recently discovered elements.
Innovation and Technology in Korea : Challenges of a Newly Advanced Economy
Only inadequately perceived by the Western public, Korea has transformed into an economic heavy weight during recent decades. The Korean government believes it can turn it into one of the top 10 competitive economies until 2010. This goal does not sound overambitious as Korea has undergone tremendous efforts in order to forge ahead in the field of research and development. In some high tech industries, Korean firms have advanced into leading players in the global market place and are increasingly challenging their international competitors. Against this background, the volume offers an in-depth analysis of the Korean innovation system and shows how its science and technology policies actually work. As Korea’s economy is now reaching the status of a newly advanced economy, the book also takes a close look on ongoing structural changes in the course of economic globalization.
Information Systems Outsourcing : Enduring Themes, New Perspectives and Global Challenges
This book deals with enduring themes, new perspectives, and global challenges. In addition to classical themes like Sourcing Determinants (Part I), Relationship Aspects (Part II), and Experiences (Part III), we felt it worthwhile to add three new parts. They cover information systems outsourcing from a Vendor and Individual Perspective (Part IV), Application Service Providing (Part V) as well as Offshoring and Global Outsoucing (Part VI). Again we have thoughtfully tried to arrange a compilation of contemporary outsourcing research as a primer and a platform for scientific discourse
Information security and privacy ; 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings
A Few Thoughts on E-Commerce.- New CBC-MAC Forgery Attacks.- Cryptanalysis of a Public Key Cryptosystem Proposed at ACISP 2000.- Improved Cryptanalysis of the Self-Shrinking Generator.- Attacks Based on Small Factors in Various Group Structures.- On Classifying Conference Key Distribution Protocols.- Pseudorandomness of MISTY-Type Transformations and the Block Cipher KASUMI.- New Public-Key Cryptosystem Using Divisor Class Groups.- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields.- Practical Key Recovery Schemes.- Non-deterministic Processors.- Personal Secure Booting.- Evaluation of Tamper-Resistant Software Deviating from Structured Programming Rules.- A Strategy for MLS Workflow.- Condition-Driven Integration of Security Services.- SKETHIC: Secure Kernel Extension against Trojan Horses with Informat ion-Carrying Codes.- Secure and Private Distribution of Online Video and Some Related Cryptographic Issues.- Private Information Retrieval Based on the Subgroup Membership Problem.
Information security and cryptology ; Vol. 3822 ; 1st SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
The first SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17, 2005 and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate School of the Chinese Academy of Sciences and the National Science Foundation of China. The conference proceedings, represe- ing invited and contributed papers, are published in this volume of Springer’s Lecture Notes in Computer Science (LNCS) series. The area of research covered by CISC has been gaining importance in recent years, and a lot of fundamental, experimental and applied work has been done, advancing the state of the art. The program of CISC 2005 covered numerous ?elds of research within the general scope of the conference.
Information Science and Applications ; Proceedings of ICISA 2020
This book presents select proceedings of 11th International Conference on Information Science and Applications 2020 (ICISA 2020) and provides a snapshot of the latest issues encountered in technical convergence and convergences of security technology. It explores how information science is core to most current research, industrial and commercial activities and consists of contributions covering topics including Ubiquitous Computing, Networks and Information Systems, Multimedia and Visualization, Middleware and Operating Systems, Security and Privacy, Data Mining and Artificial Intelligence, Software Engineering, and Web Technology. Also the proceedings introduce the most recent information technology and ideas, applications and problems related to technology convergence, illustrated through case studies, and reviews converging existing security techniques. Through this book, readers can gain an understanding of the current state-of-the-art information strategies and technologies of convergence security.
Information networking : Convergence in broadband and mobile networking ; International conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings
Welcome to ICOIN 2005,the International Conference on Information Netwo- ing, held at Ramada Plaza Jeju Hotel, Jeju Island, Korea during January 31– February2,2005.ICOIN2005followedthesuccessofpreviousconferences.Since 1986, the conference has provided a technical forum for various issues in inf- mation networking. The theme of each conference re?ects the historic events in the computer communication industry. (Please refer to www.icoin2005.or.kr for details.) The theme of ICOIN 2004, “Convergence in Broadband and Mobile Networking,” was used again for ICOIN 2005 since we believed it was ongoing. This year we received 427 submissions in total, which came from 22 co- tries. Upon submission, authors were asked to select one of the categories listed in the Call for Papers. The most popular category chosen was network se- rity, followed by mobile networks and wireless LANs. Other areas with strong showings included QoS and resource management, ad hoc and sensor networks, and wireless multimedia systems. From the outset, we could see where recent research interest lay and could make sure that the theme was still going in the right direction.
Information and communication technologies in tourism 2022 ; Proceedings of the ENTER 2022 eTourism Conference, January 11-14, 2022
The book provides an extensive overview of how information and communication technologies can be used to develop tourism and hospitality. It covers the latest research on various topics within the field, including augmented and virtual reality, website development, social media use, e-learning, big data, analytics, and recommendation systems. The readers will gain insights and ideas on how information and communication technologies can be used in tourism and hospitality.



















