4,883 research outputs found
LL-37 signaling increases CovS phosphatase activity.
No full text(A) Representative Western blot (top) and bar representation (bottom) depicting CovR~P levels and (B) hasA transcript levels (means ± standard deviations, n = 4) of indicated GAS strains grown to mid-exponential phase in THY or THY supplemented with 100nM LL-37. *** denotes significant difference (PhasA transcript levels of indicated strain grown in THY and THY + LL-37 as determined using Student’s t-test using Bonferonni’s correction for multiple comparisons.</p
(An) experiment with LL(1) parser
No full text학위논문 (석사) - 한국과학기술원 : 전산학과, 1979.2, [ [2], 42, vii p. ]The aim of this thesis is to experiment and implement a practical high level language compiler using LL(1) parser.
The programming language pl/O is selected for experiment. Implementation of PL/O compiler is explained as follows:
(1) Description of syntax analysis containing lexical scanning, parsing, and error recovery
(2) Design of PL/O machine and code generation
(3) Translation of PL/O code into 8080 assembly language.한국과학기술원 : 전산학과
Identifying LL Chondrite Near-Earth Asteroids Using LL Chondrite Reflectance Spectra
No full textMost near-Earth objects are thought to originate from the collisional fragments of the main asteroid belt. One question that remains to be resolved is the proportion of near-Earth objects sampling the core area material of the parent body to the outer layers. In this study, we developed a method to determine the petrologic type of ordinary chondrite parent bodies based on reflectance spectroscopy. We also calculated the petrologic type of asteroid (25143) Itokawa, which is consistent with the returned samples from the JAXA Hayabusa mission. Finally, we calculate the petrologic type of 28 LL near-Earth asteroids. Our results show that the surface material of most LL chondrite near-Earth asteroids is of petrologic grade higher than 4. The ratio of LL chondrite near-Earth asteroids with high petrologic type (5 and 6) to LL chondrite near-Earth asteroids with low petrologic type is 0.79. This also means that LL chondrite near-Earth asteroids may originate primarily from the core area of the main belt parent body or bodies
Natalia LL - artystka neoawangardowa
No full textThe paper shows Natalia Lach-Lachowicz (Natalia LL) as a neo avant-garde artist whose works in a specific maximalistic way are very close to the main currents of avant-garde trends: new mediality (photography), minimalism, conceptualism, performance, bodyart, pop-art, and feminist art. The author of the article concentrates mainly on the mutual influences of conceptualism, consumptionism, and feminism in Natalia LL’s works and pays attention to the emancipatory potential of her works of the seventies and the eighties
Practical Lock-Free Implementation of LL/SC Using Only Pointer-size CAS
No full textThe significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks the potentials for deadlock and priority inversion are avoided. The lock-free algorithms often require the use of special atomic processor instructions such as CAS (compare and swap) or LL/SC (load linked/store conditional). However, many machine architectures support either CAS or LL/SC with restricted semantics. In this paper, we present a Practical lock-free implementation of the ideal semantics of LL/SC using only pointer-size CAS. To ensure our implementation is not flawed, we used the higher-order interactive theorem prover PVS for mechanical support.
Energy flux in isotropic turbulence under large variations of external forcing
No full textWe investigate the response of energy flux in isotropic turbulence to step-function like perturbation in external forcing at large length scales. From both physical experiments and direct numerical simulations, we measured the evolution of the Eulerian velocity structure functions, such as , , before and after the perturbation in forcing. In both cases, we observed the cascade of the energy excess at large scales cascade through scales to the dissipative range, which can be used to study the dynamics of the cascade, and in particular, to estimate the relevant time scales
Practical Lock-Free Implementation of LL/SC Using Only Pointer-size CAS
No full textThe significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks the potentials for deadlock and priority inversion are avoided. The lock-free algorithms often require the use of special atomic processor instructions such as CAS (compare and swap) or LL/SC (load linked/store conditional). However, many machine architectures support either CAS or LL/SC with restricted semantics. In this paper, we present a Practical lock-free implementation of the ideal semantics of LL/SC using only pointer-size CAS. To ensure our implementation is not flawed, we used the higher-order interactive theorem prover PVS for mechanical support
Practical Lock-Free Implementation of LL/SC Using Only Pointer-size CAS
No full textThe significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks the potentials for deadlock and priority inversion are avoided. The lock-free algorithms often require the use of special atomic processor instructions such as CAS (compare and swap) or LL/SC (load linked/store conditional). However, many machine architectures support either CAS or LL/SC with restricted semantics. In this paper, we present a Practical lock-free implementation of the ideal semantics of LL/SC using only pointer-size CAS. To ensure our implementation is not flawed, we used the higher-order interactive theorem prover PVS for mechanical support
Practical Lock-Free Implementation of LL/SC Using Only Pointer-size CAS
No full textThe significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks the potentials for deadlock and priority inversion are avoided. The lock-free algorithms often require the use of special atomic processor instructions such as CAS (compare and swap) or LL/SC (load linked/store conditional). However, many machine architectures support either CAS or LL/SC with restricted semantics. In this paper, we present a Practical lock-free implementation of the ideal semantics of LL/SC using only pointer-size CAS. To ensure our implementation is not flawed, we used the higher-order interactive theorem prover PVS for mechanical support
Verification of a Lock-Free Implementation of Multiword LL/SC Object
No full textOn shared memory multiprocessors, synchronization often turns out to be a performance bottleneck and the source of poor fault-tolerance. By avoiding locks, the significant benefit of lock (or wait)-freedom for real-time systems is that the potentials for deadlock and priority inversion are avoided. The lock-free algorithms often require the use of special atomic processor primitives such as CAS (Compare And Swap) or LL/SC (Load Linked/Store Conditional). However, many machine architectures support either CAS or LL/SC, but not both. In this paper, we present a lock-free implementation of the ideal semantics of LL/SC using only pointer-size CAS, and show how to use refinement mapping to prove the correctness of the algorithm.
- …
