Results 61 to 70 of about 318,853 (271)
On the application of equivalence checking algorithms for program minimization
Труды Института системного программирования РАН, 2018 Equivalence checking algorithms found vast applications in system programming; they are used in software refactoring, security checking, malware detection, program integration, regression verification, compiler verification and validation.
V. A. Zakharov, V. V. Podymov
doaj +1 more source
Computation in Finitary Stochastic and Quantum Processes
, 2008 We introduce stochastic and quantum finite-state transducers as computation-theoretic models of classical stochastic and quantum finitary processes. Formal process languages, representing the distribution over a process's behaviors, are recognized and ...
Crutchfield, James P., Wiesner, Karoline
core +1 more source
Regular Combinators for String Transformations [PDF]
, 2014 We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation.
Alur R. +3 more
core +2 more sources
Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems
Advanced Functional Materials, EarlyView.MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley +1 more source
Finite-State Dimension and Lossy Decompressors [PDF]
, 2006 This paper examines information-theoretic questions regarding the difficulty of compressing data versus the difficulty of decompressing data and the role that information loss plays in this interaction.
Doty, David, Moser, Philippe
core +1 more source
Advanced Healthcare Materials, EarlyView.To dissect how mechanical forces influence intestinal physiology, we developed a stretchable 3D colon‐on‐chip that integrates tunable topography, stiffness and peristalsis‐like motion within a physiologically relevant microenvironment. We showed that stretching is a dominant factor governing epithelial behavior, markedly enhancing proliferation and ...
Moencopi Bernheim‐Dennery +10 more
wiley +1 more source
Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application
Advanced Materials, EarlyView.This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong +12 more
wiley +1 more source
Opportunities of Semiconducting Oxide Nanostructures as Advanced Luminescent Materials in Photonics
Advanced Materials, EarlyView.The review discusses the challenges of wide and ultrawide bandgap semiconducting oxides as a suitable material platform for photonics. They offer great versatility in terms of tuning microstructure, native defects, doping, anisotropy, and micro‐ and nano‐structuring. The review focuses on their light emission, light‐confinement in optical cavities, and
Ana Cremades +7 more
wiley +1 more source
Advanced Materials, EarlyView.A flexible and lightweight acoustic metamaterial composed of air cavities encased in polydimethylsiloxane (PDMS) is introduced to enhance ultrasound power transfer. The metamaterial leverages the strong reflectivity of air cavity boundaries to concentrate incoming ultrasound, thereby improving the performance of piezoelectric energy harvesters ...
Hyung‐Suk Kwon +4 more
wiley +1 more source
Forced axisymmetric oscillations of circular multilayer bimorph plates
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2017 A method for calculating circular multilayer bimorph plates is presented and new analytical solutions of axisymmetric dynamic problems of direct and inverse piezoelectric effects are obtained.
Dmitry A Shlyakhin, Olesya V Ratmanova
doaj +1 more source