Computers - Computer Science

The 2003 Information Security Conference was the sixth in a series that started with the InformationSecurity Workshopin 1997.A distinct feature of this series is the wide coverage of topics with the aim of encouraging interaction between researchers in di?erent aspects of information security. This...

This book reflects the scientific program of the annual workshop on Graph-theoretic Concepts in Computer Science in 1987. The purpose of this conference is to be the "missing link" between theory and application of graphs in as many branches of computer science as a...

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was...

It is our pleasure to thank dl those uho contributed to nial\ing thew proceeding\ possible: the authors. progriimme committee. organihing committee, I4C.K otticfrh and directors, and all the attendees. We were all deeplq saddened nhen ne lemied th, it Tore Ilerle tam. J member...

The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which...

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover...

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in...

Supported by CNRS (Centre national de la Recherche scientifique), SMF (Societe mathematique de France), Universite Louis Pasteur de StrasbourgAuthor: Jacques DesarmenienISBN-10: 3540168079ISBN-13: 9783540168072Publisher: SpringerLanguage: EnglishPublished: 09/01/1986Pages: 208Format: PaperbackWeight: 0.68lbsSize: 9.21h x 6.14w x 0.46d

Author: Jozef GruskaISBN-10: 3540167838ISBN-13: 9783540167839Publisher: SpringerLanguage: EnglishPublished: 08/01/1986Pages: 650Format: PaperbackWeight: 2.03lbsSize: 9.21h x 6.14w x 1.34d

Author: Alan L. SelmanISBN-10: 3540164863ISBN-13: 9783540164869Publisher: SpringerLanguage: EnglishPublished: 05/01/1986Pages: 404Format: PaperbackWeight: 1.27lbsSize: 9.21h x 6.14w x 0.84d

Author: Alain PoliISBN-10: 3540167676ISBN-13: 9783540167679Publisher: SpringerLanguage: EnglishPublished: 07/01/1986Pages: 268Format: PaperbackWeight: 0.87lbsSize: 9.21h x 6.14w x 0.59d

Author: Andrzej SkowronISBN-10: 3540160663ISBN-13: 9783540160663Publisher: SpringerLanguage: EnglishPublished: 12/01/1985Pages: 402Format: PaperbackWeight: 1.27lbsSize: 9.21h x 6.14w x 0.84d

Author: F. GecsegISBN-10: 3540108548ISBN-13: 9783540108542Publisher: SpringerLanguage: EnglishPublished: 08/01/1981Pages: 471Format: PaperbackWeight: 1.49lbsSize: 9.21h x 6.14w x 0.98d

Author: C. M. HoffmannISBN-10: 3540114939ISBN-13: 9783540114932Publisher: SpringerLanguage: EnglishPublished: 04/01/1982Pages: 314Format: PaperbackWeight: 1.01lbsSize: 9.21h x 6.14w x 0.69d

Author: S. EvenISBN-10: 3540108432ISBN-13: 9783540108436Publisher: SpringerLanguage: EnglishPublished: 06/01/1981Pages: 554Format: PaperbackWeight: 2.13lbsSize: 10.00h x 7.00w x 1.14d

Author: H. NoltemeierISBN-10: 3540102914ISBN-13: 9783540102915Publisher: SpringerLanguage: EnglishPublished: 02/01/1981Pages: 408Format: PaperbackWeight: 1.29lbsSize: 9.21h x 6.14w x 0.86d

Author: M. Gordon,R. Milner,C. P. WadsworthISBN-10: 3540097244ISBN-13: 9783540097242Publisher: SpringerLanguage: EnglishPublished: 12/01/1979Pages: 161Format: PaperbackWeight: 0.55lbsSize: 9.21h x 6.14w x 0.37d

Author: J. WinkowskiISBN-10: 3540089217ISBN-13: 9783540089216Publisher: SpringerLanguage: EnglishPublished: 08/01/1978Pages: 556Format: PaperbackWeight: 1.73lbsSize: 9.21h x 6.14w x 1.15d

Author: P. Cherenack,K. UenoISBN-10: 3540071385ISBN-13: 9783540071389Publisher: SpringerLanguage: EnglishPublished: 03/04/1975Pages: 282Format: PaperbackWeight: 0.94lbsSize: 9.21h x 6.14w x 0.64d

The Sixth International Financial Cryptography Conference was held during March 11-14, 2002, in Southampton, Bermuda. As is customary at FC, these proceedings represent "final" versions of the papers presented, revised to take into account comments and discussions from the conference. Submissions to the conference...

The Symposium on Theoretical Aspects of Computer Science (STACS) is - ternately held in France and Germany. The latest conference, February 27 to March 1, 2003 at the Institute of Computer Science, Freie Universit] at Berlin is the twentieth in this series. The previous...

This book constitutes the refereed proceedings of the International Workshop on Computational Methods in Systems Biology, CMSB 2003, held in Rovereto, Italy, in February 2003. position papers, and 11 abstracts were carefully reviewed and selected from 30 submissions. concurrency in biological systems, constraint programming,...

By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research papers presented together with a brief survey of the work of Neil...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection,...

Explores the future role of museums for art and society Addresses the challenges museums face in the digital age where technologies are rapidly changing how artists work and how museums cater to attendees Contributions by academics as well as curators and directors of major...

This book is the first systematic exposition on the emerging domain of wireless power transfer in ad hoc communication networks. It selectively spans a coherent, large spectrum of fundamental aspects of wireless power transfer, such as mobility management in the network, combined wireless power...

The Handbook of Computational Neurodegeneration provides a comprehensive overview of the field and thus bridges the gap between standard textbooks of research on neurodegeneration and dispersed publications for specialists that have a narrowed focus on computational methods to study this complicated process. The handbook...

A story about people, pioneers with diverse backgrounds and characters who established a new field Fascinating insight into the field as it existed and evolved Valuable reading for anyone interested in the history of computingAuthor: Giorgio AusielloISBN-10: 3319626795ISBN-13: 9783319626796Publisher: SpringerLanguage: EnglishPublished: 08/16/2018Pages: 290Format: HardcoverWeight:...

Author: Roberto Gorrieri,Cristian VersariISBN-10: 331921490XISBN-13: 9783319214900Publisher: SpringerLanguage: EnglishPublished: 09/11/2015Pages: 334Format: HardcoverWeight: 1.46lbsSize: 9.21h x 6.14w x 0.81d

This is the first book which gives a unified theory for countable and uncountable computable structures. The work treats computable linear orderings, graphs, groups and Boolean algebras unified with computable metric and Banach spaces, profinite groups, and the like. Further, it provides the first...

This volume encapsulates the collective knowledge shared and innovations presented at the 9th International Conference on Computers, Management & Mathematical Sciences (ICCM) 2023 held on the 24th and 25th of August, 2023 at the North Eastern Regional Institute of Science and Technology (NERIST), India....

The subject of this monograph are restarting automata. The definition of these automata is motivated by the linguistic technique of analysis by reduction. This technique, which can be used to analyze sentences in natural languages with a rather free word-order like Czech (or Latin...

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference...

This book provides a principled data-driven framework that progressively constructs, enriches, and applies taxonomies without leveraging massive human annotated data. Traditionally, people construct domain-specific taxonomies by extensive manual curations, which is time-consuming and costly. In today's information era, people are inundated with the vast...

This book presents the proceedings of The EAI International Conference on Computer Science: Applications in Engineering and Health Services (COMPSE 2019). The conference highlighted the latest research innovations and applications of algorithms designed for optimization applications within the fields of Science, Computer Science, Engineering,...

This book gathers the proceedings of the 4th conference on Recent Advances in Engineering Math. & Physics (RAEMP 2019), which took place in Cairo, Egypt in December 2019. This international and interdisciplinary conference highlights essential research and developments in the field of Engineering Mathematics...

This book constitutes the refereed proceedings of the 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, held in Little Cottonwood Canyon, UT, USA, in November 2019. The 14 revised full papers and 10 short papers presented together with 19 posters, 1 demo, and...

The 3rd World Congress on Genetics, Geriatrics, and Neurodegenerative Disease Research (GeNeDis 2018), focuses on recent advances in genetics, geriatrics, and neurodegeneration, ranging from basic science to clinical and pharmaceutical developments. It also provides an international forum for the latest scientific discoveries, medical practices,...

This book gathers selected contributions by top Portuguese and international researchers in the field of Operations Research, presented at the 19th Congress of APDIO (Portuguese Association of Operational Research). The papers address a broad range of complex real-world problems, which are approached using recent...

The conference proceedings of the twenty-second annual International Conference of the British Computer Society's Specialist Group on Knowledge-Based systems and Applied Artificial Intelligence - Applications stream.Author: Ann MacintoshISBN-10: 1852336730ISBN-13: 9781852336738Publisher: SpringerLanguage: EnglishPublished: 12/05/2002Pages: 275Format: PaperbackWeight: 0.90lbsSize: 9.21h x 6.14w x 0.60d

Nowadays, a significant number of applications require the organization of data elements that contain at least one spatial attribute. R-trees have a simplicity of structure and, together with their resemblance to the B-tree, allow developers to incorporate them easily into existing database management systems...

Knowledge discovery takes the raw results from data mining (the process of extracting trends or patterns from data) and carefully and accurately transforms them into useful and understandable information. In this book, active practitioners and leading researchers detail recent advances in knowledge discovery. Coverage...

The topic this book addresses originated from a panel discussion at the 2004 ACM SIGKDD (Special Interest Group on Knowledge Discovery and Data Mining) Conference held in Seattle, Washington, USA. We the editors or- nized the panel to promote discussion on how text mining...

II Challenges in Data Mapping Part II deals with one of the most challenging tasks in Interactive Visualization, mapping and teasing out information from large complex datasets and generating visual representations. This section consists of four chapters. Binh Pham, Alex Streit, and Ross Brown...

The concept of pervasive and ubiquitous computing challenges our existing understanding of human-computer interaction, as it suggests a world in which computers become increasingly integrated into our daily lives. Emerging Pervasive and Ubiquitous Aspects of Information Systems: Cross-Disciplinary Advancements reviews pervasive and ubiquitous computing...

Information Systems Development: Reflections, Challenges and New Directions, is the collected proceedings of the 20th International Conference on Information Systems Development held in Edinburgh, Scotland, August 24 - 26, 2011. It follows in the tradition of previous conferences in the series in exploring the...

Information, Coding and Mathematics is a classic reference for both professional and academic researchers working in error-correction coding and decoding, Shannon theory, cryptography, digital communications, information security, and electronic engineering. The work represents a collection of contributions from leading experts in turbo coding, cryptography...

One of the aims of Natural Language Processing is to facilitate .the use of computers by allowing their users to communicate in natural language. There are two important aspects to person-machine communication: understanding and generating. While natural language understanding has been a major focus...

This volume contains the proceedings of the Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, NETCON 2005. The conference, organized by the International Federation for Information Processing, was held in Lannion, France from November 14-18, 2005. Among other...

A marriage of mathematics and computer vision - computational vision - has resulted in an innovative approach to image processing that is reliable across an expanding range of practical tasks. This volume provides a detailed discourse on the mathematical models used in computational vision,...