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.
Nonmonotonic logics [electronic resource]: basic concepts, results, and techniques / Karl Schlechta
Nonmonotonic logics [electronic resource]: basic concepts, results, and techniques / Karl Schlechta
Creatore [Schlechta, Karl]
Estensione ix, 243 p. : ill.
Disciplina 006.3
ISBN 3540624821 (Berlin : acid-free paper)
Classificazione 54.72
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9941580633503681
[Schlechta, Karl]  
Risorse elettroniche
Lo trovi qui: University of Pennsylvania
Artificial intelligence in medicine [electronic resource]: 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings / Elpida Keravnou ... [et al.] eds.
Artificial intelligence in medicine [electronic resource]: 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings / Elpida Keravnou ... [et al.] eds.
Creatore [Conference on Artificial Intelligence in Medicine Europe (6th : Grenoble, France : 1997)]
Estensione xiii, 526 p. : ill.
Disciplina 610/.285/63
Accesso persona Keravnou, E. T.
ISBN 354062709X (softcover : alk. paper)
Classificazione 44.32
54.72
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9941580863503681
[Conference on Artificial Intelligence in Medicine Europe (6th : Grenoble, France : 1997)]  
Risorse elettroniche
Lo trovi qui: University of Pennsylvania
Energy efficiency in large scale distributed systems [electronic resource] : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised selected papers / Jean-Marc Pierson, Georges Da Costa, Lars Dittmann (eds.).
Energy efficiency in large scale distributed systems [electronic resource] : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised selected papers / Jean-Marc Pierson, Georges Da Costa, Lars Dittmann (eds.).
Creatore [EE-LSDS (Conference) (2013 : Vienna, Austria)]
Estensione 1 online resource (xi, 312 pages) : illustrations
Disciplina 004/.36
Accesso persona Pierson, Jean-Marc, editor of compilation
Da Costa, Georges, editor of compilation
Dittmann, Lars, 1967-, editor of compilation
Genere/Forma Electronic books
ISBN 9783642405174 (electronic bk.)
3642405177 (electronic bk.)
3642405169 (print)
9783642405167 (print)
9783642405167
Classificazione 54.72
85.03
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modeling and monitoring of power consumption -- Solving some Mysteries in Power Monitoring of Servers: Take Care of your Wattmeters! -- Energy Box: A Trace-driven Tool for Data Transmission Energy Consumption Studies -- Myths in PMC-based Power Estimation -- Energy Consumption Library -- Monitoring and Management Platforms for IT and Home Appliances -- Modelling Power Adaption Flexibility of Data Centres for Demand-Response Management -- Stress Cloud: An Infrastructure stresser for Virtual Machine Managers -- An Intelligent and Adaptive Threshold-Based Schema for Energy and Performance Efficient Dynamic VMs Consolidation Energy Characterization of Data Mining Algorithms on Mobile Devices -- Snooze: an Autonomic and Energy-Efficient Management System for Private Clouds -- DCworms - a tool for simulation of energy efficiency in data centers -- Energy Efficiency in Secure and Dynamic Cloud Storage -- A Holistic Model of the Performance and the Energy-Efficiency of Classical Hypervisors in an HPC Environment -- Runtime Scheduling of the LU Factorization: Performance and Energy -- A Three Step Blind Approach for Improving HPC Systems' Energy Performance -- Performance Evaluation and Energy Efficiency of High-Density HPC Platforms Based on Intel, AMD and ARM Processors -- Enhancing IEEE 802.11 Energy Efficiency for Continuous Media Applications -- Real-World Energy Measurements of a Wireless Mesh Network -- An Evolutionary Algorithm Based Dynamic Energy Management Framework for IP over DWDM Core Network -- Autonomic computing to manage green Core networks with Quality of Service -- Large Scale Analysis of BitTorrent Proxy for Green Internet File Sharing -- Energy Efficiency Issues in Information-Centric Networking -- Cutting Down the Energy Cost of Geographically Distributed Cloud Data Centers -- Green IT for Standardization Bodies, Initiatives and their relation to Green IT focused on the Data Centre Side -- Towards Service Orchestration between Smart Grids and Telecom Networks.
Record Nr. UPENN-9960999073503681
[EE-LSDS (Conference) (2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Intelligent information agents [electronic resource]: the AgentLink perspective / Matthias Klusch ... [et al.], (eds.).
Intelligent information agents [electronic resource]: the AgentLink perspective / Matthias Klusch ... [et al.], (eds.).
Estensione vi, 273 p. : ill.
Disciplina 006.3
Accesso persona Klusch, Matthias, 1965-
ISBN 3540007598 (softcover : alk. paper)
Classificazione 06.64
54.69
54.72
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9941576763503681
Risorse elettroniche
Lo trovi qui: University of Pennsylvania
Statistical mechanics of neural networks [electronic resource] : proceedings of the XIth Sitges conference, Sitges, Barcelona, Spain, 3-7 June 1990 / Luis Garrido, (ed.).
Statistical mechanics of neural networks [electronic resource] : proceedings of the XIth Sitges conference, Sitges, Barcelona, Spain, 3-7 June 1990 / Luis Garrido, (ed.).
Estensione 1 online resource (vi, 477 p.) : ill
Disciplina 006.3
Accesso persona Garrido, L. (Luis), 1930-
ISBN 3540532676 (Berlin : alk. paper)
9783540532675 (Berlin : alk. paper)
0387532676 (New York : alk. paper)
9780387532677 (New York : alk. paper)
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9959826313503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computational architectures integrating neural and symbolic processes : a perspective on the state of the art / edited by Ron Sun, Lawrence A. Bookman with a foreword by Michael A. Arbib
Computational architectures integrating neural and symbolic processes : a perspective on the state of the art / edited by Ron Sun, Lawrence A. Bookman with a foreword by Michael A. Arbib
Estensione 1 online resource (xviii, 475 pages) : illustrations.
Disciplina 006.3
Accesso persona Sun, Ron, 1960-
Bookman, Lawrence A., 1947-
ISBN 0585295999
9780585295992
0792395174
9780792395171
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7963990
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Advances in Web intelligence : Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004 : proceedings / Jesus Favela, Ernestina Menasalvas, Edgar Chávez (eds.).
Advances in Web intelligence : Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004 : proceedings / Jesus Favela, Ernestina Menasalvas, Edgar Chávez (eds.).
Creatore [International Atlantic Web Intelligence Conference (2nd : 2004 : Cancún, Mexico)]
Estensione 1 online resource (xiii, 226 pages) : illustrations.
Disciplina 004.678
Accesso persona Favela, Jesus
Menasalvas, Ernestina, 1970-
Chávez, Edgar
ISBN 3540246819
9783540246817
3540220097
9783540220091
Classificazione 06.64
54.72
DAT 614f
DAT 616f
DAT 825f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7966035
[International Atlantic Web Intelligence Conference (2nd : 2004 : Cancún, Mexico)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers / João Leite [and others], eds.
Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers / João Leite [and others], eds.
Creatore [International Workshop on Declarative Agent Languages and Technologies (1st : 2003 : Melbourne, Vic.)]
Estensione 1 online resource (xii, 279 pages) : illustrations.
Disciplina 005.2
Accesso persona Leite, João Alexandre
Accesso convegno International Joint Conference on Autonomous Agents and Multiagent Systems (2nd : 2003 : Melbourne, Vic.)
ISBN 3540221247
9783540221241
3540259325
9783540259329
Classificazione 54.72
DAT 350f
DAT 709f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7966105
[International Workshop on Declarative Agent Languages and Technologies (1st : 2003 : Melbourne, Vic.)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Advances in case-based reasoning : 7th European conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004 : proceedings / Peter Funk, Pedro A. González Calero (eds.).
Advances in case-based reasoning : 7th European conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004 : proceedings / Peter Funk, Pedro A. González Calero (eds.).
Creatore [ECCBR 2004 (2004 : Madrid, Spain)]
Estensione 1 online resource (xiii, 822 pages) : illustrations.
Disciplina 006.3/3
Accesso persona Funk, Peter, 1957-
González Calero, Pedro A.
ISBN 3540286314
9783540286318
3540228829
9783540228820
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7966171
[ECCBR 2004 (2004 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Artificial intelligence : theories, models and applications : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010 : proceedings / Stasinos Konstantopoulos [and others] (eds.).
Artificial intelligence : theories, models and applications : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010 : proceedings / Stasinos Konstantopoulos [and others] (eds.).
Creatore [Hellenic Conference on AI (6th : 2010 : Athens, Greece)]
Estensione 1 online resource (xv, 430 pages) : illustrations.
Disciplina 006.3
Accesso persona Konstantopoulos, Stasinos
Genere/Forma Congresses
ISBN 9783642128417
3642128416
9783642128424
3642128424
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7958530
[Hellenic Conference on AI (6th : 2010 : Athens, Greece)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium