You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad C...
Die Globalisierung und Virtualisierung von Geschäftsbeziehungen vergrößert die Bedeutung und die Komplexität logistischer Herausforderungen. Das Management logistischer Netzwerke wird zu einem wesentlichen Wettbewerbsfaktor für Unternehmen. Das Buch wie die gleichnamige Tagung (September 2009) haben zum Ziel, den internationalen Gedankenaustausch und die Diskussion zwischen Wissenschaft und Praxis gezielt zu fördern, damit Strategien, Methoden und Werkzeuge entwickelt werden können, die es ermöglichen, den wachsenden Anforderungen gerecht zu werden.
This book includes details on the environmental implications of recycling, modeling of recycling, processing of recycled materials, recycling potential of materials, characterisation of recycled materials, reverse logistics, case studies of recycling various materials etc.
This book brings together recent developments in Alzheimer's disease research with related discoveries in the field of cell biology. The book moves between basic cell biological concepts that form the underpinnings of modern Alzheimer's disease research, and current findings about proteins and cellular processes affected by the disease. Divided into three topics, the book addresses (1) protein trafficking, a problem that has become germane to the study of the amyloid precursor protein; (2) phosphorylation, a problem that underlies studies of the pathological transformation of tau to paired helical filaments; and (3) cell death, a pervasive problem in neurodegeneration.
The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic program g- eration, (abstract) machine architectures, array processing, concurrent/parallel programming and program execution, heap management, runtime pro?ling and performance measurements, debugging and tracing, veri?cation of functional programs, tools ...
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.
This book constitutes the refereed proceedings of the 14th International Conference on ICT Innovations 2022. Reshaping the Future Towards a New Normal, ICT Innovations 2022, held in Skopje, Macedonia, during September 29–October 1, 2022. The 14 full papers and 1 short papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: theoretical foundations and distributed computing; artificial intelligence and deep learning; applied artificial intelligence; education; and medical informatics.
Annotation This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.
The two-volume set LNAI 8397 and LNAI 8398 constitutes the refereed proceedings of the 6th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2014, held in Bangkok, Thailand, in April 2014. The 125 revised papers presented were carefully reviewed and selected from 300 submissions. The papers address the following topics: natural language and text processing, intelligent information retrieval, semantic Web, social networks and recommendation systems, intelligent database systems, decision support systems, computer vision techniques, and machine learning and data mining. The papers are organized in topical sections on multiple model approach to machine learning, MMAML 201...