Search Results - "semantics"

FUNGSI KATERANGAN DINA NOVÉL BÉNTANG PASANTRÉN KARYA USÉP ROMLI H.M : Ulikan Struktur jeung Semantis by Syifa Nurafifa, -

Link Metadata

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /

Table of Contents: “…The IDS Information Model: A Semantic Vocabulary for Sovereign Data Exchange -- 8. …”
Link to Metadata

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems /

Table of Contents: “…Automation in systematic, scoping and rapid reviews by an NLP toolkit: a case study in Enhanced Living Environments -- RDF stores for enhanced living environments: an overview -- Combining Machine Learning and Metaheuristics Algorithms for Multicriteria Classification Method PROAFTN -- Development and Evaluation of Methodology for Personal Recommendations Applicable in Connected Health -- "Touchscreen Assessment Tool" (TATOO), an assessment tool based on the expanded conceptual model of frailty -- Towards a deeper understanding of the behavioural implications of bidirectional activity-based ambient displays in ambient assisted living environments -- Towards Truly Affective AAL Systems -- Maintaining Mental Well-being of Elderly at Home -- System Development for Monitoring Physiological Parameters in Living Environment -- Healthcare Sensing and Monitoring -- Semantic Middleware Architectures for IoT Healthcare Application -- The Role of Drones in Ambient Assisted Living Systems for the Elderly.…”
Link to Metadata

ANALISIS FUKUGOUDOUSHI ~NAOSU DAN ~NAORU: KAJIAN SINTAKSIS DAN SEMANTIK by Faisalsyah, _

Link Metadata

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
Link to Metadata

The Gene Ontology Handbook

Table of Contents: “…: Retrieving GO Data Using AmiGO, QuickGO, API, Files, and Tools -- Semantic Similarity in the Gene Ontology -- Gene-Category Analysis -- Gene Ontology: Pitfalls, Biases, and Remedies -- Visualizing GO Annotations -- A Gene Ontology Tutorial in Python -- Annotation Extensions -- The Evidence and Conclusion Ontology (ECO): Supporting GO Annotations -- Complementary Sources of Protein Functional Information: The Far Side of GO -- Integrating Bio-Ontologies and Controlled Clinical Terminologies: From Base Pairs to Bedside Phenotypes -- The Vision and Challenges of the Gene Ontology.…”
Link to Metadata

TARAF KOGNAT BAHASA INDONESIA DAN BAHASA BERAU by Febianti, Dike

Link Metadata

PERSPEKTIF CITRA WANITA DALAM KUMPULAN LIRIK LAGU DANGDUT MODERN PERIODE TAHUN 2015 by Kusumah, Adi Mega

Link Metadata

Evolutionary Genomics Statistical and Computational Methods /

Table of Contents: “…Asexual Species -- Selection Acting on Genomes -- Looking for Darwin in Genomic Sequences: Validity and Success Depends on the Relationship between Model and Data -- Evolution of Viral Genomes: Interplay between Selection, Recombination, and Other Forces -- Evolution of Protein Domain Architectures -- New Insights on the Evolution of GenomeContent: Population Dynamics of Transposable Elements in Flies and Humans -- Association Mapping and Disease: Evolutionary Perspectives -- Ancestral Population Genomics -- Introduction to the Analysis of Environmental Sequences: Metagenomics with MEGAN -- Multiple Data Analyses and Statistical Approaches for Analyzing Data from Metagenomic Studies and Clinical Trials -- Systems Genetics for Evolutionary Studies -- Analyzing Epigenome Data in Context of Genome Evolution and Human Diseases -- Semantic Integration and Enrichment of Heterogeneous Biological Databases -- High-Performance Computing in Bayesian Phylogenetics and Phylodynamics Using BEAGLE -- Scalable Workflows and Reproducible Data Analysis for Genomics -- Sharing Programming Resources between Bio* Projects.…”
Link to Metadata

Knowledge and Action

Table of Contents: “…Pragmatic Philosophy and the Social Function of Knowledge: The Problems of Collective Action and Spatial Dispersion: Tilman Reitz -- 12. Semantic Knowledge, Domains of Meaning and Conceptual Spaces: Peter Gärdenfors -- 13. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward

Table of Contents: “…1 Real-time Linked Dataspaces: A Data Platform for Intelligent Systems within Internet of Things-based Smart Environments -- 2 Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem -- 3 Dataspaces: Fundamentals, Principles, and Techniques -- 4 Fundamentals of Real-time Linked Dataspaces -- 5 Data Support Services for Real-time Linked Dataspaces -- 6 Catalog and Entity Management Service for Internet of Things-based Smart Environments -- 7 Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces -- 8 Enhancing the Discovery of Internet of Things-based Data Services in Real-time Linked Dataspaces -- 9 Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments -- 10 Stream and Event Processing Services for Real-time Linked Dataspaces -- 11 Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces -- 12 Dissemination of Internet of Things Streams in a Real-time Linked Dataspace -- 13 Approximate Semantic Event Processing in Real-time Linked Dataspaces -- 14 Enabling Intelligent Systems, Applications, and Analytics for Smart Environments using Real-time Linked Dataspaces -- 15 Autonomic Source Selection for Real-time Predictive Analytics using the Internet of Things and Open Data -- 16 Building Internet of Things-enabled Digital Twins and Intelligent Applications using a Real-time Linked Dataspace -- 17 A Model for Internet of Things Enhanced User Experience in Smart Environments -- 18 Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems.…”
Link to Metadata

European Language Grid A Language Technology Platform for Multilingual Europe /

Table of Contents: “…Textual Paraphrase Dataset for Deep Language Modelling -- 28. Universal Semantic Annotator -- 29. Virtual Personal Assistant Prototype YouTwinDi.…”
Link to Metadata

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme /

Table of Contents: “…I.Hendrickx, G.Bouma, W.Daelemans and V.Hoste -- 8.Automatic Tree Matching for Analysing Semantic Similarity in Comparable Text. E.Marsi and E.Krahmer -- 9.Large Scale Syntactic Annotation of Written Dutch: Lassy. …”
Link to Metadata

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

Technologies and Applications for Big Data Value

Table of Contents: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
Link to Metadata

Multidisciplinary Perspectives on Artificial Intelligence and the Law

Table of Contents: “…Ethical challenges of Artificial Intelligence in medicine and the triple semantic dimensions of algorithmic opacity with its repercussions to patient consent and medical liability -- Part III. …”
Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

Table of Contents: “…IoT and AI Solutions for E-health -- Alzheimer's Disease Early Detection Using a Low Cost Three-dimensional Densenet-121 Architecture -- Self-adaptative Early Warning Scoring System for Smart Hospital -- Machine Learning Based Rank Attack Detection for Smart Hospital Infrastructure -- Remote Health Monitoring Systems Based on Bluetooth Low Energy (BLE) Communication Systems -- Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications -- Biomedical and Health Informatics -- EEG-based Hypo-vigilance Detection Using Convolutional Neural Network -- Respiratory Activity Classification Based on Ballistocardiogram Analysis -- A Convolutional Neural Network for Lentigo Diagnosis -- Deep Learning-based Approach for Atrial Fibrillation Detection -- Unsupervised Method Based on Superpixel Segmentation for Corpus Callosum Parcellation in MRI Scans -- Behavior and Activity Monitoring -- Using Learning Techniques to Observe Elderly's Behavior Changes Over Time -- Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting -- Baseline Modelling and Composite Representation of Unobtrusively (IoT) Sensed Behaviour Changes Related to Urban Physical Well-being -- Wellbeing Technology -- Automatic Daily Activity Schedule Planning for Simulating Smart House with Elderly People Living Alone -- A Novel On-wrist Fall Detection System Using Supervised Dictionary Learning Technique -- Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support -- Improving Access and Mental Health for Youth Through Virtual Models of Care -- Short Contributions: IoT and AI Solutions for E-health -- Study of Middleware for Internet of Healthcare Things and Their Applications -- Uncertainty in IoT for Smart Healthcare: Challenges, and Opportunities -- Secure E-health Platform -- Hybrid and Secure E-health Data Sharing Architecture in Multi-Clouds Environment -- Blockchain for Internet of Medical Things: A technical Review -- Application of Blockchain Technology in Healthcare: A Comprehensive Study -- Trust Execution Environment and Multi-party Computation for Blockchain E-health Systems -- A Fuzzy-ontology Based Diabetes Monitoring System Using Internet of Things -- Short Contributions: Biomedical and Health Informatics -- A Hybrid Approach for Heart Disease Diagnosis and Prediction Using Machine Learning Techniques -- Context-aware Healthcare Adaptation Model for COPD Diseases -- Study of Healthcare Professionals' Interaction in the Patient Records with Annotations -- Multirate ECG Processing and Machine Learning Based Efficient Arrhythmia Diagnosis -- Comparative Study of Relevant Methods for MRI/X Brain Image Registration -- Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach -- Evaluation of Stationary Wavelet Transforms in Reconstruction of Pure High Frequency Oscillations (HFOs) -- Ensuring theCorrectness and Well Modeling of Intelligent Healthcare Management Systems -- Short Contributions: Wellbeing Technology -- An Embedded ANN Raspberry PI for Inertial Sensor Based Human Activity Recognition -- Human Activities Recognition in Android Smartphone using WSVM-HMM Classifier -- Mobile Assistive Application for Blind People in Indoor Navigation -- Older People's Needs and Opportunities for Assistive Technologies -- Towards a Formal Context-Aware Workflow Model for Ambient Environment -- The PULSE Project: A Case of Use of Big Data Uses Toward a Cohomprensive Health Vision of City Well Being -- ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB.…”
Link to Metadata

Classification and Data Science in the Digital Age

Table of Contents: “…Kiers: Improving Classification of Documents by Semi-supervised Clustering in a Semantic Space -- J. Gama: Trends in Data Stream Mining -- L. …”
Link to Metadata