Results 171 to 180 of about 1,133,638 (315)
Extracellular vesicles (EVs) play a dual role in diagnostics and therapeutics, offering innovative solutions for treating cancer, cardiovascular, neurodegenerative, and orthopedic diseases. This review highlights EVs’ potential to revolutionize personalized medicine through specific applications in disease detection and treatment.
Farbod Ebrahimi+4 more
wiley +1 more source
NL/sub q/ theory: checking and imposing stability of recurrent neural networks for nonlinear modeling [PDF]
Johan A. K. Suykens+2 more
openalex +1 more source
RhoA and Rac1 as Mechanotransduction Mediators in Colorectal Cancer
Analysing RhoA and Rac1 protein levels in Colorectal cancer (CRC) samples under mechanical strain highlights their potential as diagnostic markers. Monitoring their activity could offer valuable insights into how cancer spreads, paving the way for new approaches to better understand and diagnose colorectal cancer.
Sharda Yadav+5 more
wiley +1 more source
Verification of Erlang programs using abstract interpretation and model checking [PDF]
Frank Huch
openalex +1 more source
Using supramolecular monomers, various hydrogel culture systems were formulated to culture protoplasts; including 2D, 2.5D, and 3D hydrogels. Depending on the culture platform, bioactive functionalization led to protoplast enlargement (2D and 2.5D) or plasmolysis (3D). This work shows the potential to modularly engineer synthetic platforms for cellular
Maritza M. Rovers+3 more
wiley +1 more source
The glomerular filtration barrier (GFB) is the first step of blood filtration by the kidneys. The concerning increase of kidney diseases makes the development of new models essential. In this context, microphysiological glomerular filtration barriers focus on closely reproducing the physiological architecture of the in vivo GFB: podocytes, glomerular ...
Manon Miran+5 more
wiley +1 more source
HORNSAT, model checking, verification and games [PDF]
Sandeep K. Shukla+2 more
openalex +1 more source
A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion
A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann+5 more
wiley +1 more source
Assessing the Ecological Value: Monetizing Process Innovations in Tailored Forming
This article introduces a method for evaluating the sustainability of innovations, even with limited data. The method is illustrated through an analysis of the “Tailored Forming” technology, which explores the impact of sustainability on economic value added.
Jonas Schneider+4 more
wiley +1 more source