Result 1 to 20 of 89 total
Exact distributional computations for roy’s statistic and the largest eigenvalue of a Wishart distribution (English)
Statistics and Computing 21, No. 2, 147-157 (2011).
1
io-port 05891992 Wilkinson, Phil;
Sengerova, Jitka;
Matteoni, Raffaele;
Chen, Chao-Kung;
Soulat, Gaetan;
Ureta-Vidal, Abel;
Fessele, Sabine;
Hagn, Michael;
Massimi, Marzia;
Pickford, Karen;
Butler, Richard H.;
Marschall, Susan;
Mallon, Ann-Marie;
Pickard, Amanda;
Raspa, Marcello;
Scavizzi, Ferdinando;
Fray, Martin;
Larrigaldie, Vanessa;
Leyritz, Johan;
Birney, Ewan;
Tocchini-Valentini, Glauco P.;
Brown, Steve D.M.;
Herault, Yann;
Montoliu, Lluis;
De Angelis, Martin Hrabé;
Smedley, Damian
EMMA - mouse mutant resources for the international scientific community. (English)
Nucleic Acids Res. 38, No. Database-Issue, 570-576 (2010).
2
On competitive and co-constructive dialectical argumentation (English)
ICLS, 213-215 (2010).
4
Pysmo: python shared memory objects (English)
PDPTA, 203-209 (2010).
5
Hunting for truly relevant articles in bioinformatics literature: a preliminary study (English)
BCB, 481-483 (2010).
6
The role of spreadsheets in the allied irish bank / allfirst currency trading fraud. (English)
Comput. Res. Repos. 2009, Article No. 0910.2048 (2009).
7
Formalization of the integral calculus in the PVS theorem prover. (English)
J. Formaliz. Reason. 2, No. 1, 1-26, electronic only (2009).
9
Log-rank permutation tests for trend: saddlepoint $p$-values and survival rate confidence inter\-vals. (English)
Can. J. Stat. 37, No. 1, 5-16 (2009).
10
Experimental evaluation of a planning language suitable for formal verification. (English)
Peled, Doron A. (ed.) et al., Model checking and artificial intelligence. 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-00430-8/pbk). Lecture Notes in Computer Science 5348. Lecture Notes in Artificial Intelligence, 132-146 (2009).
11
Palantir: a framework for collaborative incident response and investigation (English)
IDtrust, 38-51 (2009).
12
Risk assessment for spreadsheet developments: Choosing which models to audit. (English)
Comput. Res. Repos. 2008, Article No. 0805.4236 (2008).
13
Applying the cobit control framework to spreadsheet developments. (English)
Comput. Res. Repos. 2008, Article No. 0801.0609 (2008).
14
Simulation-assisted saddlepoint approximation. (English)
J. Stat. Comput. Simulation 78, No. 8, 731-745 (2008).
15
Observatory middleware framework (English)
eScience, 366-367 (2008).
16
Experimental evaluation of a planning language suitable for formal verification (English)
MoChArt, 132-146 (2008).
17
Spreadsheets in clinical medicine. (English)
Comput. Res. Repos. 2007, Article No. 0710.0871 (2007).
19
io-port 05193292 Butler, Randy;
Servilla, Mark;
Gage, Stuart;
Basney, Jim;
Welch, Von;
Baker, Bill;
Fleury, Terry;
Duda, Patrick;
Gehrig, David;
Bletzinger, Michael;
Tao, Jing;
Freemon, D.Michael
Cyberinfrastructure for the analysis of ecological acoustic sensor data: a use case study in grid deployment. (English)
Clust. Comput. 10, No. 3, 301-310 (2007).
20
Result 1 to 20 of 89 total
Start
Contact
Print
General Help
