activity
20142026
most citedProbabilistic verification of partially observable dynamical systems

2 citations · 2 across the 4 of their papers we have counts for

collaborators

5 papers

cs.LG2026

Hakken: Predicting future discoveries to fill the gaps in today's knowledge

Tarek R. Besold, Uchenna Akujuobi, Pablo Sanchez +21

We present Hakken, a domain-agnostic prediction and explanation system performing knowledge prediction, i.e., growing scientific knowledge by establishing novel relationships, ones…

q-bio.QM2023

ProtoCode: Leveraging Large Language Models for Automated Generation of Machine-Readable Protocols from Scientific Publications

Shuo Jiang, Daniel Evans-Yamamoto, Dennis Bersenev +2

Protocol standardization and sharing are crucial for reproducibility in life sciences. In spite of numerous efforts for standardized protocol description, adherence to these standa…

cs.CL2016

Measuring the State of the Art of Automated Pathway Curation Using Graph Algorithms - A Case Study of the mTOR Pathway

Michael Spranger, Sucheendra K. Palaniappan, Samik Ghosh

This paper evaluates the difference between human pathway curation and current NLP systems. We propose graph analysis methods for quantifying the gap between human curated pathway…

cs.CL2016

Extracting Biological Pathway Models From NLP Event Representations

Michael Spranger, Sucheendra K. Palaniappan, Samik Ghosh

This paper describes an an open-source software system for the automatic conversion of NLP event representations to system biology structured data interchange formats such as SBML…

eess.SY2014★ 2 cited

Probabilistic verification of partially observable dynamical systems

Benjamin M. Gyori, Daniel Paulin, Sucheendra K. Palaniappan

The construction and formal verification of dynamical models is important in engineering, biology and other disciplines. We focus on non-linear models containing a set of parameter…