generic  (1 577 Angebote unter 17 650 280 Artikeln)

Looking Back.- List of Publications of Harry Dym.- On Joint Work with Harry Dym.- Methods of Krein Space Operator Theory.- Notes on Interpolation in the Generalized Schur Class.I. Applications of R...

The contributions appearing in this volume are a snapshot of the different topics that were discussed during the Second Conference "Mathematics and Image Processing" held at the University of Orléa...

In order to precisely model real-life systems or man-made devices, both nonlinear and dynamic properties need to be taken into account. The generic, black-box model based on Volterra and Wiener ser...

The comprehension of a traffic situation plays a major role in driving a vehicle. Interpretable information forms a basis for future projection, decision making and action performing, such as navig...

I. Combinatorics and Random Structures.- Common Intervals of Permutations.- Overpartitions and Generating Functions for Generalized Frobenius Partitions.- Enumerative Results on Integer Partitions ...

Distributed Objects and Applications (DOA) 2005 International Conference (continued).- Evaluation of Three Approaches for CORBA Firewall/NAT Traversal.- On the Design of Access Control to Prevent S...

Eingeladene Vorträge (Kurzfassungen).- Der Telematikdienstleister Deutsche Telekom: Neue Herausforderungen in den TIMES-Märkten.- Current Status of Mobile Internet Communication and Services.- Giga...

Skeleton-Based Seam Computation for Triangulated Surface Parameterization.- Parameterizing N-Holed Tori.- Generic Parameterization of Bifurcating Structures.- Direct Computation of a Control Vertex...

Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with Stat...

Aus der Geschichte von L-Dopa.- Die Geburt von Madopar: Ratio und Fortuna.- Entwicklung dopaminerger Mittel für die Behandlung der Parkinson-Krankheit und anderer neuro- geriatrischer Erkrankungen:...

This book introduces a generic approach to model the use and adaptation of mental models, including the control over this. In their mental processes, humans often make use of internal mental models...

From Logic to Theoretical Computer Science - An Update.- Reminiscences.- Boris A. Trakhtenbrot: Academic Genealogy and Publications.- Symmetric Logic of Proofs.- Synthesis of Monitors for Real-Time...

In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. Following its long-established tradition, the wo...

Invited Talks/Papers.- Pushdown Model Checking for Security.- Execution Generated Test Cases: How to Make Systems Code Crash Itself.- Invited Tutorials.- Effective Bug Hunting with Spin and Modex.-...

is about how we read postcolonial and world literatures today, and about how the structures of that writing shape our reading. The book's eight chapters explore the ways in which postcolonial writi...