Results 251 to 260 of about 24,536 (301)
Some of the next articles are maybe not open access.
[Pals don't evaluate pals...: or do they?].
Revista espanola de salud publica, 2016123
López-ValcáRcel, Beatriz González +1 more
openaire +2 more sources
2011
In the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a 'core set' of the so-called reduction axioms. In particular, there is a composition axiom which stipulates how two consecutive announcements are composed into one. In this paper, by designing non-standard Kripke semantics
openaire +2 more sources
In the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a 'core set' of the so-called reduction axioms. In particular, there is a composition axiom which stipulates how two consecutive announcements are composed into one. In this paper, by designing non-standard Kripke semantics
openaire +2 more sources
IEEE Journal of Solid-State Circuits, 1980
An integrated PAL decoder will be presented using CCDs not only for the 64 μs delay of the colour signal but also taking over the functions of synchronous demodulation and matrix addition with the same CCD electrodes.
P. Christiansen, G. R. Kohlbacher
openaire +1 more source
An integrated PAL decoder will be presented using CCDs not only for the 64 μs delay of the colour signal but also taking over the functions of synchronous demodulation and matrix addition with the same CCD electrodes.
P. Christiansen, G. R. Kohlbacher
openaire +1 more source
Gait recognition based on gait pal and pal entropy image
2013 IEEE International Conference on Image Processing, 2013Human Gait recognition is one of the most promising research areas at the moment. Gait is the style or manner of walking on foot. Gait recognition aims to identify individuals by the manner in which they walk. Existing Gait representations which capture both motion and appearance information are sensitive to changes in various covariate conditions such
M. Jeevan +3 more
openaire +2 more sources
Novel anti-melanogenic hexapeptoids, PAL-10 and PAL-12
Archives of Dermatological Research, 2015Diverse compound sources are being explored for de-pigmentation activities to develop novel therapeutic agents or functional cosmetic ingredients for hyper-pigmentation disorders. Peptoids are a class of peptidomimetics whose side chains are appended to the nitrogen atom of the peptide backbone, instead of α-carbon.
Miri, Lee +7 more
openaire +2 more sources
Stage 3—Closing PAL and PAL Knowledge
2019In the final stage of the PAL life cycle, performance outcomes are reviewed to make sure the predefined goals are achieved. The Post-PAL review is therefore very important as it serves as a ‘gauging’ process. This chapter presents the key tasks involved in the Post-PAL review process.
Kris M. Y. Law, Shuang Geng
openaire +1 more source
PAL – Propositional Algorithmic Logic
Fundamenta Informaticae, 1981The aim of propositional algorithmic logic is to investigate the properties of program connectives. Complete axiomatic systems for deterministic as well as for nondeterministic interpretations of program variables are presented. They constitute basic sets of tools useful in the practice of proving the properties of program schemes.
openaire +4 more sources
Proceedings of the 13th international workshop on Network and operating systems support for digital audio and video, 2003
This paper presents a new framework for Peer-to-Peer Adaptive Layered Streaming, called PALS. PALS is a receiver-driven approach for quality adaptive playback of layer encoded streaming media from a group of congestion controlled sender peers to a single receiver peer.
Reza Rejaie, Antonio Ortega
openaire +2 more sources
This paper presents a new framework for Peer-to-Peer Adaptive Layered Streaming, called PALS. PALS is a receiver-driven approach for quality adaptive playback of layer encoded streaming media from a group of congestion controlled sender peers to a single receiver peer.
Reza Rejaie, Antonio Ortega
openaire +2 more sources
1981
The LIFO or pushdown principle and the FIFO or queue principle are compared in the framework of language theory. To this effect, languages which characteristically describe these principles are studied comparing the least cones or semiAFLs containing them.
openaire +2 more sources
The LIFO or pushdown principle and the FIFO or queue principle are compared in the framework of language theory. To this effect, languages which characteristically describe these principles are studied comparing the least cones or semiAFLs containing them.
openaire +2 more sources
Response to A. Chauhan and A. Pal
British Journal of Cancer, 2022Alexios Matikas, Vassilis Georgoulias
openaire +2 more sources