%{search_type} search results

• Statistics on non-linear data.- Shape space.- Optimal Transport & Applications.- Statistical Manifold & Hessian Information Geometry.- Statistical Manifold and Hessian Information Geometry.- Monotone Embedding in Information Geometry.- Information Structure in Neuroscience.- Geometric Robotics and Tracking.- Geometric Mechanics and Robotics.- Stochastic Geometric Mechanics and Lie Group Thermodynamics.- Probability on Riemannian Manifolds.- Divergence Geometry.- Non-parametric Information Geometry.- Optimization on Manifold.- Computational Information Geometry.- Probability Density Estimation.- Session Geometry of Tensor-Valued Data.- Geodesic Methods with Constraints.- Applications of Distance Geometry.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Third International Conference on Geometric Science of Information, GSI 2017, held in Paris, France, in November 2017. The 101 full papers presented were carefully reviewed and selected from 113 submissions and are organized into the following subjects: statistics on non-linear data; shape space; optimal transport and applications: image processing; optimal transport and applications: signal processing; statistical manifold and hessian information geometry; monotone embedding in information geometry; information structure in neuroscience; geometric robotics and tracking; geometric mechanics and robotics; stochastic geometric mechanics and Lie group thermodynamics; probability on Riemannian manifolds; divergence geometry; non-parametric information geometry; optimization on manifold; computational information geometry; probability density estimation; session geometry of tensor-valued data; geodesic methods with constraints; applications of distance geometry.
(source: Nielsen Book Data)

• Preface.-
• Chapter 1: Introduction.- Part I: Generalized Related Set Based Approach.-
• Chapter 2: Information System for Relational Data.-
• Chapter 3: Properties of Granular-Relational Data Mining Framework.-
• Chapter 4: Association Discovery and Classification Rule Mining.-
• Chapter 5: Rough-Granular Computing.- Part II: Description Language Based Approach.-
• Chapter 6: Compound Information Systems.-
• Chapter 7: From Granular-Data Mining Framework to its Relational Version.-
• Chapter 8: Relation-Based Granules.-
• Chapter 9: Compound Approximation Spaces.- Conclusions.- References.- Index.
• (source: Nielsen Book Data)

This book provides two general granular computing approaches to mining relational data, the first of which uses abstract descriptions of relational objects to build their granular representation, while the second extends existing granular data mining solutions to a relational case. Both approaches make it possible to perform and improve popular data mining tasks such as classification, clustering, and association discovery. How can different relational data mining tasks best be unified? How can the construction process of relational patterns be simplified? How can richer knowledge from relational data be discovered? All these questions can be answered in the same way: by mining relational data in the paradigm of granular computing! This book will allow readers with previous experience in the field of relational data mining to discover the many benefits of its granular perspective. In turn, those readers familiar with the paradigm of granular computing will find valuable insights on its application to mining relational data. Lastly, the book offers all readers interested in computational intelligence in the broader sense the opportunity to deepen their understanding of the newly emerging field granular-relational data mining.
(source: Nielsen Book Data)

• Digital inclusion.- Contextualizing ICT based Vocational Education for Rural Communities: Addressing Ethnographic Issues and Assessing Design Principles.- Enhancing Access to eLearning for People with Intellectual Disability: Integrating Usability with Learning.- Identifying support opportunities for foreign students: Disentangling language and non-language problems among a unique population.- PersonaBrowser Status Quo and Lessons learned from a Persona-Based Presentation Metaphor of WCAG.- Women in Crisis Situations: Empowering and Supporting Women through ICTs.- Games.- Effects of Image-Based Rendering and Reconstruction on Game Developers Efficiency, Game Performance, and Gaming Experience.- Exploring In-the-Wild Game-based Gesture Data Collection.- From Objective to Subjective Difficulty Evaluation in Video Games.- Improved Memory Elicitation in Virtual Reality: New Experimental Results and Insights.- Practice in Reality for Virtual Reality Games: Making Players Familiar and Confident with a Game.- Human perception, cognition and behaviour.- I Smell Creativity: Exploring the Effects of Olfactory and Auditory Cues to Support Creative Writing Tasks.- Night Mode, Dark Thoughts: Background Color Influences the Perceived Sentiment of Chat Messages.- Subjective usability, mental workload assessments and their impact on objective human performance.- What is user's perception of Naturalness? An Exploration of Natural User Experience.- Information on demand, on the move, and gesture interaction.- Presenting Information on the Driver's Demand on a Head-Up Display.- Seeing Through the Eyes of Heavy Vehicle Operators.- TrackLine: Refining touch-to-track Interaction for Camera Motion Control on Mobile Devices.- Understanding Gesture Articulations Variability.- Watching Your Back While Riding Your Bike: Designing for Preventive Self-Care During Motorbike Commuting.- Interaction at the workplace.- FeetForward: on Blending New Classroom Technologies into Secondary School Teachers' Routines.- Human-Building Interaction: When the machine becomes a building.- Investigating Wearable Technology for Fatigue Identification in the Workplace.- Leveraging Conversational Systems to assists New Hires during Onboarding.- RemindMe: Plugging a Reminder Manager into Email for Enhancing Workplace Responsiveness.- The Cost of Improved Overview: An analysis of the Use of Electronic Whiteboards in Emergency Departments.- Interaction with children.- An interactive elementary tutoring system for oral health education using an augmented approach.- Empowered and Informed: Participation of Children in HCI.- Gaze Awareness in Agent-Based Early-Childhood Learning Application.- Puffy: a Mobile Inflatable Interactive Companion for Children with Neurodevelopmental Disorder.
• (source: Nielsen Book Data)

The four-volume set LNCS 10513-10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named: Part I: adaptive design and mobile applications; aging and disabilities; assistive technology for blind users; audience engagement; co-design studies; cultural differences and communication technology; design rationale and camera-control. Part II: digital inclusion; games; human perception, cognition and behavior; information on demand, on the move, and gesture interaction; interaction at the workplace; interaction with children. Part III: mediated communication in health; methods and tools for user interface evaluation; multi-touch interaction; new int eraction techniques; personalization and visualization; persuasive technology and rehabilitation; and pointing and target selection. .
(source: Nielsen Book Data)

• Predicate invention.- Graph-based learning.- Spatial learning.- Logical foundations.- Statistical relational learning.-Probabilistic ILP.- Implementation and scalability.- Applications in robotics, cyber security and games.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions. The papers represent well the current breath of ILP research topics such as predicate invention; graph-based learning; spatial learning; logical foundations; statistical relational learning; probabilistic ILP; implementation and scalability; applications in robotics, cyber security and games.
(source: Nielsen Book Data)

• Time Event Extraction to Boost an Information Retrieval System
• Interactive Text Categorisation: The Geometry of Likelihood Spaces
• Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach
• SABRE: a Sentiment Aspect-Based Retrieval Engine
• Monitoring and Supporting People that Need Assistance: the BackHome Experience
• The Relevance of Providing Useful and Personalized Information to Therapists and Caregivers in Tele*.

This book focuses on new research challenges in intelligent information filtering and retrieval. It collects invited chapters and extended research contributions from DART 2014 (the 8th International Workshop on Information Filtering and Retrieval), held in Pisa (Italy), on December 10, 2014, and co-hosted with the XIII AI*IA Symposium on Artificial Intelligence. The main focus of DART was to discuss and compare suitable novel solutions based on intelligent techniques and applied to real-world contexts. The chapters of this book present a comprehensive review of related works and the current state of the art. The contributions from both practitioners and researchers have been carefully reviewed by experts in the area, who also gave useful suggestions to improve the quality of the book.

• Network security.- Threat analysis.- Application security.- Cryptographic protocols.- Cryptanalysis.- Cryptographic implementations.- Authentication using bio and ML.- Authentication.- ICT Convergent security.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-workshop proceedings of the 17th International Workshop on Information Security Applications, WISA 2016, held on Jeju Island, Korea, in August 2016. The 31 revised full papers including two invited talks presented in this volume were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections such as network security, threat analysis, application security, cryptographic. Protocols, cryptanalysis, cryptographic implementations, authentication using bio and ML, authentication, ICT Convergent security.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
(source: Nielsen Book Data)

• Sharpening Constraint Programming approaches for Bit-Vector Theory.- Range-Consistent Forbidden Regions of Allen's Relations.- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints.- On Finding the Optimal Relaxed Decision Diagram.- Design and Implementation of Bounded-Length Sequence Variables.- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.- Debugging Unsatisfiable Constraint Models.- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization.- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.- Minimizing Landscape Resistance for Habitat Conservation.- A Hybrid Approach for Stator Winding Design Optimization.- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem.- Explanation-Based-Weighted Degree.- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems.- The Weighted Arborescence Constraint.- Learning When to Use a Decomposition.- Experiments with Conict Analysis in Mixed Integer Programming.- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing.- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations.- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet.- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery.- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks.- Scenario Based Learning for Stochastic Combinatorial Optimization.- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands.- Stochastic Task Networks: Trading Performance for Stability.- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables.- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem.- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem.- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs.- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017. The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2017, held in Jeju Island, South Korea, in May 2017 in conjunction with PAKDD 2017, the 21st Pacific-Asia Conference on Knowledge Discovery and Data Mining. The 8 revised full papers and one short paper were carefully reviewed and selected from 13 submissions. The papers cover topics such as information access and security, cybersecurity and infrastructure protection, data and text mining, and network based data analytics.
(source: Nielsen Book Data)

• Calculemus track: integration of symbolic computation and mechanized reasoning.- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes.- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings.- Systems and Projects track: descriptions of systems and relevant projects as keys research topics.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.
(source: Nielsen Book Data)

• Applied computing.- Artificial intelligence.- Bioinformatics.- Computing methodologies.- Data management systems.- Data mining.- Deep learning.- Information retrieval.- Health informatics.- Human computer interaction.- Machine learning.- Neural informatics.- Neural networks.- Neural systems.- Web applications.- Web mining.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2017, held in Guilin, China, in October/November 2017. The 65 full papers presented were carefully reviewed and selected from 110 submissions. These papers provided a sample of latest research outcomes in data engineering and automated learning, from methodologies, frameworks and techniques to applications. In addition to various topics such as evolutionary algorithms, deep learning neural networks, probabilistic modelling, particle swarm intelligence, big data analytics, and applications in image recognition, regression, classification, clustering, medical and biological modelling and prediction, text processing and social media analysis.
(source: Nielsen Book Data)

• Intelligent interfaces.- Brain machine interaction.- HCI applications and technology.- Interface and systems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 8th International Conference on Intelligent Human Computer Interaction, IHCI 2016, held in Pilani, India, in December 2016. The 22 regular papers and 3 abstracts of invited talks included in this volume were carefully reviewed and selected from 115 initial submissions. They deal with intelligent interfaces; brain machine interaction; HCI applications and technology; and interface and systems.
(source: Nielsen Book Data)

• Whitebox Automation.- Automated Theory Exploration for Interactive Theorem Proving: An Introduction to the Hipster System.- Automating Formalization by Statistical and Semantic Parsing of Mathematics.- A Formalization of Convex Polyhedra Based on the Simplex Method.- A Formal Proof of the Expressiveness of Deep Learning.- Formalization of the Lindemann-Weierstrass Theorem.- CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics.- Formal Verification of a Floating-Point Expansion Renormalization Algorithm.- How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation.- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability.- A Formal Proof in Coq of LaSalle's Invariance Principle.- How to Get More out of Your Oracles.- Certifying Standard and Stratified Datalog Inference Engines in SSReect.- Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq.- Bellerophon: Tactical Theorem Proving for Hybrid Systems.- Formalizing Basic Quaternionic Analysis.- A Formalized General Theory of Syntax with Bindings.- Proof Certificates in PVS.- Efficient, Verified Checking of Propositional Proofs.- Proof Tactics for Assertions in Separation Logic.- Categoricity Results for Second-Order ZF in Dependent Type Theory.- Making PVS Accessible to Generic Services by Interpretation in a Universal Format.- Formally Verified Safe Vertical Maneuvers for Non-Deterministic, Accelerating Aircraft Dynamics.- Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.- Typing Total Recursive Functions in Coq.- Effect Polymorphism in Higher-Order Logic (Proof Pearl).- Schulze Voting as Evidence Carrying Computation.- Verified Spilling and Translation Validation with Repair.- A Verified Generational Garbage Collector for CakeML.- A Formalisation of Consistent Consequence for Boolean Equation Systems.- Homotopy Type Theory in Lean.- Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.- Formalization of the Fundamental Group in Untyped Set Theory Using auto2.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
(source: Nielsen Book Data)

• Database and Graph Theory [16].- Crossover and Permutation.- Similarity Between Graphs in Database by Permutations.- Morphogenetic and Morpheme Network to Structured Worlds.- Formal Description and References in Graph Theory.
• (source: Nielsen Book Data)

This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local relations, defects in crystal non-Euclidean geometry databases with source and sink, genetic algorithms, and neural networks more stable and efficient. It also presents applications to database, language, nanotechnology with defects, biological genetic structure, electrical circuit, and big data structure. In Turing machines, input and output states form a system - when the system is in one state, the input is transformed into output. This computation is always deterministic and without any possible contradiction or defects. In natural computation there are defects and contradictions that have to be solved to give a coherent and effective computation. The new computation generates the morphology of the system that assumes different forms in time. Genetic process is the prototype of the morphogenetic computing. At the Boolean logic truth value, we substitute a set of truth (active sets) values with possible contradictions. The value of a proposition is a set of true and false values. The aim of morphogenetic computing is to use and solve the contradictions in order to transform systems to allow classical computation.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Tutorial
• Modeling, Generating, and Publishing Knowledge as Linked Data
• 1 Introduction
• 2 Linked Data Modeling
• 3 Linked Data Generation
• 3.1 Generation
• 3.2 Validation
• 3.3 RMLProcessor
• 3.4 RMLValidator
• 4 Linked Data Publishing
• 4.1 Linked Data Interfaces
• 4.2 Linked Data Licensing, Announcement and Maintenance
• 5 Linked Data Publishing Workflow Administration
• 5.1 RMLWorkbench
• 6 EKAW2016 Tutorial Report
• References

• First Workshop on Detection, Representation and Management of Concept Drift in Linked Open Data: Report of the Drift-a-LOD2016 Workshop
• 1 Introduction
• 2 Workshop Overview
• 3 Research Directions
• References
• Tracing Shifting Conceptual Vocabularies Through Time
• Abstract
• 1 Introduction
• 2 Related Work
• 3 Time-Varying Relationships in Text
• 4 Algorithm
• 5 Results
• 6 Discussion
• 7 Constructing Ground Truth Evaluation Data from LOD
• 8 Limitations, Potential Improvements, Other Considerations
• Acknowledgments
• References

• The SemaDrift Protégé Plugin to Measure Semantic Drift in Ontologies: Lessons Learned
• Abstract
• 1 Introduction
• 2 Related Work
• 3 The SemaDrift Protégé Plugin
• 3.1 Semantic Drift Metrics
• 3.2 Functionality
• 4 Use Case Scenarios
• 4.1 SemaDrift Within the PERICLES Project
• 4.2 Semantic Drift in Digital Preservation
• 4.3 Semantic Drift in the Web Services Domain
• 5 Discussion
• 6 Conclusions and Future Work
• Acknowledgements
• References
• Combining Distributional Semantics and Structured Data to Study Lexical Change
• 1 Introduction
• 2 Source Data
• 3 Approach

• 4 Usage Examples
• 5 Discussion and Future Work
• References
• Second International Workshop on Educational Knowledge Management (EKM 2016)
• Educational Knowledge Management(EKM 2016)
• Abstract
• Program Committee
• Learning Scorecard: Monitor and Foster Student Learning Through Gamification
• Abstract
• 1 Introduction
• 2 Business Intelligence in Higher Education
• 3 Gamification in Higher Education
• 4 The Learning Scorecard
• 4.1 Strategic Design of the Learning Scorecard
• 5 LS Prototype
• 6 Conclusions and Future Work
• Acknowledgments
• References

• Towards an Architecture for Universities Management
• Abstract
• 1 Introduction
• 2 Problem Statement
• 3 Related Work
• 4 Global Approach
• 4.1 Knowledge Definition
• 4.2 Linked Open Data
• 4.3 Knowledge Extraction and Classification
• 4.4 Knowledge Representation
• 5 Conclusion and Future Work
• References
• A Formalization of the French Elementary School Curricula
• 1 Introduction
• 2 Related Work
• 3 The French Educational Model
• 4 The EduProgression Ontology and Associated thesaurus
• 4.1 The EduProgression Ontology

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.
(source: Nielsen Book Data)

• Ontologies in health care.- Clinical quality, evaluation, and simulation.- Computer guidelines engineering and usage.- Comorbidity and clinical process management.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of two workshops held at the International Conference on Health - Exploring Complexity and Medical Informatics Europe, HEC 2016, held in Munich, Germany, in September 2016: the 8th International Workshop on Knowledge Representation for Health Care, KR4HC 2016, and the 9th International Workshop on Process-oriented Information Systems in Healthcare, ProHealth 2016. The 8 revised full papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections on ontologies in health care; clinical quality, evaluation, and simulation; computer guidelines engineering and usage; and comorbidity and clinical process management.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Knowledge Science, Engineering and Management, KSEM 2017, held in Melbourne, Australia, in August 2017. The 35 revised full papers and 12 short papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in the following topical sections: text mining and document analysis; formal semantics and fuzzy logic; knowledge management; knowledge integration; knowledge retrieval; recommendation algorithms and systems; knowledge engineering; and knowledge representation and reasoning.
(source: Nielsen Book Data)

• Language data.- Knowledge graphs.- Applications in NLP.- Use cases in digital humanities, social sciences, and BioNLP.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the First International Conference on Language, Data and Knowledge, LDK 2017, held in Galway, Ireland, in June 2017. The 14 full papers and 19 short papers included in this volume were carefully reviewed and selected from 68 initial submissions. They deal with language data; knowledge graphs; applications in NLP; and use cases in digital humanities, social sciences, and BioNLP.
(source: Nielsen Book Data)

• Cryptanalysis.- Lightweight designs.- Implementation challenges.
• (source: Nielsen Book Data)

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2016, held in Aksaray, Turkey, in September 2016.The 9 full papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in the following topical sections: cryptanalysis, lightweight designs, implementation challenges.
(source: Nielsen Book Data)

• Logic and Language.- Logic and Information.- Computation.- Mathematical Logic.- Theory of Computation.- Model Theory. - Proof Theory.- Type Theory. Computability Theory. - Complexity Theory.
• (source: Nielsen Book Data)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. .
(source: Nielsen Book Data)