Selectie sleutel :
12-05-14 S*e-028
Datum aanwinst :
2014-05-12
Annotatie :
Proefschrift Radboud Universiteit Nijmegen
Met lit.opg. - Samenvatting in het Engels en Nederlands
ISBD :
Brain Computer Interfaces for Communication : moving beyond the visual speller / Jeroen Geuze. - [S.l. : s.n.] ; Nijmegen : UB Nijmegen [host], 2014. - vi, 139 p. : ill. - (Donders Graduate School for Cognitive Neuroscience series ; 160)
Proefschrift Radboud Universiteit Nijmegen. - Met lit.opg. - Samenvatting in het Engels en Nederlands.
ISBN
ISBN 978-94-91027-96-3
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
With bibliographic references and index
ISBD :
Algorithmic game theory : 6th international symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013 : proceedings / Berthold Vöcking (ed.). - Berlin [etc.] : Springer, 2013. - 1 online resource (xi, 271 pages). - (Lecture Notes in Computer Science ; 8146. SL 1, Theoretical Computer Science and General Issues)
With bibliographic references and index.
ISBN e-book
ISBN 978-3-642-41392-6 e-book
General characterization: text; computer; online resource
Selectie sleutel :
07-05-14 S*e-030f
Datum aanwinst :
2014-05-07
Annotatie :
With bibliographic references and index
ISBD :
Architecture of computing systems - ARCS 2014 : 27th International Conference, Lübeck, Germany, February 25-28, 2014 : proceedings / Erik Maehle, Kay Römer, Wolfgang Karl, Eduardo Tovar (eds.). - Berlin : Springer, 2013. - 1 online resource. - (Lecture notes in computer science ; 8350. SL 1, Theoretical computer science and general issues)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-319-04891-8 ebook
General characterization
Selectie sleutel :
07-05-14 S*e-030f
Datum aanwinst :
2014-05-07
Annotatie :
With bibliographic references and index
ISBD :
Ada 2012 Rationale : The language, the standard libraries / John Barnes. - Berlin : Springer, 2013. - 1 online resource (XI, 213 pages). : illustrations. - (Lecture Notes in Computer Science ; 8338. SL 2, Programming and Software Engineering)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-642-45210-9 ebook
General characterization: text; computer; online resource
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
Includes author index
Keynotes -- Moneyball for nanoHUB: Theory-driven and Data-driven Approaches to understand the Formation and Success of Software Development Teams -- Towards the Next Generation Intelligent BPM -- In the Era of Big Data -- BPM In The Cloud -- Process mining -- Bridging Abstraction Layers in Process Mining by automated Matching of Events and Activities -- Mining Configurable Process Models from Collections of Event Logs -- Slice, Mine and Dice: Complexity-Aware Automated Discovery of Business Process Models -- Business Process Mining from Ecommerce Web logs -- Discovering Data-Aware Declarative Process Models from Event Logs -- Enhancing Declare Maps Based on Event Correlations -- Conformance checking -- Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming -- Conformance Checking in the Large: Partitioning and Topology -- On Enabling Compliance of Cross-organizational Business Processes -- Process data -- Verification of Query Completeness over Processes -- Modeling and Enacting Complex Data Dependencies in Business Processes -- Event Stream Processing Units in Business Processes -- Process model matching -- Predicting the Quality of Process Model Matching -- Increasing Recall of Process Model Matching by Improved Activity Label Matching -- A Visualization Approach for Difference Analysis of Process Models and Instance Traffic -- Process architectures and collaboration -- Business Process Architectures with Multiplicities: Transformation and Correctness -- Optimal resource assignment in workflows for maximizing cooperation -- Accelerating Collaboration in Task Assignment Using a Socially Enhanced Resource Model -- Alternative perspectives -- Splitting GSM Schemas: A Framework for Outsourcing of Declarative Artifact Systems -- Composing Workflow Activities on the Basis of Dataflow Structures -- Mixing Paradigms for More Comprehensible Models -- Industry papers -- An Agile BPM Project Methodology -- Declarative Modeling -- An Academic Dream or the Future for BPM? -- Investigating Clinical Care Pathways Correlated With Outcomes -- Exformatics Declarative Case Management Workflows as DCR Graphs
This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013, held in Beijing, China, in August 2013. The 17 regular papers and 8 short papers included in this volume were carefully reviewed and selected from 118 submissions. The papers are organized in 7 topical sections named: process mining; conformance checking; process data; process model matching; process architectures and collaboration; as well as alternative perspectives, and industry paper
ISBD :
Business process management : 11th international conference, BPM 2013, Beijing, China, August 26-30, 2013 : proceedings / Florian Daniel, Jianmin Wang, Barbara Weber (editors). - Berlin ; Heidelberg : Springer, [2013]. - 1 online resource. - (Lecture notes in computer science, ISSN 0302-9743 ; 8094. SL 3, Information systems and application, incl. Internet/Web and HCI)
Keynotes -- Moneyball for nanoHUB: Theory-driven and Data-driven Approaches to understand the Formation and Success of Software Development Teams -- Towards the Next Generation Intelligent BPM -- In the Era of Big Data -- BPM In The Cloud -- Process mining -- Bridging Abstraction Layers in Process Mining by automated Matching of Events and Activities -- Mining Configurable Process Models from Collections of Event Logs -- Slice, Mine and Dice: Complexity-Aware Automated Discovery of Business Process Models -- Business Process Mining from Ecommerce Web logs -- Discovering Data-Aware Declarative Process Models from Event Logs -- Enhancing Declare Maps Based on Event Correlations -- Conformance checking -- Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming -- Conformance Checking in the Large: Partitioning and Topology -- On Enabling Compliance of Cross-organizational Business Processes -- Process data -- Verification of Query Completeness over Processes -- Modeling and Enacting Complex Data Dependencies in Business Processes -- Event Stream Processing Units in Business Processes -- Process model matching -- Predicting the Quality of Process Model Matching -- Increasing Recall of Process Model Matching by Improved Activity Label Matching -- A Visualization Approach for Difference Analysis of Process Models and Instance Traffic -- Process architectures and collaboration -- Business Process Architectures with Multiplicities: Transformation and Correctness -- Optimal resource assignment in workflows for maximizing cooperation -- Accelerating Collaboration in Task Assignment Using a Socially Enhanced Resource Model -- Alternative perspectives -- Splitting GSM Schemas: A Framework for Outsourcing of Declarative Artifact Systems -- Composing Workflow Activities on the Basis of Dataflow Structures -- Mixing Paradigms for More Comprehensible Models -- Industry papers -- An Agile BPM Project Methodology -- Declarative Modeling -- An Academic Dream or the Future for BPM? -- Investigating Clinical Care Pathways Correlated With Outcomes -- Exformatics Declarative Case Management Workflows as DCR Graphs. - Includes author index.
ISBN 3-642-40176-7 (electronic bk)
ISBN 978-3-642-40176-3 (electronic bk)
CONTENTS
This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013, held in Beijing, China, in August 2013. The 17 regular papers and 8 short papers included in this volume were carefully reviewed and selected from 118 submissions. The papers are organized in 7 topical sections named: process mining; conformance checking; process data; process model matching; process architectures and collaboration; as well as alternative perspectives, and industry paper
General characterization: text; computer; online resource
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
With bibliographic references and index
ISBD :
Computer aided systems theory - EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013 : revised selected papers / Roberto Moreno-DÃaz. - Heidelberg : Springer, 2013. - 1 online resource (XXIV, 540 pages). : illustrations. - (Lecture Notes in Computer Science ; 8112. SL 1, Theoretical Computer Science and General Issues)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-642-53862-9 ebook
Part II.
General characterization: text; computer; online resource
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
With bibliographic references and index
ISBD :
Computer aided systems theory - EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013 : revised selected papers / Roberto Moreno-DÃaz. - Heidelberg : Springer, 2013. - 1 online resource (XXIII, 518 pages). : illustrations. - (Lecture Notes in Computer Science ; 8111. SL 1, Theoretical Computer Science and General Issues)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-642-53856-8 ebook
Part I.
General characterization: text; computer; online resource
Selectie sleutel :
07-05-14 S*e-030f
Datum aanwinst :
2014-05-07
Annotatie :
With bibliographic references and index
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Critical Information Infrastructures Security, CRITIS 2013, held in Amsterdam, The Netherlands, in September 2013. The 16 revised full papers and 4 short papers were thoroughly reviewed and selected from 57 submissions. The papers are structured in the following topical sections: new challenges, natural disasters, smart grids, threats and risk, and SCADA/ICS and sensors
ISBD :
Critical information infrastructures security : 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013 : revised selected papers / Eric Luiijf, Pieter Hartel (eds.). - Heidelberg : Springer, 2013. - 1 online resource (XIV, 219 pages). : illustrations. - (Lecture Notes in Computer Science ; 8328. SL 4, Security and Cryptology)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-319-03964-0 ebook
CONTENTS
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Critical Information Infrastructures Security, CRITIS 2013, held in Amsterdam, The Netherlands, in September 2013. The 16 revised full papers and 4 short papers were thoroughly reviewed and selected from 57 submissions. The papers are structured in the following topical sections: new challenges, natural disasters, smart grids, threats and risk, and SCADA/ICS and sensors
General characterization: text; computer; online resource
Selectie sleutel :
12-05-14 S*e-030f
Datum aanwinst :
2014-05-12
Annotatie :
With bibliographic references and index
ISBD :
Databases in networked information systems : 9th International Workshop, DNIS 2014, Aizu-Wakamatsu, Japan, March 24-26, 2014 : proceedings / Aastha Madaan, Shinji Kikuchi, Subhash Bhalla (eds.). - Berlin : Springer, 2014. - 1 online resource. : ill. - (Lecture notes in computer science ; 8381. SL 3, Information systems and application, incl. internet/web and HCI)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-319-05693-7 ebook
General characterization
Sed & awk / Dale Dougherty and Arnold Robbins Full Text
Auteur Primair :
Dougherty, Dale
Auteur secundair :
Robbins, Arnold
Vakgebied :
Programmeertalen
Uitgever :
Sebastopol, [Calif.] : O'Reilly c1997
Signatuur :
Elektronisch document
ISBN :
electronic bk.
Selectie sleutel :
02-05-14 S*e-030
Datum aanwinst :
2014-05-02
Annotatie :
Includes bibliographical references and index
UNIX power tools"--Cover
Electronic reproduction. Boulder, Colo : NetLibrary, 2000. Available via the World Wide Web. Available in multiple electronic file formats. Access may be limited to NetLibrary affiliated libraries
ISBD :
Sed & awk / Dale Dougherty and Arnold Robbins. - 2nd ed. - Sebastopol, [Calif.] : O'Reilly, c1997. - xxii, 407 p. : ill. ; 24 cm. - (A Nutshell handbook)
UNIX power tools"--Cover. - Electronic reproduction. Boulder, Colo : NetLibrary, 2000. Available via the World Wide Web. Available in multiple electronic file formats. Access may be limited to NetLibrary affiliated libraries. - Includes bibliographical references and index.
ISBN 0-585-03940-2 electronic bk.
ISBN electronic bk.
ISBN 1-4493-0188-6
ISBN
ISBN 1-4493-9660-7
ISBN
General characterization: text; computer; online resource
Selectie sleutel :
12-05-14 S*e-030f
Datum aanwinst :
2014-05-12
Annotatie :
With bibliographic references and index
ISBD :
Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / Christoph Beierle, Carlo Meghini (eds.). - Heidelberg : Springer, 2014. - 1 online resource. : ill. - (Lecture Notes in Computer Science ; 8367. SL 3, Information Systems and Application, incl. Internet/Web and HCI)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-319-04939-7 ebook
General characterization
Selectie sleutel :
19-05-14 Taez030
Datum aanwinst :
2014-05-19
Annotatie :
Verschijnt 6x per jaar
Ook onder de titel: JISA
Gedrukte versie: Journal of information security and applications = ISSN 2214-2126
Voortzetting van: Information security technical report = ISSN 1873-605X
ISBD :
Journal of information security and applications. - Volume 18, issue 1 (July 2013) - .... - [Amsterdam] : Elsevier Ltd., 2013-...
Verschijnt 6x per jaar. - Ook onder de titel: JISA. - Gedrukte versie: Journal of information security and applications = ISSN 2214-2126. - Voortzetting van: Information security technical report = ISSN 1873-605X.
ISSN 2214-2134 = Journal of information security and applications (Online)
General characterization: tekst; computer; online bron
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
Includes index
Introduction -- Measurement-Based Experimental Research Methodology -- Experimental Performance Evaluation of Sensor-Based Networking for Energy Efficiency in Smart Buildings -- Various Detection Techniques and Platforms for Monitoring Interference Condition in a Wireless Testbed -- Methodology and Tools for Measurements on Wireless Test beds: The NITOS Approach -- Scalability Measurements in an Information-Centric Network -- Iterative Research Method Applied to the Design and Evaluation of a Dynamic Multicast Routing Scheme -- Metrics and Measurement Tools in Open Flow and the OFELIA Test bed -- Heterogeneous Test beds, Tools and Experiments Measurement Requirements Perspective -- Measurements and Measurement Tools in Open Lab: Use Cases with Measurement Data Ontologies -- A Monitoring Framework for Federated Virtualized Infrastructures -- Summary and Conclusions
This book constitutes the outcome of the Workshop on Measurement and Measurement Tools which was held as part of the Future Internet Research Experimentation (FIRE) initiative during the Future Internet Assembly conference (FIA) in May 2012. The 10 contributions included in this volume are invited extended versions of the presentations at the workshop. The book closes with a summary and conclusions of the findings in these papers
ISBD :
Measurement methodology and tools : first European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012 : revised and extended papers / LluÃs FÃ brega, Pere Vil , Davide Careglio, Dimitri Papadimitriou (eds.). - Berlin : Springer, 2013. - 1 online resource (viii, 205 pages). : illustrations. - (Lecture Notes in Computer Science, ISSN 0302-9743 ; 7586. SL 3, Information systems and application, incl. Internet/Web and HCI)
Introduction -- Measurement-Based Experimental Research Methodology -- Experimental Performance Evaluation of Sensor-Based Networking for Energy Efficiency in Smart Buildings -- Various Detection Techniques and Platforms for Monitoring Interference Condition in a Wireless Testbed -- Methodology and Tools for Measurements on Wireless Test beds: The NITOS Approach -- Scalability Measurements in an Information-Centric Network -- Iterative Research Method Applied to the Design and Evaluation of a Dynamic Multicast Routing Scheme -- Metrics and Measurement Tools in Open Flow and the OFELIA Test bed -- Heterogeneous Test beds, Tools and Experiments Measurement Requirements Perspective -- Measurements and Measurement Tools in Open Lab: Use Cases with Measurement Data Ontologies -- A Monitoring Framework for Federated Virtualized Infrastructures -- Summary and Conclusions. - Includes index.
ISBN e-book
ISBN 978-3-642-41296-7 e-book
CONTENTS
This book constitutes the outcome of the Workshop on Measurement and Measurement Tools which was held as part of the Future Internet Research Experimentation (FIRE) initiative during the Future Internet Assembly conference (FIA) in May 2012. The 10 contributions included in this volume are invited extended versions of the presentations at the workshop. The book closes with a summary and conclusions of the findings in these papers
General characterization: text; computer; online resource
Selectie sleutel :
12-05-14 S*e-030f
Datum aanwinst :
2014-05-12
Annotatie :
With bibliographic references and index
ISBD :
Public-key cryptography - PKC 2014 : 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014 : proceedings / Hugo Krawczyk (ed.). - Berlin : Springer, 2014. - 1 online resource. : ill. - (Lecture notes in computer science ; 8383. SL 4, Security and cryptology)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-642-54631-0 ebook
General characterization
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
Includes bibliographical references and index
ISBD :
Requirements engineering : foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / Camille Salinesi, Inge van de Weerd (eds.). - Berlin : Springer, 2014. - 1 online resource (xix, 326 pages). : ill. - (Lecture notes in computer science ; 8396. SL 2, Programming and software engineering)
Includes bibliographical references and index.
ISBN ebook
ISBN 978-3-319-05843-6 ebook
General characterization
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
Includes bibliographical references
ISBD :
Research in attacks, intrusions and defenses : 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013 : proceedings / Salvatore J. Stolfo, Angelos Stavrou, Charles V. Wright (eds.). - Heidelberg [etc.] : Springer, 2013. - 1 online resource (xi, 475 p.). - (Lecture notes in computer science, ISSN 1611-3349 ; 8145)
Includes bibliographical references.
ISBN ebook
ISBN 978-3-642-41284-4 ebook
General characterization: text; computer; online resource
Selectie sleutel :
12-05-14 S*e-030f
Datum aanwinst :
2014-05-12
Annotatie :
With bibliographic references and index
ISBD :
Topics in cryptology - CT-RSA 2014 : the Cryptographers' track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014 : proceedings / Josh Benaloh (ed.). - Berlin : Springer, 2014. - 1 online resource. : ill. - (Lecture notes in computer science ; 8366. SL 4, Security and cryptology)
With bibliographic references and index.
ISBN ebook
ISBN 978-3-319-04852-9 ebook
General characterization
Selectie sleutel :
07-05-14 S*e-030f
Datum aanwinst :
2014-05-07
Annotatie :
Includes bibliographical references and author index
This volume of TCCI is dedicated to the workshop on âOptimization and Machine Learning,âwhich took place at the Laboratory of Theoretical and Applied of Computer Science, University of Paul Verlaine-Metz, France, during May 23-24, 2011 (OPML 2011), as part of our annual OPML series of workshops that started in 2010. The volume includes five interesting and original papers that were selected after the peer-review process. The first two papers deal with the two state-of-theart optimization approaches, the third one discusses models and optimizations methods for RNA molecules, and the last two papers focus on machine-learning techniques.
ISBD :
Transactions on computational collective intelligence XIII / Ngoc Thanh Nguyen, Hoai An Le-Thi (eds.). - Heidelberg : Springer, 2014. - 1 online resource. - (Lecture Notes in Computer Science ; 8342) (Transactions on computational collective intelligence, ISSN 0302-9743 ; 13)
Includes bibliographical references and author index.
ISBN ebook
ISBN 978-3-642-54455-2 ebook
CONTENTS
This volume of TCCI is dedicated to the workshop on âOptimization and Machine Learning,âwhich took place at the Laboratory of Theoretical and Applied of Computer Science, University of Paul Verlaine-Metz, France, during May 23-24, 2011 (OPML 2011), as part of our annual OPML series of workshops that started in 2010. The volume includes five interesting and original papers that were selected after the peer-review process. The first two papers deal with the two state-of-theart optimization approaches, the third one discusses models and optimizations methods for RNA molecules, and the last two papers focus on machine-learning techniques.
General characterization
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
Includes author index
ISBD :
Transactions on large-scale data- and knowledge-centered systems XIII / Abdelkader Hameurlain, Josef Küng, Roland Wagner (eds.). - Heidelberg : Springer, 2013. - 1 online resource (IX, 187 pages). - (Lecture Notes in Computer Science ; 8420)
Includes author index.
ISBN ebook
ISBN 978-3-642-54426-2 ebook
General characterization
Selectie sleutel :
12-05-14 S*e-030f
Datum aanwinst :
2014-05-12
Annotatie :
Includes bibliographical references and author index
ISBD :
Transactions on rough sets XVII / James F. Peters, Andrzej Skowron (eds.). - Berlin : Springer, 2014. - 1 online resource (VI, 292 pages). - (Lecture notes in computer science ; 8375) (Transactions on rough sets ; XVII)
Includes bibliographical references and author index.
ISBN ebook
ISBN 978-3-642-54756-0 ebook
General characterization
Selectie sleutel :
07-05-14 S*e-030f
Datum aanwinst :
2014-05-07
Annotatie :
Includes author index
ISBD :
Trustworthy global computing : 8th International Symposium, TGC 2012, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers / MartÃn Abadi, Alberto Lluch Lafuente (eds.). - Berlin : Springer, 2014. - 1 online resource (x, 331 pages). : ill. - (Lecture Notes in Computer Science ; 8358. SL1, Theoretical Computer Science and General Issues)
Includes author index.
ISBN ebook
ISBN 978-3-319-05119-2 ebook
General characterization
Selectie sleutel :
19-05-14 S*e-030f
Datum aanwinst :
2014-05-19
Annotatie :
Includes author index
Probabilistic and Dempster-Shafer Models --PR-OWL 2.0 - Bridging the Gap to OWL Semantics / Rommel N. Carvalho, Kathryn B. Laskey, Paulo C. G. Costa --Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil / Rommel N. Carvalho, Shou Matsumoto, Kathryn B. Laskey, Paulo C. G. Costa --Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability / Pavel Klinov, Bijan Parsia --Pronto: A Practical Probabilistic Description Logic Reasoner / Pavel Klinov, Bijan Parsia --Instance-Based Non-standard Inferences in EL with Subjective Probabilities / Rafael Peñaloza, Anni-Yasmin Turhan --Fuzzy and Possibilistic Models --Finite Fuzzy Description Logics and Crisp Representations / Fernando Bobillo, Umberto Straccia --Reasoning in Fuzzy OWL 2 with DeLorean / Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero --Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data /Miklos Nagy, Maria Vargas-Vera --Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE /Nikolaos Simou, Giorgos Stoilos, Giorgos Stamou --Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH / Yining Wu --A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension / Jidi Zhao, Harold Boley, Jing Dong --Inductive Reasoning and Machine Learning --PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods / Saminda Abeyruwan, Ubbo Visser, Vance Lemmon, Stephan Schrer --Semantic Web Search and Inductive Reasoning / Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz --Ontology Enhancement through Inductive Decision Trees / Bart Gajderowicz, Alireza Sadeghian, Mikhail Soutchanski --Assertion Prediction with Ontologies through Evidence Combination / Giuseppe Rizzo, Claudia d'Amato, Nicola Fanizzi, Floriana Esposito --Hybrid Approaches --Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations / Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, Thomas Lukasiewicz --Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data / Kuldeep B. R. Reddy, P. Sreenivasa Kumar
ISBD :
Uncertainty reasoning for the semantic web II : International Workshops URSW 2008-2010, held at ISWC, and UniDL 2010, held at FLoC : revised selected papers / Fernando Bobillo ... [et al.] (eds.). - Berlin [etc.] : Springer, cop. 2013. - XVI, 330 p. - (Lecture notes in computer science, ISSN 1611-3349 ; 7123) (Lecture notes in artificial intelligence)
Probabilistic and Dempster-Shafer Models --PR-OWL 2.0 - Bridging the Gap to OWL Semantics / Rommel N. Carvalho, Kathryn B. Laskey, Paulo C. G. Costa --Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil / Rommel N. Carvalho, Shou Matsumoto, Kathryn B. Laskey, Paulo C. G. Costa --Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability / Pavel Klinov, Bijan Parsia --Pronto: A Practical Probabilistic Description Logic Reasoner / Pavel Klinov, Bijan Parsia --Instance-Based Non-standard Inferences in EL with Subjective Probabilities / Rafael Peñaloza, Anni-Yasmin Turhan --Fuzzy and Possibilistic Models --Finite Fuzzy Description Logics and Crisp Representations / Fernando Bobillo, Umberto Straccia --Reasoning in Fuzzy OWL 2 with DeLorean / Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero --Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data /Miklos Nagy, Maria Vargas-Vera --Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE /Nikolaos Simou, Giorgos Stoilos, Giorgos Stamou --Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH / Yining Wu --A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension / Jidi Zhao, Harold Boley, Jing Dong --Inductive Reasoning and Machine Learning --PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods / Saminda Abeyruwan, Ubbo Visser, Vance Lemmon, Stephan Schrer --Semantic Web Search and Inductive Reasoning / Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz --Ontology Enhancement through Inductive Decision Trees / Bart Gajderowicz, Alireza Sadeghian, Mikhail Soutchanski --Assertion Prediction with Ontologies through Evidence Combination / Giuseppe Rizzo, Claudia d'Amato, Nicola Fanizzi, Floriana Esposito --Hybrid Approaches --Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations / Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, Thomas Lukasiewicz --Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data / Kuldeep B. R. Reddy, P. Sreenivasa Kumar. - Includes author index.
ISBN ebk
ISBN 978-3-642-35975-0 ebk
General characterization: tekst; computer; online bron
Selectie sleutel :
18-05-14 S*A-043
Datum aanwinst :
2014-05-18
Annotatie :
Proefschrift Radboud Universiteit Nijmegen ter verkrijging van de graad van doctor in het jaar 2014
Met bibliografie, literatuuropgave. - Met samenvattingen in het Nederlands en Engels
ISBD :
Brain computer interfaces for communication : moving beyond the visual speller / Jeroen Geuze. - [Nederland] : [uitgever niet vastgesteld], [2014] (Enschede : Ipskamp Drukkers). - 139 pagina's. : illustraties. ; 24 cm. - (Donders series ; 160)
Proefschrift Radboud Universiteit Nijmegen ter verkrijging van de graad van doctor in het jaar 2014. - Met bibliografie, literatuuropgave. - Met samenvattingen in het Nederlands en Engels.
ISBN paperback
ISBN 978-94-91027-96-3 paperback
General characterization: tekst; zonder medium; band
