Results 131 to 140 of about 1,932,015 (306)
, 2003 This volume contains the proceedings of FM 2003, the 12th international formal Methods Europesymposium which was held in Pisa, Italy, on September 8-14 ...
Mandrioli, Dino +3 more
core
A robust semantics hides fewer errors
, 2009 In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
Reeves, Steve +3 more
core +1 more source
FEBS Open Bio, EarlyView.This paper reveals how human lactoferrin–albumin fusion (hLF‐HSA) potently suppresses lung adenocarcinoma cell migration. hLF‐HSA upregulates NHE7, leading to Golgi alkalization, disruption of the Golgi secretome, downregulation of MMP1, and reversal of EMT. These findings suggest a novel Golgi‐targeting strategy to suppress cancer cell migration.
Hana Nopia +3 more
wiley +1 more source
Derivation and characterization of retinal pigment epithelium from urine‐derived iPSCs
FEBS Open Bio, EarlyView.Age‐related macular degeneration causes vision loss via RPE dysfunction and loss. Traditional iPSC therapies rely on invasive biopsies, limiting scalability. Here, we utilize urine‐derived stem cells as an accessible source to generate u‐iPSCs, successfully differentiated into pigmented RPE. This “Urine‐to‐Retina” platform provides a promising path for
Daniella Beiner +7 more
wiley +1 more source
Aquaporin‐3 and aquaporin‐5 impact the development of pancreatic ductal adenocarcinoma spheroids
FEBS Open Bio, EarlyView.Schematic representation of the role of aquaporin‐3 (AQP3) and aquaporin‐5 (AQP5) in pancreatic ductal adenocarcinoma (PDAC). Both proteins are upregulated in PDAC and are associated with tumor progression and metastatic potential. Silencing AQP3 or AQP5 in PDAC spheroids results in decreased diameter, area, and overall growth, underscoring their key ...
Catarina Pimpão +3 more
wiley +1 more source
, 2006 Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac EngnAmong researchers and practitioners, there are disputations about whether, where, and to which degree formal methods
Zheng Yujun +3 more
core
Using formal methods for autonomous systems: Five recipes for formal verification
Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system’s behaviour.
Luckcuck, M.
core +1 more source
FEBS Open Bio, EarlyView.Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya +2 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
Formal Specification and validation of a Vital Communication Protocol
, 1999 Formal methods have a great potential of application as powerful specification and early debugging methods in the development of industrial systems. In certain application fields, formal methods are even becoming part of standards.
Cimatti, Alessandro +4 more
core