Détail de l'auteur
Auteur Jun Sun |
Documents disponibles écrits par cet auteur (6)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Bioinformatic and Statistical Analysis of Microbiome Data / Yinglin Xia / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2023)
Titre : Bioinformatic and Statistical Analysis of Microbiome Data : From Raw Sequences to Advanced Modeling with QIIME 2 and R Type de document : document électronique Auteurs : Yinglin Xia, ; Jun Sun, ; SpringerLink (Online service) Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2023 Importance : XXVI, 703 p. 75 illus., 59 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-031-21391-5 Langues : Anglais (eng) Tags : Bioinformatics Biometry Big data Mathematical statistics—Data processing Biotechnology Biomedical engineering Bioinformatics Biostatistics Big Data Statistics and Computing Biotechnology Biomedical Engineering and Bioengineering Résumé : This unique book addresses the bioinformatic and statistical modelling and also the analysis of microbiome data using cutting-edge QIIME 2 and R software. It covers core analysis topics in both bioinformatics and statistics, which provides a complete workflow for microbiome data analysis: from raw sequencing reads to community analysis and statistical hypothesis testing. It includes real-world data from the authors’ research and from the public domain, and discusses the implementation of QIIME 2 and R for data analysis step-by-step. The data as well as QIIME 2 and R computer programs are publicly available, allowing readers to replicate the model development and data analysis presented in each chapter so that these new methods can be readily applied in their own research. Bioinformatic and Statistical Analysis of Microbiome Data is an ideal book for advanced graduate students and researchers in the clinical, biomedical, agricultural, and environmental fields, as well as those studying bioinformatics, statistics, and big data analysis Note de contenu : Chapter 1. Introduction to Linux and Unix -- Chapter 2. Introduction to R, Rstudio -- Chapter 3. Bioinformatic Analysis of Next-Generation Sequencing -- Chapter 4. Bioinformatic Analysis of Metagenomics -- Chapter 5. Alpha Diversity -- Chapter 6. Beta Diversity -- Chapter 7. Differential Abundance Analysis -- Chapter 8. Analyzing Zero-Inflated Microbiome Data -- Chapter 9. Compositional Analysis of Microbiome Data -- Chapter 10. Longitudinal Data Analysis of Microbiome -- Chapter 11. Meta-analysis of Microbiome Data (optional) Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=175111 Bioinformatic and Statistical Analysis of Microbiome Data : From Raw Sequences to Advanced Modeling with QIIME 2 and R [document électronique] / Yinglin Xia, ; Jun Sun, ; SpringerLink (Online service) . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2023 . - XXVI, 703 p. 75 illus., 59 illus. in color : online resource.
ISBN : 978-3-031-21391-5
Langues : Anglais (eng)
Tags : Bioinformatics Biometry Big data Mathematical statistics—Data processing Biotechnology Biomedical engineering Bioinformatics Biostatistics Big Data Statistics and Computing Biotechnology Biomedical Engineering and Bioengineering Résumé : This unique book addresses the bioinformatic and statistical modelling and also the analysis of microbiome data using cutting-edge QIIME 2 and R software. It covers core analysis topics in both bioinformatics and statistics, which provides a complete workflow for microbiome data analysis: from raw sequencing reads to community analysis and statistical hypothesis testing. It includes real-world data from the authors’ research and from the public domain, and discusses the implementation of QIIME 2 and R for data analysis step-by-step. The data as well as QIIME 2 and R computer programs are publicly available, allowing readers to replicate the model development and data analysis presented in each chapter so that these new methods can be readily applied in their own research. Bioinformatic and Statistical Analysis of Microbiome Data is an ideal book for advanced graduate students and researchers in the clinical, biomedical, agricultural, and environmental fields, as well as those studying bioinformatics, statistics, and big data analysis Note de contenu : Chapter 1. Introduction to Linux and Unix -- Chapter 2. Introduction to R, Rstudio -- Chapter 3. Bioinformatic Analysis of Next-Generation Sequencing -- Chapter 4. Bioinformatic Analysis of Metagenomics -- Chapter 5. Alpha Diversity -- Chapter 6. Beta Diversity -- Chapter 7. Differential Abundance Analysis -- Chapter 8. Analyzing Zero-Inflated Microbiome Data -- Chapter 9. Compositional Analysis of Microbiome Data -- Chapter 10. Longitudinal Data Analysis of Microbiome -- Chapter 11. Meta-analysis of Microbiome Data (optional) Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=175111 Dependable Software Engineering. Theories, Tools, and Applications / Nan Guan ; SpringerLink (Online service) ; Joost-Pieter Katoen ; Jun Sun / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
Titre : Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings Type de document : document électronique Auteurs : Nan Guan, ; SpringerLink (Online service) ; Joost-Pieter Katoen, ; Jun Sun, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2019 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 11951 Importance : XIII, 139 p. 135 illus., 23 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-030-35540-1 Langues : Anglais (eng) Tags : Software engineering Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages Résumé : This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147813 Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings [document électronique] / Nan Guan, ; SpringerLink (Online service) ; Joost-Pieter Katoen, ; Jun Sun, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2019 . - XIII, 139 p. 135 illus., 23 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 11951) .
ISBN : 978-3-030-35540-1
Langues : Anglais (eng)
Tags : Software engineering Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages Résumé : This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147813 Dependable Software Engineering. Theories, Tools, and Applications / Holger Hermanns ; SpringerLink (Online service) ; Jun Sun ; Lei Bu / Singapore : Springer Nature Singapore (2024)
Titre : Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings Type de document : document électronique Auteurs : Holger Hermanns, ; SpringerLink (Online service) ; Jun Sun, ; Lei Bu, Editeur : Singapore : Springer Nature Singapore Année de publication : 2024 Autre Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Collection : Lecture Notes in Computer Science, ISSN 1611-3349 num. 14464 Importance : XIII, 436 p. 118 illus., 86 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-981-9986-64-4 Langues : Anglais (eng) Tags : Software engineering Computer science Artificial intelligence Computer engineering Computer networks Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Résumé : This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. Note de contenu : String Constraints with Regex-Counting and String-Length Solved More Efficiently -- Reachability Based Uniform Controllability to Target Set with Evolution Function -- Enhancing Branch and Bound for Robustness Verification of Neural Networks via An Effective Branching Strategy -- Graph-Based Log Anomaly Detection via Adversarial Training -- Formal Verification based Synthesis for Behavior Trees -- SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries -- Session Types with Multiple Senders Single Receiver -- Understanding the Reproducibility Issues of Monkey for GUI Testing -- Multi-Dimensional Abstraction and Decomposition for Separation of Concerns -- Solving SMT Over Non-Linear Real Arithmetic via Numerical Sampling and Symbolic Verification -- Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service -- Modeling Regex Operators for Solving Regex Crossword Puzzles -- Software Vulnerability Detection Using an Enhanced Generalization Strategy -- HeatC: a Variable-Grained Coverage Criterion for Deep Learning Systems -- Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework -- Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications -- Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance -- An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals -- Deducing Matching Strings for Real-World Regular Expressions -- Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis -- Cheat-FlipIt: an Approach to Modeling and Perception of a Deceptive Opponent -- Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification -- Optimized Solutions for Highly Contended Transactional Workloads -- DeepTD: Diversity-Guided Deep Neural Network Test Generation Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=175985 Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings [document électronique] / Holger Hermanns, ; SpringerLink (Online service) ; Jun Sun, ; Lei Bu, . - Singapore : Springer Nature Singapore : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2024 . - XIII, 436 p. 118 illus., 86 illus. in color : online resource. - (Lecture Notes in Computer Science, ISSN 1611-3349; 14464) .
ISBN : 978-981-9986-64-4
Langues : Anglais (eng)
Tags : Software engineering Computer science Artificial intelligence Computer engineering Computer networks Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Résumé : This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. Note de contenu : String Constraints with Regex-Counting and String-Length Solved More Efficiently -- Reachability Based Uniform Controllability to Target Set with Evolution Function -- Enhancing Branch and Bound for Robustness Verification of Neural Networks via An Effective Branching Strategy -- Graph-Based Log Anomaly Detection via Adversarial Training -- Formal Verification based Synthesis for Behavior Trees -- SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries -- Session Types with Multiple Senders Single Receiver -- Understanding the Reproducibility Issues of Monkey for GUI Testing -- Multi-Dimensional Abstraction and Decomposition for Separation of Concerns -- Solving SMT Over Non-Linear Real Arithmetic via Numerical Sampling and Symbolic Verification -- Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service -- Modeling Regex Operators for Solving Regex Crossword Puzzles -- Software Vulnerability Detection Using an Enhanced Generalization Strategy -- HeatC: a Variable-Grained Coverage Criterion for Deep Learning Systems -- Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework -- Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications -- Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance -- An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals -- Deducing Matching Strings for Real-World Regular Expressions -- Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis -- Cheat-FlipIt: an Approach to Modeling and Perception of a Deceptive Opponent -- Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification -- Optimized Solutions for Highly Contended Transactional Workloads -- DeepTD: Diversity-Guided Deep Neural Network Test Generation Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=175985 FM 2014: Formal Methods / Cliff B. Jones ; SpringerLink (Online service) ; Pekka Pihlajasaari ; Jun Sun / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2014)
Titre : FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Type de document : document électronique Auteurs : Cliff B. Jones ; SpringerLink (Online service) ; Pekka Pihlajasaari ; Jun Sun Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2014 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 8442 Importance : XVIII, 750 p. 185 illus Présentation : online resource ISBN/ISSN/EAN : 978-3-319-06410-9 Langues : Anglais (eng) Tags : Computer science Software engineering Computers Computer logic Mathematical logic Management information systems Computer Science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices Résumé : This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools Note de contenu : Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of Formal Methods: Some Obstacles and Some Possibilities? -- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes -- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs -- Knowledge-Based Automated Repair of Authentication Protocols -- A Simplified Z Semantics for Presentation Interaction Models -- Log Analysis for Data Protection Accountability -- Automatic Compositional Synthesis of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining and Verifying Relaxed Linearizability -- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol -- Contracts in Practice -- When Equivalence and Bisimulation Join Forces in Probabilistic Automata -- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System -- IscasMc: A Web-Based Probabilistic Model Checker -- Invariants, Well-Founded Statements and Real-Time Program Algebra -- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis -- A Symbolic Algorithm for the Analysis of Robust Timed Automata -- Revisiting Compatibility of Input-Output Modal Transition Systems -- Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier -- Management of Time Requirements in Component-Based Systems -- Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning -- Formal Verification of Operational Transformation -- Verification of a Transactional Memory Manager under Hardware Failures and Restarts -- SCJ: Memory-Safety Checking without Annotations -- Refactoring, Refinement and Reasoning: A Logical Characterization for Hybrid Systems -- Object Propositions -- Flexible Invariants through Semantic Collaboration -- Efficient Tight Field Bounds Computation Based on Shape Predicates -- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster -- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison -- Efficient Self-composition for Weakest Precondition Calculi -- Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections -- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic -- A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern Build Language -- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification -- Formally Verifying Graphics FPU: An Intel® Experience -- MDP-Based Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a Descent Guidance Control Program of a Lunar Lander Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=132113 FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings [document électronique] / Cliff B. Jones ; SpringerLink (Online service) ; Pekka Pihlajasaari ; Jun Sun . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2014 . - XVIII, 750 p. 185 illus : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 8442) .
ISBN : 978-3-319-06410-9
Langues : Anglais (eng)
Tags : Computer science Software engineering Computers Computer logic Mathematical logic Management information systems Computer Science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices Résumé : This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools Note de contenu : Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of Formal Methods: Some Obstacles and Some Possibilities? -- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes -- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs -- Knowledge-Based Automated Repair of Authentication Protocols -- A Simplified Z Semantics for Presentation Interaction Models -- Log Analysis for Data Protection Accountability -- Automatic Compositional Synthesis of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining and Verifying Relaxed Linearizability -- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol -- Contracts in Practice -- When Equivalence and Bisimulation Join Forces in Probabilistic Automata -- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System -- IscasMc: A Web-Based Probabilistic Model Checker -- Invariants, Well-Founded Statements and Real-Time Program Algebra -- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis -- A Symbolic Algorithm for the Analysis of Robust Timed Automata -- Revisiting Compatibility of Input-Output Modal Transition Systems -- Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier -- Management of Time Requirements in Component-Based Systems -- Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning -- Formal Verification of Operational Transformation -- Verification of a Transactional Memory Manager under Hardware Failures and Restarts -- SCJ: Memory-Safety Checking without Annotations -- Refactoring, Refinement and Reasoning: A Logical Characterization for Hybrid Systems -- Object Propositions -- Flexible Invariants through Semantic Collaboration -- Efficient Tight Field Bounds Computation Based on Shape Predicates -- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster -- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison -- Efficient Self-composition for Weakest Precondition Calculi -- Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections -- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic -- A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern Build Language -- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification -- Formally Verifying Graphics FPU: An Intel® Experience -- MDP-Based Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a Descent Guidance Control Program of a Lunar Lander Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=132113 Semantic Technology / Yuan-Fang Li ; SpringerLink (Online service) ; Wei Hu ; Jin Song Dong ; Grigoris Antoniou ; Zhe Wang ; Jun Sun ; Yang Liu / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2016)
Titre : Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers Type de document : document électronique Auteurs : Yuan-Fang Li ; SpringerLink (Online service) ; Wei Hu ; Jin Song Dong ; Grigoris Antoniou (1961-....) ; Zhe Wang ; Jun Sun ; Yang Liu Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2016 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 10055 Importance : XIX, 332 p. 94 illus Présentation : online resource ISBN/ISSN/EAN : 978-3-319-50112-3 Langues : Anglais (eng) Tags : Computer science Mathematical logic Database management Data mining Information storage and retrieval Artificial intelligence Computer Science Information Storage and Retrieval Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Database Management Artificial Intelligence Robotics Information Systems Applications Internet Résumé : This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials. The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies Note de contenu : Ontology and reasoning -- Linked data -- Knowledge graph -- Ontology and data management -- Information retrieval and knowledge discovery -- RDF and query.-Application of semantic technologies Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=133558 Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers [document électronique] / Yuan-Fang Li ; SpringerLink (Online service) ; Wei Hu ; Jin Song Dong ; Grigoris Antoniou (1961-....) ; Zhe Wang ; Jun Sun ; Yang Liu . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2016 . - XIX, 332 p. 94 illus : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 10055) .
ISBN : 978-3-319-50112-3
Langues : Anglais (eng)
Tags : Computer science Mathematical logic Database management Data mining Information storage and retrieval Artificial intelligence Computer Science Information Storage and Retrieval Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Database Management Artificial Intelligence Robotics Information Systems Applications Internet Résumé : This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials. The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies Note de contenu : Ontology and reasoning -- Linked data -- Knowledge graph -- Ontology and data management -- Information retrieval and knowledge discovery -- RDF and query.-Application of semantic technologies Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=133558 Statistical Analysis of Microbiome Data with R / Yinglin Xia / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
Permalink