Filtry
Measurement of event-by-event fluctuations and order parameters in PHENIX.
Measurement of event-by-event fluctuations and order parameters in PHENIX.
BF - Elementární částice a fyzika vysokých energií
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Partial Order Reduction for State/Event LTL
The main contribution of the paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of sttuttering equivalence which we call st...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Partial Order Reduction for State/Event LTL
The paper introduces a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event...
IN - Informatika
- 2008 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
for partial order reduction. State/event LTL properties are, in general, not preserved interaction. State/event LTL (Chaki et al. 2004, 2005) incorporates both states and events contribution of this paper is a par...
IN - Informatika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Sequence of Events (SoE) Guideline
that can sort them in temporal order. Such ability is necessary for determining causal order of the events to be able to search for causality relations among them. The Guideline provides a wider look at the Sequence of
JD - Využití počítačů, robotika a její aplikace
- 2016 •
- Vsouhrn •
- Odkaz
Rok uplatnění
Vsouhrn - Souhrnná výzkumná zpráva
Výsledek na webu
An event-related fMRI study of self-paced alphabetically ordered writing of single letters
An event-related fMRI study of self-paced alphabetically ordered writing of single letters...
FH - Neurologie, neurochirurgie, neurovědy
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Temporal Ordering of Events via Deep Neural Networks
Ordering events with temporal relations in texts remains a challenge in natural language processing. In this paper, we introduce a new combined neural network architecture that is capable of classifying temporal relations between
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
BSE in Great Britain - history and order of events
FN - Epidemiologie, infekční nemoci a klinická imunologie
- 1997 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Hayek's Sensory Order: Unity Freedom and the Order of Events in Neural Network.
Basic themes in document: sensory order; physical order; neural network; mental model; explanation in detail; freedom.
AA - Filosofie a náboženství
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Multiplicatives, verbal classifiers and event-external/internal quantification
eventive higher-order units (Landman 2006, Henderson 2017). Building on the theory of Grimm (2012), I postulate to extend mereotopology to the domain of events parthood in the domain of events. The main puzzle con...
Linguistics
- 2024 •
- O
Rok uplatnění
O - Ostatní výsledky
- 1 - 10 z 90 922