Result 1 to 20 of 21 total
Classical natural deduction for S4 modal logic. (English)
New Generation Comput. 29, No. 1, 61-86 (2011).
1
Applying a model-based approach to IT systems development using SysML extension. (English)
Whittle, Jon (ed.) et al., Model driven engineering languages and systems. 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24484-1/pbk). Lecture Notes in Computer Science 6981, 563-577 (2011).
2
A subpath kernel for rooted unordered trees. (English)
Huang, Joshua Zhexue (ed.) et al., Advances in knowledge discovery and data mining. 15th Pacific-Asia conference, PAKDD 2011, Shenzhen, China, May 24‒27, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-20840-9/pbk). Lecture Notes in Computer Science 6634. Lecture Notes in Artificial Intelligence, 62-74 (2011).
3
A trade-off between the maximum power point and stability (English)
IEICE Transactions 94-A, No. 7, 1513-1518 (2011).
4
Classical natural deduction for S4 modal logic (English)
New Generation Comput. 29, No. 1, 61-86 (2011).
5
A subpath kernel for rooted unordered trees (English)
PAKDD (1), 62-74 (2011).
6
Eliciting considerable requirements with word and customer graphs (English)
COMPSAC, 476-485 (2011).
7
Blind and semi-blind sparse channel identification in MIMO OFDM systems (English)
ICC, 1-5 (2011).
8
Applying a model-based approach to IT systems development using sysml extension (English)
MoDELS, 563-577 (2011).
9
De-centralized dynamic ICIC using X2 interfaces for downlink LTE systems (English)
VTC Spring, 1-5 (2011).
10
Development of a fault diagnosis system based on fuzzified neural networks (English)
FUZZ-IEEE, 1-6 (2010).
11
Classical natural deduction for S4 modal logic. (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, 243-258 (2009).
12
Dual calculus with inductive and coinductive types. (English)
Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29‒July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 224-238 (2009).
13
Synchronization and hyperchaos in switched dynamical systems based on parallel buck converters (English)
IEICE Transactions 92-A, No. 8, 2061-2066 (2009).
14
Dual calculus with inductive and coinductive types (English)
RTA, 224-238 (2009).
15
Classical natural deduction for S4 modal logic (English)
APLAS, 243-258 (2009).
16
Reinforcement learning of recurrent neural network for temporal coding. (English)
Neurocomputing 71, No. 16-18, 3379-3386 (2008).
17
Analysis of simple single/parallel switched dynamical systems based on two switching strategies (English)
IEICE Transactions 91-A, No. 8, 2076-2083 (2008).
18
Call-by-value is dual to call-by-name, extended. (English)
Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29‒December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 415-430 (2007).
19
Development of a throw \& collect type rescue inspector (English)
ICRA, 2762-2763 (2007).
20
Result 1 to 20 of 21 total
Start
Contact
Print
General Help
