Result 1 to 20 of 172 total
Toward a timed theory of channel coding. (English)
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 27-42 (2012).
1
Generating functions of timed languages. (English)
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 124-135 (2012).
2
Recent results on syntactic groups of prefix codes. (English)
Eur. J. Comb. 33, No. 7, 1386-1401 (2012).
3
A note on Sturmian words. (English)
Theor. Comput. Sci. 429, 265-272 (2012).
4
Patient-specific mitral leaflet segmentation from 4D ultrasound. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-23625-9/pbk). Lecture Notes in Computer Science 6893, 520-527 (2011).
5
A quadratic upper bound on the size of a synchronizing word in one-cluster automata. (English)
Int. J. Found. Comput. Sci. 22, No. 2, 277-288 (2011).
6
Patient-specific mitral leaflet segmentation from 4D ultrasound (English)
MICCAI (3), 520-527 (2011).
7
Embeddings of local automata. (English)
Ill. J. Math. 54, No. 1, 155-174 (2010).
8
Variable length codes and finite automata. (English)
Woungang, Isaac (ed.) et al., Selected topics in information and coding theory. Hackensack, NJ: World Scientific (ISBN 978-981-283-716-5/hbk; 978-981-283-717-2/ebook). Series on Coding Theory and Cryptology 7, 505-584 (2010).
9
Codes and noncommutative stochastic matrices. (English)
J. Noncommut. Geom. 4, No. 4, 531-554 (2010).
10
Symbolic dynamics. (English)
Comput. Res. Repos. 2010, Article No. 1006.1265 (2010).
11
On the groups of codes with empty kernel. (English)
Semigroup Forum 80, No. 3, 351-374 (2010).
12
Edge-weighting of gene expression graphs. (English)
Adv. Complex Syst. 13, No. 2, 217-238 (2010).
13
Codes and automata. (English)
Encyclopedia of Mathematics and its Applications 129. Cambridge: Cambridge University Press (ISBN 978-0-521-88831-8/hbk). xiii, 619~p. \sterling~75.00; \$~120.00 (2010).
14
Mitral annulus segmentation from 3D ultrasound using graph cuts (English)
IEEE Trans. Med. Imaging 29, No. 9, 1676-1687 (2010).
15
Edge-weighting of gene expression graphs (English)
Advances in Complex Systems 13, No. 2, 217-238 (2010).
16
Force tracking with feed-forward motion estimation for beating heart surgery (English)
IEEE Transactions on Robotics 26, No. 5, 888-896 (2010).
17
Completing codes in a sofic shift. (English)
Theor. Comput. Sci. 410, No. 43, 4423-4431 (2009).
18
Robotic force stabilization for beating heart intracardiac surgery. (English)
Yang, Guang-Zhong (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2009. 12th international conference, London, UK, September 20‒24, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-04267-6/pbk). Lecture Notes in Computer Science 5761, 26-33 (2009).
19
A quadratic upper bound on the size of a synchronizing word in one-cluster automata. (English)
Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30‒July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 81-90 (2009).
20
Result 1 to 20 of 172 total
Start
Contact
Print
General Help
