Results 41 to 50 of about 488,501 (249)
In vitro cancer models are advantageous for studying important processes such as tumorigenesis, cancer growth, invasion, and metastasis. The complexity and biological relevance increase depending on the model structure, organization, and composition of materials and cells.
Kyndra S. Higgins+2 more
wiley +1 more source
The use of sequencing information in software specification for verification [PDF]
Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core +1 more source
This study develops a tissue‐engineered model of the atherosclerotic cap using human mesenchymal stromal cells (MSCs). After 2 weeks of culture to produce a collagenous matrix, a mineralizing medium induces microcalcifications over 4 weeks. These constructs, imaged with second harmonic generation microscopy, lead to reduced ultimate stress at rupture ...
Imke L. Jansen+4 more
wiley +1 more source
A detailed workflow for recombinant GALC production and characterization is presented to support enzyme replacement therapy for Krabbe disease. In vitro assays demonstrate that physiological GALC doses restore enzymatic activity and autophagic flux without affecting cell viability, whereas higher doses impair autophagy and reduce viability.
Ambra Del Grosso+5 more
wiley +1 more source
Ni‐base superalloys produced using additive manufacturing (AM) have a different response to heat treatments when compared to their conventional counterparts. Due to such unpredictability, various alloys with industrial interest are currently overlooked in most prior AM research.
Guilherme Maziero Volpato+6 more
wiley +1 more source
Characterizing pore types in carbonate rocks is essential for understanding their reservoir properties, such as water saturation, porosity, and permeability, as well as their reservoir quality and dynamic behavior. The aim and objective of this study are
Ahadollah Mirshadi+4 more
doaj +1 more source
Provably Correct Control-Flow Graphs from Java Programs with Exceptions [PDF]
We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original ...
Amighi, Afshin+2 more
core +1 more source
Laser remelting of a CrMnFeCoNi high‐entropy alloy reveals that optimal chemical homogenization occurs between 30 and 40 J·mm−2. Within this range, elemental segregation is reduced by over 30% compared to the as‐cast state. The study establishes this window as a fast, effective alternative to prolonged annealing for achieving uniform elemental ...
Ajay Talbot+5 more
wiley +1 more source
This study employs comprehensive source rock evaluation using seismic inversion, rock-eval pyrolysis, organic petrography and basin modeling techniques. The kerogen type is determined by using the Van Krevelen diagram, confirming Bahu-01, Nandpur-01 and ...
Qadeer Ahmad+2 more
doaj +1 more source
The stability of blue organic light-emitting diodes (OLEDs) is highly restricted by both the low electron transport mobility and the stability of the electron transport materials (ETMs).
Cheng Liu, Dongdong Zhang, Lian Duan
semanticscholar +1 more source