Result 1 to 20 of 227 total
An introduction to pervasive interface automata. (English)
Barbosa, Luís Soares (ed.) et al., Formal aspects of component software. 7th international workshop, FACS 2010, Guimarães, Portugal, October 14‒16, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27268-4/pbk). Lecture Notes in Computer Science 6921, 71-87 (2012).
1
Software agents in clinical workflow, clinical guidelines and clinical trial medicine. (English)
Desai, Nirmit (ed.) et al., Principles and practice of multi-agent systems. 13th international conference, PRIMA 2010, Kolkata, India, November 12‒15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25919-7/pbk). Lecture Notes in Computer Science 7057. Lecture Notes in Artificial Intelligence, 561-574 (2012).
2
Using distributed agents for patient scheduling. (English)
Desai, Nirmit (ed.) et al., Principles and practice of multi-agent systems. 13th international conference, PRIMA 2010, Kolkata, India, November 12‒15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25919-7/pbk). Lecture Notes in Computer Science 7057. Lecture Notes in Artificial Intelligence, 551-560 (2012).
3
Zero-divisor graphs of some special semigroups. (English)
Far East J. Math. Sci. (FJMS) 57, No. 1, 63-90 (2011).
4
Note on 1-crossing partitions. (English)
Ars Comb. 99, 83-87 (2011).
5
Adjoining idempotents to semigroups. (English)
Int. J. Algebra 5, No. 17-20, 897-908 (2011).
6
io-port 05891174 Yu, Tommy;
Lloyd, Catherine M.;
Nickerson, David P.;
Cooling, Mike T.;
Miller, Andrew K.;
Garny, Alan;
Terkildsen, Jonna R.;
Lawson, James R.;
Britten, Randall;
Hunter, Peter J.;
Nielsen, Poul M.F.
The physiome model repository 2. (English)
Bioinformatics 27, No. 5, 743-744 (2011).
7
io-port 05889723 Miller, Andrew K.;
Yu, Tommy;
Britten, Randall;
Cooling, Mike T.;
Lawson, James R.;
Cowan, Dougal;
Garny, Alan;
Halstead, Matt D.B.;
Hunter, Peter J.;
Nickerson, David P.;
Nunns, Geoff;
Wimalaratne, Sarala M.;
Nielsen, Poul M.F.
Revision history aware repositories of computational models of biological systems. (English)
BMC Bioinform. 12, 22 (2011).
8
Real-time rendering and dynamic updating of 3-d volumetric data (English)
GPGPU, 8 (2011).
9
Teach me to dance: exploring player experience and performance in full body dance games (English)
Advances in Computer Entertainment Technology, 43 (2011).
10
Extending the use of virtual worlds as an educational platform - network island: an advanced learning environment for teaching internet routing algorithms (English)
CSEDU (1), 279-284 (2011).
11
Towards effective blended learning with 3D MUVE - an analysis of use case implementations for 3D MUVE learning (English)
CSEDU (2), 46-55 (2011).
12
A game-theoretic approach to decision support for intelligent water distribution (English)
HICSS, 1-10 (2011).
13
Law enforcement ontology for identification of related information of interest across free text dcouments (English)
EISIC, 19-27 (2011).
14
Examining the impact of collaborative tagging on sensemaking in nutrition management (English)
CHI, 657-666 (2011).
15
The place for ubiquitous computing in schools: lessons learned from a school-based intervention for youth physical activity (English)
Ubicomp, 395-404 (2011).
16
Optimal allocation of surgery blocks to operating rooms under uncertainty. (English)
Oper. Res. 58, No. 4, Part 1, 802-816 (2010).
17
Using methods of stochastic control to prevent overloads in data transmission networks. (English)
Autom. Remote Control 71, No. 9, 1804-1815 (2010); translation from Avtom. Telemekh. 2010, No. 9, 70-82 (2010).
18
Score operators of a qubit with applications. (English)
Quantum Inf. Process. 9, No. 5, 629-641 (2010).
19
Karlsson-Minton summation theorems for the generalized hypergeometric series of unit argument. (English)
Integral Transforms Spec. Funct. 21, No. 7-8, 603-612 (2010).
20
Result 1 to 20 of 227 total
Start
Contact
Print
General Help
