top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
Creatore [Ecole de printemps d'informatique théorique (1984 : Le Mont-Dore, France)]
Estensione 1 online resource (iv, 215 pages) : illustrations.
Disciplina 511.3
Accesso persona Nivat, M.
Perrin, Dominique
ISBN 9783540395058
3540395059
0387156410
9780387156415
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7977809
[Ecole de printemps d'informatique théorique (1984 : Le Mont-Dore, France)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
Creatore [Annual Symposium on Theoretical Aspects of Computer Science (11th : 1994 : Caen, France)]
Estensione 1 online resource : v.: digital.
Disciplina 004
Accesso persona Enjalbert, P. (Patrice)
Mayr, Ernst
Wagner, K. W. (Klaus W.)
ISBN 9783540483328
3540483322
0387577858
9780387577852
3540577858
9783540577850
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a13353864
[Annual Symposium on Theoretical Aspects of Computer Science (11th : 1994 : Caen, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Human machine interaction : research results of the MMI program / Denis Lalanne, Jürg Kohlas (eds.).
Human machine interaction : research results of the MMI program / Denis Lalanne, Jürg Kohlas (eds.).
Estensione 1 online resource.
Disciplina 005.01/9
Accesso persona Lalanne, Denis
Kohlas, Jürg, 1939-
ISBN 9783642004377
3642004377
3642004369
9783642004360
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Human Machine Interaction -- Multimodal Interfaces: A Survey of Principles, Models and Frameworks -- Interactive Visualization -- A Survey -- Mixed Reality: A Survey -- Multimodal User Interfaces -- Intelligent Multi-modal Interfaces for Mobile Applications in Hostile Environment(IM-HOST) -- MEMODULES as Tangible Shortcuts to Multimedia Information -- Why Androids Will Have Emotions: Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind -- Interactive Visualization -- EvoSpaces -- Multi-dimensional Navigation Spaces for Software Evolution -- HOVISSE -- Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment -- A Language and a Methodology for Prototyping User Interfaces for Control Systems -- Mixed Reality -- See ColOr: Seeing Colours with an Orchestra -- 6 th Sense- Toward a Generic Framework for End-to-End Adaptive Wearable Augmented Reality.
Record Nr. STANFORD-a9108869
Materiale a stampa
Lo trovi qui: Stanford University
Algorithmics of large and complex networks : design, analysis, and simulation / Jürgen Lerner, Dorothea Wagner, Katharina A. Zweig (eds.).
Algorithmics of large and complex networks : design, analysis, and simulation / Jürgen Lerner, Dorothea Wagner, Katharina A. Zweig (eds.).
Estensione 1 online resource.
Disciplina 004.6
Accesso persona Lerner, Jürgen
Wagner, Dorothea, 1957-
Zweig, Katharina A.
ISBN 9783642020940
3642020941
3642020933
9783642020933
Classificazione 54.32
54.10
DAT 416f
DAT 516f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Network Algorithms -- Design and Engineering of External Memory Traversal Algorithms for General Graphs -- Minimum Cycle Bases and Their Applications -- A Survey on Approximation Algorithms for Scheduling with Machine Unavailability -- Iterative Compression for Exactly Solving NP-Hard Minimization Problems -- Approaches to the Steiner Problem in Networks -- A Survey on Multiple Objective Minimum Spanning Tree Problems -- Traffic Networks -- Engineering Route Planning Algorithms -- From State-of-the-Art Static Fleet Assignment to Flexible Stochastic Planning of the Future -- Traffic Networks and Flows over Time -- Communication Networks -- Interactive Communication, Diagnosis and Error Control in Networks -- Resource Management in Large Networks -- Multicast Routing and Design of Sparse Connectors -- Management of Variable Data Streams in Networks -- Models of Non-atomic Congestion Games -- From Unicast to Multicast Routing -- New Data Structures for IP Lookup and Conflict Detection -- Network Analysis and Simulation -- Group-Level Analysis and Visualization of Social Networks -- Modeling and Designing Real-World Networks -- Algorithms and Simulation Methods for Topology-Aware Sensor Networks.
Record Nr. STANFORD-a9109698
Materiale a stampa
Lo trovi qui: Stanford University
Engineering stochastic local search algorithms : designing, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / Thomas Stützle, Mauro Birattari, Holger H. Hoos (Eds.).
Engineering stochastic local search algorithms : designing, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / Thomas Stützle, Mauro Birattari, Holger H. Hoos (Eds.).
Creatore [SLS 2009 (2009 : Brussels, Belgium)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Stützle, Thomas
Birattari, Mauro
Hoos, Holger H.
ISBN 9783642037511
3642037518
9783642037504
364203750X
Classificazione 54.10
54.51
TP301. 6-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto High-Performance Local Search for Task Scheduling with Human Resource Allocation -- High-Performance Local Search for Task Scheduling with Human Resource Allocation -- On the Use of Run Time Distributions to Evaluate and Compare Stochastic Local Search Algorithms -- Estimating Bounds on Expected Plateau Size in MAXSAT Problems -- A Theoretical Analysis of the k-Satisfiability Search Space -- Loopy Substructural Local Search for the Bayesian Optimization Algorithm -- Running Time Analysis of ACO Systems for Shortest Path Problems -- Techniques and Tools for Local Search Landscape Visualization and Analysis -- Short Papers -- High-Performance Local Search for Solving Real-Life Inventory Routing Problems -- A Detailed Analysis of Two Metaheuristics for the Team Orienteering Problem -- On the Explorative Behavior of MAX-MIN Ant System -- A Study on Dominance-Based Local Search Approaches for Multiobjective Combinatorial Optimization -- A Memetic Algorithm for the Multidimensional Assignment Problem -- Autonomous Control Approach for Local Search -- EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms -- Adaptive Operator Selection for Iterated Local Search -- Improved Robustness through Population Variance in Ant Colony Optimization -- Mixed-Effects Modeling of Optimisation Algorithm Performance.
Record Nr. STANFORD-a9110507
[SLS 2009 (2009 : Brussels, Belgium)]  
Materiale a stampa
Lo trovi qui: Stanford University
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.).
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.).
Creatore [FORMATS (Conference) (7th : 2009 : Budapest, Hungary)]
Estensione 1 online resource (x, 290 pages) : illustrations.
Disciplina 003.3
Accesso persona Ouaknine, Joël
Vaandrager, Frits
ISBN 9783642043680
3642043682
3642043674
9783642043673
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements.
Record Nr. STANFORD-a9110624
[FORMATS (Conference) (7th : 2009 : Budapest, Hungary)]  
Materiale a stampa
Lo trovi qui: Stanford University
Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papers / Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.).
Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papers / Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.).
Creatore [International Conference on Logic and the Foundations of Game and Decision Theory (8th : 2008 : Amsterdam, Netherlands)]
Estensione 1 online resource (x, pages) : illustrations.
Disciplina 004.1/5113
Accesso persona Bonanno, Giacomo
Löwe, Benedikt
Hoek, W. van der (Wiebe)
ISBN 9783642151644
3642151647
9783642151637
3642151639
Classificazione 31.10
54.10
83.03
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Infinite Coordination Games -- Conditioning by Minimizing Accessibility -- Correspondences in the Theory of Aggregation -- Logic and Data Exchange: Which Solutions Are "Good" Solutions? -- Preference Change Triggered by Belief Change: A Principled Approach -- A Runs-and-Systems Semantics for Logics of Announcements -- From Nash to Dependency Equilibria -- Bridges between Dynamic Doxastic and Doxastic Temporal Logics -- Multi-agent Belief Revision with Linked Preferences -- A Note on Assumption-Completeness in Modal Logic.
Record Nr. STANFORD-a9114049
[International Conference on Logic and the Foundations of Game and Decision Theory (8th : 2008 : Amsterdam, Netherlands)]  
Materiale a stampa
Lo trovi qui: Stanford University
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).
Creatore [FORMATS (Conference) (8th : 2010 : Klosterneuburg, Austria)]
Estensione 1 online resource (x, 255 pages) : illustrations.
Disciplina 003/.3
Accesso persona Chatterjee, Krishnendu
Henzinger, T. A. (Thomas A.)
ISBN 9783642152979
364215297X
9783642152962
3642152961
Classificazione 54.52
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Interdisciplinary Foundations for Open Cyber-Physical Systems -- Safraless Procedures for Timed Specifications -- Property-Based Monitoring of Analog and Mixed-Signal Systems -- A Framework for Verification of Software with Time and Probabilities -- Synchrony and Time in Fault-Tolerant Distributed Algorithms -- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting -- Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games -- Natural Domain SMT: A Preliminary Assessment -- Robust Satisfaction of Temporal Logic over Real-Valued Signals -- Combining Symbolic Representations for Solving Timed Games -- Expected Reachability-Time Games -- Diagnosis Using Unfoldings of Parametric Time Petri Nets -- From Mtl to Deterministic Timed Automata -- Unambiguity in Timed Regular Languages: Automata and Logics -- A Process Algebraic Framework for Modeling Resource Demand and Supply -- Memory Event Clocks -- Simulation and Bisimulation for Probabilistic Timed Automata -- Layered Composition for Timed Automata -- A Conformance Testing Relation for Symbolic Timed Automata.
Record Nr. STANFORD-a9114693
[FORMATS (Conference) (8th : 2010 : Klosterneuburg, Austria)]  
Materiale a stampa
Lo trovi qui: Stanford University
Transactions on computational science X : special issue on security in computing, Part I / Marina L. Gavrilova, C.J. Kenneth Tan, Edward David Moreno (eds.).
Transactions on computational science X : special issue on security in computing, Part I / Marina L. Gavrilova, C.J. Kenneth Tan, Edward David Moreno (eds.).
Estensione 1 online resource (xviii, 366 pages) : illustrations.
Disciplina 005.8
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Moreno, Edward David
ISBN 9783642174995
364217499X
3642174981
9783642174988
128347736X
9781283477369
9786613477361
6613477362
Classificazione 54.62
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application -- NTRU-Like Public Key Cryptosystems beyond Dedekind Domain up to Alternative Algebra -- Identity-Based Key Exchange Protocols without Pairings -- Building a Side Channel Based Disassembler -- A Versatile Framework for Implementation Attacks on Cryptographic RFIDs and Embedded Devices -- An Adaptive Robust Watermarking Algorithm for Audio Signals Using SVD -- Trust-Based Security Level Evaluation Using Bayesian Belief Networks -- Implementation of QoSS (Quality-of-Security Service) for NoC-Based SoC Protection -- Signcryption with Non-interactive Non-repudiation without Random Oracles -- Block-Level Added Redundancy Explicit Authentication for Parallelized Encryption and Integrity Checking of Processor-Memory Transactions -- A Weakest Precondition Approach to Robustness -- PET SNAKE: A Special Purpose Architecture to Implement an Algebraic Attack in Hardware -- Green Secure Processors: Towards Power-Efficient Secure Processor Design -- A New Peer-to-Peer Micropayment Protocol Based on Transferable Debt Token.
Record Nr. STANFORD-a9115906
Materiale a stampa
Lo trovi qui: Stanford University
Transactions on computational science XI : special issue on security in computing, Part II / Marina L. Gavrilova, C.J. Kenneth Tan, Edward David Moreno (eds.).
Transactions on computational science XI : special issue on security in computing, Part II / Marina L. Gavrilova, C.J. Kenneth Tan, Edward David Moreno (eds.).
Estensione 1 online resource (xviii, 294 pages) : illustrations (some color).
Disciplina 005.8
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Moreno, Edward David
ISBN 9783642176975
3642176976
1283477432
9781283477437
9786613477439
6613477435
3642176968
9783642176968
Classificazione 54.62
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9115907
Materiale a stampa
Lo trovi qui: Stanford University