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.
Dataspace: The Final Frontier [[electronic resource] ] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009, Proceedings / / edited by Alan Sexton
| Dataspace: The Final Frontier [[electronic resource] ] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009, Proceedings / / edited by Alan Sexton |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 248 p.) |
| Disciplina | 004.6 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Computer programming Data mining Database management Information storage and retrieval Application software Computer Communication Networks Programming Techniques Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-642-02843-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Dataspaces: Progress and Prospects -- XtreemOS: Towards a Grid-Enabled Linux-Based Operating System -- Tutorials -- The iMeMex Dataspace Management System: Architecture, Concepts, and Lessons Learned -- Conditional Dependencies: A Principled Approach to Improving Data Quality -- Data Integration, Warehousing and Privacy -- A Prioritized Collective Selection Strategy for Schema Matching across Query Interfaces -- An Alternative Data Warehouse Reference Architectural Configuration -- A Data Privacy Taxonomy -- Alternative Data Models -- Dimensions of Dataspaces -- The Use of the Binary-Relational Model in Industry: A Practical Approach -- Hyperset Approach to Semi-structured Databases -- Querying -- Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries -- An XML-Based Model for Supporting Context-Aware Query and Cache Management -- Answering Multiple-Item Queries in Data Broadcast Systems -- Path Queries and XML -- A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization -- Metamodel-Based Optimisation of XPath Queries -- Compacting XML Structures Using a Dynamic Labeling Scheme -- Short Papers -- Evaluating a Peer-to-Peer Database Server Based on BitTorrent -- Towards Building a Knowledge Base for Research on Andean Weaving -- Posters -- The Adaptation Model of a Runtime Adaptable DBMS -- Schema Merging Based on Semantic Mappings -- A Database System for Absorbing Conflicting and Uncertain Information from Multiple Correspondents -- Semantic Exploitation of Engineering Models: An Application to Oilfield Models -- Ontology-Based Method for Schema Matching in a Peer-to-Peer Database System -- Co-located Workshops -- Ideas in Teaching, Learning and Assessment of Databases: A Communication of the 7thInternational Workshop on Teaching, Learning and Assessment of Databases (TLAD 2009) -- Research Directions in Database Architectures for the Internet of Things: A Communication of the First International Workshop on Database Architectures for the Internet of Things (DAIT 2009) -- Design Challenges and Solutions: Review of the 4th International Workshop on Ubiquitous Computing (iUBICOM 2009). |
| Record Nr. | UNISA-996465623003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
| Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 458 p. 111 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-08434-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition -- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics. |
| Record Nr. | UNISA-996199993903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
| Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 458 p. 111 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-08434-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition -- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics. |
| Record Nr. | UNINA-9910484944603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / / edited by Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
| Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / / edited by Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 471 p. 71 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Algebra
Artificial intelligence Artificial Intelligence |
| ISBN |
1-280-38769-6
9786613565617 3-642-14128-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributions to AISC 2010 -- The Challenges of Multivalued “Functions” -- The Dynamic Dictionary of Mathematical Functions -- A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence -- I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness -- Structured Formal Development with Quotient Types in Isabelle/HOL -- Instantiation of SMT Problems Modulo Integers -- On Krawtchouk Transforms -- A Mathematical Model of the Competition between Acquired Immunity and Virus -- Some Notes upon “When Does $]]> Equal Sat ?” -- How to Correctly Prune Tropical Trees -- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals -- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar -- Contributions to Calculemus 2010 -- Some Considerations on the Usability of Interactive Provers -- Mechanized Mathematics -- Formal Proof of SCHUR Conjugate Function -- Symbolic Domain Decomposition -- A Formal Quantifier Elimination for Algebraically Closed Fields -- Computing in Coq with Infinite Algebraic Data Structures -- Formally Verified Conditions for Regularity of Interval Matrices -- Reducing Expression Size Using Rule-Based Integration -- A Unified Formal Description of Arithmetic and Set Theoretical Data Types -- Contributions to MKM 2010 -- Against Rigor -- Smart Matching -- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System -- An OpenMath Content Dictionary for Tensor Concepts -- On Duplication in Mathematical Repositories -- Adapting Mathematical Domain Reasoners -- Integrating Multiple Sources to Answer Questions in Algebraic Topology -- An Integrated Development Environment for Collections -- Proofs, Proofs, Proofs, and Proofs -- Dimensions of Formality: A Case Study for MKM in Software Engineering -- Towards MKM in the Large: Modular Representation and Scalable Software Architecture -- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents -- Notations Around the World: Census and Exploitation -- Evidence Algorithm and System for Automated Deduction: A Retrospective View -- On Building a Knowledge Base for Stability Theory -- Proviola: A Tool for Proof Re-animation -- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. |
| Altri titoli varianti | AISC'10/MKM'10/Calculemus'10 |
| Record Nr. | UNISA-996465633003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||