Theoretical Computer Science: Proceedings of the 7th Italian Conference, Ictcs 2001, Torino, Italy, October 4-6, 2001

by Restivo, A.; Rocca, S. Ronchi Della; Roversi, L.; Goos, G.; Hartmanis, J.; Leeuwen, J. Van

• ISBN13: 9783540426721
• ISBN10: 3540426728
• Format: Paperback
• Copyright: 2001-12-01
• Publisher: Springer Verlag

Summary

Was ist nochmal Trägerelektrophorese? Und was macht Synaptoporin? Und wie schreibt man Phosphoglycerinaldehydoxidation? - Liegt die Ausbildung eine Weile zurück oder ist die Biochemie nicht gerade das Lieblingsfach, dann können solche Fragen viel Zeit kosten. Mit dem Löffler/Schling hat man die Antworten nun schnell an der Hand. Übersichtlich und mit zahlreichen Farbbildern optimal illustriert definiert und beschreibt dieses Lexikon biochemische Prozesse, Substanzen und Moleküle einfach und knapp. Studierende der Medizin, der Pharmazie und der naturwissenschaftlichen Fächer, neugierige Wissenschaftler nicht biochemischer Fachbereiche und ihre verzweifelten Sekretärinnen ebenso wie technische AssistentInnen, Lehrer und interessierte Schüler finden hier schnelle Antworten auf ihre Fragen.

Table of Contents

A LTS Semantics of Ambients via Graph Synchronization with Mobility	p. 1
Filter Models and Easy Terms	p. 17
Confluence of Untyped Lambda Calculus via Simple Types	p. 38
Incremental Inference of Partial Types	p. 50
Call-by-Value Separability and Computability	p. 74
Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms	p. 90
Job Shop Scheduling Problems with Controllable Processing Times	p. 107
Upper Bounds on the Size of One-Way Quantum Finite Automata	p. 123
P Systems with Gemmation of Mobile Membranes	p. 136
Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Set of Autonomous Mobile Robots	p. 154
Some Structural Properties of Associative Language Descriptions	p. 172
Block-Deterministic Regular Languages	p. 184
Constructing Finite Maximal Codes from Schutzenberger Conjecture	p. 197
An Effective Translation of Fickle into Java	p. 215
Subtyping and Matching for Mobile Objects	p. 235
On Synchronous and Asynchronous Communication Paradigms	p. 256
Complexity of Layered Binary Search Trees with Relaxed Balance	p. 269
Distance Constrained Labeling of Precolored Trees	p. 285
Exponentially Decreasing Number of Operations in Balanced Trees	p. 293
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach	p. 312
Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold	p. 328
Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions	p. 339
On the Distribution of a Key Distribution Center	p. 357
Online Advertising: Secure E-coupons	p. 370
A Calculus and Complexity Bound for Minimal Conditional Logic	p. 384
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach	p. 405
E-unifiability via Narrowing	p. 426
Author Index	p. 439
Table of Contents provided by Blackwell. All Rights Reserved.