Results 271 to 280 of about 1,197,029 (323)

A Vascular Microphysiological Model of Lung Fibrosis Reveals That Myofibroblasts and IPF Patient‐Derived Fibroblasts Impair Angiogenesis and Vasculogenesis

Advanced Functional Materials, EarlyView.
A microphysiological lung fibrosis model recapitulates myofibroblast–vascular interactions. Induced myofibroblasts and patient‐derived IPF fibroblasts impair angiogenesis and increase vascular permeability via TGF‐β1–driven signaling. Pharmacological interventions with SB 431542 and VEGF supplementation restore vascular morphology and barrier function.
Elena Cambria, Adriana Blazeski, Eunkyung Clare Ko, Tran Thai, Shania Dantes, David A. Barbie, Sarah E. Shelton, Roger D. Kamm   +7 more
wiley   +1 more source

Ion and Solvent Dynamics in Charged 2D Clay Nanoslits with Unprecedented Ångström‐Precise Slit Height Control

Advanced Functional Materials, EarlyView.
The slit height of fluorohectorite 2D‐nanochannels is tuned with Å‐precision (2.4–250 Å). Slit‐height‐dependent ion and water mobilities are quantified by applying EIS, PFG‐NMR, and SFG‐NMR with MD simulations guiding interpretation. Diffuse properties are investigated with CP‐AFM, MD, and PB.
Max Stevenson, Sandra Pappler, Leonie Kanzler, Aqsa Nisar, Jepsinraj Kakkuzhiyulla Parambath, Markus Rosenstihl, Flora Lebeda, Sebastian Weiß, Georg Papastavrou, Michael Vogel, Jürgen Senker, Josef Breu   +11 more
wiley   +1 more source

Peptide Sequencing With Single Acid Resolution Using a Sub‐Nanometer Diameter Pore

Advanced Functional Materials, EarlyView.
To sequence a single molecule of Aβ1−42–sodium dodecyl sulfate (SDS), the aggregate is forced through a sub‐nanopore 0.4 nm in diameter spanning a 4.0 nm thick membrane. The figure is a visual molecular dynamics (VMD) snapshot depicting the translocation of Aβ1−42–SDS through the pore; only the peptide, the SDS, the Na+ (yellow/green) and Cl− (cyan ...
Apurba Paul, Archith Rayabharam, Lisa Almonte, Eveline Rigo, Joshy Joseph, Ashutosh Kumar, Zhuxin Dong, Narayana Aluru, Gregory Timp   +8 more
wiley   +1 more source

Model Checking and Verification of Synchronisation Properties of Cobot Welding

Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti   +4 more
openalex   +1 more source

Tunable and Recyclable Piezoelectric Biomaterials via Ion‐Directed Guanine‐Quadruplex Assembly

Advanced Functional Materials, EarlyView.
Guanine‐quadruplex (GQ) assemblies, formed via ion‐mediated self‐assembly of amphiphilic guanine derivatives, are introduced as tunable and recyclable piezoelectric biomaterials. Distinct alkali ions induce unique dipole configurations and piezoelectric outputs, with K⁺ yielding the highest performance.
Seungho Lee, Sangyun Na, Yumi Cho, Gaeun Park, Seung Hak Oh, Jaejun Kim, Byoung‐Ki Cho, Sang Kyu Kwak, Ja‐Hyoung Ryu, Hyunhyub Ko   +9 more
wiley   +1 more source

Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic

Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk   +4 more
openalex   +1 more source

Short-term functions and long-term consequences of body checking as a transdiagnostic phenomenon across eating disorders, body dysmorphic disorder, and illness anxiety disorder: a systematic review. [PDF]

J Eat Disord
Hofschröer V, Vivell MB, Vocks S, Hartmann AS.   +3 more
europepmc   +1 more source

Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking

Mohammadsadegh Mohagheghi, Khayyam Salehi   +1 more
openalex   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Model Checking

2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire   +5 more sources