Results 51 to 60 of about 48,451 (258)
Real‐Time 3D Ultrasound Imaging with an Ultra‐Sparse, Low Power Architecture
Advanced Healthcare Materials, EarlyView.This article presents a novel, ultra‐sparse ultrasound architecture that paves the way for wearable real‐time 3D imaging. By integrating a unique convolutional array with chirped data acquisition, the system achieves high‐resolution volumetric scans at a fraction of the power and hardware complexity.
Colin Marcus +9 more
wiley +1 more source
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita +2 more
doaj +1 more source
Advanced Materials, EarlyView.Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho +9 more
wiley +1 more source
Teaching Formal Models of Concurrency Specification and Analysis
Моделирование и анализ информационных систем, 2015 There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj +1 more source
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
Combining Temporal Logic Systems
Notre Dame Journal of Formal Logic, 1996 Modular combinations of temporal logic systems are investigated. Four methods for combining two temporal logics are described and studied. 1. The temporalization method, i.e. the external application of a temporal logic to another temporal system (adding a temporal dimension to a logic system). 2. The independent combination of two temporal systems. 3.
Finger, Marcelo, Gabbay, Dov
openaire +2 more sources
Advanced Materials, EarlyView.Electrochemical CO2RR is a key technology for converting CO2 into chemicals, but there remains a gap between “laboratory science” and “engineering practice” in current research. This review establishes a multi‐scale research framework, encompassing atomic‐level characterization, microenvironment regulation, external field‐assisted optimization, and AI ...
Ping Hong +3 more
wiley +1 more source
A system for deduction-based formal verification of workflow-oriented software models
International Journal of Applied Mathematics and Computer Science, 2014 The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered.
Klimek Radosław
doaj +1 more source
Executable Temporal Logic Systems
Journal of Symbolic Computation, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Orgun, Mehmet A. +6 more
openaire +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source