Result 1 to 20 of 24 total
Modalities in the Stone age: a comparison of coalgebraic logics. (English)
Theor. Comput. Sci. 430, 88-116 (2012).
1
Simulation of the bird age-structured population growth based on an interval type-2 fuzzy cellular structure. (English)
Inf. Sci. 181, No. 3, 519-535 (2011).
2
Numerical analysis of a least-squares finite element method for the time-dependent advection-diffusion equation (English)
J. Computational Applied Mathematics 235, No. 12, 3615-3631 (2011).
3
Automata for coalgebras: An approach using predicate liftings. (English)
Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6‒10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 381-392 (2010).
4
Automata for coalgebras: an approach using predicate liftings (English)
ICALP (2), 381-392 (2010).
5
Characterising behavioural equivalence: Three sides of one coin. (English)
Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 97-112 (2009).
6
Equational coalgebraic logic. (English)
Electron. Notes Theor. Comput. Sci. 249, 333-356 (2009).
7
Characterising behavioural equivalence: three sides of one coin (English)
CALCO, 97-112 (2009).
8
Dimensioning method for conversational video applications in wireless convergent networks. (English)
EURASIP J. Wirel. Commun. Netw. 2008, Article ID 328089, 14 p. (2008).
9
A method to estimate the horizontal handover decision effect on indoor wireless conversational video quality. (English)
EURASIP J. Adv. Signal Process. 2008, Article ID 370524, 15 p. (2008).
10
Predicate liftings versus nabla modalities. (English)
Electron. Notes Theor. Comput. Sci. 203, No. 5, 195-220 (2008).
11
A method to estimate the horizontal handover decision effect on indoor wireless conversational video quality (English)
EURASIP J. Adv. Sig. Proc. 2008 (2008).
12
Application of quality methodologies to the development of a website (English)
International Journal of Internet and Enterprise Management 5, No. 4, 313-332 (2008).
13
Dimensioning method for conversational video applications in wireless convergent networks (English)
EURASIP J. Wireless Comm. and Networking 2008 (2008).
14
Multiple- and single-objective approaches to laminate optimization with genetic algorithms. (English)
Struct. Multidiscip. Optim. 27, No. 1-2, 55-65 (2004).
15
Structural optimization of laminated plates with genetic algorithms (English)
GECCO, 621-627 (2000).
16
Point-to-point regulation of the robot with flexible joints including electrical effects of actuator dynamics. (English)
IEEE Trans. Autom. Control 42, No.4, 559-564 (1997).
17
Compensation of telephone line effects for robust speech recognition (English)
ICSLP (1994).
18
Adaptive motion control of robot manipulators: A unified approach based on passivity. (English)
Int. J. Robust Nonlinear Control 1, No.3, 187-202 (1991).
19
Passivity based adaptive control for mechanical manipulators using LS- type estimation. (English)
IEEE Trans. Autom. Control 35, No.12, 1363-1365 (1990).
20
Result 1 to 20 of 24 total
Start
Contact
Print
General Help
