Results 121 to 130 of about 4,197,782 (360)
, 2015 VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs.
Jacobs, Bart +2 more
core +1 more source
From omics to AI—mapping the pathogenic pathways in type 2 diabetes
FEBS Letters, EarlyView.Integrating multi‐omics data with AI‐based modelling (unsupervised and supervised machine learning) identify optimal patient clusters, informing AI‐driven accurate risk stratification. Digital twins simulate individual trajectories in real time, guiding precision medicine by matching patients to targeted therapies.
Siobhán O'Sullivan +2 more
wiley +1 more source
Zhongguo yiliao qixie zazhiThis study conducted statistics on the special review applications for Class Ⅱ innovative medical devices in Shanghai from April 2020 to April 2023.
Qiong XIE
doaj +1 more source
, 2014 Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes significant overhead and delays discovery of faulty components to run-time.
Nguyen, Phuc C. +2 more
core +1 more source
The anabolic steroid stanozolol is a potent inhibitor of human MutT homolog 1
FEBS Letters, EarlyView.MutT homolog 1 (MTH1) is a member of the NUDIX superfamily of enzymes and is an anticancer drug target. We show that stanozolol (Stz), an anabolic steroid, is an unexpected nanomolar inhibitor of MTH1. The X‐ray crystal structure of the human MTH1–Stz complex reveals a unique binding scaffold that could be utilized for future inhibitor development ...
Emma Scaletti Hutchinson +7 more
wiley +1 more source
Verifying the Safety of a Flight-Critical System
, 2015 This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and involved ...
A. Platzer +11 more
core +1 more source
Aβ42 promotes the aggregation of α‐synuclein splice isoforms via heterogeneous nucleation
FEBS Letters, EarlyView.The aggregation of amyloid‐β (Aβ) and α‐synuclein (αSyn) is associated with Alzheimer's and Parkinson's diseases. This study reveals that Aβ aggregates serve as potent nucleation sites for the aggregation of αSyn and its splice isoforms, shedding light on the intricate interplay between these two pathogenic proteins.
Alexander Röntgen +2 more
wiley +1 more source
Production Risk Analysis and Key Points for Field Inspection of Medical Electron Linear Accelerator
Zhongguo yiliao qixie zazhiThe medical electron linear accelerator（LINAC） has the characteristics of complex system structure, many core components and high precision control requirements, which puts forward higher requirements for product quality control and regulation.
Yiqiang YANG
doaj +1 more source
Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) [PDF]
, 2007 Key substitution vulnerable signature schemes are signature schemes that permit an intruder, given a public verification key and a signed message, to compute a pair of signature and verification keys such that the message appears to be signed with the ...
Chevalier, Yannick, Kourjieh, Mounira
core +2 more sources
ERBIN limits epithelial cell plasticity via suppression of TGF‐β signaling
FEBS Letters, EarlyView.In breast and lung cancer patients, low ERBIN expression correlates with poor clinical outcomes. Here, we show that ERBIN inhibits TGF‐β‐induced epithelial‐to‐mesenchymal transition in NMuMG breast and A549 lung adenocarcinoma cell lines. ERBIN suppresses TGF‐β/SMAD signaling and reduces TGF‐β‐induced ERK phosphorylation.
Chao Li +3 more
wiley +1 more source