Results 191 to 200 of about 1,501,850 (327)
Automated Reasoning with Analytic Tableaux and Related Methods
, 2002 Uwe Egly, Chritian G. Fermüller
openalex +1 more source
CheckMate: Automated Game-Theoretic Security Reasoning [PDF]
, 2023 Lea Salome Brugger +4 more
openalex +1 more source
Engineering Complexity: Advances in 3D Breast Cancer Models for Precision Oncology
Advanced Healthcare Materials, EarlyView.In vitro breast cancer models that closely mimic the complex biological and cellular interactions within the tumor microenvironment hold strong promise for enhancing our understanding of tumor progression, immune system behavior, and resistance to therapies, which are essential for developing personalized cancer treatments. Abstract Engineered in vitro
Wonwoo Jeong, Sang Jin Lee
wiley +1 more source
Formalization of geometry, automated and interactive geometric reasoning [PDF]
, 2023 Zoltán Kovács, Predrag Janičić
openalex +1 more source
Harnessing Next‐Generation 3D Cancer Models to Elucidate Tumor‐Microbiome Crosstalk
Advanced Healthcare Materials, EarlyView.Centralizes the microbiome within 3D tumor‐microbiome model platforms, including spheroids, organoids, 3D‐bioprinted constructs, and microfluidic chips, each enabling structured host‐tumor‐microbe studies. These systems support bacterial colonization, facilitating investigation of microbial impacts on tumor growth, immunity, and therapy. The microbiome
Marina Green Buzhor +12 more
wiley +1 more source
An Integrated GIS-Expert System Framework for Live Hazard Monitoring and Detection
Sensors, 2008 In the context of hazard monitoring, using sensor web technology to monitor anddetect hazardous conditions in near-real-time can result in large amounts of spatial data thatcan be used to drive analysis at an instrumented site. These data can be used for
Steven M. Rozic +2 more
doaj
Integration of automated reasoning and computer algebra systems
, 2005 Olga Caprotti, Volker Sorge
openalex +1 more source
Learning to Prove Theorems via Interacting with Proof Assistants
, 2019 Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level ...
Deng, Jia, Yang, Kaiyu
core
Progressive Insights into 3D Bioprinting for Corneal Tissue Restoration
Advanced Healthcare Materials, EarlyView.This review explores the potential of 3D bioprinting to replicate the complex structure and function of the human cornea. It highlights key advances in bioink development, printing modalities, and in vivo performance, while addressing current challenges and emerging strategies. The review emphasizes bioprinting's promise to overcome donor shortages and
Ilayda Namli +6 more
wiley +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