Computational logic and formal languages
Recently Published Articles
Hypodontia as an extended phenotype in families with nonsyndromic oral clefts: findings from a 39-family clinical cohort
Ana Laura Herrera Farha, Otávio Pagin, Izabel Maria Marchi de Carvalho, Ariadne Letra, Lucimara Teixeira das Neves
A Knowledge Graph-Driven Dietary Recommendation App for Chronic Kidney Disease: Development and Preliminary Accuracy Validation
Yu Yan, Di-Fei Duan, Deng-Yan Ma, Ke-Ding Huang, Shu Gong
Evolving the DarTwin evolution language
Øystein Haugen, Martin Arthur Andersen, Stefan Klikovits, Francis Bordeleau, Joost Mertens, Joachim Denil
On the Decomposition Group of a Nonsingular Plane Cubic by a Log Calabi-Yau Geometrical Perspective
Eduardo Alves da Silva
EXPRESS: High-resolution three-dimensional characterization of clot evolution in experimental intracerebral hemorrhage using diceCT
Tianjie Zhang, Fan Xia, Bang Teng, Mei Fang, Jiayan Wang, Zexu Wang, Dingke Wen, Chuanyuan Tao, Lu Ma, Xin Hu
Optimization of the Nitinol Framework of an Aortic Valve Bioprosthesis Using Numerical Simulation
S V Vladimirov, Yu M Prikhodko, V V Khakhalkin, V P Borodin, A B Mochalova, A V Bogachev-Prokofiev
Large language model linguistic perplexity in childhood onset psychosis: unique features and developmental trends
Anthony Deo, Cynthia Lando, Yuli Fradkin, Ameerah Ali, Thanharat Silamongkol, Emi Carpenter, Chloe Rosenkranz, Andrea Escoto, Caraline McDonnell, Rui He, Wolfram Hinzen, William W GRaves, Johanne Solis, Walter Barr, Emma Deaso, David Glahn, Michele T Pato, David Zald, Carlos Pato
Prediction of Solute Descriptors for Linear Solvation Energy Relationships Using K‑Nearest Neighbors, Group Contributions, and Graph-Convolutional Neural Networks
Nadin Ulrich, Valentin Istomin, Anton Kudria, Alexander Böhme, Karsten Voigt