Results 121 to 130 of about 14,469 (313)
On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy
Advanced Science, EarlyView.An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley +1 more source
Advanced Science, EarlyView.A programmable 2048‐element circular ultrasound array combined with a compact acoustic lens produces a thin “sound sheet” over a large field of view, and records echoes with wide angular diversity across the ring aperture. Coherence‐enhanced beamforming converts full‐matrix data into high‐contrast tomographic slices, delivering near‐diffraction‐limited
Qiu‐De Zhang +11 more
wiley +1 more source
A compiler technology based approach to simulation of basic forms of automata
Journal of Computer Science and Technology, 2013 This dissertation formalizes a comprehensive approach based on compiler technology to simulate some basic forms of automata viz., finite accepters, finite transducers, pushdown accepters and Turing machines.
Pinaki Chakraborty
doaj
On non-recursive trade-offs between finite-turn pushdown automata
, 2004 It is shown that between one-turn pushdown automata (1-turn PDAs) and deterministic finite automata (DFAs) there will be savings concerning the size of description not bounded by any recursive function, so-called non-recursive tradeoffs.
Malcher, Andreas
core
Alternating multihead finite automata
, 1988 We define alternating multihead finite automata, a generalization of nondeterministic multihead finite automata based on the alternating Turing machine model introduced by Chandra, Kozen, and Stockmeyer (1981).
K.N. King, King, K.N.
core +1 more source
Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys
Advanced Science, EarlyView.This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin +11 more
wiley +1 more source
Advanced Science, EarlyView.This study presents a miniaturized bidirectional thermal stimulation system integrated with an electrode array enabling real‐time, bidirectional modulation and simultaneous recording of neural activity through localized heating and cooling. By monolithic integration of the Peltier element and with a silicon neural probe, the innovative system allows ...
Zoia Naumkina +6 more
wiley +1 more source
Non-blocking supervisory control for initialised rectangular automata
, 2004 We consider the problem of supervisory control for a class of rectangular automata and more specifically for compact rectangular automata with uniform rectangular activity, i.e. initialised.
Spathopoulos, M.P. +1 more
core
ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals
Advanced Science, EarlyView.The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray +3 more
wiley +1 more source
On the Dynamical Behavior of Cellular Automata on Finite Groups
IEEE AccessDuring the last few decades, significant efforts have been devoted to analyze the dynamical behavior of cellular automata (CAs) on cyclic groups, their Cartesian power (referred to as linear cellular automata), and on general abelian groups (referred to ...
Alberto Dennunzio +2 more
doaj +1 more source