Results 91 to 100 of about 533,253 (261)

Graphical workstation capability for reliability modeling [PDF]

In addition to computational capabilities, software tools for estimating the reliability of fault-tolerant digital computer systems must also provide a means of interfacing with the user.
Bavuso, Salvatore J., Haley, Pamela J., Koppen, Sandra V.   +2 more
core   +1 more source

2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics

Advanced Functional Materials, EarlyView.
2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit, Yifei Yang, Shawn Li, Yu‐Chia Chen, Qi Jia, Jian‐Ping Wang   +5 more
wiley   +1 more source

Computational Modeling Meets 3D Bioprinting: Emerging Synergies in Cardiovascular Disease Modeling

Advanced Healthcare Materials, EarlyView.
Emerging advances in three‐dimensional bioprinting and computational modeling are reshaping cardiovascular (CV) research by enabling more realistic, patient‐specific tissue platforms. This review surveys cutting‐edge approaches that merge biomimetic CV constructs with computational simulations to overcome the limitations of traditional models, improve ...
Tanmay Mukherjee, Mehdi Salar Amoli, Sarah Rezapourdamanab, Lama Rita El Shammas, Martin L. Tomov, Emilio A. Mendiola, Vahid Serpooshan, Reza Avazmohammadi   +7 more
wiley   +1 more source

Automatic Variational Inference in Stan [PDF]

, 2015
Variational inference is a scalable technique for approximate Bayesian inference. Deriving variational inference algorithms requires tedious model-specific calculations; this makes it difficult to automate.
Blei, David M., Gelman, Andrew, Kucukelbir, Alp, Ranganath, Rajesh   +3 more
core  

Termination Casts: A Flexible Approach to Termination with General Recursion

, 2010
This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
A. Abel, A. Bove, A. Miquel, A. Stump, A. Stump, Aaron Stump, Ana Bove, B. Barras, C. Chen, E Pasalic, Ekaterina Komendantskaya, G. Barthe, K. Crary, L. Augustsson, M. Beeson, M. Sozeau, Milad Niqui, N. Mishra-Linger, P. Sewell, P. Wadler, S. Feferman, Stephanie Weirich, T. Sheard, V. Capretta, Vilhelm Sjöberg   +24 more
core   +3 more sources

Paracrine Factor Local Gradient‐Generating System for Engineering Perfusable Vascularized Hepatocyte Tissues with Perfusion‐Induced Proliferation

Advanced Healthcare Materials, EarlyView.
A paracrine factor local gradient (PFLG)‐generating system enables microvessel penetration across 3D hepatocyte tissues. The resulting vascularized constructs recapitulate hepatic sinusoidal hepatocyte—endothelial contact architecture and enhance hepatic functions in vitro.
Yen‐Hsiang Huang, Tadahiro Yamashita, Ryo Sudo   +2 more
wiley   +1 more source

Towards Patterns for Heaps and Imperative Lambdas

, 2015
In functional programming, point-free relation calculi have been fruitful for general theories of program construction, but for specific applications pointwise expressions can be more convenient and comprehensible.
Naumann, David A.
core   +1 more source

Small Extracellular Vesicles from Neural Cells: Physiological and Pathological Roles, and Potential in Neurodegenerative Therapy

Advanced Healthcare Materials, EarlyView.
Neural cell–derived small extracellular vesicles (sEVs) are emerging as pivotal mediators in neurodegenerative diseases, exerting both pathogenic and therapeutic functions. This review synthesizes current evidence on how sEVs from distinct neural cell types regulate neurodegeneration, neuroprotection, biomarker discovery, and targeted drug delivery ...
Muhammad Waqas Salim, Wei Zhang, Lyndsey Collins‐Praino, Yuling Wang, Andrew Care   +4 more
wiley   +1 more source

A Modular Bioinstructive Platform Reveals Mechanistic Insights into Additive‐Free, Topography‐Driven Osteogenesis

Advanced Healthcare Materials, EarlyView.
Engineered microparticle topographies direct human mesenchymal stem cell osteogenesis without biochemical additives. This osteogenic commitment is driven by canonical Hedgehog signaling and followed by temporal IGF‐II engagement. Two‐photon polymerization demonstrates spatial control, enabling the engineering of topographical gradients that pattern ...
Fatmah I. Ghuloum, Leo A. H. Zeef, Lee A. Stevens, Marco A. N. Domingos, Susan J. Kimber, Mahetab H. Amer   +5 more
wiley   +1 more source

Mapping the Cerebral Organoid Landscape: A Systematic Review of Preclinical 3D Models in Neuroscience

Advanced Healthcare Materials, EarlyView.
Cerebral organoids are transforming brain research, yet the field remains fragmented. This comprehensive systematic review maps 738 studies published between 2014 and 2024 to uncover trends, gaps, and opportunities across neuroscience. Introducing OrganoidMap—an interactive, open‐access platform to explore and compare models—this work enables ...
Anna Wolfram, Vanessa Arnold, Maik Wolfram‐Schauerte, Anastassiya Moskalchuk, Caroline Trust, Marie Vontz, Mona Scheurenbrand, Vijayasarathy Sampath‐Kumar, Sogand Ahari, Carlos Romero‐Nieto, Lisa Sevenich   +10 more
wiley   +1 more source