Results 31 to 40 of about 29,740 (183)
Finding polynomial loop invariants for probabilistic programs
, 2017 Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants.
A Chakarov +22 more
core +1 more source
A Review on Microreactor Design for Effective Fischer–Tropsch Process Intensification
Advanced Materials Technologies, EarlyView.Design strategies for effective Fischer–Tropsch process intensification are summarized based on experimental and simulation experiences. Recommendations for catalyst loading of packed‐bed and wash‐coated microchannel, microtube, micromonolith, and microstructured reactors are discussed.
Yangjun Wei +5 more
wiley +1 more source
Learning Parameterized Skills [PDF]
, 2012 We introduce a method for constructing skills capable of solving tasks drawn from a distribution of parameterized reinforcement learning problems. The method draws example tasks from a distribution of interest and uses the corresponding learned policies ...
Barto, Andrew +2 more
core +2 more sources
Inverse Design in Nanophotonics via Representation Learning
Advanced Optical Materials, EarlyView.This review frames machine learning (ML) in nanophotonics through a classification based on where ML is applied. We categorize methods as either output‐side, which create differentiable surrogates for solving Maxwell's partial differential equations (PDEs), or input‐side, which learn compact representations of device geometry.
Reza Marzban +2 more
wiley +1 more source
A Language and Toolset for the Synthesis and Efficient Simulation of Clock-Cycle-True Signal-Processing Algorithms [PDF]
, 2005 Optimal simulation speed and synthesizability are contradictory requirements for a hardware description language. This paper presents a language and toolset that enables both synthesis and fast simulation of fixed-point signal processing algorithms at ...
Gerez, Sabih H. +2 more
core +1 more source
Directing the Mobility of Guest Molecules in Nanoporous Materials by Linearly Polarized Light
Advanced Science, EarlyView.The polarization of light is introduced as a further parameter to dynamically and reversibly control the properties of a photoresponsive nanoporous material. It was used to control the mobility of the guest molecules in the pores of a metal–organic framework.
Taher Al Najjar +11 more
wiley +1 more source
"Rewiring" Filterbanks for Local Fourier Analysis: Theory and Practice
, 2009 This article describes a series of new results outlining equivalences between certain "rewirings" of filterbank system block diagrams, and the corresponding actions of convolution, modulation, and downsampling operators.
Hirakawa, Keigo, Wolfe, Patrick J.
core +1 more source
Advanced Science, EarlyView.Heterogeneous distributions of elasticity parameters are learned from noisy displacement data using the Inverse Elasticity Physics‐Informed Neural Network (IE‐PINN). This approach integrates both data‐driven and physics‐driven methods to address the significant limitations faced by existing techniques.
Tatthapong Srikitrungruang +4 more
wiley +1 more source
Advanced Science, EarlyView.Molybdenum (Mo), with its unique strength, uniform corrosion, and radiopacity, enables innovative biodegradable implants for transformative stroke therapy. Abstract Neurovascular implants for stroke intervention face a critical dilemma: permanent devices (e.g., nitinol stents, platinum coils) often trigger chronic inflammation and recurrence, whereas ...
Yunong Shen +11 more
wiley +1 more source
Bridging Mechanistic and Phenomenological Models of Complex Biological Systems
, 2016 The inherent complexity of biological systems gives rise to complicated mechanistic models with a large number of parameters. On the other hand, the collective behavior of these systems can often be characterized by a relatively small number of ...
Qiu, Peng, Transtrum, Mark K.
core +2 more sources