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.
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / by Jean-Claude Raoult
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / by Jean-Claude Raoult
Creatore [Raoult, J.-C. (Jean-Claude)]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Data Structures
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
ISBN 9783540552512
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354999
[Raoult, J.-C. (Jean-Claude)]  
Software
Lo trovi qui: University of Chicago
Languages and Compilers for Parallel Computing [electronic resource] : Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings / by Utpal Banerjee, David Gelernter, Alex Nicolau
Languages and Compilers for Parallel Computing [electronic resource] : Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings / by Utpal Banerjee, David Gelernter, Alex Nicolau
Creatore [Banerjee, Utpal]
Accesso persona Gelernter, David
Nicolau, Alexandru
Padua, David
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Arithmetic and Logic Structures
Computation by Abstract Devices
Computer Graphics
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783540554226
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355007
[Banerjee, Utpal]  
Software
Lo trovi qui: University of Chicago
Neural Nets [electronic resource] : A Theory for Brains and Machines / by Armando F.da Rocha
Neural Nets [electronic resource] : A Theory for Brains and Machines / by Armando F.da Rocha
Creatore [Rocha, Armando F.da.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Biophysics/Biomedical Physics
Computation by Abstract Devices
Computer Appl. in Life Sciences
Neurosciences
Systems and Information Theory in Engineering
ISBN 9783540559498
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355058
[Rocha, Armando F.da.]  
Software
Lo trovi qui: University of Chicago
Database Theory - ICDT '92 [electronic resource] : 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings / by Joachim Biskup, Richard Hull
Database Theory - ICDT '92 [electronic resource] : 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings / by Joachim Biskup, Richard Hull
Creatore [Biskup, J. (Joachim)]
Accesso persona Hull, Richard
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Database Management
Mathematical Logic and Formal Languages
ISBN 9783540560395
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355066
[Biskup, J. (Joachim)]  
Software
Lo trovi qui: University of Chicago
STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings / by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings / by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
Creatore [Enjalbert, P. (Patrice)]
Accesso persona Finkel, Alain
Wagner, K. W. (Klaus W.)
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Arithmetic and Logic Structures
Computation by Abstract Devices
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783540565031
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355083
[Enjalbert, P. (Patrice)]  
Software
Lo trovi qui: University of Chicago
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]
Estensione 1 online resource.
Accesso persona Ong, Luke
Queiroz, Ruy J. G. B. de.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algebra -- Data processing
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Symbolic and Algebraic Manipulation
ISBN 9783642326219
3642326218
9783642326202
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility (Extended Abstract) / Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.
Record Nr. UCHICAGO-11077287
[Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Evolutionary and biologically inspired music, sound, art and design : first international conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Penousal Machado, Juan Romero, Adrian Carballal (eds.).
Evolutionary and biologically inspired music, sound, art and design : first international conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Penousal Machado, Juan Romero, Adrian Carballal (eds.).
Creatore [EvoMUSART (Conference) (1st : 2012 : Málaga, Spain)]
Estensione 1 online resource (xii, 234 pages) : illustrations (some color).
Disciplina 005.1
Accesso persona Machado, Penousal
Romero, Juan
Carballal, Adrian
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Artificial intelligence
Computer vision
Information systems
Computation by Abstract Devices
Programming Techniques
Image Processing and Computer Vision
Computer Appl. in Arts and Humanities
ISBN 9783642291425
3642291422
3642291414
9783642291418
Classificazione 54.64
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Generative Choreography: Animating in Real-Time Dancing Avatars / Rui Filipe Antunes and Frederic Fol Leymarie -- Aesthetic 3D Model Evolution / Steve Bergen and Brian J. Ross -- A Local Search Interface for Interactive Evolutionary Architectural Design / Jonathan Byrne, Erik Hemberg, Anthony Brabazon and Michael O'Neill -- Evolving a Library of Artistic Scene Descriptors / Simon Colton -- Evolving Pop Art Using Scalable Vector Graphics / E. den Heijer and A.E. Eiben -- Maintaining Population Diversity in Evolutionary Art / E. den Heijer and A.E. Eiben -- Populations of Populations: Composing with Multiple Evolutionary Algorithms / Arne Eigenfeldt and Philippe Pasquier -- Fuzzy Rule Based System Ensemble for Music Genre Classification / Francisco Fernández and Francisco Chávez -- A Computational Environment for the Evolutionary Sound Synthesis of Birdsongs / José Fornari -- A Platform for Evolving Controllers for Simulated Drawing Robots / Gary Greenfield -- Learning Comparative User Models for Accelerating Human-Computer Collaborative Search / Gregory S. Hornby and Josh Bongard -- Fitness in Evolutionary Art and Music: What Has Been Used and What Could Be Used? / Colin G. Johnson -- Interactive Evolution of 8-Bit Melodies with Genetic Programming towards Finding Aesthetic Measures for Sound / Maximos A. Kaliakatsos-Papakostas, Michael G. Epitropakis, Andreas Floros and Michael N. Vrahatis -- Investigating Aesthetic Features to Model Human Preference in Evolutionary Art / Yang Li, Changjun Hu, Ming Chen and Jingyuan Hu -- The Traveling Percussionist / Phil Lopes and Paulo Urbano -- Genetic Programming for Musical Sound Analysis / Róisín Loughran, Jacqueline Walker, Michael O'Neill and James McDermott -- Expression-Based Evolution of Faces / Penousal Machado, João Correia and Juan Romero -- Graph Grammars as a Representation for Interactive Evolutionary 3D Design / James McDermott -- Polyphonic Transcription: Exploring a Hybrid of Tone Models and Particle Swarm Optimisation / Somnuk Phon-Amnuaisuk -- Reinforcement Learning and the Creative, Automated Music Improviser / Benjamin D. Smith and Guy E. Garnett.
Record Nr. NYU-004622220
[EvoMUSART (Conference) (1st : 2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Intelligent computing theories : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan premaratne (eds.).
Intelligent computing theories : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan premaratne (eds.).
Creatore [International Conference on Intelligent Computing (9th : 2013 : Nanning, China)]
Estensione 1 online resource (xxiii, 651 pages) : illustrations (black and white).
Disciplina 006.3
Accesso persona Huang, De-Shuang, editor
Bevilacqua, Vitoantonio, editor
Figueroa, Juan Carlos, editor
Premaratne, Prashan, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Bioinformatics
Image Processing and Computer Vision
Pattern Recognition
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642394799
3642394795
9783642394782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Neural Networks -- Nature Inspired Computing and Optimization -- Cognitive Science and Computational Neuroscience -- Knowledge Discovery and Data Mining -- Evolutionary Learning and Genetic Algorithms -- Machine Learning Theory and Methods -- Natural Language Processing and Computational Linguistics -- Fuzzy Theory and Models -- Fuzzy Systems and Soft Computing -- Unsupervised and Reinforcement Learning -- Intelligent Computing in Finance/Banking -- Intelligent Computing in Communication Networks -- Intelligent Computing in Network Software/Hardware -- Intelligent Image/Document Retrievals -- Intelligent Data Fusion and Information Security -- Intelligent Prediction and Time Series Analysis -- Intelligent Sensor Networks -- Intelligent Fault Diagnosis -- Virtual Reality and Human-Computer Interaction -- Intelligent Computing in Robotics -- Intelligent Computing in Computer Vision.
Record Nr. NYU-004426093
[International Conference on Intelligent Computing (9th : 2013 : Nanning, China)]  
Materiale a stampa
Lo trovi qui: New York University
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Creatore [MABS (Workshop) (12th : 2011 : Taipei, Taiwan)]
Estensione 1 online resource (viii, pages) : illustrations.
Disciplina 003/.3
Accesso persona Villatoro, Daniel
Sabater-Mir, Jordi
Sichman, Jaime S. (Jaime Simão)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Simulation and Modeling
Special Purpose and Application-Based Systems
ISBN 9783642284007
3642284000
9783642283994
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004621914
[MABS (Workshop) (12th : 2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: New York University
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Creatore [International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]
Estensione 1 online resource.
Disciplina 005.1/3
Accesso persona Czumaj, Artur
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Information storage and retrieval systems
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Discrete Mathematics in Computer Science
ISBN 9783642315855
3642315852
9783642315848
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiple Keyword Sponsored Search Auctions with Budgets / Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi and Martin Starnberger -- A Theory Independent Curry-De Bruijn-Howard Correspondence / Gilles Dowek -- Standing on the Shoulders of a Giant: One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture) / David Harel -- Session Types and Distributed Computing / Kohei Honda -- Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations / Daniel A. Spielman -- Randomized Mechanisms for Multi-unit Auctions (Extended Abstract) / Berthold Vöcking -- Algebraic Synchronization Trees and Processes / Luca Aceto, Arnaud Carayol, Zoltán Ésik and Anna Ingólfsdóttir -- Streaming Tree Transducers / Rajeev Alur and Loris D'Antoni -- Causal Graph Dynamics / Pablo Arrighi and Gilles Dowek -- Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers / Albert Atserias and Anuj Dawar -- Monadic Datalog Containment / Michael Benedikt, Pierre Bourhis and Pierre Senellart -- A Machine-Independent Characterization of Timed Languages / Mikołaj Bojańczyk and Sławomir Lasota -- Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets / Mikołaj Bojańczyk and Thomas Place -- Toward Model Theory with Data Values / Mikołaj Bojańczyk and Thomas Place -- Robust Reachability in Timed Automata: A Game-Based Approach / Patricia Bouyer, Nicolas Markey and Ocan Sankur.
Minimizing Expected Termination Time in One-Counter Markov Decision Processes / Tomáš Brázdil, Antonín Kučera, Petr Novotný and Dominik Wojtczak -- Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata / Christopher Broadbent -- A Saturation Method for Collapsible Pushdown Systems / Chris Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre -- Regular Languages Are Church-Rosser Congruential / Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter -- Time and Parallelizability Results for Parity Games with Bounded Treewidth / John Fearnley and Sven Schewe -- Nominal Completion for Rewrite Systems with Binders / Maribel Fernández and Albert Rubio -- Discrete Generalised Polynomial Functors (Extended Abstract) / Marcelo Fiore -- Computing Game Metrics on Markov Decision Processes / Hongfei Fu -- Deciding First Order Properties of Matroids / Tomáš Gavenčiak, Daniel Král and Sang-il Oum -- Pebble Games with Algebraic Rules / Anuj Dawar and Bjarki Holm -- Exponential Lower Bounds and Separation for Query Rewriting / Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev -- Lattices of Logical Fragments over Words (Extended Abstract) / Manfred Kufleitner and Alexander Lauser -- On the Expressive Power of Cost Logics over Infinite Words / Denis Kuperberg and Michael Vanden Boom -- Coalgebraic Predicate Logic / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder.
Algorithmic Games for Full Ground References / Andrzej S. Murawski and Nikos Tzevelekos -- Two-Level Game Semantics, Intersection Types, and Recursion Schemes / C.-H. Luke Ong and Takeshi Tsukada -- An Automata-Theoretic Model of Idealized Algol (Extended Abstract) / Uday S. Reddy and Brian P. Dunphy -- Towards a Unified Theory of Operational and Axiomatic Semantics / Grigore Roşu and Andrei Ştefănescu -- Loader and Urzyczyn Are Logically Related / Sylvain Salvati, Giulio Manzonetto, Mai Gehrke and Henk Barendregt -- Languages of Profinite Words and the Limitedness Problem / Szymon Toruńczyk -- The Complexity of Mean-Payoff Automaton Expression / Yaron Velner -- On the Locality of Some NP-Complete Problems / Leonid Barenboim -- Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs / Reuven Bar-Yehuda, Erez Kantor, Shay Kutten and Dror Rawitz -- Super-Fast Distributed Algorithms for Metric Facility Location / Andrew Berns, James Hegeman and Sriram V. Pemmaraju -- Preventing Unraveling in Social Networks: The Anchored k-Core Problem / Kshipra Bhawalkar, Jon Kleinberg, Kevin Lewi, Tim Roughgarden and Aneesh Sharma -- Edge Fault Tolerance on Sparse Networks / Nishanth Chandran, Juan Garay and Rafail Ostrovsky -- Incentive Ratios of Fisher Markets / Ning Chen, Xiaotie Deng, Hongyang Zhang and Jie Zhang -- Computational Complexity of Traffic Hijacking under BGP and S-BGP / Marco Chiesa, Giuseppe Di Battista, Thomas Erlebach and Maurizio Patrignani -- Efficiency-Revenue Trade-Offs in Auctions / Ilias Diakonikolas, Christos Papadimitriou, George Pierrakos and Yaron Singer.
Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports / Yoann Dieudonné and Andrzej Pelc -- A QPTAS for -Envy-Free Profit-Maximizing Pricing on Line Graphs / Khaled Elbassioni -- Minimizing Rosenthal Potential in Multicast Games / Fedor V. Fomin, Petr Golovach, Jesper Nederlof and Michał Pilipczuk -- Multiparty Proximity Testing with Dishonest Majority from Equality Testing / Ran Gelles, Rafail Ostrovsky and Kina Winoto -- Anonymous Card Shuffling and Its Applications to Parallel Mixnets / Michael T. Goodrich and Michael Mitzenmacher -- Byzantine Agreement with a Rational Adversary / Adam Groce, Jonathan Katz, Aishwarya Thiruvengadam and Vassilis Zikas -- Random Hyperbolic Graphs: Degree Sequence and Clustering (Extended Abstract) / Luca Gugelmann, Konstantinos Panagiotou and Ueli Peter -- Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks / Navendu Jain, Ishai Menache, Joseph (Seffi) Naor and F. Bruce Shepherd -- Counting Arbitrary Subgraphs in Data Streams / Daniel M. Kane, Kurt Mehlhorn, Thomas Sauerwald and He Sun -- k-Chordal Graphs: From Cops and Robber to Compact Routing via Treewidth / Adrian Kosowski, Bi Li, Nicolas Nisse and Karol Suchan -- Contention Issues in Congestion Games / Elias Koutsoupias and Katia Papakonstantinopoulou -- Online Mechanism Design (Randomized Rounding on the Fly) / Piotr Krysta and Berthold Vöcking -- Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization / Marcel Ochel, Klaus Radke and Berthold Vöcking -- Distributed Algorithms for Network Diameter and Girth / David Peleg, Liam Roditty and Elad Tal.
Record Nr. NYU-004623417
[International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]  
Materiale a stampa
Lo trovi qui: New York University