yusuke1997/dblp-id-title huggingface dataset:
Development of a discharge ontology to support postanesthesia discharge decision making
Developing an Application Ontology for Biomedical Resource Annotation and Retrieval: Challenges and Lessons Learned
Representing Core Themes in a Biology E-Textbook
Foundation for a Realist Ontology of Cognitive Processes
The New SNOMED CT International Medicinal Product Model
OWL Representation of Drug Activities on Biological Systems
Ontology of Cancer Related Social-Ecological Variables
Proceedings of the 8th International Conference on Biomedical Ontology (ICBO 2017), Newcastle-upon-Tyne, United Kingdom, September 13th - 15th, 2017
A Taxonomy for Immunologists
Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples
A UML profile for functional modeling applied to the Molecular Function Ontology
Quality ontology engineering based on thesauri
The Age of Data-Driven Medicine: Mining the Electronic Health Record
Visual Representation for Knowledge Representation: Graphics Libraries to Support Anatomy Terminologies and Ontologies
Ontologies for the Behavioural and Social Sciences: Opportunities and Challenges
The Foundational Model of Neuroanatomy Ontology: An Ontology Framework to Support Neuroanatomical Data Integration
Label Embedding Approach for Transfer Learning
Ontology as Product-Service System: Lessons Learned from GO, BFO and DOLCE
Revising the Cell Ontology
OBCS: The Ontology of Biological and Clinical Statistics
NGBO: Introducing -omics Data into Biobanking Ontology
Planteome & BisQue: Automating Image Annotation with Ontologies using Deep-Learning Networks
Waiting for a Robust Disease Ontology: A Merger of OMIM and MeSH as a Practical Interim Solution
Alignment of the Ontology of Host-Microbiome Interactions (OHMI) High Level Terms with Existing OBO Ontologies
Modeling and tools for supporting post-coordination in ICD-11
A Protégé Plug-In for Test-Driven Ontology Development
Representing the Reality Underlying Demographic Data
Generic Semantic Relatedness Measure for Biomedical Ontologies
CIDO: The Community-Based Coronavirus Infectious Disease Ontology
A Meta-Data Approach to Querying Multiple Biomedical Ontologies
Scrutinizing the Axiomatic Basis of SNOMED CT: How Confused is it by the Ambiguous Terminology Paradigm?
Developing the Animals in Context Ontology
Using Ontology Embeddings With Deep Learning Architectures to Improve Prediction of Ontology Concepts From Literature
Representation of Protein Aggregates in an Ontological Framework
Identity Tracking of a Disease as a Causal Chain
Current Development in the Evidence and Conclusion Ontology (ECO)
A Collaborative, Realism-Based, Electronic Healthcare Graph: Public Data, Common Data Models, and Practical Instantiation
A Python Utility for Working with OBO Foundry Terms (short paper)
Discovering Cross-Ontology Subsumption Relationships by Using Ontological Annotations on Biomedical Literature
GNOme - Glycan Naming and Subsumption Ontology
OOPS: The Ontology of Plant Stress, A Semi-Automated Standardization Methodology
Enhancing Information Accessibility of Publications with Text Mining and Ontology
Philosophy, Ontology, and Scientific Explanation
Using RxNorm to Extract Medication Data from Electronic Health Records in the Rochester Epidemiology Project
Initial Steps in Developing an Ontology of Dental Care-Related Fear, Anxiety, and Phobia
Errors and Artefacts in Histopathological Imaging
Ubergraph: Integrating OBO Ontologies into a Unified Semantic Graph
Recent Refinements of the NeuroPsychological Testing Ontology
Proposed Ontology for Seizure and Epilepsy
Ontology Development in FHIR Resources with the Fast Evidence Interoperability Resources (FEvIR) Platform
Expanding the Mammalian Phenotype Ontology to Meet the Needs of COVID-19 Model Curation
Integrating Declarative and Procedural Knowledge in Infectious Disease Scenario for Epidemiological Monitoring
An Ontology for Gastrointestinal Endoscopy
Environmental Health Language Collaborative (EHLC): a Route to Environmental Health Science Data Harmonization
Current OBO Ontologies Are Not Sufficient to Annotate COVID-19-Related Cell Types (short paper)
Exploring the use of ontologies and automated reasoning to manage selection of reportable condition lab tests from LOINC
Enriching the Ontology for Biomedical Investigations (OBI) to Improve its Suitability for Web Service Annotations
Ontology Modeling and Analysis of COVID-19-associated Acute Kidney Injury and Its Underlying Molecular Mechanisms
Malaria Study Data Integration and Information Retrieval Based on OBO Foundry Ontologies
Performance Evaluation Clinical Task Ontology(PECTO)
Sustainable Development Goals Interface Ontology
Replacing EHR structured data with explicit representations
GOCI: An Ontology-Driven Search and Curation Infrastructure for the NHGRI GWAS Catalog
Proceedings of the International Conference on Biomedical Ontology, ICBO 2015, Lisbon, Portugal, July 27-30, 2015
Bringing Schemas to the Schemaless
Representing Disease Courses: An Application of the Neurological Disease Ontology to Multiple Sclerosis Typology
Crowdsourcing Protein Family Database Curation
Interpreting Patient Data using Medical Background Knowledge
ADO: A formal ontology for understanding structure of information and domain knowledge of Alzheimer's disease
Beyond the Goods-Service Continuum
Extending the Ontology of Physics for Biology with Thermodynamics
Smart Searching System for Biomedical Information
NCBO-Galaxy: bridging the BioPortal web services and the Galaxy platform
Expanding the Molecular Glycophenotype Ontology to include model organisms and acquired diseases
Bioassay Ontology to Describe High-Throughput Screening Assays and their Results
The Interplay of Wikidata and the Cell Ontology
Comparison of Ontology Mapping Techniques to Map Plant Trait Ontologies
Knowledge Representation of Protein PTMs and Complexes in the Protein Ontology: Application to Multi-Faceted Disease Analysis
The Plant Trait Ontology Links Wheat Traits for Crop Improvement and Genomics (short paper)
Growth of the Zebrafish Anatomy Ontology: Expanded to Support Adult Morphology and Dynamic Changes in the Early Embryo
Modeling Logical Definitions in Biomedical Ontologies by Reusing Ontology Design Patterns
Supporting Ontology-Based Standardization of Biomedical Metadata in the CEDAR Workbench
The Ontological Treatment of Sight and Blindness
Updates to the AberOWL Ontology Repository
Managing Incompleteness and Validating the Content of Nutritional Food Sources using FoodOn as Pivot Ontology
BioMixer: A Web-based Collaborative Ontology Visualization Tool
A Maturity Model for Biomedical Data Curation
eagle-i: ontology-driven federated search and data entry tools for discovering biomedical research resources
The Ontology of Microbial Phenotypes (OMP): A Precomposed Ontology Based on Cross Products from Multiple External Ontologies that is Used for Guiding Microbial Phenotype Annotation
Towards visualizing the mapping incoherences in Bioportal
Revisiting ontological foundations of the OpenEHR Entry Model
Flexible Terminological Definitions and Conceptual Frames
Integrating Anatomy and Phenotype Ontologies with Taxonomic Hierarchies
Representing bioinformatics datatypes using the OntoDT ontology
Foundations for a Realism-Based Ontology of Protein Aggregates
TNM-O an ontology for the Tumor-Node-Metastasis classification of malignant tumors: a study on rectal cancer
Reclassification of Infectious Disease in the Mondo Disease Ontology
Linking LOINC and SNOMED CT: A Cooperative Approach to Enhance Each Terminology and Facilitate Co-usage
Role-based representation and inference of biochemical processes
Disease Compass - a navigation system for disease knowledge based on ontology and linked data techniques
Using the Oral Health and Disease Ontology to Study Dental Outcomes in National Dental PBRN Practices
An Ontological Representation and Analysis of Patient-reported and Clinical Outcomes for Multiple Sclerosis
HINO: BFO-aligned ontology representation of human molecular interactions and pathways
Identification and Ontology Term Enrichment Analysis of Genes Associated with COVID-19 and Acute Kidney Disease
Performance Summary Display Ontology: Feedback Intervention Content, Delivery, and Interpreted Information
The Issue of Perspectivality in Formal Theories of Spatial Representation
A New Alignment Method Based on FoodOn as Pivot Ontology to Manage Incompleteness in Nutritional Legacy Data Sources (short paper)
An Ontological Representation of Money with a View Toward Economic Determinants of Health
Ontological Derivation of Mendeleev's Periodic Table of Chemical Elements
Ontology Driven Data Collection for EuPathDB
Formalizing the Representation of Immune Exposures for Human Immunology Studies
Concrete Names for Complex Expressions in Ontologies: A Survey of Biomedical Ontologies
The OntoDev Suite of Ontology and Data Integration Tools
A Method for Evaluating Ontologies
An ontology-based approach for SNOMED CT translation
An Ontological Framework for Representing Topological Information in Human Anatomy
Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO 2012), KR-MED Series, Graz, Austria, July 21-25, 2012
Biomedical Analyses: OWL Model Based Edition
Taxonomy Proposal for Controlled Vocabulary Planning in the Pinakes Catalogue With Tematres
Dispositions and Processes in the Emotion Ontology
Recent Developments in the ChEBI Ontology
Multi-species Ontologies of the Craniofacial Musculoskeletal System
The Planteome Project
Ontobee: A Linked Data Server and Browser for Ontology Terms
SHIRAZ and CABERNET: Leveraging Automation, Crowdsourcing, and Ontologies to Improve the Accuracy and Throughput of Zebrafish Histological Phenotype Annotations
Teaching Good Biomedical Ontology Design
uc_FIDO: Unambiguous Characterization of Food Interactions with Drugs Ontology
That Which we Call a Pediatrician Would by Any Other Name a Child Treat (or not)
Ten Simple Rules for Biomedical Ontology Development
Roles and Their Siblings in Basic Formal Ontology
Supporting Medical Device Adverse Event Analysis in an Interoperable Clinical Environment: Design of a Data Logging and Playback System
Using Ontologies to Enhance Data on Intimate Partner Violence
Gender Identification on Social Media
A Unified Framework of Lightweight Local Community Detection for Different Node Similarity Measurement
Knowledge Fragment Enrichment Using Domain Knowledge Base
Opinion Target Understanding in Event-Level Sentiment Analysis
Locality-Sensitive Hashing for Finding Nearest Neighbors in Probability Distributions
Identifying Opinion Leaders from Online Comments
Inferring Correspondences from Multiple Sources for Microblog User Tags
Predicting User Relationship from Scratch
Deep Transfer Learning for Social Media Cross-Domain Sentiment Classification
Topic Model Based Adaptation Data Selection for Domain-Specific Machine Translation
Inferring Emotions from Social Images Leveraging Influence Analysis
Missing and Spurious Interactions in Heterogeneous Military Networks
Local Contexts Are Effective for Neural Aspect Extraction
From Post to Values: Mining Schwartz Values of Individuals from Social Media
Generating User-oriented Text Summarization Based on Social Networks Using Topic Models
An Effective Approach of Sentence Compression Based on "Re-read" Mechanism and Bayesian Combination Model
Personality Prediction Based on All Characters of User Social Media Information
A Gaussian Copula Regression Model for Movie Box-office Revenue Prediction with Social Media
Exploring Effective Methods for On-line Societal Risk Classification and Feature Mining
A Hybrid Method of Domain Lexicon Construction for Opinion Targets Extraction Using Syntax and Semantics
Entity Set Expansion on Social Media: A Study for Newly-Presented Entity Classes
Discovering Region Features Based on User's Comments
Nugget-Based First Story Detection in Twitter Stream
Supervised Domain Adaptation for Sentiment Regression
News Events Elements Extraction Based on Undirected Graph
The Expert Ranking Method Based on Listwise with Associated Features
Improving Conversational Spoken Language Machine Translation via Pronoun Recovery
Doctor Recommendation via Random Walk with Restart in Mobile Medical Social Networks
A Novel Fuzzy Logic Model for Multi-label Fine-Grained Emotion Retrieval
A Markov Chain Monte Carlo Approach for Source Detection in Networks
Dependency-Attention-Based LSTM for Target-Dependent Sentiment Analysis
Online Social Network Profile Linkage Based on Cost-Sensitive Feature Acquisition
Estimating the Origin of Diffusion in Complex Networks with Limited Observations
A Novel Approach for Relation Extraction with Few Labeled Data
Supervised Link Prediction Using Random Walks
Query Intent Detection Based on Clustering of Phrase Embedding
Systematic Comparison of Question Target Classification Taxonomies Towards Question Answering
Segmenting and Characterizing Adopters of E-Books and Paper Books Based on Amazon Book Reviews
Relationship between Reviews Polarities, Helpfulness, Stars and Sales Rankings of Products: A Case Study in Books
A Method of User Recommendation in Social Networks Based on Trust Relationship and Topic Similarity
Divergence or Convergence: Interaction Between News Media Frames and Public Frames in Online Discussion Forum in China
Social Annotation for Query Expansion Learning from Multiple Expansion Strategies
Social Media Processing - 5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016, Proceedings
Individual Friends Recommendation Based on Random Walk with Restart in Social Networks
Combining Convolutional Neural Network and Support Vector Machine for Sentiment Classification
Early Detection of Promotion Campaigns in Community Question Answering
Supervised Hashing for Multi-labeled Data with Order-Preserving Feature
Research on Webpage Similarity Computing Technology Based on Visual Blocks
Terminology Translation Error Identification and Correction
Extraction of Expert Relations Integrated with Expert Topic and Associated Relationship Features
Predicting Health Care Risk with Big Data Drawn from Clinical Physiological Parameters
Encoding Dependency Representation with Convolutional Neural Network for Target-Polarity Word Collocation Extraction
Social Media Processing - Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedings
Information Diffusion and Influence Measurement Based on Interaction in Microblogging
Topic Related Opinion Integration for Users of Social Media
A Novel Cross Modal Hashing Algorithm Based on Multi-modal Deep Learning
Expanding Native Training Data for Implicit Discourse Relation Classification
The 2016 US Presidential Election and Its Chinese Audience
Understanding the Pulse of the Online Video Viewing Behavior on Smart TVs
Analyzing the Segmentation Granularity of RTB Advertising Markets: A Computational Experiment Approach
Prediction of Cascade Structure and Outbreaks Recurrence in Microblogs
Tag Expansion Using Friendship Information: Services for Picking-a-crowd for Crowdsourcing
Detecting Anomalies in Microblogging via Nonnegative Matrix Tri-Factorization
Generating Triples Based on Dependency Parsing for Contradiction Detection
Microblog Sentiment Analysis with Emoticon Space Model
Extracting Opinion Expression with Neural Attention
Predicting Who Will Retweet or Not in Microblogs Network
Neural Chinese Word Segmentation as Sequence to Sequence Translation
Social Spammer Detection via Structural Properties in Ego Network
Combining Feature-Based and Instance-Based Transfer Learning Approaches for Cross-Domain Hedge Detection with Multiple Sources
Efficient Community Detection Based on Label Propagation with Belonging Coefficient and Edge Probability
Context Enhanced Word Vectors for Sentiment Analysis
Detecting Overlapping and Hierarchical Communities in Complex Network Based on Maximal Cliques
A Case Study on Active Learning for Event Extraction
Approaches to Detect Micro-Blog User Interest Communities Through the Integration of Explicit User Relationship and Implicit Topic Relations
Do Photos Help Express Our Feelings: Incorporating Multimodal Features into Microblog Sentiment Analysis
EEG: Knowledge Base for Event Evolutionary Principles and Patterns
Social Media Processing - 6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017, Proceedings
Predicting the Popularity of Messages on Micro-blog Services
Personalized Hashtag Suggestion for Microblogs
Emotion Evolution under Entrainment in Social Media
PRISM: Profession Identification in Social Media with Personal Information and Community Structure
Word Representation on Small Background Texts
Exploring the Country Co-occurrence Network in the Twittersphere at an International Economic Event
Attention-Based Memory Network for Sentence-Level Question Answering
Inferring User Profile Using Microblog Content and Friendship Network
An Improved Top-N Recommendation for Collaborative Filtering
Personalized Microtopic Recommendation with Rich Information
Mining Intention-Related Products on Online Q&A Community
Hierarchical Community Detection Based on Multi Degrees of Distance Space and Submodularity Optimization
Social Media Processing - 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings
An Unified One Class Collaborative Filtering Algorithm
Sina-Weibo Spammer Detection with GBDT
Predicting Best Answerers for New Questions: An Approach Leveraging Convolution Neural Networks in Community Question Answering
A Music Recommendation Algorithm Based on Hybrid Collaborative Filtering Technique
FCL: A New Network Words Extraction Approach Based on Statistical Language Knowledge
Learning Cost-Effective Social Embedding for Cascade Prediction
Hybrid Model Based Influenza Detection with Sentiment Analysis from Social Networks
Dirichlet Process Mixture Model for Summarizing the Social Web
Emotion Cause Extraction, A Challenging Task with Corpus Construction
Topic Enhanced Word Vectors for Documents Representation
Quantitative Information Flow in Boolean Programs
Compositional Synthesis of Leakage Resilient Programs
Verified Indifferentiable Hashing into Elliptic Curves
Analysis of XACML Policies with SMT
What's the Over/Under? Probabilistic Bounds on Information Leakage
On Improvements of Low-Deterministic Security
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
A Safe Update Mechanism for Smart Cards
Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity
On Layout Randomization for Arrays and Functions
Decentralized Composite Access Control
Composing Security Protocols: From Confidentiality to Privacy
Computational Soundness Results for Stateful Applied π Calculus
On the Formalisation of Σ-Protocols and Commitment Schemes
Generalised Differential Privacy for Text Document Processing
Timing-Sensitive Noninterference through Composition
Tool Demonstration: JOANA
Correct Audit Logging: Theory and Practice
Sessions and Separability in Security Protocols
A Separation Logic for Enforcing Declarative Information Flow Control Policies
Security Protocol Verification: Symbolic and Computational Models
Generalizing Multi-party Contract Signing
A Dependently Typed Library for Static Information-Flow Control in Idris
Symbolic Verification of Distance Bounding Protocols
Model Checking Exact Cost for Attack Scenarios
The Foundational Cryptography Framework
Bounding the Number of Agents, for Equivalence Too
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
SoK: Unraveling Bitcoin Smart Contracts
Stateful Applied Pi Calculus
Defense in Depth Formulation and Usage in Dynamic Access Control
Sound Security Protocol Transformations
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
Type-Based Verification of Electronic Voting Protocols
Orchestrating Layered Attestations
Automated Backward Analysis of PKCS#11 v2.20
Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks
Differential Privacy and the Power of (Formalizing) Negative Thinking - (Extended Abstract)
Automated Verification of Dynamic Root of Trust Protocols
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols
Very Static Enforcement of Dynamic Policies
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
Defining and Enforcing Referential Security
Pareto Efficient Solutions of Attack-Defence Trees
Lazy Mobile Intruders
The Meaning of Memory Safety
Parametric Verification of Address Space Separation
Leakage Resilience against Concurrent Cache Attacks
Proving More Observational Equivalences with ProVerif
The Value of Attack-Defence Diagrams
Proved Generation of Implementations from Computationally Secure Protocol Specifications
A Formal Analysis of Timing Channel Security via Bucketing
When Not All Bits Are Equal: Worth-Based Information Flow
Security Proof with Dishonest Keys
A Formal Analysis of the Norwegian E-voting Protocol
Towards Incrementalization of Holistic Hyperproperties
A Secure Key Management Interface with Asymmetric Cryptography
Extending and Applying a Framework for the Cryptographic Verification of Java Programs
Verifying Liquidity of Bitcoin Contracts
Leakage and Protocol Composition in a Game-Theoretic Perspective
Compositional Non-interference for Concurrent Programs via Separation and Framing
Secure Information Release in Timed Automata
Wys*: A DSL for Verified Secure Multi-party Computations
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
Automatically Checking Commitment Protocols in ProVerif without False Attacks
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
On the Flow of Data, Information, and Time
Provable De-anonymization of Large Datasets with Sparse Dimensions
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Faceted Dynamic Information Flow via Control and Data Monads
Abstract Channels and Their Robust Information-Leakage Ordering
Information Flow Control in WebKit's JavaScript Bytecode
Equivalence Properties by Typing in Cryptographic Branching Protocols
Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Privacy Supporting Cloud Computing: ConfiChair, a Case Study
Temporal Logics for Hyperproperties
Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
A Core Calculus for Provenance
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study
On Communication Models When Verifying Equivalence Properties
A Survey of Attacks on Ethereum Smart Contracts (SoK)
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
A Taxonomy of Information Flow Monitors
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
A Differentially Private Mechanism of Optimal Utility for a Region of Priors