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.
Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Samir R. Das, Sajal K. Das.
Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Samir R. Das, Sajal K. Das.
Creatore [Das, Samir R.]
Accesso persona Das, Sajal K.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computer Communication Networks
Operating Systems
Programming Techniques
Software Engineering
ISBN 9783540207450
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354186
[Das, Samir R.]  
Software
Lo trovi qui: University of Chicago
Security Protocols [electronic resource] : 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers / by Bruce Christianson, Bruno Crispo, James A. Malcolm
Security Protocols [electronic resource] : 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers / by Bruce Christianson, Bruno Crispo, James A. Malcolm
Creatore [Christianson, Bruce]
Accesso persona Crispo, Bruno
Malcolm, James A.
Roe, Michael
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computer Communication Networks
Computers and Society
Data Encryption
Management of Computing and Information Systems
Operating Systems
ISBN 9783540208303
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354199
[Christianson, Bruce]  
Software
Lo trovi qui: University of Chicago
Database theory and application, bio-science and bio-technology : international conferences, DTA and BSBT 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011 in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings / Tai-hoon Kim [and others] (eds.).
Database theory and application, bio-science and bio-technology : international conferences, DTA and BSBT 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011 in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings / Tai-hoon Kim [and others] (eds.).
Creatore [DTA (Conference) (2011 : Cheju Island, Korea)]
Estensione 1 online resource (xiv, 196 pages).
Disciplina 005.74
Accesso persona Kim, Tai-hoon
Accesso convegno BSBT 2011 (2011 : Cheju Island, Korea)
FGIT (Conference) (3rd : 2011 : Cheju Island, Korea)
GDC 2011 (2011 : Cheju Island, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Data Mining and Knowledge Discovery
ISBN 9783642271571
364227157X
9783642271564
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro; Title page; Foreword; Preface; Organization; Table of Contents; A Heuristic-Based Decision Tree Induction Method for Noisy Data; Introduction; Robust-Tree Induction: Framework and Methodology; System Implementation; Experimentation; Conclusion; References; Optimizing Database Queries with Materialized Views and Data Mining Models; Introduction; Related Work; Query Optimizer Design and Its Implementation; Experimentation; Conclusion; References; IPC Code Analysis of Patent Documents Using Association Rules and Maps -- Patent Analysis of Database Technology; Introduction
Patent and International Patent Classification CodeAssociation Rules and Maps for IPC Code Analysis; Experimental Results; Conclusions and Future Works; References; CAIG: Classification Based on Attribute-ValuePair Integrate Gain; Introduction; Rule Based Classication; CAIG: Classification Based on Attribute-Value Pair Integrate Gain; Selecting Attribute-Value Pair; Inducing Rules; Classification Using Rules; Experiments; Conclusions; References; Weighting Method Based on Entropy Analysis for Multi-sensor Data Fusion in Wireless Sensor Networks; Introduction; Multi-sensor Data Fusion
Theoretical Background for the Multi-sensor Data FusionRelated Studies; Weighting in the Multi-sensor Data Fusion; Entropy Weighting Method; Weighing the Multi-sensor Data Fusion for Deducting the Enhanced Circumstances Information; Entropy Weighting Values; Comparison and Evaluation; Conclusion and Further Study; References; A Forecasting Model for Technological Trend Using Unsupervised Learning; Introduction; Image and Video Technology Forecasting; IVT Forecasting Using ARM and SOM; Experimental Results; Conclusions and Future Works; References
Mathematical Model and Analysis of Reliability and Safety of Large Database SystemsIntroduction; Registration Systems: Requirements and Objectives; The Problem Formulation and Mathematical Model; Analysis of the Model and Problem Solution; Conclusions; References; Mobile Specification Retrieval Methods; Introduction; Semantic Networks-Based Retrieval; Mobile Specification Retrieval Using Semantic Networks; Concept Extracting Method; Query Processing; System Design; Indexer; Experiment and Evaluation; Conclusions; References; A Comparative Analysis of Array Models for Databases; Introduction
Overview of Array ModelsArray Algebra; AML; AQL; RAM; Comparison; Array Representation; Operations; Conclusion and Outlook; References; Potentials of Circulation Data Analysis for Library Marketing: A Case Study in a University Library; Introduction; Investigation to Patron Profiling from Circulation Data; Data Overview; Analysis of Undergraduate Students' Records; A Student's Behavior Analysis for Patron Profiling; Choosing the Target Student; Borrow-Return Behavior Analysis; Time Zone Analysis; Concluding Remarks; References; Minimal Cost Attribute Reduction through Backtracking
Record Nr. NYU-006479015
[DTA (Conference) (2011 : Cheju Island, Korea)]  
Materiale a stampa
Lo trovi qui: New York University
Algorithms and computation : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011, proceedings / Takao Asano [and others] (eds.).
Algorithms and computation : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011, proceedings / Takao Asano [and others] (eds.).
Creatore [ISAAC (Symposium) (22nd : 2011 : Yokohama-shi, Japan)]
Estensione 1 online resource (xvii, 775 pages).
Disciplina 005.1
Accesso persona Asano, Takao, 1949-
Genere/Forma Electronic books
Conference papers and proceedings
Computer software
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Computer graphics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Data Structures
Numeric Computing
ISBN 9783642255915
3642255914
9783642255908
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro; Title page; Preface; Organization; Table of Contents; Invited Talk I; Algorithm Engineering for Route Planning- An Update -; References; Invited Talk II; Semidefinite Programming and Approximation Algorithms: A Survey; References; Approximation Algorithms I; The School Bus Problem on Trees; Introduction; Our Results; Related Work; Preliminaries; A 4-Approximation to the SBP on Trees; A 12.5-Approximation to the Uncapacitated SBP-R on Trees; References; Improved Approximations for Buy-at-Bulk and Shallow-Light k-Steiner Trees and (k, 2)-Subgraph; Introduction
Shallow-Light Steiner TreesAn O(logn)-Approximation for the (k, 2)-Subgraph Problem; References; Improved Approximation Algorithms for Routing Shop Scheduling; Introduction; Previous Work; Our Results and Techniques; Preliminaries; Routing Open Shop; Routing Flow Shop; References; Contraction-Based Steiner Tree Approximations in Practice; Introduction; History; Contraction Framework; Algorithm Engineering; Experiments; Conclusions and Thoughts; References; Computational Geometry I; Covering and Piercing Disks with Two Centers; Introduction; Intersecting Disks with Two Centers
Decision AlgorithmOptimization Algorithm; Covering Disks with Two Centers; The General Case; The Restricted Case; References; Generating Realistic Roofs over a Rectilinear Polygon; Introduction; Preliminaries; Properties of Realistic Roofs; Local Properties of Valleys and Ridges; Global Structure of Realistic Roofs; Enumerating Realistic Roofs and Computing Optimal Roofs; References; Computing the Visibility Polygon Using Few Variables; Introduction; Preliminaries; An O(n) Algorithm Using O(1) Variables; An O(n logr) Algorithm Using O(logr) Variables; Closing Remarks; References
Minimizing Interference in Ad-Hoc Networks with Bounded Communication RadiusIntroduction; Definitions and Results; Layered Nearest Neighbor Algorithm; Bounded Radius Network; Conclusion; References; Graph Algorithms; Hamiltonian Paths in the Square of a Tree; Introduction; Caterpillars and Horsetails; 2H-Paths in (u,v)-Horsetails; Efficient Algorithm for Horstail Queries; References; Dominating Induced Matchings for P7-free Graphs in Linear Time; Introduction and Basic Notions; Simple Properties of Graphs with Dominating Induced Matching
Structure of P7-free Graphs with Dominating Induced MatchingDistance Levels with Respect to an M-Edge in a P3; Edges in and between Ti and Tj, i =j; The Algorithm for the General P7-free Case; Conclusion; References; Finding Contractions and Induced Minors in Chordal Graphs via Disjoint Paths; Introduction; Preliminaries; Set-Restricted Disjoint Paths; Contractions and Induced Minors in Chordal Graphs; Concluding Remarks; References; Recognizing Polar Planar Graphs Using New Results for Monopolarity; Introduction; Hardness Results; A 2-SAT Approach and a Superclass of Chair-Free Graphs
Record Nr. NYU-006479019
[ISAAC (Symposium) (22nd : 2011 : Yokohama-shi, Japan)]  
Materiale a stampa
Lo trovi qui: New York University
Computer applications for bio-technology, multimedia, and ubiquitous city : international conferences MulGraB, BSBT and IUrC 2012 held as part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings / Tai-hoon Kim [and others] (eds.).
Computer applications for bio-technology, multimedia, and ubiquitous city : international conferences MulGraB, BSBT and IUrC 2012 held as part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings / Tai-hoon Kim [and others] (eds.).
Creatore [MulGraB (Conference) (2012 : Kangnŭng-si, Korea)]
Estensione 1 online resource (xxi, 408 pages) : illustrations.
Disciplina 006.7
Accesso persona Kim, Tai-hoon
Accesso convegno International Conference on Bio-Science and Bio-Technology (2012 : Kangnŭng-si, Korea)
International Conference on Intelligent Urban Computing (1st : 2012 : Kangnŭng-si, Korea)
FGIT (Conference) (4th : 2012 : Kangnŭng-si, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Computer software
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Artificial intelligence
Information Systems
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
ISBN 9783642355219
3642355218
9783642355202
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Multimedia -- Computer graphics -- Broadcasting -- Bio-science and bio-technology -- Intelligent urban computing.
Record Nr. NYU-006479249
[MulGraB (Conference) (2012 : Kangnŭng-si, Korea)]  
Materiale a stampa
Lo trovi qui: New York University
Logical foundations of mathematics and computational complexity [electronic resource] : a gentle introduction / Pavel Pudlák
Logical foundations of mathematics and computational complexity [electronic resource] : a gentle introduction / Pavel Pudlák
Creatore [Pudlák, Pavel, 1952-]
Estensione 1 online resource (xiv, 693 pages) : illustrations.
Disciplina 511.3
Genere/Forma Electronic books
Soggetto non controllato Mathematics
Computer software
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematics of Algorithmic Complexity
Algorithm Analysis and Problem Complexity
ISBN 9783319001197
3319001191
3319001183
9783319001180
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Mathematician's World -- Language, Logic and Computations -- Set Theory -- Proofs of Impossibility -- The Complexity of Computations -- Proof Complexity -- Consistency, Truth and Existence.
Record Nr. NYU-004401670
[Pudlák, Pavel, 1952-]  
Materiale a stampa
Lo trovi qui: New York University
Control and automation, and energy system engineering : International Conferences, CA and CES³ 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / Tai-hoon Kim (eds.).
Control and automation, and energy system engineering : International Conferences, CA and CES³ 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / Tai-hoon Kim (eds.).
Creatore [CA 2011 (2011 : Cheju Island, Korea)]
Estensione 1 online resource (xv, 392 pages).
Disciplina 629.8/9
Accesso persona Kim, Tai-hoon
Accesso convegno CES³ (Conference) (2011 : Cheju Island, Korea)
FGIT (Conference) (3rd : 2011 : Cheju Island, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642260100
3642260101
9783642260094
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004372927
[CA 2011 (2011 : Cheju Island, Korea)]  
Materiale a stampa
Lo trovi qui: New York University
Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / Guy Even, Dror Rawitz (eds.).
Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / Guy Even, Dror Rawitz (eds.).
Creatore [Mediterranean Conference on Algorithms (1st : 2012 : ʻEn Gedi, Israel)]
Estensione 1 online resource (x, 260 pages) : illustrations.
Disciplina 005.1
Accesso persona Even, Guy.
Rawitz, Dror
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Artificial intelligence
Computer simulation
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642348624
3642348629
9783642348617
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Detecting Approximate Periodic Patterns / Amihood Amir, Alberto Apostolico, Estrella Eisenberg -- Graph Expansion Analysis for Communication Costs of Fast Rectangular Matrix Multiplication / Grey Ballard, James Demmel, Olga Holtz -- Multicast Routing for Energy Minimization Using Speed Scaling / Nikhil Bansal, Anupam Gupta, Ravishankar Krishnaswamy -- Reoptimization of the Minimum Total Flow-Time Scheduling Problem / Guy Baram, Tami Tamir -- Energy Efficient Caching for Phase-Change Memory / Neal Barcelo, Miao Zhou, Daniel Cole, Michael Nugent -- Shortest-Elapsed-Time-First on a Multiprocessor / Neal Barcelo, Sungjin Im, Benjamin Moseley, Kirk Pruhs -- Efficient Route Compression for Hybrid Route Planning / Gernot Veit Batz, Robert Geisberger, Dennis Luxen -- Multipath Spanners via Fault-Tolerant Spanners / Shiri Chechik, Quentin Godfroy, David Peleg -- Constant Thresholds Can Make Target Set Selection Tractable / Morgan Chopin, André Nichterlein, Rolf Niedermeier -- Faster Variance Computation for Patterns with Gaps / Fabio Cunial.
Enhancing the Computation of Distributed Shortest Paths on Real Dynamic Networks / Gianlorenzo D'Angelo, Mattia D'Emidio -- Experimental Analysis of Rumor Spreading in Social Networks / Benjamin Doerr, Mahmoud Fouz, Tobias Friedrich -- A Randomised Approximation Algorithm for the Partial Vertex Cover Problem in Hypergraphs / Mourad El Ouali, Helena Fohlin, Anand Srivastav -- Simulation-Based Analysis of Topology Control Algorithms for Wireless Ad Hoc Networks / Fabian Fuchs, Markus Völker, Dorothea Wagner -- Cache-Oblivious Dictionaries and Multimaps with Negligible Failure Probability / Michael T. Goodrich, Daniel S. Hirschberg -- An Efficient Generator for Clustered Dynamic Random Networks / Robert Görke, Roland Kluge, Andrea Schumm -- Slow Down and Sleep for Profit in Online Deadline Scheduling / Peter Kling, Andreas Cord-Landwehr -- FIFO Queueing Policies for Packets with Heterogeneous Processing / Kirill Kogan, Alejandro López-Ortiz.
Record Nr. NYU-004389312
[Mediterranean Conference on Algorithms (1st : 2012 : ʻEn Gedi, Israel)]  
Materiale a stampa
Lo trovi qui: New York University
Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers / edited by Antonín Kučera [and others]
Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers / edited by Antonín Kučera [and others]
Creatore [MEMICS (Workshop) (8th : 2012 : Znojmo, Czech Republic)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Kučera, Antonín, 1971-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information Systems
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
ISBN 9783642360466
3642360467
9783642360442
3642360440
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto BDD-Based Software Model Checking with CPAchecker / Dirk Beyer, Andreas Stahlbauer -- Security for Cyber-Physical Systems / Dieter Gollmann -- Quantum Secret Sharing with Graph States / Sylvain Gravier, Jérôme Javelle -- Testing Embedded Memories: A Survey / Said Hamdioui -- Quicksort and Large Deviations / Colin McDiarmid -- Recent Results on Howard's Algorithm / Peter Bro Miltersen -- Advantage of Quantum Strategies in Random Symmetric XOR Games / Andris Ambainis, Jānis Iraids -- Verification of Liveness Properties on Closed Timed-Arc Petri Nets / Mathias Andersen, Heine Gatten Larsen -- Fast Algorithm for Rank-Width / Martin Beyß -- Determinacy in Stochastic Games with Unbounded Payoff Functions / Tomáš Brázdil, Antonín Kučera, Petr Novotný -- Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games / Krishnendu Chatterjee, Rasmus Ibsen-Jensen -- Controllable-Choice Message Sequence Graphs / Martin Chmelík, Vojtěch Řehák -- A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks / Filip Jurnečka, Vashek Matyáš -- Parameterized Algorithms for Stochastic Steiner Tree Problems / Denis Kurz, Petra Mutzel, Bernd Zey -- Action Investment Energy Games / Kim G. Larsen, Simon Laursen, Jiří Srba -- Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme / Michal Mikuš, Marek Sýs -- Grover's Algorithm with Errors / Andris Ambainis, Artūrs Bačkurs -- On WQO Property for Different Quasi Orderings of the Set of Permutations / Sandra Ose, Juris Viksna -- Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems / Vít Rusňák, Lukáš Ručka, Petr Holub.
Record Nr. NYU-004390147
[MEMICS (Workshop) (8th : 2012 : Znojmo, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
Towards a service-based Internet : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / Witold Abramowicz [and others] (eds.).
Towards a service-based Internet : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / Witold Abramowicz [and others] (eds.).
Creatore [ServiceWave 2011 (2011 : Poznan, Poland)]
Estensione 1 online resource (xvii, 338 pages) : illustrations (some color).
Disciplina 004.67/8
Accesso persona Abramowicz, Witold
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information storage and retrieval systems
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
Programming Techniques
ISBN 9783642247552
3642247555
9783642247545
3642247547
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004371449
[ServiceWave 2011 (2011 : Poznan, Poland)]  
Materiale a stampa
Lo trovi qui: New York University