Results 61 to 70 of about 488,501 (249)
DECONVOLUTION-TYPE IMAGING CONDITION EFFECTS ON SHOT-PROFILE MIGRATION AMPLITUDES
CT&F Ciencia, Tecnología & Futuro, 2012 Amplitude preservation in Pre-Stack Depth Migration (PSDM) processes that use wave field extrapolation must be ensured - first, in the operators used to continue the wavefield in time or depth, and second, in the imaging condition used to estimate the ...
Flor A Vivas-Mejía +3 more
doaj
Solution structure of the pseudoknot of SRV-1 RNA, involved in ribosomal frameshifting1
Journal of Molecular Biology, 2001 RNA pseudoknots play important roles in many biological processes. In the simian retrovirus type-1 (SRV-1) a pseudoknot together with a heptanucleotide slippery sequence are responsible for programmed ribosomal frameshifting, a translational recoding ...
P. Michiels +5 more
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.In this work, melt electrowriting is used to fabricate a 3D printed scaffold design that generates engineered cardiac tissues with in‐plane contraction, mimicking natural myocardium. It is shown that these tissues display advanced maturation and functionality.
Olalla Iglesias‐García +23 more
wiley +1 more source
An abstract machine for restricted and-parallel execution of logic programs
, 1986 Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential
Hermenegildo, Manuel V.
core +1 more source
Advanced Functional Materials, EarlyView.This work investigates modifying interfacial contacts in realizing giant‐performance semiconductor nanomembrane optoelectronics. Strategies, including surface reaction and buffer layer work‐function modulation, are explored to boost the Schottky barrier. An emerging material of YbOx is utilized for near‐ideal Ohmic contact.
Yibo Zhang +5 more
wiley +1 more source
Deadlock detection of Java Bytecode
, 2017 This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models
AE Flores-Montoya +5 more
core +1 more source
Advanced Functional Materials, EarlyView.Bi‐directionally assembled BN µ‐platelets in micropatterns formed by a micro‐molding method for thermal interface materials are demonstrated. The BN µ‐platelets are vertically aligned selectively, while compressed regions without patterns accommodate horizontally assembled BN µ‐platelets. Through anisotropic orientation, high thermal conductivities for
Young Gil Kim +12 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A novel phthalocyanine (PC)‐based metal–organic framework (MOFs) is synthesized using ditopic PC linkers obtained through regioselective statistical condensation. The resulting MOF exhibits significant improvements in electronic absorption, thereby enhancing the material's performance in light harvesting and energy conversion.
Lukas S. Langer +12 more
wiley +1 more source
Separation Logic for Small-step Cminor [PDF]
, 2007 Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language.
Appel, Andrew W., Blazy, Sandrine
core +3 more sources
, 1998 We fabricated small-size stacks on the surface of Bi$_2$Sr$_2$CaCu$_2$O$_{8+x}$ (BSCCO-2212) single crystals with the bulk transition temperature $T_c$$\simeq$90 K, each containing a few intrinsic Josephson junctions. Below a critical temperature $T_c'$ (
Chang, Hyun-Sik +3 more
core +1 more source