yusuke1997/dblp-id-title huggingface dataset:
Discharge Decision Support to Identify High Risk Patients and Reduce Readmissions
Tracking Immigrant Health with Natural Language Processing
Visualizing AMIA: A Medical Informatics Knowledge Domain Analysis
Reliability in Diagnostic Coding: Evaluation of Three Swedish ICD-10 Primary Care Versions
The Feasibility of Wearable Digital Technologies by Individuals with Cognitive Impairment
Creating an Ambulatory Integrated Computerized Medical Information System: Joint Development by Client and Vendor
Association Between Infections and Alzheimer's Disease
Predicting Mental Health Complexity Using EHR and Patient-reported Data
Development and Implementation of a Real-Time 30-Day Readmission Predictive Model
Practical Approaches to Telehealth Equity
Using Laboratory Data for Prediction of 30-Day Hospital Readmission of Pediatric Seizure Patients
Pediatric Inpatient Medication Reconciliation using EMR in a Community Hospital
Prediction of secondary structure population and intrinsic disorder of proteins using multitask deep learning
Use of Ontologies for Disease Management Clinical Decision Support Systems
Modular Health Informatics Architecture for a Patient Centered mHealth Diabetes Intervention
HL7 Structured Product Labeling - Electronic Prescribing Information for Provider Order Entry Decision Support
The Use of Data Mining to Investigate a Possible Quality Problem with Ultrasensitive HIV Viral Load Data at a Large Reference Laboratory
Pattern Detection in Clinical Laboratory Data for Patient Identification and Quality Assurance
Machine Learning for Treatment Assignment: Improving Individualized Risk Attribution
JADE: computerization of a structured interview for childhood psychiatric diagnosis
Quality Assurance of NCI Thesaurus by Mining Structural-Lexical Patterns
A Characterization of Emotional Valence to Support Review of Free-Text Press-Ganey Patient Satisfaction Survey Responses
Quantifying Spatial Tumor Heterogeneity Using Single-Cell Proteomics
Evaluation of Safety Heuristics Applied to a Mobile Medication Reconciliation Application
Implementing an IT-Based Intervention to Improve Follow-up Rates of Abnormal Cancer Screening Results: Pre-Implementation Perceptions of Primary Care Providers
Identifying barriers to using eHealth data for individualized clinical performance feedback in Malawi : A case study
Qualitative Assessment of Women's Attitudes Towards a Tracking App for Phenotyping Endometriosis
Drug-Disease Associations in Guidelines, Drug Labels, and Practice
A Hospital-tethered Mobile Personal Health Records: Comparison of Patient Engagement Function Usage Pattern According to Version-up
HealthHeritage: A Web-based Family Health History Tool
Development of a data infrastructure to support text messaging use for patient-provider communication and automated integration of patient-reported information into an EHR
Automated Detection of Benzodiazepine Dosage in ICU Patients through a Computational Analysis of Electrocardiographic Data
Info-Aids: Service-learning through short-term informatics technical assistance projects in federal, state, local, territorial, and global settings
An Assessment of Clinical Workflow and Healthcare Team Communication for Implementation of HIV Testing Clinical Guideline
A History of Health Informatics in the Texas Medical Center
Comparing the Distribution and Predictive Power of Medication Adherence Indexes Derived from EHRs and Claims in Forecasting Healthcare Utilization
Adoption of Social Determinants of Health EHR Tools in CHCs
Sharing Infobuttons to Resolve Clinicians' Information Needs
A Palm Pilot© Curriculum: A Model of Resident Initiated and Developed Applied Medical Informatics
HealthDialogue: An XML-based Document System for Facilitating Patient-physician Communication
Concept Dictionary Creation and Maintenance Under Resource Constraints: Lessons from the AMPATH Medical Record System
Usability Problems and Patient Safety Risks in EHR Design
Biomarkers in Prostate and Breast Cancers: Leading Causes of Malignancies in Men and Women
The Application of Wireless LAN Technology to Personal Digital Assistants to Access Web-based Clinical Applications
Moving Arden Syntax Outside of the (Alert) Box: A Paradigm for Supporting Multi-Step Clinical Protocols
Project HealthDesign: A preliminary program-level report
Examining the Heartland Region Pilot: First Look at the Patient-Centered Data HomeTM Framework
SAMGEP: A Novel Method for Prediction of Phenotype Event Times Using the Electronic Health Record
Local Health Department Translation Processes: Potential of Machine Translation Technologies to Help Meet Needs
Comprehending Technical Texts: Predicting and Defining Unfamiliar Terms
Indexing Anatomical Phrases in Neuro-Radiology Reports to the UMLS 2005AA
Predicting ordered diagnostic tests from patient triage data
A Pilot Bridging Data Integration and Analytics: BioMediator and R?
Use and Evaluation of RapTAT-Assisted Annotation for Extraction of Acute Kidney Injury Concepts from Clinical Free Text
An Integrated SOA Architecture for Telehealth Services
Embracing Change in a Health Information Exchange
Implementation and Validation of an e-Solution for Managing Documentation of Critical Result Notification
Group-Based Trajectory Analysis of HIV-1 Patients
Infrastructure for Collaborative Clinical Decision Support Knowledge Engineering and Sharing: Lessons Learned from the Clinical Decision Support Consortium
DisVis: Visualizing Discussion Threads in Online Health Communities
A Data Mining and Survey Study on Diseases Associated with Paraesophageal Hernia
Interactive Intervention Analysis
Adoption and Use of Health-Related Mobile Apps Among US Military Veterans
Improving the Performance of Large Language Models by Domain-Specific Pre-Training on Clinical Documents
An Experimental System for Comparing Speed, Accuracy, and Completeness of Physician Data Entry using Electronic and Paper Methods
Using narrative reports to support a digital library
Explore the Use of a mHealth Intervention for Alcohol Addiction among Patients Who Lapsed vs. Not
How First Responders Use Decision-Support Tools during Chemical Emergencies: The Nexus of Culture, Context, and Cognition
Identifying risk factors of suicide attempts among people with diabetes using LASSO regression
Clinical Information Needs in Context: An Observational Study of Clinicians While Using a Clinical Information System
caBIG™ Compatibility Review System: Software to Support the Evaluation of Applications Using Defined Interoperability Criteria
Critical Factors for Developing a Personalized Warfarin Dosing Protocol: A Scoping Review Analysis
Blood Flow Model for Improved Decision Support
Analysis of Spatial Trends in Smoking Status Among Patients with Obstructive Airway Diseases Highlight Potential for Targeted Interventions
Automating Tissue Bank Annotation from Pathology Reports - Comparison to a Gold Standard Expert Annotation Set
Found in Translation: Transforming Rules-Based Diabetes Phenotyping Algorithms into Reproducible Diabetes Cohorts from Real-World Data
Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic
Standard Completeness for Extensions of MTL: An Automated Approach
Characterizing Definability of Second-Order Generalized Quantifiers
Linearity in the Non-deterministic Call-by-Value Setting
Property Driven Three-Valued Model Checking on Hybrid Automata
Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE
The Arrow Calculus as a Quantum Programming Language
Generalising Conservativity
Anaphors and Quantifiers
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004
Index Set Complexity for Congruence Lattices of Lattices
Sheaves of Metric Structures
Using alpha-ctl to Specify Complex Planning Goals
Nominal Lawvere Theories
Convergence Laws for Expansions of Linear Preorders
Computable Quotient Presentations of Models of Arithmetic and Set Theory
Hyperintensional Questions
Logic and Agent Programming Languages
Computational Interpretations of Classical Linear Logic
On Game Semantics of the Affine and Intuitionistic Logics
Substructural Logics with a Reflexive Transitive Closure Modality
Querying the Fragments of English
Logics of Import and Export for the Implicative Conditional
Analysis in a Formal Predicative Set Theory
Hybrid Logics and NP Graph Properties
Intersection Types via Finite-Set Declarations
Propositional Dynamic Logic as a Logic of Belief Revision
Causality in Bounded Petri Nets is MSO Definable
An Independence Relation for Sets of Secrets
A Logical Characterization of Constant-Depth Circuits over the Reals
On Distributed Stochastic Logics for Mobile Systems
On Characteristic Constants of Theories Defined by Kolmogorov Complexity
The Grammar of Scope
Ehrenfeucht-Fraïssé Games on Linear Orders
Abstracting Conceptual Models as a Weakening Process
Behavioural Differential Equations and Coinduction for Binary Trees
The p-adic Integers as Final Coalgebra
An Infinitary Treatment of Full Mu-Calculus
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
Conditional Obligations in Justification Logic
Polyadic Quantifiers on Dependent Types
Modal Auxiliaries and Negation: A Type-Logical Account
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
Countable Version of Omega-Rule
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution
Ancestral Logic: A Proof Theoretical Study
Fully Lexicalized Pregroup Grammars
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later
An EXPTIME-Complete Entailment Problem in Separation Logic
Common Knowledge Semantics of Armstrong's Axioms
Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs
On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates
An Epistemic Separation Logic
Multi-type Display Calculus for Semi De Morgan Logic
Additive Types in Quantitative Type Theory
Spoilt for Choice: Full First-Order Hierarchical Decompositions
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract)
Contracting Logics
Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
A Multi-type Calculus for Inquisitive Logic
Bar Induction and Restricted Classical Logic
Orthogonal Frames and Indexed Relations
Logic in the Time of WWW: An OWL View
A General Relational Semantics of Propositional Logic: Axiomatization
A Significance-Based Account of Ceteris paribus Counterfactuals
A Formal Calculus for Informal Equality with Binding
Streaming String Transducers
A Propositional Dynamic Logic for CCS Programs
Expressive Power and Decidability for Memory Logics
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
The McKinsey-Tarski Theorem for Topological Evidence Logics
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
Syllogistic Logic with "Most"
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus
Constructive Canonicity for Lattice-Based Fixed Point Logics
Dependence Logic with Generalized Quantifiers: Axiomatizations
Hybrid Logical Analyses of the Ambient Calculus
A Complexity Question in Justification Logic
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Learning Context-Free Grammars from Positive Data and Membership Queries
Information Flow on Directed Acyclic Graphs
Labelled Calculi for Lukasiewicz Logics
A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs
Characterizing Frame Definability in Team Semantics via the Universal Modality
On the Computational Properties of the Uncountability of the Real Numbers
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
Indicative Conditionals: Some Algebraic Considerations
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents
Modelling Infinite Structures with Atoms
Team Logic and Second-Order Logic
Coherence via Focusing for Symmetric Skew Monoidal Categories
Compactness in Infinitary Gödel Logics
Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures
Justified Belief and the Topology of Evidence
Cut Elimination for Gödel Logic with an Operator Adding a Constant
First Order Extensions of Residue Classes and Uniform Circuit Complexity
Logics for First-Order Team Properties
Analytic Calculi for Monadic PNmatrices
Decidability of Modal Logics of Non-k-Colorable Graphs
On a Graph Calculus for Algebras of Relations
Insignificant Choice Polynomial Time - A Logic Capturing PTIME
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited
Formalized Soundness and Completeness of Epistemic Logic
Spin Networks, Quantum Topology and Quantum Computation
Application of Logic to Integer Sequences: A Survey
A Symbolic Logic with Exact Bounds for Cryptographic Protocols
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Solving the Implication Problem for XML Functional Dependencies with Properties
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic
Verification of the Completeness of Unification Algorithms à la Robinson
On the Complexity of the Equational Theory of Residuated Boolean Algebras
Relevant Reasoning and Implicit Beliefs
Inter-deriving Semantic Artifacts for Object-Oriented Programming
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Intuitionistic Logic and Computability Theory
A Modal Distributive Law (abstract)
SIXTEEN _3 in Light of Routley Stars
On the Descriptive Complexity of Linear Algebra
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
Equivalence Relations That Are Σ 0 3 Complete for Computable Reducibility - (Extended Abstract)
Subset Models for Justification Logic
Relational Concepts and the Logic of Reciprocity
Definability for Downward and Vertical XPath on Data Trees
Moving Arrows and Four Model Checking Results
Correspondence Theory on Vector Spaces
Disjunction and Negation in Information Based Semantics
Ehrenfeucht-Fraïssé Games on Random Structures
Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
Correspondence Theory for Generalized Modal Algebras
The Lambek Calculus with Iteration: Two Variants
Disjoint Fibring of Non-deterministic Matrices
On the Reflection Calculus with Partial Conservativity Operators
Combinatorial Flows as Bicolored Atomic Flows
The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002
Unification Modulo Builtins
Concrete Mathematics. Finitistic Approach to Foundations
Effective Skolemization
A Finite-State Functional Grammar Architecture
A Logic of Isolation
Boolean Dependence Logic and Partially-Ordered Connectives
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
How Much Expressive Power Is Needed for Natural Language Temporal Indexicality?
The Semantics of Corrections
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule
Verifying the Conversion into CNF in Dafny
Preservation under Substructures modulo Bounded Cores
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
Two-Layered Logics for Paraconsistent Probabilities
Continuation Semantics for Symmetric Categorial Grammar
Meaning and Computing: Two Approaches to Computable Propositions
Rules of Partial Orthomodularity
Concurrent Logic Games on Partial Orders
Counterexamples to Import-Export in Conditionals: A Logical Analysis
On the Expressive Power of IF-Logic with Classical Negation
Counting in SPARQL Property Paths: Perspectives from Theory and Practice
Completeness of Finitely Weighted Kleene Algebra with Tests
On the Broader Epistemological Significance of Self-Justifying Axiom Systems
Decidability and Undecidability Results on the Modal µ -Calculus with a Natural Number-Valued Semantics
On Principal Types of BCK- lambda -Terms
Natural Models of Homotopy Type Theory (Abstract)
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions
Knowledge Without Complete Certainty
Nominal Matching and Alpha-Equivalence
Interval Probability for Sessions Types
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
On First-Order Expressibility of Satisfiability in Submodels
An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics
A Dichotomy Result for Ramsey Quantifiers
Bar-Hillel Theorem Mechanization in Coq
Beliefs Based on Evidence and Argumentation
A Proof of the Focusing Theorem via MALL Proof Nets
On Tame Semantics for Interpretability Logic
APAL with Memory Is Better
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
Shift Registers Fool Finite Automata
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
Substructural Propositional Dynamic Logics
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination
(In)consistency Operators on Quasi-Nelson Algebras
Algebraic Semantics for Nelson's Logic S S
Interval Valued Fuzzy Coimplication
Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures
Abductive Logic Grammars
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations
Perspectives of Dynamic Complexity
Doubly Strongly First Order Dependencies
Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL
Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures
A Grammatical Representation of Visibly Pushdown Languages
Model Checking for Modal Dependence Logic: An Approach through Post's Lattice
Algebraic Valuations as Behavioral Logical Matrices
Unification in Logic
The Two-Variable Fragment with Counting Revisited
Explicit Non-normal Modal Logic
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
A Curry-Howard View of Basic Justification Logic
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
On Second-Order Monadic Groupoidal Quantifiers
Graded Relation Updates in Modal Logic
Bisimulations Between Verbrugge Models and Veltman Models
A Compositional Theory of Krivine's Classical Realisability
Hoare Logic for Higher Order Store Using Simple Semantics
Recognizability in the Simply Typed Lambda-Calculus
Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
The One-Variable Fragment of Corsi Logic
A Self-contained Provability Calculus for Γ 0
The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic
Weak Conservativity
On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
Proof Theory and Ordered Groups
Feasible Functions over Co-inductive Data
A Calculus of Anyons
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
Fixed Point Logics and Definable Topological Properties
A Pure View of Ecumenical Modalities
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality
Uniform Labelled Calculi for Conditional and Counterfactual Logics
Unranked Second-Order Anti-Unification
Parametric Polymorphism - Universally
Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings
Quantitative Approaches to Information Protection
Inhabitants of Intuitionistic Implicational Theorems
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
Modelling Informational Entropy
Conjunctive Grammars and Alternating Pushdown Automata
Uniform Interpolation via Nested Sequents
A Sketch of a Dynamic Epistemic Semiring
Strongly First Order, Domain Independent Dependencies: The Union-Closed Case
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames
On-the-Fly Macros
Basic Model Theory for Memory Logics
Towards Ontology Evolution in Physics
Untestable Properties in the Kahr-Moore-Wang Class
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit
Lindenbaum and Pair Extension Lemma in Infinitary Logics
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Hydra Games and Tree Ordinals
On Polymorphic Types of Untyped Terms
Inference Processes for Quantified Predicate Knowledge
Graph Turing Machines
Games for Hybrid Logic - From Semantic Games to Analytic Calculi
A Simple Separation Logic
Logical Expressibility of Syntactic NL for Complementarity and Maximization
Validity in Contexts - A Semantics for Indicatives and Epistemic Modals
Dependent Event Types
On the Subtle Nature of a Simple Logic of the Hide and Seek Game
Bounded Lattice T-Norms as an Interval Category
Axiomatic Reals and Certified Efficient Exact Real Computation
A Logic of Plausible Justifications
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
A Linear Proof Language for Second-Order Intuitionistic Linear Logic
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic
Non-commutative Logic for Compositional Distributional Semantics
Knowledge Is a Diamond
Asymptotic Reasoning With Two Variables
On the Weak Index Problem for Game Automata
Symbolic Reasoning Methods in Rewriting Logic and Maude
Multityped Abstract Categorial Grammars and Their Composition
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
Logical Methods in Quantum Information Theory
Extended Modal Dependence Logic
Proof Search in Classical Propositional Logic with Partial Proof Terms
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics
The Boyce-Codd-Heath Normal Form for SQL
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation
Total Search Problems in Bounded Arithmetic and Improved Witnessing
Sequentialization for N-Graphs via Sub-N-Graphs
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving
The Multiresolution Analysis of Flow Graphs
Turing Machines on Cayley Graphs