%{search_type} search results

• Data Driven Techniques
• Runtime Verication
• Cyber-Physical Systems
• Concurrency
• Analysis of Software and Hardware
• Foundations of Verification
• Distributed and Networked Systems
• Synthesis
• Decision Procedures and their Applications
• Software Analysis.

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

• Advances in Markov models.- Advances in quantitative analysis.- Model checking.- Cyber-physical systems.-Performance, energy and security.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.
(source: Nielsen Book Data)

• Conceptual Modeling Methodology.- Conceptual Modeling and Requirements.- Foundations.- Conceptual Modeling in Specific Context.- Conceptual Modeling and Business Processes.- Model Efficiency.- Ontologies.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies. .
(source: Nielsen Book Data)

• Towards a distributed data-sharing economy.- Modeling patient-centric healthcare using socially intelligent systems: the AVICENA experience.- `How did they know?' - Model-checking for analysis of information leakage in social networks.- A manifesto for conscientious design of hybrid online social systems.- Communication and shared mental models for teams performing interdependent tasks.- An empirical approach for relating environmental patterns with agent team compositions.- Monitoring opportunism in multi-agent systems.- The role of values.- On the minimal recognition of rights in holonic institutions. .
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016. The 9 full papers were carefully reviewed and selected from 15 submissions for inclusion in this volume. They cover the following topics: Social Issues: The papers focus on the security of personal data, support for self-care for individuals with chronic conditions, analysis of the risk of information leakage in social networks, and an analysis of issues arising in the design of on-line environments whose participants are human and software. Teams: The papers consider different aspects of team working: what kinds of knowledge sharing best contribute to effective team performance and how to organize a tea m to function effectively in different kinds of scenarios. Rights and Values: The papers examine complementary issues that influence the effective design of normative systems, namely how to detect opportunism so that it may be discouraged, how individuals values influence (collective) decision-making processes and how rights and powers relate to value and conflict resolution in nested organizational structures.
(source: Nielsen Book Data)

• Cyber security.-Secure software development methodologies, formal methods semantics and verification of secure systems.-Fault tolerance, reliability, availability of distributed secure systems.- Game-theoretic approaches to secure computing.- Automatic recovery of self-stabilizing and self-organizing systems.- Communication, authentication and identification security.- Cyber security for mobile and Internet of things.- Cyber security of corporations.- Security and privacy for cloud, edge and fog computing.-Ccryptography.- Cryptographic implementation analysis and construction.- Secure multi-party computation.- Privacy-enhancing technologies and anonymity.- Post-quantum cryptography and security.- Machine learning and big data.- Anomaly detection and malware identification.- Business intelligence and security.- Digital forensics.- Digital rights management
• trust management and reputation systems.- Information retrieval, risk analysis, DoS.>.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, formal methods semantics and verification of secure systems; fault tolerance, reliability, availability of distributed secure systems; game-theoretic approaches to secure computing; automatic recovery of self-stabilizing and self-organizing systems; communication, authentication and identification security; cyber security for mobile and Internet of things; cyber security of corporations; security and privacy for cloud, edge and fog computing; cryptography; cryptographic implementation analysis and construction; secure multi-party computation; privacy-enhancing technologies and anonymity; post-quantum cryptography and security; machine learning and big data; anomaly detection and malware identification; business intelligence and security; digital forensics; digital rights management; trust management and reputation systems; information retrieval, risk analysis, DoS.
(source: Nielsen Book Data)

• Life Science Data Modelling.- Analysing, Indexing, and Querying Life Sciences Datasets.- Annotating, Matching, and Sharing Life Sciences Datasets.- Privacy and Provenance of Life Sciences Datasets.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 12th International Conference on Data Integration in the Life Sciences, DILS 2017, held in Luxembourg, in November 2017. The 5 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 16 submissions. They cover topics such as: life science data modelling; analysing, indexing, and querying life sciences datasets; annotating, matching, and sharing life sciences datasets; privacy and provenance of life sciences datasets.
(source: Nielsen Book Data)

• Knowledge discovery of biomedical data.- Managing, querying and processing of medical image data.- Information extraction and data integration for biomedical data.- Health information systems.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2016, in New Delhi, India, in September 2016, held in conjunction with the 42nd International Conference on Very Large Data Bases, VLDB 2016. The 7 revised full papers presented together with 2 invited papers and 3 keynote abstracts were carefully reviewed and selected from 11 initial submissions. The papers are organized in topical sections on knowledge discovery of biomedical data; managing, querying and processing of medical image data; information extraction and data integration for biomedical data; and health information systems.
(source: Nielsen Book Data)

• Association Analysis.- A Process for Exploring Employees' Relationships via Social Network and Sentiment Analysis.- Mining Relationship between User Purposes and Product Features towards Purpose-Oriented Recommendation.- Finding Top-k Fuzzy Frequent Itemsets from Databases.- Association Rule Mining in Healthcare Analytics.- Does Student's Diligence to Study Relate to His/Her Academic Performance.- Correlation anaylsis of diesel engine performance testing data based on mixed-copula method.- Clustering.- Comparative Study of Apache Spark MLlib Clustering Algorithms.- l-DP algorithm: a hybrid density peaks clustering.- Prediction.- Incremental Adaptive Time Series Prediction for Power Demand Forecasting.- Food Sales Prediction with Meteorological Data { A Case Study of a Japanese Chain Supermarket.- Cascade Spatial Autoregression for Air Pollution Prediction.- Machine Learning Techniques for Prediction of Pre-fetched Objects in Handling Big Data Storage.- Classification.- Spectral-Spatial Mineral Classification Of Lunar Surface Using Band Parameters With Active Learning.- R2CEDM: A Rete-based RFID Complex Event Detection Method.- Learning Analytics for SNS-Integrated Virtual Learning Environment.- LBP vs. LBP Variance for Texture Classification.- A Decision Tree Of Ignition Point For Simple Inflammable Chemical Compounds.- Analyzing Consumption Behaviors of Pet Owners in a Veterinary Hospital.- Schedule and Sequence Analysis.- Modeling Inter-Country Connection from Geotagged News Reports: A Time-Series Analysis.- Mining Sequential Patterns of Students' Access on Learning Management System.- Design of a dynamic electricity trade scheduler based on genetic algorithms.- Increasing Coverage of Information Spreading in Social Networks with Supporting Seeding.- Big Data.- B-Learning and Big Data: Use in Training an Engineering Course.- Mapping Knowledge Domain Research in Big Data: From 2006 to 2016.- Template based Industrial Big Data Information Extraction and Query System.- Finding the Typical Communication Black Hole in Big Data Environment.- A Solution for Mining Big Data Based on Distributed Data Streams and Its Classifying Algorithms.- Data Analysis.- Design of a Quality-Aware Data Capture System.- Data Architecture for the Internet of Things and Industry 4.0.- Machine Learning in Data Lake for Combining Data Silos.- Development of 3D Earth Visualization for Taiwan Ocean Environment Demonstration.- Exploring Potential Use of Mobile Phone Data Resource to Analyze Inter-Regional Travel Patterns in Japan.- REBUILD:Graph Embedding Based Method for User Social Role Identity on Mobile Communication Network.- Study A Join Query Strategy over Data Stream Based on Sliding Windows.- Data Mining.- L2 Learners' Proficiency Evaluation Using Statistics Based on Relationship among CEFR Rating Scales.- Research Hotspots and Trends in Data Mining: From 1993 to 2016.- Proposal for a New Reduct Method for Decision Tables and an Improved STRIM.- Post-marketing Drug Safety Evaluation using Data Mining Based on FAERS.- Crowd density estimation from few RF tracking devices: I. Modelling Framework.- Text Mining.- Mining Textual Reviews with Hierarchical Latent Tree Analysis.- Extraction of Temporal Events from Clinical Text using Semi-Supervised Conditional Random Fields.- Characteristics of language usage in inquires asked to an online help desk.- Deep Learning.- A Novel Diagnosis Method for SZ by Deep Neural Networks.- A Novel Data-driven Fault Diagnosis Method Based on Deep Learning.- High Performance Computing.- Simulated Precipitation and Reservoir Inflow in the Chao Phraya River Basin by Multi-Model Ensemble CMIP3 & CMIP5.- An IDL-Based Parallel Model for Scientific Computations on Multi-Core Computers.- Accelerating Redis with RDMA over InfiniBand.- Knowledge Base and its Framework.- Application of Decision Trees in the Development of a Knowledge Base for a System of Support for Revitalization Processes.- ABC Metaheuristic Based Optimized Adaptation Planning Logic for Decision Making Intelligent Agents in Self Adaptive Software System.- A Knowledge-based Framework for Mitigating Hydro-Meteorological Disasters.- Fuzzy Control.- Improved Stability and Stabilization Criteria for T-S Fuzzy Systems with Distributed Time-Delay.- Adaptive Neuro-Fuzzy Inference System: Overview, Strengths, Limitations, and Solutions.- Acquisition of Knowledge in the Form of Fuzzy Rules for Cases Classification.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Second International Conference on Data Mining and Big Data, DMBD 2017, held in Fukuoka, Japan, in July/August 2017. The 53 papers presented in this volume were carefully reviewed and selected from 96 submissions. They were organized in topical sections named: association analysis; clustering; prediction; classification; schedule and sequence analysis; big data; data analysis; data mining; text mining; deep learning; high performance computing; knowledge base and its framework; and fuzzy control. .
(source: Nielsen Book Data)

• Semantic Web and Semantics.- Graph Matching.- Data Modeling, Data Abstraction, and Uncertainty.- Preferences and Query Optimization.- Data Integration and RDF Matching.- Security and Privacy.- Web Search.- Data Clustering.- Top-K and Skyline Queries.- Data Mining and Big Data.- Service Computing.- Continuous and Temporal Data, and Continuous Query Language.- Text Processing and Semantic Search.- Indexing and Concurrency Control Methods.- Data Warehouse and Data Stream Warehouse.- Data Mining and Machine Learning.- Recommender Systems and Query Recommendation.- Graph Algorithms.- Semantic Clustering and Data Classification.
• (source: Nielsen Book Data)

This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017. The 37 revised full papers presented together with 40 short papers were carefully reviewed and selected from 166 submissions. The papers discuss a range of topics including: Semantic Web and Semantics; Graph Matching; Data Modeling, Data Abstraction, and Uncertainty; Preferences and Query Optimization; Data Integration and RDF Matching; Security and Privacy; Web Search; Data Clustering; Top-K and Skyline Queries; Data Mining and Big Data; Service Computing; Continuous and Temporal Data, and Continuous Query Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and Data Stream Warehouse; Data Mining and Machine Learning; Recommender Systems and Query Recommendation; Graph Algorithms; Semantic Clustering and Data Classific ation.
(source: Nielsen Book Data)

• Semantic web and knowledge management.- Indexing and distributed systems.- Network embedding.-Trajectory and time series data processing.- Data mining.- Query processing and optimization.-Text mining.-recommendation.- Security, privacy, senor and cloud.- Social network analytics.- Map matching and spatial keywords.- Query processing and optimization.- Search and information retrieval.- String and sequence processing.- Stream data processing.- Graph and network data processing.- Spatial databases.- Real time data processing.- Big data.- Social networks and graphs.
• (source: Nielsen Book Data)

This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully selected from a total of 300 submissions. The papers are organized around the following topics: semantic web and knowledge management; indexing and distributed systems; network embedding; trajectory and time series data processing; data mining; query processing and optimization; text mining; recommendation; security, privacy, senor and cloud; social network analytics; map matching and spatial keywords; query processing and optimization; search and information retrieval; string and sequence processing; stream date processing; graph and network data processing; spatial databases; real time data processing; big data; social networks and graphs.
(source: Nielsen Book Data)

• Semantic web and knowledge management.- Indexing and distributed systems.- Network embedding.-Trajectory and time series data processing.- Data mining.- Query processing and optimization.-Text mining.-recommendation.- Security, privacy, senor and cloud.- Social network analytics.- Map matching and spatial keywords.- Query processing and optimization.- Search and information retrieval.- String and sequence processing.- Stream data processing.- Graph and network data processing.- Spatial databases.- Real time data processing.- Big data.- Social networks and graphs.
• (source: Nielsen Book Data)

This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully selected from a total of 300 submissions. The papers are organized around the following topics: semantic web and knowledge management; indexing and distributed systems; network embedding; trajectory and time series data processing; data mining; query processing and optimization; text mining; recommendation; security, privacy, senor and cloud; social network analytics; map matching and spatial keywords; query processing and optimization; search and information retrieval; string and sequence processing; stream date processing; graph and network data processing; spatial databases; real time data processing; big data; social networks and graphs.
(source: Nielsen Book Data)

• Spatial databases.- Query processing.- Similarity search.- Data mining.- AI for big data.- Potpourri.- Demo papers.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 28th Australasian Database Conference, ADC 2017, held in Brisbane, QLD, Australia, in September 2017. The 20 full papers presented together with 2 demo papers were carefully reviewed and selected from 32 submissions. The mission of ADC is to share novel research solutions to problems of today's information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research and development work. The topics of the presented papers are related to all practical and theoretical aspects of advanced database theory and applications, as well as case studies and implementation experiences.
(source: Nielsen Book Data)

• Algorithms and models for computation with biomolecular systems.- Computational processes in vitro and in vivo.- Molecular motors and molecular robotics.- Studies of fault-tolerance and error correction.- Software tools for analysis, simulation, and design.- Synthetic biology and in vitro evolution.- Applications in engineering, physics, chemistry, biology, and medicine.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions. Research in DNA computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. The papers address all areas related to biomolecular computing such as: algorithms and models for computation with biomolecular systems; computational processes in vitro and in vivo; molecular motors and molecular robotics; studies of fault-tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications in engineering, physics, chemistry, biology, and medicine. .
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• CLEF Steering Committee
• Contents
• Full Papers
• A Pinch of Humor for Short-Text Conversation: An Information Retrieval Approach
• 1 Introduction
• 2 Related Work
• 3 Data
• 3.1 Joke Collection
• 3.2 Yahoo!Answers
• 4 Retrieval Models
• 4.1 BM25
• 4.2 Query Term Reweighting Model (QTR)
• 4.3 doc2vec
• 5 Evaluation
• 5.1 Yahoo!Answers
• 5.2 Lab Evaluation
• 6 Conclusion and Future Work
• References
• A Component-Level Analysis of an Academic Search Test Collection.
• 1 Introduction
• 2 Component-Level Evaluation in Academic Search

• 3 Study Configurations
• 3.1 Test Collection and Test IR System
• 3.2 Component-Level Configurations
• 3.3 Analysis Steps
• 4 Analyzing Component Performance
• 4.1 Document and Topic Structure
• 4.2 IR System Components
• 5 Conclusion
• References
• A Component-Level Analysis of an Academic Search Test Collection.
• 1 Introduction
• 2 Query Performance Prediction
• 3 Study Configurations
• 3.1 Test Collection and Test IR System
• 3.2 Analysis Steps
• 4 Analyzing Query Performance
• 4.1 Recall Base
• 4.2 Topic Specificity
• 4.3 Semantic Heterogeneity of Topic Terms

• 5 Conclusion
• References
• Improving the Reliability of Query Expansion for User-Generated Speech Retrieval Using Query Performance Prediction
• 1 Introduction
• 2 Previous Work on QE for Spoken Content
• 3 UGS Test Collection
• 3.1 UGS Document Set
• 3.2 Query and Relevance Sets
• 4 Initial Investigation of QE for UGS Retrieval
• 4.1 Retrieval Model
• 4.2 Query Expansion
• 4.3 Passage-Based QE
• 4.4 Experimental Results
• 5 Query Performance Prediction for QE
• 5.1 Query Performance Prediction Methods
• 5.2 Evaluation
• 6 Adaptive Passage-Based QE for UGS Retrieval

• 7 Conclusions and Further Studies
• References
• Optimized Convolutional Neural Network Ensembles for Medical Subfigure Classification
• 1 Introduction
• 2 Revisiting Participation at ImageCLEF 2016
• 3 Dataset Analysis
• 3.1 Data Generation Process
• 3.2 Problems of the Dataset
• 3.3 Suggestions for Future Datasets
• 4 Methodology
• 5 Evaluation
• 5.1 Results Without Additional Images from ImageCLEF 2013
• 5.2 Self-training Using a PubMedCentral Database Snapshot
• 6 Conclusion
• References
• IRIT-QFR: IRIT Query Feature Resource
• 1 Introduction
• 2 Query Features

• 2.1 Document Collection Independent Pre-retrieval Features: WordNet-Based and Other Linguistic Features
• 2.2 Document Collection Dependent Pre-retrieval Features
• 2.3 Post-retrieval Features
• 2.4 Collections for Which the Features Have Been Estimated
• 3 Analysis of the Resource
• 3.1 Descriptive Analysis
• 4 Applications
• 5 Conclusion
• References
• Evaluating and Improving the Extraction of Mathematical Identifier Definitions
• 1 Introduction
• 2 Related Work
• 2.1 Statistical Feature Analysis (ST)
• 2.2 Pattern Matching (PM)
• 2.3 Machine Learning
• 3 Methodology

This book constitutes the refereed proceedings of the 8th International Conference of the CLEF Initiative, CLEF 2017, held in Dublin, Ireland, in September 2017. The 7 full papers and 9 short papers presented together with 6 best of the labs papers were carefully reviewed and selected from 38 submissions. In addition, this volume contains the results of 10 benchmarking labs reporting their year long activities in overview talks and lab sessions. The papers address all aspects of information access in any modality and language and cover a broad range of topics in the field of multilingual and multimodal information access evaluation.
(source: Nielsen Book Data)

• Foundations of Flexible Querying.- Recommendation and Ranking.- Technologies for Flexible Representations and Querying.- Knowledge Discovery and Information/Data Retrieval.- Intuitionistic Sets.- Generalized Net Model.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th International Conference on Flexible Query Answering Systems, FQAS 2017, held in London, UK, in June 2017. The 21 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 43 submissions. The papers cover the following topics: foundations of flexible querying; recommendation and ranking; technologies for flexible representations and querying; knowledge discovery and information/data retrieval; intuitionistic sets; and generalized net model.
(source: Nielsen Book Data)

• Invited Contribution.- An Invitation to Knowledge Space Theory.- Historical Paper.- Implications and Dependencies between Attributes.- Regular Contributions.- The implication logic of (n, k)-extremal lattices.- Making use of empty intersections to improve the performance of CbO-type algorithms.- On the Usability of Probably Approximately Correct Implication Bases. -Formal Concept Analysis in a Logical Programming Setting for Visualization Oriented (Power) Graph Compression.- A Proposition for Sequence Mining Using Pattern Structures. -An investigation of user behavior in educational platforms using Temporal Concept Analysis. -Hierarchies of Weighted Closed Partially-Ordered Patterns for Enhancing Sequential Data Analysis.- First Notes on Maximum Entropy Entailment for Quantified Implications. - On overfitting of classifiers making a lattice.- Learning Thresholds in Formal Concept Analysis.- The Linear Algebra in Extended Formal Concept Analysis over Idempotent Semifields.- Distributed and Parallel Computation of the Canonical Direct Basis.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017. The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in "Die Klassifkation und ihr Umfeld", edited by P. O. Degens, H. J. Hermes, and O. Opitz, Indeks-Verlag, Frankfurt, 1986. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology.
(source: Nielsen Book Data)

• Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Buchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
(source: Nielsen Book Data)

• Machine learning.- data mining methods.- deep learning, bioinformatics and health informatics.- intelligent information systems.- knowledge-based system.- mining temporal, spatial and spatio-temporal data.- text and Web mining.- big data analytics and stream data mining.- granular and soft clustering for data science.- knowledge discovery with formal concept analysis and related formalisms.- data mining competition on trading based on recommendations.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 23rd International Symposium on Foundations of Intelligent Systems, ISMIS 2017, held in Warsaw, Poland, in June 2017. The 56 regular and 15 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers include both theoretical and practical aspects of machine learning, data mining methods, deep learning, bioinformatics and health informatics, intelligent information systems, knowledge-based systems, mining temporal, spatial and spatio-temporal data, text and Web mining. In addition, four special sessions were organized; namely, Special Session on Big Data Analytics and Stream Data Mining, Special Session on Granular and Soft Clustering for Data Science, Special Session on Knowledge Discovery with Formal Concept Analysis and Related Formalisms, and Special Session devoted to ISMIS 2017 Data Mining Competition on Trading Based on Recommendations, which was launched as a part of the conference.
(source: Nielsen Book Data)

• Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.- Designing Theory Solvers with Extensions.- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation.- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors.- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case).- Subtropical Satisfiability.- Finitariness of Elementary Unification in Boolean Region Connection Calculus.- Metric Temporal Description Logics with Interval-Rigid Names.- Superposition with Integrated Induction.- The Bernays-Schoenfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable.- Decidable Verification of Decision-Theoretic Golog.- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions.- Complexity Analysis for Term Rewriting by Integer Transition Systems.- Using Ontologies to Query Probabilistic Numerical Data.- Merging Fragments of Classical Logic.- On Solving Nominal Fixpoint Equations.- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.- The Boolean Solution Problem from the Perspective of Predicate Logic. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com. .
(source: Nielsen Book Data)

• Position Papers.- With or without Meaning? Hype Cycles in Language Technology and what We Can Learn from Them.- Observatory for Language Resources and Machine Translation in Europe - LT Observatory.- The Rise of the Conversational Interface: A new Kid on the Block.- Spanish Language Technologies Plan.- Improving Collaboration between the European Language Technology Industry & Research: A new Framework for Supply & Demand.- Contributed Papers.- LifeLine dialogues with Roberta.- An affective utility model of user motivation for counselling dialogue systems.- Exploring flexibility in natural language generation throughout discursive analysis of new textual genres.- Bootstrapping technique + embeddings = Emotional corpus annotated automatically.- Rapid construction of a web-enabled medical speech to sign language translator using recorded video.- Incorporating syllable phonotactics to improve grapheme to phoneme translation.- Hybrid conceptual and statistical measure for semantic textual similarity evaluation.- General representation model for text similarity.- Extending feature decay algorithms using alignment entropy.- Towards a topic discovery and tracking system with application to news items.
• (source: Nielsen Book Data)

This book constitutes revised selected papers from the Second International Workshop on Future and Emerging Trends in Language Technology, FETLT 2016, which took place in Seville, Spain, in November 2016. The 10 full papers and 5 position papers presented in this volume were carefully reviewed and selected from 18 submissions. In 2016 the conference focused on Machine Learning and Big Data. .
(source: Nielsen Book Data)