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]
![]() |
|
![]() | |
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. |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: University of Pennsylvania | |
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 |
![]() | |
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.). |
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 |
![]() | |
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 |
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 |
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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. |
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.)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: University of Alberta / NEOS Library Consortium | |