Copertina

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Martires, Pedro Zuidberg Dos, Derkinderen, Vincent, De Raedt, Luc, Krantz, Marcus
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computational Engineering, Finance, and Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
di: Derkinderen, Vincent, et al.
Pubblicazione: (2024)

Neurosymbolic Decision Trees
di: Möller, Matthias, et al.
Pubblicazione: (2025)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
di: Hazra, Rishi, et al.
Pubblicazione: (2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
di: Maene, Jaron, et al.
Pubblicazione: (2024)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
di: Mantenoglou, Periklis, et al.
Pubblicazione: (2025)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
di: Hazra, Rishi, et al.
Pubblicazione: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
di: Martires, Pedro Zuidberg Dos, et al.
Pubblicazione: (2023)

UAMM: Price-oracle based Automated Market Maker
di: Im, Daniel Jiwoong, et al.
Pubblicazione: (2023)

Can Large Language Models Reason? A Characterization via 3-SAT
di: Hazra, Rishi, et al.
Pubblicazione: (2024)

Probabilistic Neural Circuits
di: Martires, Pedro Zuidberg Dos
Pubblicazione: (2024)

Accelerated Medicines Development using a Digital Formulator and a Self-Driving Tableting DataFactory
di: Abbas, Faisal, et al.
Pubblicazione: (2025)

Promise of Data-Driven Modeling and Decision Support for Precision Oncology and Theranostics
di: Sadanandan, Binesh, et al.
Pubblicazione: (2025)

Chem-R: Learning to Reason as a Chemist
di: Wang, Weida, et al.
Pubblicazione: (2025)

Hierarchical Multi-Objective Optimization for Precise Performance Design of Closed-Chain Legged Mechanisms
di: Guo, Long, et al.
Pubblicazione: (2025)

The Statistical Significance of the Inclusion of Graph Neural Networks in the Financial Time Series Forecasting Problem
di: Gregnanin, Marco, et al.
Pubblicazione: (2026)

A Generative Adversarial Graph Neural Network for Synthetic Time Series Data
di: Gregnanin, Marco, et al.
Pubblicazione: (2026)

Automated machine learning for physics-informed convolutional neural networks
di: Zhou, Wanyun, et al.
Pubblicazione: (2024)

Automated design of soft-rigid hybrid robots for dynamic locomotion
di: Kobayashi, Hiroki, et al.
Pubblicazione: (2026)

PINNsAgent: Automated PDE Surrogation with Large Language Models
di: Wuwu, Qingpo, et al.
Pubblicazione: (2025)

Approximation Algorithms for the UAV Path Planning with Object Coverage Constraints
di: Wang, Jiawei, et al.
Pubblicazione: (2025)

High-Precision Real-Time Pores Detection in LPBF using Thermal Energy Density (TED) Signals
di: Meng, Chuxiao, et al.
Pubblicazione: (2024)

ASDA: Automated Skill Distillation and Adaptation for Financial Reasoning
di: Yim, Tik Yu, et al.
Pubblicazione: (2026)

pyModRev: a Python Tool for Model Revision of Boolean Networks
di: Monteiro, Pedro T., et al.
Pubblicazione: (2026)

Automated model discovery of finite strain elastoplasticity from uniaxial experiments
di: Jadoon, Asghar A., et al.
Pubblicazione: (2024)

BAKUP: Automated, Flexible, and Capital-Efficient Insurance Protocol for Decentralized Finance
di: Singh, Srisht Fateh, et al.
Pubblicazione: (2024)

A Physics-Informed Neural Network Framework for Simulating Creep Buckling in Growing Viscoelastic Biological Tissues
di: Lin, Zhongya, et al.
Pubblicazione: (2025)

NASPrecision: Neural Architecture Search-Driven Multi-Stage Learning for Surface Roughness Prediction in Ultra-Precision Machining
di: Ruan, Penghui, et al.
Pubblicazione: (2024)

Blockchain and Carbon Markets: Standards Overview
di: Baiz, Pedro
Pubblicazione: (2024)

Liquidity Fragmentation or Optimization? Analyzing Automated Market Makers Across Ethereum and Rollups
di: Gogol, Krzysztof, et al.
Pubblicazione: (2024)

Semi-Automated Generation and Hemodynamic Assessment of Surgical Baffle Geometry for Biventricular Repair
di: Martinez, Elena Sabdy, et al.
Pubblicazione: (2026)

Human-Precision Medicine Interaction: Public Perceptions of Polygenic Risk Score for Genetic Health Prediction
di: Sun, Yuhao, et al.
Pubblicazione: (2025)

Containing the Reproducibility Gap: Automated Repository-Level Containerization for Scholarly Jupyter Notebooks
di: Samuel, Sheeba, et al.
Pubblicazione: (2026)

PiERN: Token-Level Routing for Integrating High-Precision Computation and Reasoning
di: Xiao, Hengbo, et al.
Pubblicazione: (2025)

Agentic AI for Particle-Based Simulation: Automating SPH Workflows for Debris Flow Modeling
di: Zhang, Danrong, et al.
Pubblicazione: (2026)

Using Graph Neural Networks and Frequency Domain Data for Automated Operational Modal Analysis of Populations of Structures
di: Jian, Xudong, et al.
Pubblicazione: (2024)

Automated Keypoint Estimation for Self-Piercing Rivet Joints Using micro-CT Imaging and Transfer Learning
di: Chuah, Wei Qin, et al.
Pubblicazione: (2025)

BizCompass: Benchmarking the Reasoning Capabilities of LLMs in Business Knowledge and Applications
di: Hao, Jianing, et al.
Pubblicazione: (2026)

An Automated Computational Pipeline for Generating Large-Scale Cohorts of Patient-Specific Ventricular Models in Electromechanical In Silico Trials
di: Doste, Ruben, et al.
Pubblicazione: (2025)

Automated Glaucoma Report Generation via Dual-Attention Semantic Parallel-LSTM and Multimodal Clinical Data Integration
di: Huang, Cheng, et al.
Pubblicazione: (2025)

Fusing LLMs and KGs for Formal Causal Reasoning behind Financial Risk Contagion
di: Yu, Guanyuan, et al.
Pubblicazione: (2024)