Result 1 to 20 of 44 total
Visible acyclic differential nets. I: Semantics. (English)
Ann. Pure Appl. Logic 163, No. 3, 238-265 (2012).
1
Modeling users of crisis training environments by integrating psychological and physiological data. (English)
Mehrotra, Kishan G. (ed.) et al., Modern approaches in applied intelligence. 24th international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 ‒ July 1, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21826-2/pbk). Lecture Notes in Computer Science 6704. Lecture Notes in Artificial Intelligence, 79-88 (2011).
2
Böhm’s theorem for resource lambda calculus through Taylor expansion. (English)
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1‒3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 153-168 (2011).
3
A semantic measure of the execution time in linear logic. (English)
Theor. Comput. Sci. 412, No. 20, 1884-1902 (2011).
4
Fund flows, performance, managerial career concerns, and risk taking (English)
Management Science 57, No. 4, 628-646 (2011).
5
Bohm’s theorem for resource lambda calculus through Taylor expansion (English)
TLCA, 153-168 (2011).
6
Modeling users of crisis training environments by integrating psychological and physiological data (English)
IEA/AIE (2), 79-88 (2011).
7
A new conceptual framework to evaluate consumer adoption of mobile services: the case of mobile TV (English)
ICMB, 173-184 (2011).
8
The computational meaning of probabilistic coherence spaces (English)
LICS, 87-96 (2011).
9
Linearity, non-determinism and solvability. (English)
Fundam. Inform. 103, No. 1-4, 173-202 (2010).
10
Solvability in resource lambda-calculus. (English)
Ong, Luke (ed.), Foundations of software science and computational structures. 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12031-2/pbk). Lecture Notes in Computer Science 6014, 358-373 (2010).
11
Strong normalization property for second order linear logic. (English)
Theor. Comput. Sci. 411, No. 2, 410-444 (2010).
12
Use and participation in virtual social networks: A theoretical model (English)
IJVCSN 2, No. 1, 1-17 (2010).
13
Imperfect multisource spatial data fusion based on a local consensual dynamics (English)
Uncertainty Approaches for Spatial Data Modeling and Processing, 79-94 (2010).
14
Solvability in resource lambda-calculus (English)
FOSSACS, 358-373 (2010).
15
Parallel reduction in resource lambda-calculus. (English)
Hu, Zhenjiang (ed.), Programming languages and systems. 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14‒16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10671-2/pbk). Lecture Notes in Computer Science 5904, 226-242 (2009).
16
Managing uncertainty in location-based queries. (English)
Fuzzy Sets Syst. 160, No. 15, 2241-2252 (2009).
17
The cut-elimination theorem for differential nets with promotion. (English)
Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 219-233 (2009).
18
Managing uncertainty in location-based queries (English)
Fuzzy Sets and Systems 160, No. 15, 2241-2252 (2009).
19
The cut-elimination theorem for differential nets with promotion (English)
TLCA, 219-233 (2009).
20
Result 1 to 20 of 44 total
Start
Contact
Print
General Help
