Juhani Karhumäki > Compare Discount Book Prices & Save up to 90%

Developments in Language Theory
11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
द्वारा Tero Harju, Arto Lepistö, Juhani Karhumäki, Editor-Arto Lepistã¶
Paperback, 428 पन्ने, प्रकाशित 2007 द्वारा Springer
ISBN-13: 978-3-540-73207-5, ISBN: 3-540-73207-1

"Finite-turn pushdown automata (PDA) are investigated concerning their descriptional complexity. It is known that they accept exactly the class of ultralinear context-free languages. Furthermore, the increase in size when converting arbitrary PDAs accepting ultralinear languages to finite-turn PDAs cannot be bounded by any recursive function. The latter phenomenon is known as non-recursive trade-off. In this paper, finite-turn PDAs ..."

Theory Is Forever
Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)
द्वारा Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg, Juhani Karhumäki, Juhani Karhumçïki, Arto Salomaa
Paperback, 286 पन्ने, प्रकाशित 2004 द्वारा Springer
ISBN-13: 978-3-540-22393-1, ISBN: 3-540-22393-2

"This Festschrift celebrates the 70th birthday of Arto Kustaa Salomaa (born in Turku, Finland on June 6, 1934), one of the most in?uential researchers in theoretical computer science. Most ofhis researchconcernstheory - he is one of the founding fathers of formal language and automata theory, but he has also made important contributions to cryptography and natural computing. His approach to research in theoret ..."

Combinatorics on Words
9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
द्वारा Juhani Karhumäki, Luca Zamboni, Arto Lepistö
Paperback, 276 पन्ने, प्रकाशित 2013 द्वारा Springer
ISBN-13: 978-3-642-40578-5, ISBN: 3-642-40578-9

"This book constitutes the refereed proceedings of the 9th International Conference on Combinatorics on Words, WORDS 2013, held in Turku, Finland, in September 2013 under the auspices of the EATCS. The 20 revised full papers presented were carefully reviewed and selected from 43 initial submissions. The central topic of the conference is combinatorics on words (i.e. the study of finite and infinite sequence of ..."

Jewels are Forever(Reprint)
Contributions on Theoretical Computer Science in Honor of Arto Salomaa
द्वारा Hermann Maurer, Juhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg
Paperback, 379 पन्ने, प्रकाशित 2011 द्वारा Springer
ISBN-13: 978-3-642-64304-0, ISBN: 3-642-64304-3

"Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas. Due to its representative selection of classic and cutting edge trends in theoretical com ..."

Descriptional Complexity of Formal Systems
16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in ... Computer Science and General Issues)
द्वारा Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin
Paperback, 366 पन्ने, प्रकाशित 2014 द्वारा Springer
ISBN-13: 978-3-319-09703-9, ISBN: 3-319-09703-2

"This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs betw ..."

Computer Science -- Theory and Applications
7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings (Lecture Notes in Computer Science)
द्वारा Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii, Arto Lepistã¶
Paperback, 327 पन्ने, प्रकाशित 2012 द्वारा Springer
ISBN-13: 978-3-642-30641-9, ISBN: 3-642-30641-1

"This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its applications."

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008(Reprint)
IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... in Information and Communication Technology)
द्वारा Giorgio Ausiello, Giancarlo Mauri, Luke Ong, Juhani Karhumäki
Paperback, 554 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-1-4419-3514-4, ISBN: 1-4419-3514-2

"The papers containedin this volume were presentedat the 5th IFIP InternationalC- ference on Theoretical Computer Science (IFIP TCS), 7-10 September 2008, Milan, Italy. TCS is a bi-annual conference.The ?rst conferenceof the series was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002), Toulouse (France, 2004) and Santiago (Chile, 2006).TCS is organizedby IFIP TC1 (Technical Committee 1: Fo- dat ..."

Finite-State Methods and Natural Language Processing(2006th Edition)
5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers ... / Lecture Notes in Artificial Intelligence)
द्वारा Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki, Ming Xu, Jiannong Cao, Wolfgang Nejdl
Paperback, 312 पन्ने, प्रकाशित 2007 द्वारा Springer
ISBN-13: 978-3-540-35467-3, ISBN: 3-540-35467-0

"This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Processing, FSMNLP 2005, held in Helsinki, Finland in September 2005. The 24 revised full papers and 7 revised poster papers presented together with 2 invited contributions and the abstracts of 6 software demos were selected from 50 submissions and have gone through two rounds of reviewing and impr ..."

Automata, Languages and Programming
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
द्वारा Joseph Diaz, Donald Sannella, Arto Lepistö, Juhani Karhumäki, Editor-Arto Lepistã, Juhani §Ki
Paperback, 1,256 पन्ने, प्रकाशित 2004 द्वारा Springer
ISBN-13: 978-3-540-22849-3, ISBN: 3-540-22849-7

"The 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004) was held from July 12 to July 16 in Turku, Finland. This volume contains all contributed papers presented at ICALP 2004, together with the invitedlecturesbyPhilippeFlajolet(INRIA),RobertHarper(CarnegieMellon), Monika Henzinger (Google), Martin Hofmann (Munich), Alexander Razborov (Princeton and Moscow), Wojciech Rytter (Warsaw and NJIT), and Mihalis Y ..."

Descriptional Complexity of Formal Systems
16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
द्वारा Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin
366 पन्ने, प्रकाशित 2014 द्वारा Springer
ISBN-13: 978-3-319-09704-6, ISBN: 3-319-09704-0

"Cristian Calude Frank Drewes Viliam Geffert Helmut Jurgensen Christos Kapoutsis Juhani Karhumaki Michal Kunc Martin Kutrib Christof Loeding Pierre McKenzie Alexander Okhotin Giovanni Pighizzini Kai Salomaa Klaus Sutner Damien Woods ... Barash, Mikhail Berglund, Martin Bianchi, Maria Paola Bille, Philip Blondin, Michael Campeanu, Cezar Domaratzki, Mike Fefferman, Bill Finkel, Alain Freivalds, Rusins Goc, Daniel Goldwurm, Massimilian ..."

Combinatorics on Words
9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
द्वारा Juhani Karhumäki, Arto Lepistö, Luca Zamboni
263 पन्ने, प्रकाशित 2013 द्वारा Springer
ISBN-13: 978-3-642-40579-2, ISBN: 3-642-40579-7

"Theor. Comput. Sci. 454, 199–205 (2012) Paquin, G.: On a generalization of christoffel words: epichristoffel words. Theor. Comput. Sci. 410(38-40), 3782– 3791 (2009) Garc ́ıa, P., López, D., Vázquez de Parga, M.: DFA minimization: from Brzozowski to Hopcroft. Technical report, Universidad Politécnica de Valencia. Informes técnicos de investigación DSIC-TLCC (2013), http://hdl. handle.net/10251/27623 Hopcroft, J.E.: An n log n algorit ..."

Jewels Are Forever
Contributions on Theoretical Computer Science in Honor of Arto Salomaa
द्वारा Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg
379 पन्ने, प्रकाशित 2012 द्वारा Springer Science & Business Media
ISBN-13: 978-3-642-60207-8, ISBN: 3-642-60207-X

"Contributions on Theoretical Computer Science in Honor of Arto Salomaa Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz ... A horizontal word coincides with the usual word over A. We denote by A("") the set of all (m,n)- words over A. Moreover, we set A(mot) = U A(m,n), A(+") ... The vertical concatenation w = u e v of u and v is the matrix we A("+”) defined by tlhk if 1 < h = m1 QUh k = ... - ."

Lecture Notes in Computer Science
Computer Science -- Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings 7353
द्वारा Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii
327 पन्ने, प्रकाशित 2012 द्वारा Springer
ISBN-13: 978-3-642-30642-6, ISBN: 3-642-30642-X

"7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings ... It was the seventh event in the series of regular international meetings, following CSR 2006 in St. Petersburg, CSR 2007 in ... CSR 2012 was one of the events of the Alan Turing Year 2012. ... This volume contains the accepted papers and abstracts of the invited pa- pers."

Developments in Language Theory
11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
द्वारा Tero Harju, Juhani Karhumäki, Arto Lepistö
428 पन्ने, प्रकाशित 2007 द्वारा Springer
ISBN-13: 978-3-540-73208-2, ISBN: 3-540-73208-X

"Gruber, H., Holzer, M.: A note on the number of transitions of nondeterministic finite automata. In: Fernau, H. (ed.) 15. Theorietag der GI-Fachgruppe 0.1.5 Automaten und Formale Sprachen, pp. 24–25 (2005) 8. Gruber, H., Holzer, M.: Finding ..."

Finite-State Methods and Natural Language Processing
5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
द्वारा Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki
312 पन्ने, प्रकाशित 2006 द्वारा Springer
ISBN-13: 978-3-540-35469-7, ISBN: 3-540-35469-7

"... Creutz, Krista Lagus, Sami Virpioja ...................... SProUT – A General-Purpose NLP Framework Integrating Finite-State and Unification-Based Grammar Formalisms Witold Dro ̇zd ̇zynski, Hans-Ulrich Krieger, Jakub Piskorski, Ulrich Schäfer ................................................. 259 271 283 285 288 290 292 295 297 300 302 Tool Demonstration: Functional Morphology Markus Forsberg, Aarne Ranta . ...................... ..."

Lecture Notes in Computer Science Ser.
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg 2300
द्वारा Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
436 पन्ने, प्रकाशित 2003 द्वारा Springer
ISBN-13: 978-3-540-45711-4, ISBN: 3-540-45711-9

"Essays Dedicated to Grzegorz Rozenberg Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa. This, however, would require an extension of the notion of abstract Petri nets in [Pad96]. 4.2 Higher Order Net Processes In [Hof00, Hof01] we have introduced the concept and formal definition of Algebraic Higher Order Nets to model flexible business processes. Algebraic Higher Order Nets are AHL-nets where the data type part i ..."

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... in Information and Communication Technology)
द्वारा Giorgio Ausiello, Giancarlo Mauri, Luke Ong, Juhani Karhumäki, Wilhelm Doerr, Juhani Karhumã¤Ki, Heinrich Schipperges
Hardcover, 554 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-0-387-09679-7, ISBN: 0-387-09679-5

SOFSEM 2008
Theory and Practice of Computer Science: 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, ... Computer Science and General Issues)
द्वारा Villiam Geffert, Alberto Bertoni, Bart Preneel, Juhani Karhumäki, Pavol Návrat, Mária Bieliková, V. Geffert
Paperback, 792 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-77565-2, ISBN: 3-540-77565-X

"This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from 162 submissions. The contributions are segmented into four topical sections on foundations of computer science; computin ..."

Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
द्वारा Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa, Grzegorz Rozenberg, Springer-Verlag
Paperback, 436 पन्ने, प्रकाशित 2002 द्वारा Springer
ISBN-13: 978-3-540-43190-9, ISBN: 3-540-43190-X

"This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the ..."

SOFSEM 2008
Theory and Practice of Computer Science: 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings
द्वारा Villiam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková
792 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-77566-9, ISBN: 3-540-77566-8

"Nature. Quantum Walks with Multiple or Moving Marked Locations ........... 485 Andris Ambainis and Alexander Rivosh Parallel Immune System for Graph Coloring ......................... 497 Jacek Dabrowski The Quantum Complexity of Group Testing ......................... 506 Sebastian Dörn and Thomas Thierauf Quantum Walks : A Markovian Perspective .......................... 519 Diego de Falco and Dario Tamascelli A Memetic Algorithm ..."

Books by Juhani Karhumäki