Result 1 to 20 from 190 total
Constructing partial words with subword complexities not achievable by full words. (English)
Theor. Comput. Sci. 432, 21-27 (2012).
1
Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. (English)
London: Springer (ISBN 978-0-85729-807-2/hbk; 978-0-85729-808-9/ebook). xvii, 416~p. EUR~69.95; SFR~100.50; \sterling~62.99 (2011).
2
Computational logic and set theory - applying formalized logic to analysis (English)
Computational logic and set theory - applying formalized logic to analysis, I-XVII, 1-416 (2011).
3
Recurrent partial words (English)
WORDS, 71-82 (2011).
4
On antimagic directed graphs. (English)
J. Graph Theory 64, No. 3, 219-232 (2010).
5
Speech and face-to-face communication - an introduction. (English)
Speech Commun. 52, No. 6, 477-480 (2010).
6
Streamlining the construction of large-scale dynamic models using generic kinetic equations. (English)
Bioinformatics 26, No. 10, 1324-1331 (2010).
7
Binary de Bruijn partial words with one hole. (English)
Kratochvíl, Jan (ed.) et al., Theory and applications of models of computation. 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7‒11, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13561-3/pbk). Lecture Notes in Computer Science 6108, 128-138 (2010).
8
Speech and face-to-face communication - an introduction (English)
Speech Communication 52, No. 6, 477-480 (2010).
9
On antimagic directed graphs (English)
Journal of Graph Theory 64, No. 3, 219-232 (2010).
10
Binary de Bruijn partial words with one hole (English)
TAMC, 128-138 (2010).
11
A formally verified peak-power reduction technique for hardware synthesis from concurrent action-oriented specifications. (English)
J. Low Power Electron. 5, No. 2, 135-144 (2009).
12
Control-relevant estimation of demand models for closed-loop control of a production-inventory system (English)
CDC, 416-421 (2009).
13
Leveraging social software for social networking and community development at events (English)
C&T, 235-244 (2009).
14
An analysis of independence of video signatures based on tomography (English)
ICME, 698-701 (2009).
15
Building a talking baby robot: a contribution to the study of speech acquisition and evolution. (English)
Bessière, Pierre (ed.) et al., Probabilistic reasoning and decision making in sensory-motor systems. Berlin: Springer (ISBN 978-3-540-79006-8/hbk). Springer Tracts in Advanced Robotics 46, 329-357 (2008).
16
Invariance and variability in the production of the height feature in French vowels. (English)
Speech Commun. 50, No. 1, 14-28 (2008).
17
Invariance and variability in the production of the height feature in French vowels (English)
Speech Communication 50, No. 1, 14-28 (2008).
18
On-line path planning for an autonomous vehicle in an obstacle filled environment (English)
CDC, 2806-2813 (2008).
19
Passively safe receding horizon control for satellite proximity operations (English)
CDC, 3433-3440 (2008).
20
Result 1 to 20 from 190 total
Start
Contact
Print
General Help
