Page 29
Page 29
Tensor Network Contractions : Methods and Applications to Quantum Many-Body Systems
This book is intended for graduated students, but can also be used as a professional book for researchers in the related fields. To understand most of the contents in the book, only basic knowledge of quantum mechanics and linear algebra is required. In order to fully understand some advanced parts, the reader will need to be familiar with notion of condensed matter physics and quantum information, that however are not necessary to understand the main parts of the book. This book is a good source for non-specialists on quantum physics to understand tensor network algorithms and the related mathematics.
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.
Telecommunications Modeling, Policy, and Technology
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology spawn new research problems. This volume is motivated by these advances in technology. Topics range from free-space optical networks to vehicular ad-hoc networks. The research contained in these papers cover a broad spectrum of issues. They range from the design of business models, tools for spectrum auctions, Internet charging schemes, Internet routing policies, and network design problems. Together, they address issues dealing both with engineering design and policy, and it is hoped that these papers will foster new ideas and research in their respective domains.
Technology, Design and the Arts - Opportunities and Challenges
Details the relationship between the artist and their created works, using tools such as information technology, computer environments, and interactive devices, for a range of information sources and application domains.
Technology transfer : Drug product manufacturing process
Offers technology transfer solutions and guidance to the pharmaceutical industry. The chapters provide a systematic understanding of applying the technology transfer concepts in pharmaceutical manufacturing, promoting standardization within the industry. Since Stage 1b is not specified in detail within the regulations, pharmaceutical organizations are left to determine the requirementsof the stage.
Technology enhanced learning ; IFIP TC3 Technology Enhanced Learning Workshop (Tel'04), World Computer Congress, August 22-27, 2004, Toulouse, France
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.
Technology and Global Public Health
Explores the pivotal role played by technology over the past decade in advancing global public health and health care. At present, the global community faces unprecedented healthcare challenges fueled by an aging population, rising rates of chronic disease, and persistent health disparities. New technologies and advancements have the potential to extend the reach of health professionals while improving quality and efficiency of service delivery and reducing costs within the public and the private health systems.
Technologies for Interactive Digital Storytelling and Entertainment ; 3rd International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings
Contains the proceedings from the 3rd International Conference on Technologies for Interactive Digital Storytelling and Entertainment (TIDSE 2006). The contributions are grouped into six sections, which include subjects like virtual characters, story authoring, narrative systems, and examples of their application. During recent years, Interactive Digital Storytelling has evolved as a prospering - search topic, banding together formerly disjoined disciplines stemming from the arts and humanities as well as computer science. The subject of this book is of course strongly related to the notion of ‘storytelling’, which has been used as an effective means for the communication of knowledge and social values, ever since the early history of humankind. It also tries to build a bridge between current academic trends.
Technologies for E-Services ; 3rd International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings
Constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe third workshop in a series of annual workshops endorsed by the VLDBConference. It serves as a forum for the exchange of ideas, results and experiencein the area of e-commerce and e-business.VLDB-TES 02 took place in Hong Kong, China. It featured the presentationof 14 regular papers, focused on major aspects of e-business solutions. these papers address such topics as: database issues for e-services; b2b integration; model transformation; information fusion; process-based application development and information integration.
Technologies for E-Learning and Digital Entertainment: Third International Conference, Edutainment 2008 Nanjing, China, June 25-27, 2008 Proceedings
Includes e-learning platforms and tools, e-learning system for education, application of e-learning systems, e-learning resource management, interaction in game and education, integration of game and education, game design and development, virtual characters, animation and navigation, graphics rendering and digital media, as well as geometric modeling in games and virtual reality.
Technologies for E-Learning and Digital Entertainment ; 2nd International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007, Proceedings
A total of 90 papers were selected, after peer review, for this volume. Topics of these papers fall into six diff- ent areas ranging from fundamental issues in geometry and imaging to virtual reality systems and their applications in entertainment and education. These topics include Virtual Reality in Games and Education, Virtual Characters in Games and Education, E-learning Platforms and Tools, Geometry in Games and Virtual Reality, Vision, Imaging and Video Technology, and Collaborative and Distributed Environments. We are grateful to the International Program Committee and the reviewers for their effort to get all the papers reviewed in a short period of time. We would also like to thank everyone who contributed to organizing the conference.
Technologies for Business Information Systems
Technologies for Business Information Systems The material collected in this book covers a broad range of applications of c- puter science methods and algorithms in business practice. It presents a research cutting edge in development, implementation, and improvement of computer s- tems. We publish this book with intention that it helps to establish strong foun- tions for further development of research in this area and support people involved in business computer applications, those implementing computer technology in industry. The computer science and information systems topics covered in the book include data warehouses, ERP, XML, ontologies, rule languages, Web s- vices.
Technologies and Applications for Big Data Value
This book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas.
Technological and business fundamentals for mobile app development
This workbook will give a holistic overview of the initial stages that must be considered when endeavoring to develop a mobile app. This workbook breaks topics down into core, technical and non-technical. Looking at each topic from all three angles, the core knowledge required for UI, UI for the technical person and UI for the non-technical person.
Techniques virales avancées = Advanced viral techniques
Deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense and the different phases of an attack using malicious code.The point of view adopted is that of the attacker insofar as it is the only one which really allows the one who has the responsibility to defend a system, to understand what can happen and to consider the solutions to be implemented. artwork. The chosen approach involves the use of original Boolean systems, complexity theory and computability theory. Using general models, studying and identifying the most complex instances of the detection problem helps to determine how a near-undetectable attack can be designed.
Techniques of Variational Analysis
Variational arguments are classical techniques whose use can be traced back to the early development of the calculus of variations and further. Rooted in the physical principle of least action they have wide applications in diverse fields. This book provides a concise account of the essential tools of infinite-dimensional first-order variational analysis illustrated by applications in many areas of analysis, optimization and approximation, dynamical systems, mathematical economics and elsewhere.
Technical, Economic and Societal Effects of Manufacturing 4.0 : Automation, Adaption and Manufacturing in Finland and Beyond
This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, the economic, and the social aspects of this important phenomenon.
Teaching Tolerance in a Globalized World
Identifies factors and conditions that can help schools and education systems promote tolerance in a globalized world. The IEA’s International Civic and Citizenship Study (ICCS) is a comparative research program designed to investigate the ways in which young people are prepared to undertake their roles as citizens, and provides a wealth of data permitting not only comparison between countries but also comparisons between schools within countries, and students within countries. Advanced analytical methods provide insights into relationships between students’ attitudes towards cultural diversity and the characteristics of the students themselves, their families, their teachers and school principals. The rich diversity of educational and cultural contexts in the 38 countries who participated in ICCS 2009 are also acknowledged and addressed.
Taxonomies for the Development and Verification of Digital Systems
In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a common understanding." --Richard Goering, Group Editorial Director for Design Automation, Electronic Engineering Times
Taxation, international cooperation and the 2030 sustainable development agenda
Addresses the link between international taxation, the 2030 Sustainable Development Agenda and the medium-term revenue strategy (MTRS) concept
