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.
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Creatore [European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]
Estensione 1 online resource (263 pages) : illustrations.
Accesso persona Bezhanishvili, Nick
Goranko, Valentin
Accesso convegno European Summer School in Logic, Language, and Information (23rd : 2011 : Ljubljana, Slovenia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
ISBN 9783642314858
3642314856
9783642314841
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek.
Record Nr. UCHICAGO-11076985
[European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Engaging learners through emerging technologies : International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings / Kam Cheong Li [and others] (eds.).
Engaging learners through emerging technologies : International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings / Kam Cheong Li [and others] (eds.).
Creatore [International Conference on ICT in Teaching and Learning (7th : 2012 : Hong Kong, China)]
Estensione 1 online resource.
Accesso persona Li, Kam Cheong
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
ISBN 9783642313981
3642313981
9783642313974
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. The Construct of Student Engagement and the Applications of ICT -- Student Engagement: Meanings, Approaches and Ideas for Educators Interested in ICT / K.C. Li and Fu Lee Wang -- Part 2. Emerging Pedagogies through ICT -- Learning Management System: Japanese Student Perceptions and Expectations / Yoko Hirata and Yoshihiro Hirata -- e-Assessment: A Case of Student-Centred Learning / Madeleine Tsoi and Reggie Kwan -- A Report on the Online Learning Experience of Students in Accounting Course / J. Lam, R. Chan and K. Yan -- An Enhanced e-Assessment System for the Acquisition of Putonghua / Carole Chen, Kenneth Wong, Kat Leung and Reggie Kwan -- Using a Facebook Closed-Group as Part of an Online Course / Daniyar Sapargaliyev -- Social Network Sites and e-Learning Adoption / Ramón Rufín Moreno and Cayetano Medina Molina -- Part 3. Applications of ICT in Teaching and Learning -- An Effective Tool to Support Teaching and Learning of Modular Programming / Fu Lee Wang, Reggie Kwan and Kenneth Wong -- A Mobile Application to Enhance Teaching and Learning in Classroom Environment / Sin-Chun Ng, Andrew Kwok-Fai Lui and Dennis Siu-Fung Tsui -- Design and Development of Multi-subject Item Bank in an M-Learning System / Hui Ye, Zuyuan Wang, Qing Luo and Yuanyuan Hu -- An e-Learning System for Piano Instruction / Ruiheng Sun, Ningsheng Ma, Yuening Zhang, Qing Luo and Hui Ye -- Part 4. Research/Case Studies on ICT in Engaged Learning -- Analysis of Experts' and Novices' Thinking Process in Program Debugging / Ching-Zon Yen, Ping-Huang Wu and Ching-Fang Lin -- Student Teachers' Perception of the VBL System to Enhance Technology Integration Competencies / Ya-Fung Chang, Yi-Chin Chen and Chia-Ling Hsu -- Citizenship Education via an Online Peer Discussion Blended Learning Approach: Lessons Learned / Khe Foon Hew and Wing Sum Cheung -- Tree-Based Comparison for Plagiarism Detection and Automatic Marking of Programming Assignments / Sin-Chun Ng, Andrew Kwok-Fai Lui and Lai-Shan Wong -- Research on the Learner Guide Mechanism in the Virtual Experiment Platform of Physics Based on the Theory of User-Centered Design / Yuanyuan Hu, Zuyuan Wang, Yu Lu and Ruiheng Sun -- Part 5. Turning to a New Page of Open Textbooks -- Overcoming Copyright Hurdles in the Development of Learning Materials in the Digital Era / K.S. Yuen, Linda Chow, Simon K.S. Cheung, K.C. Li and Eva Y.M. Tsang -- Open Access Textbooks: Opportunities and Challenges / Simon K.S. Cheung, K.S. Yuen, K.C. Li, Eva Y.M. Tsang and Alex Wong -- eVolution from Conventional Textbooks to Open Textbooks: A Way Out for Hong / K.C. Li, K.S. Yuen, Simon K.S. Cheung and Eva Y.M. Tsang.
Record Nr. UCHICAGO-11077026
[International Conference on ICT in Teaching and Learning (7th : 2012 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in neuromorphic memristor science and applications [electronic resource] / Robert Kozma, Robinson E. Pino, Giovanni E. Pazienza, editors
Advances in neuromorphic memristor science and applications [electronic resource] / Robert Kozma, Robinson E. Pino, Giovanni E. Pazienza, editors
Estensione 1 online resource.
Disciplina 621.3815
Accesso persona Kozma, Robert
Pino, Robinson E.
Pazienza, Giovanni E.
Genere/Forma Electronic books
Soggetto non controllato Medicine
Neurosciences
Artificial intelligence
Biomedicine
Nanoscale Science and Technology
Mathematical Models of Cognitive Processes and Neural Networks
ISBN 9789400744912 (electronic bk.)
9400744919 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-005664255
Materiale a stampa
Lo trovi qui: Duke University
Belief revision in non-classical logics [electronic resource] / Márcio Moretto Ribeiro
Belief revision in non-classical logics [electronic resource] / Márcio Moretto Ribeiro
Creatore [Ribeiro, Márcio Moretto]
Estensione 1 online resource.
Disciplina 005.101/5113
Genere/Forma Electronic books
Soggetto non controllato Computer science
Logic
Artificial intelligence
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9781447141860 (electronic bk.)
1447141865 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-005685032
[Ribeiro, Márcio Moretto]  
Materiale a stampa
Lo trovi qui: Duke University
The nexus between artificial intelligence and economics [electronic resource] / Ad. J. W. van de Gevel, Charles N. Noussair
The nexus between artificial intelligence and economics [electronic resource] / Ad. J. W. van de Gevel, Charles N. Noussair
Creatore [Gevel, Ad. J. W. van de.]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Noussair, Charles
Genere/Forma Electronic books
Soggetto non controllato Economics
Artificial intelligence
Microeconomics
Economics, Mathematical
Economics/Management Science
Game Theory/Mathematical Methods
Economic Theory
ISBN 9783642336485 (electronic bk.)
3642336485 (electronic bk.)
9783642336478
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-005874358
[Gevel, Ad. J. W. van de.]  
Materiale a stampa
Lo trovi qui: Duke University
Neural networks : a comprehensive foundation / Simon Haykin
Neural networks : a comprehensive foundation / Simon Haykin
Creatore [Haykin, Simon S., 1931-]
Estensione xix, 696 p. : ill. ; 26 cm.
Disciplina 006.3
Soggetto non controllato Artificial intelligence
ISBN 0023527617
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-001783982
[Haykin, Simon S., 1931-]  
Materiale a stampa
Lo trovi qui: Duke University
The Artificial intelligence debate : false starts, real foundations / edited by Stephen R. Graubard
The Artificial intelligence debate : false starts, real foundations / edited by Stephen R. Graubard
Edizione [1st MIT Press ed.]
Estensione 311 p. : ill. ; 23 cm.
Disciplina 006.3
Accesso persona Graubard, Stephen Richards
Soggetto non controllato Artificial intelligence
ISBN 0262570742 (pbk.)
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-003781428
Materiale a stampa
Lo trovi qui: Duke University
Pattern recognition in bioinformatics : 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012. Proceedings / Tetsuo Shibuya [and others] (eds.).
Pattern recognition in bioinformatics : 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012. Proceedings / Tetsuo Shibuya [and others] (eds.).
Creatore [PRIB (Meeting) (7th : 2012 : Tokyo, Japan)]
Estensione 1 online resource.
Disciplina 570.285
Accesso persona Shibuya, Tetsuo
Genere/Forma Electronic books
Conference papers and proceedings
Computer software
Congress
Electronic book
Soggetto non controllato Computer science
Data mining
Artificial intelligence
Optical pattern recognition
Bioinformatics
Pattern Recognition
Algorithm Analysis and Problem Complexity
ISBN 9783642341236
3642341233
3642341225
9783642341229
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Robust Community Detection Methods with Resolution Parameter for Complex Detection in Protein Protein Interaction Networks / Twan van Laarhoven and Elena Marchiori -- Machine Learning Scoring Functions Based on Random Forest and Support Vector Regression / Pedro J. Ballester -- A Genetic Algorithm for Scale-Based Translocon Simulation / Sami Laroum, Béatrice Duval, Dominique Tessier and Jin-Kao Hao -- A Framework of Gene Subset Selection Using Multiobjective Evolutionary Algorithm / Yifeng Li, Alioune Ngom and Luis Rueda -- Multiple Tree Alignment with Weights Applied to Carbohydrates to Extract Binding Recognition Patterns / Masae Hosoda, Yukie Akune and Kiyoko F. Aoki-Kinoshita -- A Unified Adaptive Co-identification Framework for High-D Expression Data / Shuzhong Zhang, Kun Wang, Cody Ashby, Bilian Chen and Xiuzhen Huang -- Protein Clustering on a Grassmann Manifold / Chendra Hadi Suryanto, Hiroto Saigo and Kazuhiro Fukui -- Improving the Portability and Performance of jViz. RNA -- A Dynamic RNA Visualization Software / Boris Shabash, Kay Wiese and Edward Glen -- A Novel Machine Learning Approach for Detecting the Brain Abnormalities from MRI Structural Images / Lavneet Singh, Girija Chetty and Dharmendra Sharma.
An Open Framework for Extensible Multi-stage Bioinformatics Software / Gabriel Keeble-Gagnère, Johan Nyström-Persson, Matthew I. Bellgard and Kenji Mizuguchi -- An Algorithm to Assemble Gene-Protein-Reaction Associations for Genome-Scale Metabolic Model Reconstruction / João Cardoso, Paulo Vilaça, Simão Soares and Miguel Rocha -- A Machine Learning and Chemometrics Assisted Interpretation of Spectroscopic Data -- A NMR-Based Metabolomics Platform for the Assessment of Brazilian Propolis / Marcelo Maraschin, Amélia Somensi-Zeggio, Simone K. Oliveira, Shirley Kuhnen and Maíra M. Tomazzoli, et al. -- Principal Component Analysis for Bacterial Proteomic Analysis / Y. -h. Taguchi and Akira Okamoto -- Application of the Multi-modal Relevance Vector Machine to the Problem of Protein Secondary Structure Prediction / Nikolay Razin, Dmitry Sungurov, Vadim Mottl, Ivan Torshin and Valentina Sulimova, et al. -- Cascading Discriminant and Generative Models for Protein Secondary Structure Prediction / Fabienne Thomarat, Fabien Lauer and Yann Guermeur -- Improvement of the Protein-Protein Docking Prediction by Introducing a Simple Hydrophobic Interaction Model: An Application to Interaction Pathway Analysis / Masahito Ohue, Yuri Matsuzaki, Takashi Ishida and Yutaka Akiyama.
Representation of Protein Secondary Structure Using Bond-Orientational Order Parameters / Cem Meydan and Osman Ugur Sezerman -- Diagnose the Premalignant Pancreatic Cancer Using High Dimensional Linear Machine / Yifeng Li and Alioune Ngom -- Predicting V(D)J Recombination Using Conditional Random Fields / Raunaq Malhotra, Shruthi Prabhakara and Raj Acharya -- A Simple Genetic Algorithm for Biomarker Mining / Dusan Popovic, Alejandro Sifrim, Georgios A. Pavlopoulos, Yves Moreau and Bart De Moor -- Finding Conserved Regions in Protein Structures Using Support Vector Machines and Structure Alignment / Tatsuya Akutsu, Morihiro Hayashida and Takeyuki Tamura -- Aligning Discovered Patterns from Protein Family Sequences / En-Shiun Annie Lee, Dennis Zhuang and Andrew K.C. Wong -- Application of the Burrows-Wheeler Transform for Searching for Approximate Tandem Repeats / Agnieszka Danek, Rafał Pokrzywa, Izabela Makałowska and Andrzej Polański -- Pattern Recognition for Subfamily Level Classification of GPCRs Using Motif Distillation and Distinguishing Power Evaluation / Ahmet Sinan Yavuz, Bugra Ozer and Osman Ugur Sezerman.
Record Nr. NYU-006479219
[PRIB (Meeting) (7th : 2012 : Tokyo, Japan)]  
Materiale a stampa
Lo trovi qui: New York University
Photogrammetric image analysis : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings / Uwe Stilla [and others] (eds.).
Photogrammetric image analysis : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings / Uwe Stilla [and others] (eds.).
Creatore [International Society for Photogrammetry and Remote Sensing.Congress (2011 : Munich, Germany)]
Estensione 1 online resource (xiii, 308 pages) : illustrations (some color).
Disciplina 526.9/82
Accesso persona Stilla, Uwe.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer graphics
Computer vision
Optical pattern recognition
Image Processing and Computer Vision
Pattern Recognition
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642243936
3642243932
9783642243929
3642243924
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178406
[International Society for Photogrammetry and Remote Sensing.Congress (2011 : Munich, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Metadata and semantic research : 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011 : proceedings / Elena García-Barriocanal [and others] (eds.).
Metadata and semantic research : 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011 : proceedings / Elena García-Barriocanal [and others] (eds.).
Creatore [International Conference on Metadata and Semantics Research (5th : 2011 : İzmir, Turkey)]
Estensione 1 online resource (xviii, 546 pages) : illustrations (some color).
Disciplina 025.042/7
Accesso persona García-Barriocanal, Elena
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
Data Mining and Knowledge Discovery
ISBN 9783642247316
3642247318
9783642247309
364224730X
Classificazione 06.64
54.69
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178498
[International Conference on Metadata and Semantics Research (5th : 2011 : İzmir, Turkey)]  
Materiale a stampa
Lo trovi qui: New York University