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.
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 | |
