Results 121 to 130 of about 4,235,689 (341)

On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis. [PDF]

Diagnostics (Basel), 2021
Santone A, Belfiore MP, Mercaldo F, Varriano G, Brunese L.   +4 more
europepmc   +1 more source

Teaching Python with team‐based learning: using cloud‐based notebooks for interactive coding education

FEBS Open Bio, EarlyView.
This study presents a novel approach to teaching Python and bioinformatics using team‐based learning and cloud‐hosted notebooks. By integrating interactive coding into biomedical education, the method improves accessibility, student engagement, and confidence—especially for those without a computing background.
Nuno S. Osório, Leonardo D. Garma
wiley   +1 more source

Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods: A Pilot Study. [PDF]

J Clin Med, 2021
Rocca A, Brunese MC, Santone A, Avella P, Bianco P, Scacchi A, Scaglione M, Bellifemine F, Danzi R, Varriano G, Vallone G, Calise F, Brunese L.   +12 more
europepmc   +1 more source

Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems [PDF]

, 1989
S. Gerhart
openalex   +1 more source

Microbial profile of the appendix niche in acute appendicitis: a novel sampling approach

FEBS Open Bio, EarlyView.
This study utilized a novel sampling method, ERAT (i.e. endoscopic retrograde appendicitis treatment)‐guided lumen aspiration, to obtain samples from the appendix, and shotgun metagenomic sequencing was performed for in situ characterization of the appendix microbiome in patients with acute appendicitis.
Huimin Ma, Mingfei Wang, Yanhu Feng, Wanqi Zhang, Wenbo Wang, Yanfeng Xie, Guixiang Kong, Jie Feng, Pengfei Wang, Qi Wang, Xiaojun Huang   +10 more
wiley   +1 more source

A formal comparison of methods proposed for the numerical solution of first kind integral equations [PDF]

, 1981
Robert Anderssen, P. M. Prenter
openalex   +1 more source

Transcriptional regulation of neuropeptide receptors underlies context‐dependent adaptation in Drosophila melanogaster

FEBS Open Bio, EarlyView.
Under environmental changes, the expression level of neuropeptide (NP) and neuropeptide receptor (NPR) genes changes to confer context‐dependent adaptation to the model organism Drosophila melanogaster. Through finding more regulatory elements in the NPR genes in comparison with their ligands (NPs), we found that NPR‐biased transcriptional regulation ...
SeungHeui Ryu, Yanan Wei, Zekun Wu, Tianmu Zhang, DoHoon Lee, Hadi Najafi, Woo Jae Kim   +6 more
wiley   +1 more source

A formal adaption method for process descriptions [PDF]

, 1989
Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii   +3 more
openalex   +1 more source

Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom [PDF]

A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA.
Jamsek, Damir A.
core   +1 more source

Identification of amino acids essential for angulin‐1/3 binding of the tricellular tight junction binder, angubindin‐1

FEBS Open Bio, EarlyView.
Angubindin‐1 binds angulin‐1/‐3 at tricellular tight junctions, enhancing intestinal macromolecule permeation. Alanine scanning identified six essential residues (L562, L598, E638, V640, Y643, and K644) of angubindin‐1 critical for binding to angulin‐1/‐3 and permeation‐enhancing activity, providing insights for the development of targeted noninvasive ...
Taiki Kuzu, Yumi Iwashita, Keisuke Tachibana, Itsuki Nishino, Yuki Niwa, Atsuko Uyeda, Kazuki Matsuo, Masahiro Nagahama, Masuo Kondoh   +8 more
wiley   +1 more source