Results 121 to 130 of about 4,463,103 (324)

Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications

Sensors
The presented paper introduces a novel path planning algorithm designed for generating low-cost trajectories that fulfill mission requirements expressed in Linear Temporal Logic (LTL).
Changmin Baek, Kyunghoon Cho
doaj   +1 more source

Additional file 2 of A demonstration of using formal consensus methods within guideline development; a case study

, 2021
Patrice Carter, Keelin O’Donoghue, Katharina Dworzynski, Laura E. O’Shea, Victoria Louise Roberts, Tim Reeves, Anastasios Bastounis, M. A. Mugglestone, Joe Fawke, Stephen Pilling   +9 more
openalex   +1 more source

Interpretability and Fairness in Machine Learning: A Formal Methods Approach [PDF]

, 2023
Bishwamittra Ghosh
openalex   +1 more source

A general model for analysis of linear and hyperbolic enzyme inhibition mechanisms

FEBS Open Bio, EarlyView.
We developed a general enzyme kinetic model that integrates these six basic inhibition mechanism onto a single one. From this model, we deduced a general enzyme kinetic equation that through modulation of simple parameters, γ (the relative inhibitor affinity for two binding sites) and β (the reactivity of the enzyme–substrate–inhibitor complex), is ...
Rafael S. Chagas, Sandro R. Marana
wiley   +1 more source

HSP70 governs permeability and mechanotransduction in primary human endothelial cells

FEBS Open Bio, EarlyView.
HSP70 chemical inhibition reduces endothelial cell proliferation and increases permeability, the latter supported by normal interendothelial junctional protein distribution. HSP70 also plays a role in shear stress response, a hemodynamic force naturally present in blood vessels and correlated with vessel protection.
Andrea Pinto‐Martinez, Everton G. Melo, Isadora C. B. Pavan, Percíllia V. S. Oliveira, Luiza B. C. T. Coimbra, Thaís L. S. Araujo   +5 more
wiley   +1 more source

Impact of a senior research thesis on students' perceptions of scientific inquiry in distinct student populations

FEBS Open Bio, EarlyView.
This study addressed how a senior research thesis is perceived by undergraduate students. It assessed students' perception of research skills, epistemological beliefs, and career goals in Biochemistry (science) and BDC (science‐business) students. Completing a thesis improved confidence in research skills, resilience, scientific identity, closed gender‐
Celeste Suart, Haley L. Zubyk, Michelle Ogrodnik, Caitlin E. Mullarkey, Felicia Vulcu   +4 more
wiley   +1 more source

Correction to: Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]

JAMIA Open, 2023
europepmc   +1 more source

OpenSEA: Semi-Formal Methods for Soft Error Analysis [PDF]

, 2017
Patrick Klampfl, Robert Koenighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran   +5 more
openalex   +1 more source

Formal Methods Guest Editorial

Journal of Universal Computer Science, 2007
JUCS - Journal of Universal Computer Science Volume Nr.
openaire   +2 more sources

ATP13A2 is involved in intracellular polyamine transport in lung epithelial cells

FEBS Open Bio, EarlyView.
Spermidine transport in lung epithelial cells involves the polyamine transporter ATP13A2. Cell proliferation is associated with the upregulation of ATP13A2. Polyamines are present in all living cells and are implicated in various crucial cellular processes such as proliferation, apoptosis and autophagy.
Yuta Hatori, Kohei Kawabata, Takanori Kubo, Takeo Kitazawa, Sae Kanai, Madoka Iwashita, Ami Hayashi, Hiroyuki Nishi, Mikihisa Takano   +8 more
wiley   +1 more source