Results 211 to 220 of about 4,457,793 (257)
Database for ancestry-specific cross-tissue gene expression models: AGEMdb
Pagnuco I +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Expressive capacity of subregular expressions
RAIRO - Theoretical Informatics and Applications, 2018Different types of subregular expressions are studied. Each type is obtained by either omitting one of the regular operations or replacing it by complementation or intersection. For uniformity and in order to allow non-trivial languages to be expressed, the set of literals is a finite set of words instead of letters.
Martin Kutrib, Matthias Wendlandt
openaire +2 more sources
Expression Templates for Dot Product Expressions
Reliable Computing, 1999We use expression templates to obtain an easy to use, efficient C++ component for the computation of dot product expressions. Since loop fusion is done at compile time, we only need one dotprecision variable for arbitrary dot product expressions. The algorithms can easily be adapted to exploit parallelism in a distributed environment.
Michael Lerch +1 more
openaire +1 more source
EXPRESSIBLE SEMANTICS FOR EXPRESSIBLE COUNTERFACTUALS
The Review of Symbolic Logic, 2010Lewis (1981) showed the equivalence between two dominant semantic frameworks for counterfactuals: ordering semantics, which relies on orders between possible worlds, and premise semantics, which relies on sets of propositions (so-called ordering sources).
openaire +1 more source
2009 16th International Symposium on Temporal Representation and Reasoning, 2009
RoCTL* was proposed to model robustness in concurrent systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. Whether RoCTL* is more expressive than CTL* has remained an open problem since the RoCTL* logic was proposed.
John Christopher McCabe-Dansted +3 more
openaire +2 more sources
RoCTL* was proposed to model robustness in concurrent systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. Whether RoCTL* is more expressive than CTL* has remained an open problem since the RoCTL* logic was proposed.
John Christopher McCabe-Dansted +3 more
openaire +2 more sources
Expressiveness and Expressive Control
Personality and Social Psychology Bulletin, 1992Dispositionally expressive and unexpressive male subjects told truths and lies under low and high scrutiny. Subjects acted expressive, inhibited, and naturally. Judges rated subjects' performances. Subjects were able to regulate their expressiveness deliberately, but they were less successful when more highly scrutinized.
Bella M. DePaulo +3 more
openaire +1 more source
Expressive expression mapping with ratio images
Proceedings of the 28th annual conference on Computer graphics and interactive techniques, 2001Facial expressions exhibit not only facial feature motions, but also subtle changes in illumination and appearance (e.g., facial creases and wrinkles). These details are important visual cues, but they are difficult to synthesize. Traditional expression mapping techniques consider feature motions while the details in illumination changes are ignored ...
Zicheng Liu 0001 +2 more
openaire +1 more source
Individual face expressions and expression cloning
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 2004We develop a system to generate individual facial expression with minimal interactions, and expression cloning can be created for different 3D mesh model. In our system, expressions can be created with the muscle model, and muscular vectors adhere to the vertex in 3D mesh face model. Expressions can be generated after deforming the muscular vectors and
Ronghua Liang, Jiajun Bu, Chun Chen 0001
openaire +1 more source
Disquotationalism and Expressiveness
Journal of Philosophical Logic, 2005Kemp argues against the view that a truth predicate axiomatised be the disquotation scheme can serve the purpose of expressing generalisations that are not already expressible without the disquotation scheme. In particular, he argues against the claim that \textit{V.
openaire +1 more source