Results 251 to 260 of about 47,932 (337)
Decidability and Confluence of βη top≤ Reduction in F≤
, 1994 Pierre-Louis Curien, Giorgio Ghelli
openalex +1 more source
Advanced Biology, EarlyView.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
On Michael Dummett's Notion of Decidability
Kansas Working Papers in Linguistics, 1983 Nara, Hiroshi
doaj +1 more source
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.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
On the Decidability of Certain Integer Subgraph Problems on Context-Free Graph Languages
, 1994 Egon Wanke
openalex +1 more source
A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion
Advanced Engineering Materials, EarlyView.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