Results 191 to 200 of about 1,494,052 (317)
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
The Key System: Integrating Object-Oriented Design and Formal Methods [PDF]
Wolfgang Ahrendt+8 more
openalex +1 more source
In this study, exciting new bi‐/multi‐linear elastic behavior of soft elastic composites that accompany the activation of wrinkling in the embedded interfacial layers is analyzed. The new features and performance of these composite materials, including dramatic enhancements in energy storage, can be tailored by the concentration of interfacial layers ...
Narges Kaynia+2 more
wiley +1 more source
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani+2 more
wiley +1 more source
A formal methods approach to the analysis of mode confusion [PDF]
Ricky W. Butler+3 more
openalex +1 more source
ErB4 and NdB4 nanostructured powders are produced by mechanochemical synthesis. 5 h mechanical alloying and 4 M HCl acid leaching are used in the production. ErB4 and NdB4 powders exhibit maximum magnetization of 0.4726 emu g−1 accompanied with an antiferromagnetic‐to‐paramagnetic phase transition at about TN = 18 K and 0.132 emu g−1 with a maximum at ...
Burçak Boztemur+5 more
wiley +1 more source
Characterization of N-Terminal Acetylated α-Hemoglobin Stabilizing Protein (AHSP) by Top-Down High-Resolution Mass Spectrometry From Human Preterm Newborns Oral Fluid. [PDF]
Iavarone F+19 more
europepmc +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
A model-based approach to automation of formal verification of ROS 2-based systems. [PDF]
Dust L+4 more
europepmc +1 more source