Result 1 to 20 of 248 total
Transforming SOS specifications to linear processes. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 196-211 (2011).
1
Passive single marker tracking for organ motion and deformation detection in open liver surgery. (English)
Taylor, Russell H. (ed.) et al., Information processing in computer-assisted interventions. Second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21503-2/pbk). Lecture Notes in Computer Science 6689, 156-167 (2011).
2
How IT-based co-creation can provide small banks access to the financial market ‒ a prototype development from a design science research perspective. (English)
Jain, Hemant (ed.) et al., Service-oriented perspectives in design science research. 6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5‒6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20632-0/pbk). Lecture Notes in Computer Science 6629, 321-334 (2011).
3
Algorithmic programming language identification. (English)
Comput. Res. Repos. 2011, Article No. 1106.4064 (2011).
4
Multi-antenna communication in ad hoc networks: achieving MIMO gains with SIMO transmission (English)
IEEE Transactions on Communications 59, No. 2, 529-540 (2011).
5
Two-way transmission capacity of wireless ad-hoc networks (English)
IEEE Transactions on Wireless Communications 10, No. 6, 1966-1975 (2011).
6
Biomedical and bioinformatics challenges to computer science: bioinformatics, modeling of biomedical systems and clinical applications (English)
Procedia CS 4, 1058-1061 (2011).
7
On cooperative relaying schemes for wireless physical layer security (English)
IEEE Transactions on Signal Processing 59, No. 10, 4985-4997 (2011).
8
Computerassistierte präzisionschirurgie am ohr (English)
Automatisierungstechnik 59, No. 10, 638-648 (2011).
9
Lessons learned: building the caernarvon high-assurance operating system (English)
IEEE Security & Privacy 9, No. 1, 22-30 (2011).
10
A recursive construction of the set of binary entropy vectors and related algorithmic inner bounds for the entropy region (English)
IEEE Transactions on Information Theory 57, No. 10, 6356-6363 (2011).
11
Agent-oriented incremental team and activity recognition (English)
IJCAI, 1402-1407 (2011).
12
Transforming SOS specifications to linear processes (English)
FMICS, 196-211 (2011).
13
Mundomessage: enabling trustworthy ubiquitous emergency communication (English)
ICUIMC, 29 (2011).
14
Report on DTN applications during arctic summer 2010 trial (English)
WPMC, 1-5 (2011).
15
Uisce: characteristic-based routing in mobile ad hoc networks (English)
Med-Hoc-Net, 119-122 (2011).
16
Adapting wardrop equilibrium to facilitate optimal routing in wireless ad hoc networks (English)
WOWMOM, 1-9 (2011).
17
How IT-based co-creation can provide small banks access to the financial market - A prototype development from a design science research perspective (English)
DESRIST, 321-334 (2011).
18
Passive single marker tracking for organ motion and deformation detection in open liver surgery (English)
IPCAI, 156-167 (2011).
19
Transmission capacity of wireless networks. (English)
Found. Trends Netw. 5, No. 2-3, 109-281 (2010).
20
Result 1 to 20 of 248 total
Start
Contact
Print
General Help
