Results 121 to 130 of about 23,407,383 (367)

Navigating new norms: a systematic review of factors for the development of effective digital tools in higher education

FEBS Open Bio, EarlyView.
What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman, Jessica Haines, Connie Pritchard, Stephen Rutherford, Nigel Francis   +4 more
wiley   +1 more source

Model checking copy phases of concurrent copying garbage collection with various memory models [PDF]

, 2017
Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda   +2 more
openalex   +1 more source

Hands‐on protocol for preparing water‐soluble fractions from agri‐food samples for NMR‐based metabolomics analysis

FEBS Open Bio, EarlyView.
This research protocol outlines a workflow for nuclear magnetic resonance (NMR)‐based metabolomics in the agri‐food sector. Using two case studies—strawberry leaves (solid matrix) and wine (liquid matrix)—it details the procedures for sample preparation, data acquisition, and processing.
Andrea Fernández‐Veloso, Jaime Hiniesta‐Valero, Alejandra Guerra‐Castellano, Miguel A. De la Rosa, Irene Díaz‐Moreno   +4 more
wiley   +1 more source

FGFR Like1 drives esophageal cancer progression via EMT, PI3K/Akt, and notch signalling: insights from clinical data and next‐generation sequencing analysis

FEBS Open Bio, EarlyView.
Clinical analysis reveals significant dysregulation of FGFRL1 in esophageal cancer (EC) patients. RNAi‐coupled next‐generation sequencing (NGS) and in vitro study reveal FGFRL1‐mediated EC progression via EMT, PI3K/Akt, and Notch pathways. Functional assays confirm its role in tumor growth, migration, and invasion.
Aprajita Srivastava, Anoop Saraya, Deepak Gunjan, Rinu Sharma   +3 more
wiley   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

KLK7 overexpression promotes an aggressive phenotype and facilitates peritoneal dissemination in colorectal cancer cells

FEBS Open Bio, EarlyView.
KLK7, a tissue kallikrein‐related peptidase, is elevated in advanced colorectal cancer and associated with shorter survival. High KLK7 levels in ascites correlate with peritoneal metastasis. In mice, KLK7 overexpression increases metastasis. In vitro, KLK7 enhances cancer cell proliferation, migration, adhesion, and spheroid formation, driving ...
Yosr Z. Haffani, Tobias Dreyer, Meriem Naim, Rea Lo Dico, Natalia A. Ignatenko, Viktor Magdolen, Dalila Darmoul   +6 more
wiley   +1 more source

Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]

Entropy (Basel), 2022
Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc   +1 more source

dUTPase is essential in zebrafish development and possesses several single‐nucleotide variants with pronounced structural and functional consequences

FEBS Open Bio, EarlyView.
dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon, Angéla Békesi, Latifa Kazzazy, Jázmin Mihály, Máté Varga, Beáta G. Vértessy, Kinga Nyíri   +6 more
wiley   +1 more source

Understanding bio‐based polymers: A study of origins, properties, biodegradation and their impact on health and the environment

FEBS Open Bio, EarlyView.
This review provides an overview of bio‐based polymer sources, their unique functional properties and their environmental impact, and addresses their role as sustainable alternatives. It discusses end‐of‐life options, including composting and anaerobic digestion for renewable energy.
Sabina Kolbl Repinc, Blaž Stres, Mirica Karlovits, Igor Karlovits, Petra Jerič, Ondrej Panák, Anja Verbič, Blaž Likozar, Uroš Novak   +8 more
wiley   +1 more source

A formal analysis method for composition protocol based on model checking. [PDF]

Sci Rep, 2022
Xiao M, Zhao H, Yang K, Ouyang R, Song W.   +4 more
europepmc   +1 more source