Results 61 to 70 of about 699 (280)

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

, 2017
The memory consistency model is a fundamental part of any shared memory architecture or programming model. Modern weak memory models are notoriously difficult to define and to implement correctly.
Alexandros Papakonstantinou, Olivier Giroux, Daniel Lustig, Andrew Wright   +3 more
core   +2 more sources

Cellular Responses to Mechanical Cues Across Scales: From Fundamental Insights to Translational Potential

Advanced Healthcare Materials, EarlyView.
This review examines how cellular behavior is regulated by mechanical cues transmitted through soft biomaterials, from single‐cell mechanosensing to tissue‐level adaptation. It highlights why physiological relevance, rather than model complexity alone, is critical for translational mechanobiology and introduces a scoring framework linking material ...
Mathias Polz, Manuel P. Kainz, Niklas Haider, Theresa Rienmüller, Kerstin Lenk, Rupert Kargl, Michele Terzano, Gerhard Sommer, Gerhard A. Holzapfel, Julia Fuchs   +9 more
wiley   +1 more source

Triton/1: A Massively-Parallel Mixed-Mode Computer Designed to Support High Level Languages

, 1993
We present the architecture of Triton/1, a scalable, mixed-mode (SIMD/MIMD) parallel computer. The novel features of Triton/1 are: ffl Support for high-level, machine-independent programming languages; ffl Fast SIMD/MIMD mode switching; ffl Special ...
Christian G. Herter, Walter F. Tichy, Michael Philippsen, Herter, Christian G., Philippsen, Michael, Warschko, Thomas M., Thomas M. Warschko, Tichy, Walter F.   +7 more
core   +2 more sources

Turning Water Into a Tool: From Degradation Pathways to Functional Engineering in Halide Perovskites

Advanced Materials Technologies, EarlyView.
Water exhibits a threshold‐dependent dual role in lead halide perovskites, acting either as a degradation trigger or as a powerful tool for defect passivation, recrystallization, and structural engineering. This review discusses how controlled water‐mediated interactions govern stability, dimensionality, and optoelectronic performance, providing ...
Raphaella T. S. Gonçalves, Gabriela O. Gera, Aryane Tofanello, Jose A. Souza, Andre L. M. Freitas   +4 more
wiley   +1 more source

Detecting Undefined Behaviors in CUDA C

IEEE Access, 2019
With the increasing deployment of GPUs in many domains, it is important to enhance the dependability of GPU-based systems especially in mission critical environments.
Wentao Li, Jianhua Sun, Hao Chen
doaj   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

Swift: Compiled Inference for Probabilistic Programming Languages

CoRR, 2016
A probabilistic program defines a probability measure over its semantic structures. One common goal of probabilistic programming languages (PPLs) is to compute posterior probabilities for arbitrary models and queries, given observed evidence, using a generic inference engine.
Yi Wu 0013, Lei Li 0005, Stuart Russell 0001, Rastislav Bodík   +3 more
openaire   +3 more sources

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Compact Tabletop Magnetic Resonance Elastography for Mapping Soft Tissue Viscoelasticity

Advanced Science, EarlyView.
This work introduces a compact, low‐cost tabletop magnetic resonance elastography platform for high‐resolution viscoelastic mapping in soft‐tissue specimens. Using this method in human colorectal liver metastases, we demonstrate fully automated biomechanical profiling of treatment response and show that heterogeneity‐based metrics outperform ...
Weijie Zhao, Lisa‐Marie Skrip, Heiko Tzschätzsch, Tom Meyer, Hossein S. Aghamiry, Alexander Arnold, Lene Änne Böhne, Jakob Jordan, Oliver Boehm, Agnes K. Boehm, Steffen Görner, Jakob Schattenfroh, Yanglei Wu, Pedro Augusto Dantas de Moraes, Johann Pratschke, Jürgen Braun, Igor M. Sauer, Jing Guo, Ingolf Sack, Karl H. Hillebrandt   +19 more
wiley   +1 more source

High performance Boson sampling simulation via data-flow engines

New Journal of Physics
Boson sampling (BS) is viewed to be an accessible quantum computing paradigm to demonstrate computational advantage compared to classical computers. In this context, the evolution of permanent calculation algorithms attracts a significant attention as ...
Gregory Morse, Tomasz Rybotycki, Ágoston Kaposi, Zoltán Kolarovszki, Uroš Stojčić, Tamás Kozsik, Oskar Mencer, Michał Oszmaniec, Zoltán Zimborás, Péter Rakyta   +9 more
doaj   +1 more source