› › Algorithms Esa 93

Algorithms - ESA '93

Author : Thomas Lengauer

Publisher : Springer Science & Business Media

Page : 434 pages

File Size : 39,58 MB

Release : 1993-09-21

Category : Computers

ISBN : 9783540572732

Get eBook

Book Description

Symposium on Algorithms (ESA '93), held in Bad Honnef, near Boon, in Germany, September 30 - October 2, 1993. The symposium is intended to launchan annual series of international conferences, held in early fall, covering the field of algorithms. Within the scope of the symposium lies all research on algorithms, theoretical as well as applied, that is carried out in the fields of computer science and discrete applied mathematics. The symposium aims to cater to both of these research communities and to intensify the exchange between them. The volume contains 35 contributed papers selected from 101 proposals submitted in response to the call for papers, as well as three invited lectures: "Evolution of an algorithm" by Michael Paterson, "Complexity of disjoint paths problems in planar graphs" by Alexander Schrijver, and "Sequence comparison and statistical significance in molecular biology" by Michael S. Waterman.



Algorithms - ESA '94

Author : Jan van Leeuwen

Publisher : Springer Science & Business Media

Page : 536 pages

File Size : 44,23 MB

Release : 1994-09-14

Category : Computers

ISBN : 9783540584346

Get eBook

Book Description

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.



Algorithms - ESA '98

Author : Gianfranco Bilardi

Publisher : Springer

Page : 528 pages

File Size : 23,23 MB

Release : 1998-01-01

Category : Computers

ISBN : 3540685308

Get eBook

Book Description

9



Treewidth, Kernels, and Algorithms

Author : Fedor V. Fomin

Publisher : Springer Nature

Page : 350 pages

File Size : 31,70 MB

Release : 2020-04-20

Category : Computers

ISBN : 303042071X

Get eBook

Book Description

This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.



Algorithms and Computation

Author : Tetsuo Asano

Publisher : Springer Science & Business Media

Page : 470 pages

File Size : 28,62 MB

Release : 1996-11-27

Category : Computers

ISBN : 9783540620488

Get eBook

Book Description

Today the cemented joint prosthesis operation is one of the most frequent procedures in orthopaedic surgery. During the past 30 years the individual steps of such an operation have been carefully validated and thus allow for a reproducible and standardized operation, including a reliable prognosis for the maintenance of the joint. This manual is a practical guide to a complication preventing cementing technique, cement fixation, maintenance of the bone and diamond technique. Clear drawings and diagrams guide the reader through the pre-operative, peri-operative and post-operative steps. The manual covers all possible complications and gives clear instructions, so as to prevent complications but also to cope with them if they occur. Finally, it covers all forensic criteria to be considered.



Logic, Language and Computation

Author : Neil Jones

Publisher : Springer Science & Business Media

Page : 292 pages

File Size : 26,97 MB

Release : 1994-03-30

Category : Mathematics

ISBN : 9783540579359

Get eBook

Book Description

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.



Management and Processing of Complex Data Structures

Author : Kai von Luck

Publisher : Springer Science & Business Media

Page : 236 pages

File Size : 42,47 MB

Release : 1994-02-16

Category : Computers

ISBN : 9783540578024

Get eBook

Book Description

This volume presents the proceedings of the third workshop on Information Systems and Artificial Intelligence, organized by the German Computer Science Society. The 11 invited contributions by well known researchers and developers working in the fields of databases and knowledge representation systems are centered around the topic of management and processing of complex data structures; they give a representative snapshot of the state-of-the-art in this fruitful interdisciplinary research area important for further progress in both, information systems and artificial intelligence. Most of the papers stress the demands for new or extended formalisms and their deductive capabilities, including an analysis of their formal properties for managing complex structures.





Design and Implementation of Symbolic Computation Systems

Author : John Fitch

Publisher : Springer Science & Business Media

Page : 232 pages

File Size : 29,64 MB

Release : 1993-09-02

Category : Computers

ISBN : 9783540572725

Get eBook

Book Description

DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project).



Progress in Artificial Intelligence

Author : Miguel Filgueiras

Publisher : Springer Science & Business Media

Page : 380 pages

File Size : 38,27 MB

Release : 1993-09-21

Category : Computers

ISBN : 9783540572879

Get eBook

Book Description

This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning.