Mathematical Foundations of Computer Science 1975, J. Becvar

Автор: Ilias S. Kotsireas; Siegfried M. Rump; Chee K. Yap
Название: Mathematical Aspects of Computer and Information Sciences
ISBN: 3319328581 ISBN-13(EAN): 9783319328584
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discusses the practical pathologic diagnoses of tumours and tumour-like diseases of the prostate gland, seminal vesicles, penis, and scrotum. The authors emphasise pathologic gross and light microscopic diagnostic features and differential diagnoses. They also discuss the clinical presentation and the clinical meaning of the pathologic diagnosis in terms of prognosis and treatment.

Автор: Kesav V. Nori; Sanjeev Kumar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540505172 ISBN-13(EAN): 9783540505174
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

Автор: Osamu Watanabe; Thomas Zeugmann
Название: Stochastic Algorithms: Foundations and Applications
ISBN: 3642049435 ISBN-13(EAN): 9783642049439
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions.

Название: Behavior modeling -- foundations and applications
ISBN: 3319219111 ISBN-13(EAN): 9783319219110
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. new ways of behaviour modelling: events in modelling;

Автор: Troels Andreasen; Henning Christiansen; Juan-Carlo
Название: Foundations of Intelligent Systems
ISBN: 3319083252 ISBN-13(EAN): 9783319083254
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The papers are organized in topical sections on complex networks and data stream mining; special session: challenges in text mining and semantic information retrieval;

Автор: Bart Jacobs; Christof L?ding
Название: Foundations of Software Science and Computation Structures
ISBN: 3662496291 ISBN-13(EAN): 9783662496299
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Types.- Comprehensive parametric polymorphism: categorical models and type theory.- Guarded Dependent Type Theory with Coinductive Types.- Dependent Types and Fibred Computational Effects.- Game Semantics for Bounded Polymorphism.- Recursion and Fixed-Points Join Inverse Categories as Models of Reversible Recursion.- A Coalgebraic View of Bar Recursion and Bar Induction.- A New Foundation for Finitary Corecursion.- Fixed-point elimination in the Intuitionistic Propositional Calculus.- Verification and Program Analysis. A Theory of Monitors.- Contextual approximation and higher-order procedures.- A Theory of Slicing for Probabilistic Control Flow Graphs.- Verification of parameterized communicating automata via split-width.- Automata, Logic, Games - Robust Equilibria in Mean-Payoff Games.- Quantifier Alternation for Infinite Words.-Synchronizing automata over nested words.- On Freeze LTL with Ordered Attributes.- Regular transformations of data words through origin information.- Probabilistic and Timed Systems - Trace Refinement in Labelled Markov Decision Processes.- Qualitative Analysis of VASS-Induced MDPs.- Metric Temporal Logic with Counting.- Distributed Synthesis in Continuous Time.- Proof Theory and Lambda Calculus Unary Resolution: Characterizing Ptime.- Focused and Synthetic Nested Sequents.- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms.- Reasoning about call-by-need by means of types.- Algorithms for Infinite Systems Coverability Trees for Petri Nets with Unordered Data.- Shortest paths in one-counter systems.- The Invariance Problem for Matrix Semigroups.- Order-Sorted Rewriting and Congruence Closure.- Monads.- Towards a formal theory of graded monads.- Profinite Monads, Profinite Equations, and Reiterman's Theorem.

Автор: Dylan D. Schmorrow; Cali M. Fidopiastis
Название: Foundations of Augmented Cognition
ISBN: 3642394531 ISBN-13(EAN): 9783642394539
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Conference on Augmented Cognition, AC 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences.

Автор: Dylan D. Schmorrow; Cali M. Fidopiastis
Название: Foundations of Augmented Cognition
ISBN: 3319208152 ISBN-13(EAN): 9783319208152
Издательство: Springer
Рейтинг:
Цена: 89440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 9th International Conference on the Foundations of Augmented Cognition, AC 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, which took place in Los Angeles, CA, USA, in August 2015.

Автор: Wolfgang Wahlster
Название: Verbmobil: Foundations of Speech-to-Speech Translation
ISBN: 3642087302 ISBN-13(EAN): 9783642087301
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In 1992 it seemed very difficult to answer the question whether it would be possible to develop a portable system for the automatic recognition and translation of spon- taneous speech. Previous research work on speech processing had focused on read speech only and international projects aimed at automated text translation had just been terminated without achieving their objectives. Within this context, the German Federal Ministry of Education and Research (BMBF) made a careful analysis of all national and international research projects conducted in the field of speech and language technology before deciding to launch an eight-year basic-research lead project in which research groups were to cooperate in an interdisciplinary and international effort covering the disciplines of computer science, computational linguistics, translation science, signal processing, communi- cation science and artificial intelligence. At some point, the project comprised up to 135 work packages with up to 33 research groups working on these packages. The project was controlled by means of a network plan. Every two years the project sit- uation was assessed and the project goals were updated. An international scientific advisory board provided advice for BMBF. A new scientific approach was chosen for this project: coping with the com- plexity of spontaneous speech with all its pertinent phenomena such as ambiguities, self-corrections, hesitations and disfluencies took precedence over the intended lex- icon size. Another important aspect was that prosodic information was exploited at all processing stages.

Автор: Frank Pfenning
Название: Foundations of Software Science and Computation Structures
ISBN: 3642370748 ISBN-13(EAN): 9783642370748
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Pattern Graphs and Rule-Based Models: The Semantics of Kappa.- History-Register Automata.- Fatal Attractors in Parity Games.- On Unique Decomposition of Processes in the Applied π-Calculus.- Bounded Context-Switching and Reentrant Locking.- Reachability of Communicating Timed Processes.- Modular Bisimulation Theory for Computations and Values.- Checking Bisimilarity for Attributed Graph Transformation.- Comodels and Effects in Mathematical Operational Semantics.- Preorders on Monads and Coalgebraic Simulations.- A Proof System for Compositional Verification of Probabilistic Concurrent Processes.- Partiality and Recursion in Higher-Order Logic.- Some Sahlqvist Completeness Results for Coalgebraic Logics.- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.- On Monadic Parametricity of Second-Order Functionals.- Deconstructing General References via Game Semantics.- Separation Logic for Non-local Control Flow and Block Scope Variables.- The Parametric Ordinal-Recursive Complexity of Post Embedding Problems.- Deciding Definability by Deterministic Regular Expressions.- Type-Based Complexity Analysis for Fork Processes.- Pure Pointer Programs and Tree Isomorphism.- A Language for Differentiable Functions.- Computing Quantiles in Markov Reward Models.- Parameterized Weighted Containment.- Weighted Specifications over Nested Words.- An Algebraic Presentation of Predicate Logic.- Strategies as Profunctors.- Generalised Name Abstraction for Nominal Sets.

Автор: Wolfgang Wahlster
Название: SmartKom: Foundations of Multimodal Dialogue Systems
ISBN: 3642062660 ISBN-13(EAN): 9783642062667
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With contributions by leading scientists in the field, this book gives the first comprehensive overview of the results of the seminal SmartKom project one of the most advanced multimodal dialogue systems worldwide.

Автор: Dylan D. Schmorrow; Cali M. Fidopiastis
Название: Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems
ISBN: 3319075268 ISBN-13(EAN): 9783319075266
Издательство: Springer
Рейтинг:
Цена: 68010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 8th International Conference on the Foundations of Augmented Cognition, AC 2014, held as part of HCI International 2014 which took place in Heraklion, Crete, Greece, in June 2014 and incorporated 14 conferences which similar thematic areas.