Results 51 to 60 of about 10,141,921 (243)
Logics with rigidly guarded data tests [PDF]
Logical Methods in Computer Science, 2015 The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words.
Gabriele Puppis +2 more
doaj +1 more source
Advanced Science, EarlyView.A universal laser absorption model based on spectral integration enables the design of ultrabroadband dielectric multilayer reflectors for laser protection. The model reveals exponential decay of absorption characterized by two coefficients, and a design that prioritizes short‐wavelength reflection minimizes heating.
Yukang Feng +8 more
wiley +1 more source
Advanced Science, EarlyView.Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel +3 more
wiley +1 more source
Advanced Science, EarlyView.This cross‐species study reveals that pathological hyperactivity of BNST neurons in depressive states disrupts inhibitory period and isolated spikes in the BNST‐NAc circuit. DBS achieves its antidepressant effects by precisely restoring network inhibitory periods and high‐fidelity signal transmission.
Xin Lv +12 more
wiley +1 more source
Answering Schrödinger’s “What Is Life?”
Entropy, 2020 In his “What Is Life?” Schrödinger poses three questions: (1) What is the source of order in organisms? (2) How do organisms remain ordered in the face of the Second Law of Thermodynamics? (3) Are new laws of physics required?
Stuart Kauffman
doaj +1 more source
Advanced Energy and Sustainability Research, EarlyView.Triboelectric nanogenerators are vital for sustainable energy in future technologies such as wearables, implants, AI, ML, sensors and medical systems. This review highlights improved TENG neuromorphic devices with higher energy output, better stability, reduced power demands, scalable designs and lower costs.
Ruthran Rameshkumar +2 more
wiley +1 more source
AIP Advances, 2014 Based on solving numerically the generalized nonlinear Langevin equation describing the nonlinear dynamics of stochastic resonance by Fourth-order Runge-Kutta method, an aperiodic stochastic resonance based on an optical bistable system is numerically ...
Xuefeng Li, Guangzhan Cao, Hongjun Liu
doaj +1 more source
AIChE Journal, EarlyView.Abstract Bayesian estimation enables uncertainty quantification, but analytical implementation is often intractable. As an approximate approach, the Markov Chain Monte Carlo (MCMC) method is widely used, though it entails a high computational cost due to frequent evaluations of the likelihood function.
Tatsuki Maruchi +2 more
wiley +1 more source
Automatic Determination of Quasicrystalline Patterns from Microscopy Images
Advanced Intelligent Discovery, EarlyView.This work introduces a user‐friendly machine learning tool to automatically extract and visualize quasicrystalline tiling patterns from atomically resolved microscopy images. It uses feature clustering, nearest‐neighbor analysis, and support vector machines. The method is broadly applicable to various quasicrystalline systems and is released as part of
Tano Kim Kender +2 more
wiley +1 more source
A Direct Construction of Inter-Group Complementary Code Set
IEEE Access, 2018 Complete complementary codes (CCCs) is a collection of mutually orthogonal complementary codes and Inter-group complementary (IGC) code set consists of multiple disjoint groups of 2-D codes.
Palash Sarkar +3 more
doaj +1 more source