الصفحة 292
الصفحة 292
Advances in visual computing ; 4th International symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II
The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008.
Advances in visual computing ; 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I
The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008.
Advances in Visual Computing ; 3rd International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part II
It main of visual computing including vision,graphics,visualization,andvirtualreality.Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, devel- ments, and applications in the broader area of visual computing.
Advances in Visual Computing ; 3rd International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I
It main of visual computing including vision,graphics,visualization,andvirtualreality.Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, devel- ments, and applications in the broader area of visual computing.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in Urban Ecology : Integrating Humans and Ecological Processes in Urban Ecosystems
The future of Earth’s ecosystems is increasingly influenced by the pace and patterns of urbanization. One of the greatest challenges for natural and social scientists is to understand how urbanizing regions evolve through the complex interactions between humans and ecological processes. Questions and methods of inquiry specific to our traditional disciplinary domains yield partial views that reflect different epistemologies and understandings of the world. In order to achieve the level of synthesis required to see the urban ecosystem as a whole we must change the way we pose questions and search for answers. Cities are the result of human and ecological processes occurring simultaneously in time and in space and the legacy of the simultaneous processes of the past. Urban ecology is the study of the co-evolution of human-ecological systems. Scholars of both urban systems and ecology must challenge the assumptions and world views within their disciplines and work towards a hybrid theory that builds on multiple world views.
Advances in the Geological Storage of Carbon Dioxide : International Approaches to Reduce Anthropogenic Greenhouse Gas Emissions
As is now generally accepted mankind’s burning of fossil fuels has resulted in the mass transfer of greenhouse gases to the atmosphere, a modification of the delicately-balanced global carbon cycle, and a measurable change in world-wide temperatures and climate. Although not the most powerful greenhouse gas, carbon dioxide (CO) drives climate 2 change due to the enormous volumes of this gas pumped into the atmosphere every day. Produced in almost equal parts by the transportation, industrial and energy-generating sectors, atmospheric CO concentrations have 2 increased by about 50% over the last 300 years, and according to some sources are predicted to increase by up to 200% over pre-industrial levels during the next 100 years. If we are to reverse this trend, in order to prevent significant environmental change in the future, action must be taken immediately.
Advances in Targeted Cancer Therapy
This volume is the first book to cover the general topic of targeted cancer therapy. It presents a range of targets such as tumor angiogenesis, cell cycle control and cell signalling, COX-2, apoptosis/cell survival, invasion and metastasis and approaches like kinase inhibitors, antisense, and antibody-based therapeutics. The emphasis is on preclinical development, including target validation, development of biomarkers, strategies for combination approaches, and development of resistance. The particular challenges involved in translating these data to clinical application are discussed.
Advances in systems, computing sciences and software engineering ; Proceedings of SCSS 2005
Advances in Systems, Computing Sciences and Software Engineering This book includes the proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS'05). The proceedings are a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of computer science, software engineering, computer engineering, systems sciences and engineering, information technology, parallel and distributed computing and web-based programming.
Advances in Swarm Intelligence ; 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings
Constitutes the proceedings of the 11th International Conference on Advances in Swarm Intelligence, ICSI 2020, held in July 2020 in Belgrade, Serbia. Due to the COVID-19 pandemic the conference was held virtually. The 63 papers included in this volume were carefully reviewed and selected from 127 submissions. The papers are organized in 12 cohesive topical sections as follows: Swarm intelligence and nature-inspired computing; swarm-based computing algorithms for optimization; particle swarm optimization; ant colony optimization; brain storm optimization algorithm; bacterial foraging optimization; genetic algorithm and evolutionary computation; multi-objective optimization; machine learning; data mining; multi-agent system and robotic swarm, and other applications.
Advances in sustainable materials and technology
Discusses numerous relevant areas and innovative technologies, such as key construction materials and production, materials with lower energy impact, production processes encouraging less use of ever-depleting natural raw materials, minimization of the generation of greenhouse gases, development of new, environmentally friendly materials and agents, characterization of the properties of construction materials, and methodologies applied in the building of structures.
Advances in statistical methods for the health sciences : Applications to cancer and AIDS studies, genome sequence analysis, and survival analysis
This volume, an outgrowth of an "International Conference on Statistical Methods in Health Sciences," covers a wide range of topics pertaining to new statistical methods and novel applications in the health sciences.
Advances in Spectroscopy for Lasers and Sensing
This volume presents the Proceedings of the Institute “New Development in Optics and Related Fields,” held in Erice, Sicily, Italy, from the 6th to the 21st of June, 2005.
Advances in spatial and temporal databases ; 9th International symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases – SSTD 2005. This year’s symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatial and temporal database systems, including data models, systems, applications and theory. ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams.
Advances in spatial and temporal databases ; 7th International symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 Proceedings
The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects. The symposium served as a forum for disseminating research in spatial and temporal data management, and for maximizing the interchange of knowledge among researchers from the established spatial and temporal database com- nities. The exchange of research ideas and results not only contributes to the academic arena, but also bene ts the user and commercial communities.
Advances in spatial and temporal databases ; 10th International symposium, SSTD 2007, Boston, MA, USA, July 16.-18, 2007, Proceedings
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; indexing and query processing; and mining.
Advances in solid state physics ; Vol. 46
Many topical talks given at the numerous symposia are included. Most of these were organized collaboratively by several of the divisions of the Arbeitskreis. The topis range from zero-dimensional physics in quantum dots, molecules and nanoparticles over one-dimensional physics in nanowires and 1d systems to more applied subjects like optoelectronics and materials science in thin films.
Advances in solid state physics ; Vol. 45
The book presents, to some extent, the status of the field of solid-state physics in 2005 not only in Germany but also internationally. It is ''nanoscience'', namely the physics of quantum dots and wires, electrical transport, optical properties, spin transport in nanostructures, and magnetism on the nanoscale, that is of central interest to the physics community. Also, soft matter and biological systems are covered.
Advances in Software Engineering ; Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007.
Advances in Smaltalk ; 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
