Results 111 to 120 of about 1,057,123 (303)
07011 Executive Summary – Runtime Verification
, 2008 From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 "Runtime Verification" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Sokolsky, Oleg +3 more
core +1 more source
Engineering ReportsLithium‐ion batteries (LIBs) have gained significant attention in recent years due to their widespread applications in electric vehicles, portable electronics, energy storage, and renewable energy systems.
Boozula Aravind Reddy
doaj +1 more source
Structure‐forward targeting of claudins with synthetic binders
FEBS Letters, EarlyView.Claudins form the paracellular barriers between epithelial and endothelial tissues at tight junctions and are targets for molecular binders with the goal of modulating barrier permeability. Claudin‐binding molecules are relevant in drug delivery or in altering claudin interactions with disease‐causing proteins.
Alex J. Vecchio
wiley +1 more source
, 2009 Great progress has been made in software verification. One has only to look, for example, at the growth in power of SAT and its widening class of applications to realize that concerns early on that verification was fundamentally intractable and that it would remain a largely manual activity were mistaken.
openaire +1 more source
FEBS Letters, EarlyView.Animals must match their growth rate to available nutrients. We show that in Drosophila larvae, the nutrient‐sensing TOR kinase controls growth by regulating levels of TFAM, a key regulator of mitochondrial function, in the adipose tissue. When nutrients are abundant, high TOR activity suppresses TFAM, lowering mitochondrial bioenergetic activity and ...
Shrivani Sriskanthadevan‐Pirahas +4 more
wiley +1 more source
Engineering peptides into antibodies—opportunities and strategies for therapeutic innovation
FEBS Letters, EarlyView.Peptides and antibodies occupy complementary therapeutic niches. Peptides recognize difficult targets in a compact format, while antibodies add specificity, long half‐life, and effector functions. This review examines strategies that merge both modalities—peptide grafting into loops, terminal and Fc fusions, and bioconjugation—highlighting how ...
Jinling Wang +2 more
wiley +1 more source
Formal and efficient verification techniques for Real-Time UML models [PDF]
, 2006 The real-time UML profile TURTLE has a formal semantics expressed by translation into a timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT-LOTOS, was first used to check TURTLE models against design errors.
Sadani, Tarek +5 more
core
Practical Verification of Concurrent Haskell Programs
, 2022 The formal verification of concurrent programs is of particular importance, because concurrent programs are notoriously difficult to test. Because Haskell is a purely functional language, it is relatively easy to reason about the correctness of such ...
Schifferstein, Michelle (author)
core
Liver organoids: modelling complexity in homeostasis and disease
FEBS Letters, EarlyView.Studying liver in vitro has been challenging because simple 2D cell cultures fail to capture liver's cellular and architectural complexity. To bridge this gap, scientists increasingly use organoids, 3D liver models which better mimic liver composition and function. This review examines recent advances in liver organoid complexity and realism, discusses
Anna M. Dowbaj, Meritxell Huch
wiley +1 more source
Chicago Summer Institute 2013 - Truth and Verification
, 2013 A PDF file of the PowerPoint presentation on truth and verification. Topics include: how the verification process works, evidence for news consumers, what is journalism's obligation, how do journalists pursue the truth, journalist's code of ethics ...
Stony Brook University. School of Journalism. Center for News Literacy.
core