Result 1 to 20 of 144 total
Rapid prototyping of active measurement tools. (English)
Comput. Netw. 56, No. 2, 870-883 (2012).
1
Graphics processing unit-based triangulations of blinn molecular surfaces. (English)
Concurrency Comput. Pract. Exp. 23, No. 17, 2280-2291 (2011).
2
A proposal for transactions in the semantic web. (English)
Antunes, Luis (ed.) et al., Progress in artificial intelligence. 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24768-2/pbk). Lecture Notes in Computer Science 7026. Lecture Notes in Artificial Intelligence, 690-703 (2011).
3
Normative systems represented as hybrid knowledge bases. (English)
Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 330-346 (2011).
4
Effect of different surface processing protocols in three-dimensional images for rapid prototyping. (English)
Adv. Eng. Softw. 42, No. 6, 332-335 (2011).
5
Signal acquisition of high-speed periodic signals using incoherent sub-sampling and back-end signal reconstruction algorithms. (English)
IEEE Trans. VLSI Syst. 19, No. 7, 1125-1135 (2011).
6
Pyadf - A scripting framework for multiscale quantum chemistry. (English)
J. Comput. Chem. 32, No. 10, 2328-2338 (2011).
7
Transaction logic with external actions. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 272-277 (2011).
8
A goal-directed implementation of query answering for hybrid MKNF knowledge bases. (English)
Comput. Res. Repos. 2011, Article No. 1103.3949 (2011).
9
Formal development of a cardiac pacemaker: from specification to code. (English)
Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 210-225 (2011).
10
Bayesian inference for an item response model for modeling test anxiety (English)
Computational Statistics & Data Analysis 55, No. 12, 3165-3182 (2011).
11
BOO: behavior-oriented ontology to describe participant dynamics in collocated design meetings (English)
Expert Syst. Appl. 38, No. 2, 1139-1147 (2011).
12
Incorporation of preferences in an evolutionary algorithm using an outranking relation: the evabor approach (English)
IJNCR 2, No. 1, 63-85 (2011).
13
Supporting the perpetuation and reproducibility of numerical method publications (English)
Procedia CS 4, 688-696 (2011).
14
Normative systems represented as hybrid knowledge bases (English)
CLIMA, 330-346 (2011).
15
A proposal for transactions in the semantic web (English)
EPIA, 690-703 (2011).
16
Is it possible to make pixel-based radar image classification user-friendly? (English)
IGARSS, 4304-4307 (2011).
17
Communication and power in collaborative networks: the hypothesis of technology as confidence enhancer (English)
PRO-VE, 19-26 (2011).
18
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training (English)
SAC, 1212-1213 (2011).
19
Touchall: A multi-touch, gestures, and fiducials API for flash/action script 3.0 (English)
MUE, 53-58 (2011).
20
Result 1 to 20 of 144 total
Start
Contact
Print
General Help
