A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday [PDF]
, 2019 David Baelde +3 more
openalex +1 more source
Bioengineered Lymphatic Vessels in Synthetic Matrices to Study Breast Cancer Cell Functions
Advanced Healthcare Materials, EarlyView.Lymphatic vessels are involved in cancer metastasis. To study the interplay between metastasizing cancer cells and lymphatic vessels under highly reproducible conditions, advanced in vitro models are required. In this work, 3D lymphatic networks are formed in biomimetic hydrogels and their interactions with invasive and non‐invasive cancer cell‐lines ...
Rodi Odabasi +7 more
wiley +1 more source
Single-cell omics arena: evaluation of large language models for automatic cell-type annotations on single-cell omics data via RNA-seq bridging. [PDF]
Brief BioinformLiu J, Xu S, Wu Y, Zhang J.
europepmc +1 more source
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic [PDF]
Johannes Niederhauser +2 more
openalex +1 more source
Synthetic Cell‐Based Tissues for Bottom‐Up Assembly of Artificial Lymphatic Organs
Advanced Healthcare Materials, EarlyView.Synthetic cells have emerged as a novel biomimetic approach for fundamental research and therapeutic interventions. T cell activating synthetic cells are able to form 3D tissue‐like structures by self‐assembly into lymphatic bottom‐up tissues (lymphBUT) with tunable biochemical and biomechanical functionalities as well as metabolic activity are ...
Anna Burgstaller +5 more
wiley +1 more source
Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning [PDF]
Yànfāng Zhāng +5 more
openalex +1 more source
Advanced Healthcare Materials, EarlyView.Due to its multifunctionality, replicating the fibrillar and supramolecular architecture of Collagen I is gaining increasing priority in regenerative medicine. Using rotational Melt Electrofibrillation, we present a powerful method to accurately mimic the ultrastructure of Collagen with polycaprolactone, enabling the one‐step fabrication of three ...
Zan Lamberger +11 more
wiley +1 more source
AI-enhanced adaptive testing with cognitive diagnostic feedback and its association with performance in undergraduate surgical education: a pilot study. [PDF]
Front Behav NeurosciSilva Gonçalves N +2 more
europepmc +1 more source
Advanced Healthcare Materials, EarlyView.xx xx. ABSTRACT Osseointegration of orthopedic and dental implants is influenced by local and systemic factors, including their physicochemical surface properties and the patient's overall health status. Titanium and its alloys have been a longstanding standard for bone implants due to their innate biocompatibility and mechanical properties.
Dainelys Guadarrama Bello +2 more
wiley +1 more source
A Question Answering Dataset for Temporal-Sensitive Retrieval-Augmented Generation. [PDF]
Sci DataChen Z +9 more
europepmc +1 more source