Filters
ENIGMAWatch: ProofWatch Meets ENIGMA
. ProofWatch is motivated by the watchlist (hints) method and based on symbolic matching of multiple related proofs, while ENIGMA is based on statistical machine learning. The two methods are combined by using the evolving informati...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The handball monitoring programme - an EHF contribution to computerized match observation and statistics
AK - Sport a aktivity volného času
- 1997 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Heart rate of athletes with intellectual disability during table tennis matches
their game day. Heart rate values during the matches were statistically processed along with the matches’ duration and the resulting match scores. Correlation coefficients obtained duration on the heart rate was n...
Sport and fitness sciences
- 2019 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Structure Description and Matching.
of the structure description suitable for further matching and a procedure for statistical evaluation of the match of two structures. Some details regarding the implementationStructure description and matching are...
BB - Aplikovaná statistika, operační výzkum
- 2009 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Complex Correlation Statistic for Dense Stereoscopic Matching
A traditional solution of area-based stereo uses some kind of windowed pixel intensity correlation. We introduce a new correlation statistic, which is completely invariant to image sampling, moreover it naturally provides a position of the c...
JD - Využití počítačů, robotika a její aplikace
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
MultiMS-toolbox
MultiMS-toolbox is a software toolbox for statistic software to efficiently search for differences in mass-spectrometry samples from long-term experiments (several runs per sample). The toolbox allows you to match peaks and peak clu...
CE - Biochemie
- 2012 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Behaviour of Fans During the Football Match
of the supporters, number of them in match statistics), at second place the resultThere is an area at each football match, where the core team supporters (a.k.a Ultras) are located. These visitors are actively supporting t...
JM - Inženýrské stavitelství
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Random point process model for analysis of score of sport matches
The paper proposes a model based on dynamic Poisson regression processes for prediction of development of score of sport matches. The approach was illustrated on real data from ice-hockey tournament of the Winter OH 2006....
BB - Aplikovaná statistika, operační výzkum
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
A Scalable Method for Efficient Stem Cell Donor HLA Genotype Match Determination
matches. For practical and technical reasons, these processes are often decoupled and the matched target is typed at high resolution. Under these two assumptions, sufficient statistical HLA analysis of a stem cell donor po...
Automation and control systems
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Association between body hight and serve speed in elite tennis players
serve), S1 (average speed of the first serve in a match), and S2 (average speed of the second serve in a match). The obtained data were of the world?s best tennis playersparticipants in all four Grand Slam tournaments in 2008. ...
AK - Sport a aktivity volného času
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 48 995