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.
Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland / Alexandre V. Borovik, editor
Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland / Alexandre V. Borovik, editor
Creatore [AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 : Baltimore, Md.)]
Estensione viii, 348 p. : ill. ; 26 cm.
Disciplina 512/.2
Accesso persona Borovik, Alexandre
Soggetto non controllato Logic
Computer science
ISBN 0821836188 (alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-003484545
[AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 : Baltimore, Md.)]  
Materiale a stampa
Lo trovi qui: Duke University
New studies in global IT and business service outsourcing : 5th Global Sourcing Workshop 2011, Courchevel, France, March 14-17, 2011 : revised selected papers / Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri (eds.).
New studies in global IT and business service outsourcing : 5th Global Sourcing Workshop 2011, Courchevel, France, March 14-17, 2011 : revised selected papers / Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri (eds.).
Creatore [Global Sourcing Workshop (5th : 2011 : Courchevel, France)]
Estensione 1 online resource (viii, 217 pages) : illustrations (some color).
Disciplina 658/.05
Accesso persona Kotlarsky, Julia
Willcocks, Leslie
Oshri, Ilan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information Systems
Business planning
Industrial procurement
Management of Computing and Information Systems
Organization/Planning
Procurement
ISBN 9783642248153
3642248152
9783642248146
3642248144
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178492
[Global Sourcing Workshop (5th : 2011 : Courchevel, France)]  
Materiale a stampa
Lo trovi qui: New York University
Model and data engineering : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011 : proceedings / Ladjel Bellatreche, Filipe Mota Pinto (eds.).
Model and data engineering : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011 : proceedings / Ladjel Bellatreche, Filipe Mota Pinto (eds.).
Creatore [MEDI 2011 (2011 : Óbidos, Portugal)]
Estensione 1 online resource (xi, 288 pages) : illustrations (some color).
Disciplina 005.74068
Accesso persona Bellatreche, Ladjel, 1968-
Mota Pinto, Filipe
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Database management
Information storage and retrieval systems
Computer simulation
Information Systems Applications (incl. Internet)
Simulation and Modeling
Information Storage and Retrieval
Algorithm Analysis and Problem Complexity
ISBN 9783642244438
3642244432
9783642244421
3642244424
Classificazione 54.52
54.64
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178501
[MEDI 2011 (2011 : Óbidos, Portugal)]  
Materiale a stampa
Lo trovi qui: New York University
Similarity-based pattern recognition : first International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings / Marcello Pelillo, Edwin R. Hancock (eds.).
Similarity-based pattern recognition : first International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings / Marcello Pelillo, Edwin R. Hancock (eds.).
Creatore [SIMBAD (2011 : Venice, Italy)]
Estensione 1 online resource (xii, 332 pages) : illustrations.
Disciplina 006.3
Accesso persona Pelillo, Marcello
Hancock, Edwin R.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Artificial intelligence
Computer vision
Optical pattern recognition
Pattern Recognition
Image Processing and Computer Vision
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642244711
3642244718
9783642244704
364224470X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178509
[SIMBAD (2011 : Venice, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Advanced digital preservation / David Giaretta
Advanced digital preservation / David Giaretta
Creatore [Giaretta, David]
Estensione 1 online resource (xxii, 510 pages) : illustrations
Disciplina 025.8025.84
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information storage and retrieval systems
Library science
Humanities
Information Storage and Retrieval
Computers and Society
Cultural Heritage
ISBN 9783642168093
3642168094
9783642168086
3642168086
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005710086
[Giaretta, David]  
Materiale a stampa
Lo trovi qui: New York University
Scalable uncertainty management : 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings / Eyke Hüllermeier [and others] (eds.).
Scalable uncertainty management : 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings / Eyke Hüllermeier [and others] (eds.).
Creatore [SUM (Conference) (6th : 2012 : Marburg, Germany)]
Estensione 1 online resource.
Disciplina 003/.54
Accesso persona Hüllermeier, Eyke
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
ISBN 9783642333620
3642333621
3642333613
9783642333613
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Xtream: A System for Continuous Querying over Uncertain Data Streams / Mohammad G. Dezfuli and Mostafa S. Haghjoo -- Applications of Ordinal Ranks to Flexible Query Answering / Lucie Urbanova, Vilem Vychodil and Lena Wiese -- Managing Uncertainty in Databases and Scaling It Up to Concurrent Transactions / Alfredo Cuzzocrea, Rubén de Juan Marín, Hendrik Decker and Francesc D. Muñoz-Escoí -- Generalizing Naive and Stable Semantics in Argumentation Frameworks with Necessities and Preferences / Farid Nouioua -- Stable Semantics in Logic-Based Argumentation / Leila Amgoud -- The Outcomes of Logic-Based Argumentation Systems under Preferred Semantics / Leila Amgoud -- Abstract Argumentation via Monadic Second Order Logic / Wolfgang Dvořák, Stefan Szeider and Stefan Woltran -- An Approach to Argumentation Considering Attacks through Time / Maximiliano C.D. Budán, Mauro Gómez Lucero, Carlos I. Chesñevar and Guillermo R. Simari -- Drift Detection and Characterization for Fault Diagnosis and Prognosis of Dynamical Systems / Antoine Chammas, Moamar Sayed-Mouchaweh, Eric Duviella and Stéphane Lecoeuche.
An Attempt to Employ Genetic Fuzzy Systems to Predict from a Data Stream of Premises Transactions / Bogdan Trawiński, Tadeusz Lasota, Magdalena Smętek and Grzegorz Trawiński -- Navigating Interpretability Issues in Evolving Fuzzy Systems / Edwin Lughofer -- Certain Conjunctive Query Answering in SQL / Alexandre Decan, Fabian Pijcke and Jef Wijsen -- Restoring Consistency in P2P Deductive Databases / Luciano Caroprese and Ester Zumpano -- Tractable Cases of Clean Query Answering under Entity Resolution via Matching Dependencies / Jaffer Gardezi and Leopoldo Bertossi -- A Distance between Continuous Belief Functions / Dorra Attiaoui, Pierre-Emmanuel Doré, Arnaud Martin and Boutheina Ben Yaghlane -- On the Complexity of the Graphical Representation and the Belief Inference in the Dynamic Directed Evidential Networks with Conditional Belief Functions / Wafa Laâmari, Boutheina Ben Yaghlane and Christophe Simon -- Revision over Partial Pre-orders: A Postulational Study / Jianbing Ma, Salem Benferhat and Weiru Liu.
Representing Uncertainty by Possibility Distributions Encoding Confidence Bands, Tolerance and Prediction Intervals / Mohammad Ghasemi Hamed, Mathieu Serrurier and Nicolas Durand -- Harmonic Wavelets Based Identification of Nonlinear and Time-Variant Systems / Ioannis A. Kougioumtzoglou and Pol D. Spanos -- An Upscaling Approach for Uncertainty Quantification of Stochastic Contaminant Transport through Fractured Media / Edoardo Patelli -- Development of a Reliability-Based Design Optimization Toolbox for the FERUM Software / Luis Celorrio Barragué -- Approximating Complex Sensor Quality Using Failure Probability Intervals / Christian Kuka and Daniela Nicklas -- Correcting Binary Imprecise Classifiers: Local vs Global Approach / Sébastien Destercke and Benjamin Quost -- Density-Based Projected Clustering of Data Streams / Marwan Hassani, Pascal Spaus, Mohamed Medhat Gaber and Thomas Seidl -- Credit-Card Fraud Profiling Using a Hybrid Incremental Clustering Methodology / Marie-Jeanne Lesot and Adrien Revault d'Allonnes.
Comparing Partitions by Means of Fuzzy Data Mining Tools / Carlos Molina, Belén Prados, María-Dolores Ruiz, Daniel Sánchez and José-María Serrano -- An Iterative Scaling Algorithm for Maximum Entropy Reasoning in Relational Probabilistic Conditional Logic / Marc Finthammer -- Probabilistic Conditional Independence under Schema Certainty and Uncertainty / Joachim Biskup, Sven Hartmann and Sebastian Link -- On Dependence in Second-Order Probability / David Sundgren and Alexander Karlsson -- Uncertain Observation Times / Shaunak Chatterjee and Stuart Russell -- Center-Wise Intra-Inter Silhouettes / Mohammad Rawashdeh and Anca Ralescu -- Clustering Sets of Objects Using Concepts-Objects Bipartite Graphs / Emmanuel Navarro, Henri Prade and Bruno Gaume -- Evaluating Indeterministic Duplicate Detection Results / Fabian Panse and Norbert Ritter -- Merging Interval-Based Possibilistic Belief Bases / Salem Benferhat, Julien Hué, Sylvain Lagrue and Julien Rossit -- Comparing and Fusing Terrain Network Information / Emmanuel Navarro, Bruno Gaume and Henri Prade.
A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases / Jianbing Ma, Weiru Liu and Paul Miller -- Comfort as a Multidimensional Preference Model for Energy Efficiency Control Issues / Afef Denguir, François Trousset and Jacky Montmain -- A Probabilistic Hybrid Logic for Sanitized Information Systems / Tsan-sheng Hsu, Churn-Jung Liau and Da-Wei Wang -- Evidential Fusion for Gender Profiling / Jianbing Ma, Weiru Liu and Paul Miller -- From Imprecise Probability Laws to Fault Tree Analysis / Christelle Jacob, Didier Dubois and Janette Cardoso -- CUDA Accelerated Fault Tree Analysis with C-XSC / Gabor Rebner and Michael Beer -- Deterministic Seismic Hazard Analysis Considering Non-controlling Seismic Sources and Time Factors / Duruo Huang, Jui-Pin Wang, Logan Brant and Su-Chin Chang -- Towards a Logic of Argumentation / Leila Amgoud and Henri Prade -- A Structured View on Sources of Uncertainty in Supervised Learning / Andreas Buschermöhle, Jens Hülsmann and Werner Brockmann -- On Development of a New Seismic Base Isolation System / Sanjukta Chakraborty, Koushik Roy, Chetan Chinta Arun and Samit Ray Chaudhuri.
Trying to Understand How Analogical Classifiers Work / William Fernando Correa, Henri Prade and Gilles Richard -- An Adaptive Algorithm for Finding Frequent Sets in Landmark Windows / Xuan Hong Dang, Kok-Leong Ong and Vincent Lee -- Instantiation Restrictions for Relational Probabilistic Conditionals / Marc Finthammer and Christoph Beierle -- Artificial Intelligence for Identification of Material Behaviour Using Uncertain Load and Displacement Data / Steffen Freitag -- On Cluster Validity for Fuzzy Clustering of Incomplete Data / Ludmila Himmelspach, João Paulo Carvalho and Stefan Conrad -- Evaluation of the Naive Evidential Classifier (NEC): A Comparison between Its Two Variants Based on a Real Agronomic Application / Yosra Mazigh, Boutheina Ben Yaghlane and Sébastien Destercke -- An Approach to Learning Relational Probabilistic FO-PCL Knowledge Bases / Nico Potyka and Christoph Beierle -- An SMT-Based Solver for Continuous t-norm Based Logics / Amanda Vidal, Félix Bou and Lluís Godo -- Seismic Hazard Assessment on NPP Sites in Taiwan through an Observation-Oriented Monte Carlo Simulation / Jui-Pin Wang and Duruo Huang.
Record Nr. NYU-005715380
[SUM (Conference) (6th : 2012 : Marburg, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).
Creatore [MATES (Conference) (9th : 2011 : Berlin, Germany)]
Estensione 1 online resource (x, 196 pages) : illustrations (some color).
Disciplina 006.3
Accesso persona Klügl, Franziska
Ossowski, Sascha, 1968-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Programming Techniques
Logics and Meanings of Programs
ISBN 9783642246036
3642246036
9783642246029 (print)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178489
[MATES (Conference) (9th : 2011 : Berlin, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Teaching and learning in information retrieval / Efthimis Efthimiadis [and others], editors
Teaching and learning in information retrieval / Efthimis Efthimiadis [and others], editors
Estensione 1 online resource (xv, 213 pages) : illustrations (some color).
Disciplina 025.04
Accesso persona Efthimiadis, Efthimis Nikolaos
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information storage and retrieval systems
Education
Curriculum planning
Information Storage and Retrieval
Computers and Education
Curriculum Studies
ISBN 9783642225116
364222511X
9783642225109
3642225101
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Fostering Student Engagement in an Online IR Course -- Teaching IR: Curricular Consideration -- Pedagogical Enhancements for Information Retrieval Courses -- Pedagogical Design and Evaluation of Interactive Information Retrieval Learning Environment -- Shifting Contexts: Relating the User, Search and System in Teaching IR -- A Technical Approach to Information Retrieval Pedagogy -- Using Multiple Choice Questions to Assist Learning for Information Retrieval -- Information Retrieval Systems Evaluation: Learning and Teaching Process -- Teaching Web Information Retrieval to Computer Science Students: A Concrete Approach and its Analysis -- Is a relevant piece of information a valid one? Teaching critical evaluation of online information -- Training students to evaluate search engines -- Teaching information retrieval (IR) through problem based learning (PBL) -- Educational Resource Development for Information Retrieval in a Digital Libraries Context.
Record Nr. NYU-006178494
Materiale a stampa
Lo trovi qui: New York University
Modeling and using context : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, proceedings / Michael Beigl [and others] (eds.).
Modeling and using context : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, proceedings / Michael Beigl [and others] (eds.).
Creatore [International and Interdisciplinary Conference on Modeling and Using Context (7th : 2011 : Karlsruhe, Germany)]
Estensione 1 online resource (xiii, 336 pages).
Disciplina 003/.3
Accesso persona Beigl, Michael
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Information systems
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Computer Appl. in Social and Behavioral Sciences
Computer Appl. in Arts and Humanities
ISBN 9783642242793
3642242790
9783642242786
3642242782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178507
[International and Interdisciplinary Conference on Modeling and Using Context (7th : 2011 : Karlsruhe, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Open source systems : grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, proceedings / Scott A. Hissam [and others] (eds.).
Open source systems : grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, proceedings / Scott A. Hissam [and others] (eds.).
Creatore [International Conference on Open Source Systems (7th : 2011 : Salvador, Brazil)]
Estensione 1 online resource (xvi, 384 pages).
Disciplina 005.3
Accesso persona Hissam, Scott
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Data mining
Information Systems
Management of Computing and Information Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Data Mining and Knowledge Discovery
Software Engineering/Programming and Operating Systems
ISBN 9783642244186
3642244181
9783642244179
3642244173
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178518
[International Conference on Open Source Systems (7th : 2011 : Salvador, Brazil)]  
Materiale a stampa
Lo trovi qui: New York University