Result 1 to 20 of 99 total
A duality between exceptions and states. (English)
Math. Struct. Comput. Sci. 22, No. 4, 719-722 (2012).
1
io-port 05962843 Delvigne, Marie;
Santos, Anaïs;
Tardot, Aurélie;
Devilleger, Maxime;
Fortin, Adrien;
Maitre, Thomas;
Latron, Guillaume;
Bernard, Aurélie;
Gache, Morane;
Pastier, Mathieu;
Billonnet, Laurent;
Desbordes, Emmanuel;
Dumas, Jean-Michel;
Fayette, Bruno;
Denis-Gay, Michelle;
Dussartre, Aurély
Using code of colors through ICT and home automation technologies in the housing environment context for persons with loss of autonomy. (English)
Abdulrazak, Bessam (ed.) et al., Toward useful services for elderly and people with disabilities. 9th international conference on smart homes and health telematics, ICOST 2011, Montreal, Canada, June 20‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21534-6/pbk). Lecture Notes in Computer Science 6719, 200-204 (2011).
2
Recursive double-size fixed precision arithmetic. (English)
Comput. Res. Repos. 2011, Article No. 1104.0478 (2011).
3
Simultaneous modular reduction and Kronecker substitution for small finite fields. (English)
J. Symb. Comput. 46, No. 7, 823-840 (2011).
4
Cartesian effect categories are Freyd-categories. (English)
J. Symb. Comput. 46, No. 3, 272-293 (2011).
5
Rank properties of subspaces of symmetric and Hermitian matrices over finite fields (English)
Finite Fields and Their Applications 17, No. 6, 504-520 (2011).
6
Educational narrative games with choice: the {\it simula family} (English)
Advances in Computer Entertainment Technology, 82 (2011).
7
io-port 70687925 Delvigne, Marie;
Santos, Anaïs;
Tardot, Aurélie;
Devilleger, Maxime;
Fortin, Adrien;
Maitre, Thomas;
Latron, Guillaume;
Bernard, Aurélie;
Gache, Morane;
Pastier, Mathieu;
Billonnet, Laurent;
Desbordes, Emmanuel;
Dumas, Jean-Michel;
Fayette, Bruno;
Denis-Gay, Michelle;
Dussartre, Aurély
Using code of colors through ICT and home automation technologies in the housing environment context for persons with loss of autonomy (English)
ICOST, 200-204 (2011).
8
Modelling of tuning of an ultra low frequency Roberts Linkage vibration isolator. (English)
Phys. Lett., A 374, No. 36, 3705-3709 (2010).
9
Interactive simulations to help teenagers cope when a parent has a traumatic brain injury. (English)
Comput. Entertain. 8, No. 2, 10 (2010).
10
Using highly interactive drama to help young people cope with traumatic situations. (English)
Aylett, Ruth (ed.) et al., Interactive storytelling. Third joint conference on interactive digital storytelling, ICIDS 2010, Edinburgh, UK, November 1‒3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16637-2/pbk). Lecture Notes in Computer Science 6432, 279-282 (2010).
11
LinBox founding scope allocation, parallel building blocks, and separate compilation. (English)
Fukuda, Komei (ed.) et al., Mathematical software ‒ ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 77-83 (2010).
12
Generic design of chinese remaindering schemes. (English)
Comput. Res. Repos. 2010, Article No. 1005.0830 (2010).
13
Exact sparse matrix-vector multiplication on gpu’s and multicore architectures. (English)
Comput. Res. Repos. 2010, Article No. 1004.3719 (2010).
14
Generic design of chinese remaindering schemes. (English)
Comput. Res. Repos. 2010, Article No. 1001.4150 (2010).
15
States and exceptions are dual effects. (English)
Comput. Res. Repos. 2010, Article No. 1001.1662 (2010).
16
Generic design of chinese remaindering schemes (English)
PASCO, 26-34 (2010).
17
Exact sparse matrix-vector multiplication on gpu’s and multicore architectures (English)
PASCO, 80-88 (2010).
18
Using highly interactive drama to help Young people cope with traumatic situations (English)
ICIDS, 279-282 (2010).
19
Linbox founding scope allocation, parallel building blocks, and separate compilation (English)
ICMS, 77-83 (2010).
20
Result 1 to 20 of 99 total
Start
Contact
Print
General Help
