Arto Salomaa. A Pioneer of Science. Turku. from. Arto Salomaa, A Pioneer of Science 1 / 52
|
|
|
- Toby Willis
- 5 years ago
- Views:
Transcription
1 Arto Salomaa A Pioneer of Science from Turku Arto Salomaa, A Pioneer of Science 1 / 52
2 Arto Arto Salomaa, A Pioneer of Science 2 / 52
3 Turku Cathedral Arto Salomaa, A Pioneer of Science 3 / 52
4 Arto & Turku Born in Turku, 1934 Arto Salomaa, A Pioneer of Science 4 / 52
5 Arto & Turku Born in Turku, 1934 Proud of his native Turku, in particular of native Turku language Arto Salomaa, A Pioneer of Science 4 / 52
6 Arto & Turku Born in Turku, 1934 Proud of his native Turku, in particular of native Turku language Never left Turku permanently Arto Salomaa, A Pioneer of Science 4 / 52
7 Arto & Turku Born in Turku, 1934 Proud of his native Turku, in particular of native Turku language Never left Turku permanently Proud of Finnish Sauna, in particular of his Salosauna Arto Salomaa, A Pioneer of Science 4 / 52
8 Arto & Turku Born in Turku, 1934 Proud of his native Turku, in particular of native Turku language Never left Turku permanently Proud of Finnish Sauna, in particular of his Salosauna Jealous of those who have never seen lousy white stuff Arto Salomaa, A Pioneer of Science 4 / 52
9 Roots in Turku Arto and his father J.E. Salomaa, a professor in Philosophy at Turku University Arto Salomaa, A Pioneer of Science 5 / 52
10 Arto Salomaa 80 Arto Salomaa, A Pioneer of Science 6 / 52
11 Arto Salomaa 80 Arto Salomaa, A Pioneer of Science 7 / 52
12 Old friends Arto Salomaa, A Pioneer of Science 8 / 52
13 Portrait of Arto Prepared by the University of Arts in the occasion of Arto s 60 year birthday One of the first computer-aided portraits in Finland Arto Salomaa, A Pioneer of Science 9 / 52
14 Contents 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 10 / 52
15 CAREER 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 11 / 52
16 CAREER Career Post graduate studies at Berkeley J. Myhill A. Tarski C. Shannon and J. McCarthy, Automata Studies Arto Salomaa, A Pioneer of Science 12 / 52
17 CAREER Career Ph.D. in Turku 1960 many valued logic! First paper in Automata Theory, 1964 Theorems on the representation of events in Moore automata, Annales Universitatis Turkuensis, Ser. A I, 69 (1964), 14 pp. Professor at Oulu University 1965 Professor at Turku University Arto Salomaa, A Pioneer of Science 13 / 52
18 CAREER Career Visiting professorships: Univ. of Western Ontario, London, Univ. of Aarhus, Univ. of Waterloo, Short term visits in more than 150 universities Arto Salomaa, A Pioneer of Science 14 / 52
19 CAREER Career Each of the visits had a characteristic influence: London became the second home of Arto; the first book was written Theory of L-systems was created in Aarhus Sheng Yu was met in Waterloo Arto Salomaa, A Pioneer of Science 15 / 52
20 CAREER Career Academy professor in Finland Arto was appointed three times for five year periods in Member of Finnish Academy of Sciences, 1970 Member of Academia Europaea, 1992 Academician, 2001 One of the altogether 12 science academicians in Finland Arto Salomaa, A Pioneer of Science 16 / 52
21 CAREER Career May 1971 Arto and Grzegorz Rozenberg met! Arto Salomaa, A Pioneer of Science 17 / 52
22 SCIENTIST 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 18 / 52
23 SCIENTIST Scientist First of all Arto is a SCIENTIST Arto has written more than 400 scientific articles 13 different books around 40 collected books and most amazingly,... Arto Salomaa, A Pioneer of Science 19 / 52
24 SCIENTIST Scientist more than 100 scientific articles after his retirement! Arto Salomaa, A Pioneer of Science 20 / 52
25 SCIENTIST Scientist His research interests cover many-valued logic automata theory formal language theory combinatorics on words cryptography bioinspired computing Arto Salomaa, A Pioneer of Science 21 / 52
26 SCIENTIST A few instances of Arto s publications His first papers were on many-valued logic created connections to Moscow school of logic in 1960 s (Jablonski) turned out important to Cerny s conjecture after 50 years! Arto Salomaa, A Pioneer of Science 22 / 52
27 SCIENTIST A few influential papers Two complete axiom systems for the algebra of regular events, Journal of the Association for Computing Machinery, 13 (1966) was rediscovered 30 years later Importance of morphisms of free monoids: Equality sets for homomorphisms of free monoids, Acta Cybernetica, 4 (1978), (with K. Culik and F.E. Fich) A homomorphic characterization of regular languages, Discrete Applied Mathematics, 4 (1982) Connections of Skolem s Problem and morphic sequences Arto Salomaa, A Pioneer of Science 23 / 52
28 SCIENTIST Initiator of research topics Axiomatization of regular events L-systems Formal power series in automata theory Morphic problems (with K. Culik) On the decidability of homomorphism equivalence for languages Journal of Computer and System Sciences, 17 (1978) (with K. Culik) Test sets and checking words for homomorphism equivalence Journal of Computer and System Sciences, 20 (1980) Public-key cryptography Arto Salomaa, A Pioneer of Science 24 / 52
29 SCIENTIST A team worker MSW-team (Maurer Salomaa Wood) one of the most productive groups in TCS; influenced, e.g., to E. Welzl Arto Salomaa, A Pioneer of Science 25 / 52
30 SCIENTIST A team worker MSW-team (Maurer Salomaa Wood) one of the most productive groups in TCS; influenced, e.g., to E. Welzl Romanian collaboration started with A. Mateescu and L. Kari G. Paun, C. Calude, L. Ilie, S. Marcus, I. Petre Arto Salomaa, A Pioneer of Science 25 / 52
31 SCIENTIST A team worker MSW-team (Maurer Salomaa Wood) one of the most productive groups in TCS; influenced, e.g., to E. Welzl Romanian collaboration started with A. Mateescu and L. Kari G. Paun, C. Calude, L. Ilie, S. Marcus, I. Petre With Sheng Yu Arto Salomaa, A Pioneer of Science 25 / 52
32 SCIENTIST A team worker MSW-team (Maurer Salomaa Wood) one of the most productive groups in TCS; influenced, e.g., to E. Welzl Romanian collaboration started with A. Mateescu and L. Kari G. Paun, C. Calude, L. Ilie, S. Marcus, I. Petre With Sheng Yu And, of course, with G. Rozenberg Arto Salomaa, A Pioneer of Science 25 / 52
33 SCIENTIST Internationality The most characteristic feature of Arto s research Arto was among the first international researchers in Finland, in fact even before the term was discovered in Finland None of his books has been published in Finnish! Arto Salomaa, A Pioneer of Science 26 / 52
34 SCIENTIST Recognition Doctor Honoris Causa, 9 times: Åbo, Oulu, Szeged, Bucharest, Magdeburg, Riga, Iasi, Graz and London Arto Salomaa, A Pioneer of Science 27 / 52
35 SCIENTIST Recognition Doctor Honoris Causa, 9 times: Åbo, Oulu, Szeged, Bucharest, Magdeburg, Riga, Iasi, Graz and London One of the first 12 Centres of Excellence in Finland, 1993 Arto Salomaa, A Pioneer of Science 27 / 52
36 SCIENTIST Recognition Doctor Honoris Causa, 9 times: Åbo, Oulu, Szeged, Bucharest, Magdeburg, Riga, Iasi, Graz and London One of the first 12 Centres of Excellence in Finland, 1993 Special international birthday issues: LNCS, Fundamenta Informatica, Information and Computation, Theoret. Comput. Sci., LNCS, LNCS, Theoret. Comput. Sci. Arto Salomaa, A Pioneer of Science 27 / 52
37 EDUCATOR 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 28 / 52
38 EDUCATOR Educator Via his books Arto has had an enormous influence on education of several generations of TCS Arto Salomaa, A Pioneer of Science 29 / 52
39 EDUCATOR Educator Via his books Arto has had an enormous influence on education of several generations of TCS Arto has published 12 books in 8 different languages, Arto Salomaa, A Pioneer of Science 29 / 52
40 EDUCATOR Educator Via his books Arto has had an enormous influence on education of several generations of TCS Arto has published 12 books in 8 different languages, however, none in Finnish or Swedish, so far! Arto Salomaa, A Pioneer of Science 29 / 52
41 EDUCATOR Educator Pioneering Very well written Thematically broad Arto Salomaa, A Pioneer of Science 30 / 52
42 EDUCATOR A few characteristic features Theory of Automata, 1969 the first book very original even today mishandled by the publisher Arto Salomaa, A Pioneer of Science 31 / 52
43 EDUCATOR A few characteristic features Formal languages, 1973 Arto Salomaa, A Pioneer of Science 32 / 52
44 EDUCATOR A few characteristic features Formal languages, 1973 a classical masterpiece among the 100 most cited math-books created avenues of formal language research for several decades made Arto the Father of Formal Languages Arto Salomaa, A Pioneer of Science 32 / 52
45 EDUCATOR Pioneering ones Automata-Theoretic Aspects of Formal Power Series, 1978 a masterpiece of new aspects and tools in automata theory involved Matti Soittola a hidden data bank Arto Salomaa, A Pioneer of Science 33 / 52
46 EDUCATOR Pioneering ones The Mathematical Theory of L Systems, 1980 timely presentation of an active research topic Public-Key Cryptography, 1990 a new opening to a fascinated field DNA Computing. New Computing Paradigms, 1998 another challenging topic Arto Salomaa, A Pioneer of Science 34 / 52
47 EDUCATOR Jewels Jewels of Formal Language Theory, 1986 a jewel, motivated by Three Pearls of Number Theory by Khinchin attractive announcement of the beauty of morphic problems Cornerstones of Undecidability, 1994 undecidability through PCP and Hilbert s 10th Problem continues the praise of morphic problems Arto Salomaa, A Pioneer of Science 35 / 52
48 EDUCATOR Last Symphony Handbook of Formal Languages, 1997 Arto Salomaa, A Pioneer of Science 36 / 52
49 EDUCATOR Last Symphony Handbook of Formal Languages, 1997 three volumes, 2000 pages Arto Salomaa, A Pioneer of Science 36 / 52
50 EDUCATOR Last Symphony Handbook of Formal Languages, 1997 three volumes, 2000 pages 51 authors Arto Salomaa, A Pioneer of Science 36 / 52
51 EDUCATOR Last Symphony Handbook of Formal Languages, 1997 three volumes, 2000 pages 51 authors finalized in three and half years Arto Salomaa, A Pioneer of Science 36 / 52
52 EDUCATOR Last Symphony Handbook of Formal Languages, 1997 three volumes, 2000 pages 51 authors finalized in three and half years MASTERPIECE COLLECTING RESEARCH ACHIEVEMENTS OF 30 YEARS! Arto Salomaa, A Pioneer of Science 36 / 52
53 EDUCATOR Educator In 80 year symposium: A golden medal of ETHZ for computer science education Arto Salomaa, A Pioneer of Science 37 / 52
54 Ph.D. SUPERVISOR 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 38 / 52
55 Ph.D. SUPERVISOR Supervisor Gentle Supportive Professional Arto has supervised 24 Ph.D. s in London, Turku and Aarhus in the areas of Automata Theory Formal Languages Cryptography Combinatorics on Words Arto Salomaa, A Pioneer of Science 39 / 52
56 Ph.D. SUPERVISOR Supervisor The first ones: N. Jones, 1967, London P. Turakainen, 1968, Turku The last ones: V. Mihalache, 1998, Turku L. Ilie, 1998, Turku And the total list: N. Jones, P. Turakainen, M. Steinby, T. Urponen, A. Szilard, M. Penttonen, S. Skyum, M. Linna, M. Soittola, K. Ruohonen, M. Nielsen, J. Karhumäki, R. Leipälä, T. Harju, J. Honkala, V. Niemi, J. Kari, L. Kari, J. Koskinen, A. Renvall, M. Lipponen, C. Ding, V. Mihalache, L. Ilie Arto Salomaa, A Pioneer of Science 40 / 52
57 Ph.D. SUPERVISOR Supervisor The quality: More than two out of three are or have been professors in Canada, Finland, Denmark or Hong Kong Arto Salomaa, A Pioneer of Science 41 / 52
58 PROMOTOR OF SCIENCE 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 42 / 52
59 PROMOTOR OF SCIENCE Promotor Arto was never an administrator He was once asked to become the president of the Academy of Finland, and then he thought this for a short while but told later one of the best decisions he has made was to refuse the position Arto Salomaa, A Pioneer of Science 43 / 52
60 PROMOTOR OF SCIENCE Promotor Arto was never an administrator He was once asked to become the president of the Academy of Finland, and then he thought this for a short while but told later one of the best decisions he has made was to refuse the position Instead he was a promotor of science in many ways an initiator of important developments Arto Salomaa, A Pioneer of Science 43 / 52
61 PROMOTOR OF SCIENCE Promotor Arto has served in PC s of more than 50 international conferences in TCS; 15 times for ICALP been in editorial boards of more than 10 top journals of TCS served in a number of evaluation panels of CS for different countries Arto Salomaa, A Pioneer of Science 44 / 52
62 PROMOTOR OF SCIENCE Promotor Arto has initiated DLT in 1993 Gödel Prize in 1993 Nevanlinna Prize in 1982 Arto Salomaa, A Pioneer of Science 45 / 52
63 PROMOTOR OF SCIENCE Promotor Services to EATCS: board member, 1993 president, 1979 monograph series editor, 1983 Arto Salomaa, A Pioneer of Science 46 / 52
64 PROMOTOR OF SCIENCE Promotor Services to EATCS: board member, 1993 president, 1979 monograph series editor, 1983 He received EATCS award, 2004 Arto Salomaa, A Pioneer of Science 46 / 52
65 A FAMILY MAN 1 CAREER 2 SCIENTIST 3 EDUCATOR 4 Ph.D. SUPERVISOR 5 PROMOTOR OF SCIENCE 6 A FAMILY MAN Arto Salomaa, A Pioneer of Science 47 / 52
66 A FAMILY MAN The family is extremely important for Arto Kaarina has followed Arto everywhere for more than 50 years Earlier: Arto Salomaa, A Pioneer of Science 48 / 52
67 A FAMILY MAN The family is extremely important for Arto Kaarina has followed Arto everywhere for more than 50 years Earlier: Later: Arto Salomaa, A Pioneer of Science 48 / 52
68 A FAMILY MAN Kai is continuing Arto s avenue as professor in Queens University Arto Salomaa, A Pioneer of Science 49 / 52
69 A FAMILY MAN Kirsti is Arto s health advisor Grandchildren Suvi, Juhani and Daniel are very special to Arto Arto s triangle bus trips: Turku Kauhajoki Rauhala Turku are wildly known and admired Arto Salomaa, A Pioneer of Science 50 / 52
70 A FAMILY MAN And last but not least SALOSAUNA is an essential part of Arto! In summer: Arto Salomaa, A Pioneer of Science 51 / 52
71 A FAMILY MAN And last but not least SALOSAUNA is an essential part of Arto! In summer: In winter: Arto Salomaa, A Pioneer of Science 51 / 52
72 A FAMILY MAN THANKS to Arto for many pieces of information to Kai for pictures to A. Saarela for making the presentation Arto Salomaa, A Pioneer of Science 52 / 52
Jewels are Forever. Springer. Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo
Jewels are Forever Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Arto Salomaa Juhani Karhumaki Hermann Maurer Gheorghe Paun Grzegorz Rozenberg (Eds.) Jewels
Lindenmayer Systems. G. Rozenberg A. Salomaa (Eds.) Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
G. Rozenberg A. Salomaa (Eds.) Lindenmayer Systems Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology With 116 Figures Springer-Verlag Berlin Heidelberg GmbH Grzegorz
ILMAR ÖPIK, MEMBER OF THE ESTONIAN ACADEMY OF SCIENCES
Oil Shale, 2002, Vol. 19, No. 2 SPECIAL ISSN 0208-189X pp. 181-185 2002 Estonian Academy Publishers ILMAR ÖPIK, MEMBER OF THE ESTONIAN ACADEMY OF SCIENCES This OIL SHALE special issue is dedicated to Ilmar
ON SOME MILE-STONES IN SCIENTIFIC LIFE OF PROFESSOR ALEXANDER N. GUZ*
International Applied Mechanics, Vol. 49, No. 4, July, 2013 ON SOME MILE-STONES IN SCIENTIFIC LIFE OF PROFESSOR ALEXANDER N. GUZ* J. J. Rushchitsky This article is prepared on the occasion of awarding
A TRIBUTE TO ALEXEY AND TATIANA. by Ivan Pogildiakov
A TRIBUTE TO ALEXEY AND TATIANA by Ivan Pogildiakov Alexey, personality The lack of time, a lot of points ADVENTURER! Alexey s CV is on 9 pages! 29 years old - a full professor (a very rare fact!) Bright,
James West Inventor, Entrepreneur, Physicist, Renowned Professor of Engineering at Johns Hopkins -His highest degree is his high school diploma!
James West Inventor, Entrepreneur, Physicist, Renowned Professor of Engineering at Johns Hopkins -His highest degree is his high school diploma! Dr. Jack M. Wilson Distinguished Professor of Higher Education,
Professor Zdzisław Bubnicki in my memory
Control and Cybernetics vol. 35 (2006) No. 2 Professor Zdzisław Bubnicki in my memory Zdzisław Bubnicki was born in 1938 in the then Polish city of Lwów (now Ukrainian L viv). The family of Bubnicki was
Title? Alan Turing and the Theoretical Foundation of the Information Age
BOOK REVIEW Title? Alan Turing and the Theoretical Foundation of the Information Age Chris Bernhardt, Turing s Vision: the Birth of Computer Science. Cambridge, MA: MIT Press 2016. xvii + 189 pp. $26.95
Publications by Thomas J. Head
Publications by Thomas J. Head Books: 1. Modules: A Primer of Structure Theorems, Brooks/Cole, 1974. 2. (with J. Golan) Modules and the Structure of Rings, Marcel Dekker, 1991. Research Papers: 1. Dense
Theoretical Computer Science
Theoretical Computer Science 429 (2012) 1 20 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Preface This special issue of
appointment professor of logic and philosophy of science, university of california, irvine, 2017-
jb manchak logic and philosophy of science university of california, irvine education ph.d. philosophy, university of california, irvine, 2009 b.s. physics, brigham young university, 2004 b.a. philosophy,
PAPER. Connecting the dots. Giovanna Roda Vienna, Austria
PAPER Connecting the dots Giovanna Roda Vienna, Austria giovanna.roda@gmail.com Abstract Symbolic Computation is an area of computer science that after 20 years of initial research had its acme in the
100 Romanian Authors in Theoretical Computer Science (presentation of the book)
Computer Science Journal of Moldova, vol.26, no.2(77), 2018 100 Romanian Authors in Theoretical Computer Science (presentation of the book) Svetlana Cojocaru, Gheorghe Păun, Dragoş Vaida This book [1]
e) Lucrari referite in jurnale internationale (aproape toate sunt cotate ISI): (in bold sunt evidentiati studentii mei)
a) Teza de abilitare: 1. Paun, Finite Automata, Unconventional Computing and Systems Biology, Universitatea din Bucuresti, 2012 b) Teza de doctorat: 2. A. Paun, Unconventional models of computation: DNA
Gender Summit 9 Europe. Strategic priorities for regional STEM gender equality policy
Gender Summit 9 Europe Strategic priorities for regional STEM gender equality policy Strategies to tackle gender inequalities in STEM in the Nordic countries Marja Makarow Brussels, 9 November 2016 Society
Multidisciplinary Creativity
The book contains original papers dealing with Membrane Computing and Theoretical Computer Science. The topics include mathematical aspects of P systems, modelling of biological processes, combinatorics
Future Trends of TAPSOFT
Future Trends of TAPSOFT Hartmut Ehrig Bernd Mahr Technische Universits Berlin Franklinstrat3e 28/29, D-10587 Berlin e-mail: {ehrig, mahr}@cs.tu-berlin.de January 1997 Preface and Summary The TAPSOFT-conferences
POSTDOC HUNTING FROM AN APPLICANT S PERSPECTIVE
POSTDOC HUNTING FROM AN APPLICANT S PERSPECTIVE LAURA FELICIA MATUSEVICH AND WILLIAM A. STEIN This handout is a mix of our personal experiences hunting for postdoctoral positions in large research universities,
A STEREOSCOPIC MASTERPIECE EXPLORING THE LIFE AND WORK OF LEADING VICTORIAN PHOTOGRAPHER, GEORGE WASHINGTON WILSON
PRESS RELEASE GEORGE WASHINGTON WILSON Artist and Photographer (1823-93) By Roger Taylor Introduction by Brian May Publishes on 15 August 2018, 30 www.londonstereo.com A STEREOSCOPIC MASTERPIECE EXPLORING
Introduction To Automata Theory Languages And Computation Addison Wesley Series In Computer Science
Introduction To Automata Theory Languages And Computation Addison Wesley Series In Computer Science INTRODUCTION TO AUTOMATA THEORY LANGUAGES AND COMPUTATION ADDISON WESLEY SERIES IN COMPUTER SCIENCE PDF
A Brief History of Computer Science and Computing
A Brief History of Computer Science and Computing Tim Capes April 4, 2011 Administrative Announcements Midterms are returned today, A4 is scheduled to go out on thursday. Early Computing First computing
Information & Communication
Information & Communication Bachelor Informatica 2014/15 January 2015 Some of these slides are copied from or heavily inspired by the University of Illinois at Chicago, ECE 534: Elements of Information
Doctor Honoris Causa
ROMANIA MINISTRY OF NATIONAL EDUCATION AGORA UNIVERSITY OF ORADEA FACULTATY OF LAW AND ECONOMICS Doctor Honoris Causa PROFESSOR Dr. YONG SHI University of Chinese Academy of Sciences & Chinese Academy
Reflections on the N + k Queens Problem
Integre Technical Publishing Co., Inc. College Mathematics Journal 40:3 March 12, 2009 2:02 p.m. chatham.tex page 204 Reflections on the N + k Queens Problem R. Douglas Chatham R. Douglas Chatham (d.chatham@moreheadstate.edu)
Quantitative Finance Summer Camp 2016 New Frontiers in Quantitative Finance. Programme Schedule Time Programme Speaker
Quantitative Finance Summer Camp 2016 New Frontiers in Quantitative Finance 11 August 2016 LKCSB Level 3 Seminar Room 3.9 Programme Schedule Time Programme Speaker 0900hr 0925hr 0930hr Welcome Address
Logic and Artificial Intelligence Lecture 18
Logic and Artificial Intelligence Lecture 18 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
Evoking Claude Shannon. José Francisco Rodrigues (CMAF&IO_F Ciências_U Lisboa) Amílcar Sernadas (CMAF&IO_I S Técnico_U Lisboa)
Evoking Claude Shannon José Francisco Rodrigues (CMAF&IO_F Ciências_U Lisboa) Amílcar Sernadas (CMAF&IO_I S Técnico_U Lisboa) Evoking Claude Shannon 1916-2001 [a] playful genius who invented the bit, separated
Principles of Data Security
Principles of Data Security FOUNDATIONS OF COMPUTER SCIENCE Series Editor: Raymond E. Miller Georgia Institute oj Technology PRINCIPLES OF DATA SECURITY Ernst L. Leiss Principles of Data Security Ernst
Petri Net Synthesis. Eric Badouel, Luca Bernardinello, Philippe Darondeau. HAL Id: hal
Petri Net Synthesis Eric Badouel, Luca Bernardinello, Philippe Darondeau To cite this version: Eric Badouel, Luca Bernardinello, Philippe Darondeau. Petri Net Synthesis. Springer, pp.339, 2015, Text in
Lotfi A. ZADEH FROM SEARCH ENGINES TO QUESTION-ANSWERING SYSTEMS THE PROBLEMS OF WORLD KNOWLEDGE, RELEVANCE, DEDUCTION AND PRECISIATION
Scientific and Technical Bulletin Control and Computer Science, Vol. 2, No. 2, 2005, ISSN 1584-9198 Lotfi A. ZADEH Professor in the Graduate School Director, Berkeley Initiative in Soft Computing (BISC)
Computational Thinking for All
for All Corporate Vice President, Microsoft Research Consulting Professor of Computer Science, Carnegie Mellon University Centrality and Dimensions of Computing Panel Workshop on the Growth of Computer
JAMES M. CALVIN. 15 Montgomery Avenue Associate Professor
JAMES M. CALVIN Home Address: Work Address: 15 Montgomery Avenue Associate Professor Montville, NJ 07045 Computer Science Department Phone: (973) 808-0379 New Jersey Institute of Technology Newark, NJ
Eric Duchêne (Univ. Claude Bernard Lyon 1) Michel Rigo (University of Liège)
INVARIANT GAMES Eric Duchêne (Univ. Claude Bernard Lyon 1) Michel Rigo (University of Liège) http://www.discmath.ulg.ac.be/ Words 2009, Univ. of Salerno, 14th September 2009 COMBINATORIAL GAME THEORY FOR
Pattern Avoidance in Unimodal and V-unimodal Permutations
Pattern Avoidance in Unimodal and V-unimodal Permutations Dido Salazar-Torres May 16, 2009 Abstract A characterization of unimodal, [321]-avoiding permutations and an enumeration shall be given.there is
Daniel T. Soukup. Curriculum Vitae. Employment. Education. Academic awards. Teaching awards
Daniel T. Soukup Curriculum Vitae KGRC, University of Vienna Währinger Strasse 25, Wien 1090 +43 665 65115723 daniel.soukup@univie.ac.at www.logic.univie.ac.at/ soukupd73/ Employment 2016 2019 Postdoctoral
2004 Solutions Fryer Contest (Grade 9)
Canadian Mathematics Competition An activity of The Centre for Education in Ma thematics and Computing, University of W aterloo, Wa terloo, Ontario 004 Solutions Fryer Contest (Grade 9) 004 Waterloo Mathematics
An Oral History of Computer Science. Cornell University. https://ecommons.cornell.edu/handle/1813/40569
An Oral History of Computer Science at Cornell University https://ecommons.cornell.edu/handle/1813/40569 Gates Hall, Cornell University Twelve senior faculty members share their personal journeys and their
This list supersedes the one published in the November 2002 issue of CR.
PERIODICALS RECEIVED This is the current list of periodicals received for review in Reviews. International standard serial numbers (ISSNs) are provided to facilitate obtaining copies of articles or subscriptions.
CURRICULUM VITAE. Rza Bashirov Ph.D. in Computer Science, Moskow State University 1982 M.S. in Applied Mathematics, Azerbaijan State University
CURRICULUM VITAE Rza Bashirov 1. Education 1990 Ph.D. in Computer Science, Moskow State University 1982 M.S. in Applied Mathematics, Azerbaijan State University 2. Academic Positions 2010 - due date Professor
Bead Sort: A Natural Sorting Algorithm
In The Bulletin of the European Association for Theoretical Computer Science 76 (), 5-6 Bead Sort: A Natural Sorting Algorithm Joshua J Arulanandham, Cristian S Calude, Michael J Dinneen Department of
Symposium on Plasma And Nuclear Systems
Symposium on Plasma And Nuclear Systems SPANS-2018 Notice: 16-Aug-2018 Room: UA1240 UOIT Oshawa, ON, Canada Sponsors: IEEE-Toronto, NPSS Chapter, CNS UOIT Chapter, CNS Fusion Science and Technology Division,
Reflection group counting and q-counting
Reflection group counting and q-counting Vic Reiner Univ. of Minnesota reiner@math.umn.edu Summer School on Algebraic and Enumerative Combinatorics S. Miguel de Seide, Portugal July 2-13, 2012 Outline
Decidability of the PAL Substitution Core
Decidability of the PAL Substitution Core LORI Workshop, ESSLLI 2010 Wes Holliday, Tomohiro Hoshi, and Thomas Icard Logical Dynamics Lab, CSLI Department of Philosophy, Stanford University August 20, 2010
The Honourable Perrin Beatty President and Chief Executive Officer, Canadian Chamber of Commerce
The Honourable Perrin Beatty President and Chief Executive Officer, Canadian Chamber of Commerce The Honourable Perrin Beatty is the president and CEO of the 192 000- member Canadian Chamber of Commerce,
Princeton University HONORS FACULTY MEMBERS RECEIVING EMERITUS STATUS
Princeton University HONORS FACULTY MEMBERS RECEIVING EMERITUS STATUS May 2015 The biographical sketches were written by colleagues in the departments of those honored. Copyright 2015 by The Trustees of
DSM-Based Methods to Represent Specialization Relationships in a Concept Framework
20 th INTERNATIONAL DEPENDENCY AND STRUCTURE MODELING CONFERENCE, TRIESTE, ITALY, OCTOBER 15-17, 2018 DSM-Based Methods to Represent Specialization Relationships in a Concept Framework Yaroslav Menshenin
Oil Shale, 2002, Vol. 19, No. 2 SPECIAL ISSN X 2002 Estonian Academy Publishers BIOGRAPHICAL DATA
Oil Shale, 2002, Vol. 19, No. 2 SPECIAL ISSN 0208-189X pp. 187-195 2002 Estonian Academy Publishers BIOGRAPHICAL DATA 1917, June 17 Born in Tallinn to the family of a naval officer and a school teacher
CHEMICAL HERITAGE FOUNDATION UMA CHOWDHRY. Transcript of an Interview Conducted by. Hilary Domush. Experimental Station Wilmington, Delaware
CHEMICAL HERITAGE FOUNDATION UMA CHOWDHRY Transcript of an Interview Conducted by Hilary Domush at Experimental Station Wilmington, Delaware on 24 and 25 August 2011 (With Subsequent Corrections and Additions)
APPOINTMENT AND RETIREMENT OF INDEPENDENT NON-EXECUTIVE DIRECTOR AND NON-EXECUTIVE DIRECTORS
Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this announcement, make no representation as to its accuracy or completeness
Research and Change Call for abstracts Nr. 2
Research and Change Call for abstracts Nr. 2 Theme: What kinds of knowledge are needed in the professions, and what kinds of research are necessary? In the wake of public sector reforms and other societal
Rector, authorities, academic colleagues, Dr. Vadim Utkin, ladies and gentlemen,
SPEECH OF SPONSOR, LUIS MARTÍNEZ SALAMERO Rector, authorities, academic colleagues, Dr. Vadim Utkin, ladies and gentlemen, It is a great honour for all of us that Dr. Utkin is here today to receive an
Technical framework of Operating System using Turing Machines
Reviewed Paper Technical framework of Operating System using Turing Machines Paper ID IJIFR/ V2/ E2/ 028 Page No 465-470 Subject Area Computer Science Key Words Turing, Undesirability, Complexity, Snapshot
Contributors. Alan Carsrud and Malin Brännback Downloaded from Elgar Online at 04/17/ :27:16AM via free access
Contributors Karin Berglund, Ph.D., is Associate Professor at Stockholm University School of Business and Centre Director of Stockholm School of Entrepreneurship, Sweden. In her research, Karin has focused
Computer Science and Philosophy Information Sheet for entry in 2018
Computer Science and Philosophy Information Sheet for entry in 2018 Artificial intelligence (AI), logic, robotics, virtual reality: fascinating areas where Computer Science and Philosophy meet. There are
Update from the Research Director of the J.P. Morgan Center for Commodities (JPMCC)
J.P. Morgan Center for Commodities at the University of Colorado Denver Business School (JPMCC) Jian Yang, Ph.D., CFA J.P. Morgan Endowed Research Chair, JPMCC Research Director, and Professor of Finance
Journal Title ISSN 5. MIS QUARTERLY BRIEFINGS IN BIOINFORMATICS
List of Journals with impact factors Date retrieved: 1 August 2009 Journal Title ISSN Impact Factor 5-Year Impact Factor 1. ACM SURVEYS 0360-0300 9.920 14.672 2. VLDB JOURNAL 1066-8888 6.800 9.164 3. IEEE
Richard Blundell receives IZA Prize in Labor Economics
Richard Blundell receives IZA Prize in Labor Economics This year's IZA Prize in Labor Economics was awarded to Richard Blundell (University College London and IFS). The prestigious award recognizes his
Martin Gervais. Department of Economics Work: University of Iowa Cell: Iowa City, IA Fax:
Martin Gervais Department of Economics Work: 319-335-2087 University of Iowa Cell: 319-400-1281 Iowa City, IA 52242 Fax: 319-335-1956 E-mail: martin-gervais@uiowa.edu Citizenship: Canadian Professional
Notes on Mathematical Education in Leningrad (St. Petersburg)
Notes on Mathematical Education in Leningrad (St. Petersburg) Special schools and forms, Math programs, Math tournaments Olympiads Math circles Math camps Special schools and forms Big three : 239, 30,
Emerging Frontiers of Science of Information
Emerging Frontiers of Science of Information NSF STC 2010 Bryn Mawr Howard MIT Princeton Purdue Stanford UC Berkeley UC San Diego UIUC National Science Foundation STC Team Wojciech Szpankowski, Purdue
Linnaeus University Summer Academy
2018 Linnaeus University Summer Academy Linnaeus University Summer Academy July 13 August 17, 2018 Linnaeus University Summer Academy offers an international, intercultural and interdisciplinary study
AI Day on Knowledge Representation and Automated Reasoning
Faculty of Engineering and Natural Sciences AI Day on Knowledge Representation and Automated Reasoning Wednesday, 21 May 2008 13:40 15:30, FENS G035 15:40 17:00, FENS G029 Knowledge Representation and
Smart Materials and Structures
7 th International conference on Smart Materials and Structures conferenceseries.com July 2-3, 2018 Vienna, Austria Dear Attendees, Invitation We are glad to announce the 7 th International conference
Effective Supervision Strategies
School of Social Work/ Graduate School of Public Health Leadership in Public Health Social Work Education Evans Fellowship Leadership Seminar February 7, 2018 Effective Supervision Strategies Don Goughler,
SciTech Program. July 22 - August 03, Explore Frontiers of Science and Technology at UC Berkeley
SciTech Program July 22 - August 03, 2018 Explore Frontiers of Science and Technology at UC Berkeley Experience Science and Technology through Discovery The College of Chemistry and the Berkeley Global
Nomination for ISSMGE President for the Period
26 November 2016 Dear Colleagues, Nomination for ISSMGE President for the Period 2017-2021 The Hong Kong Geotechnical Society (HKGES) would like to nominate Professor Charles W.W. Ng as a candidate for
Overview of Theoretical Aeroacoustics: Compiled Mathematical Derivations of Fereidoun Feri Farassat
Overview of Theoretical Aeroacoustics: Compiled Mathematical Derivations of Fereidoun Feri Farassat Steven A. E. Miller The National Aeronautics and Space Administration NASA Technical Working Group April
UNIVERSITY OF CRAIOVA ROMANIA HABILITATION THESIS ABSTRACT
UNIVERSITY OF CRAIOVA ROMANIA HABILITATION THESIS ABSTRACT RESEARCH CONCERNING THE QUALITY IMPROVEMENT OF STRUCTURES BASED ON TRADITIONAL AND SMART MATERIALS APPLIED IN ELECTRICAL ENGINEERING Assoc. Prof.
Introduction. amy e. earhart and andrew jewell
Introduction amy e. earhart and andrew jewell Observing the title and concerns of this collection, many may wonder why we have chosen to focus on the American literature scholar; certainly the concerns
Structural Biology EURO STRUCTURAL BIOLOGY Theme: Exploring the Future Advancements in Structural and Molecular Biology. 15 th World Congress on
15 th World Congress on Structural Biology November 19-20, 2018 Paris, France Theme: Exploring the Future Advancements in Structural and Molecular Biology Invitation Dear Attendees, We are glad to announce
Theory of Computer Ivi.UvA.nl
Theory of Computer Science @ Ivi.UvA.nl Contents of presentation: Section Research themes SWOT analysis Scientific output and Funding Notable results Future Discussion Alban Ponse Faculty of Science Informatics
detection; creative industrial design systems; sophisticated computer games in which the non-player characters are driven
software running on on-board computers. Back then, however, hardly anyone talked about concepts such as computing or computers. On the contrary, the media referred to computers as electronic brains. And
NEWS RELEASE. Introducing the board of the new BC Parks Foundation
For Immediate Release 2017ENV0028-000886 March 28, 2017 NEWS RELEASE Introducing the board of the new BC Parks Foundation VICTORIA An iconic wildlife painter, an internationally recognized leader in the
Periodic Complementary Sets of Binary Sequences
International Mathematical Forum, 4, 2009, no. 15, 717-725 Periodic Complementary Sets of Binary Sequences Dragomir Ž. D oković 1 Department of Pure Mathematics, University of Waterloo Waterloo, Ontario,
A Fractal which violates the Axiom of Determinacy
BRICS RS-94-4 S. Riis: A Fractal which violates the Axiom of Determinacy BRICS Basic Research in Computer Science A Fractal which violates the Axiom of Determinacy Søren Riis BRICS Report Series RS-94-4
The Economics of Leisure and Recreation
The Economics of Leisure and Recreation STUDIES IN PLANNING AND CONTROL General Editors B. T. Bayliss, B.Sc.(Econ.), Ph.D. Director, Centre for European Industrial Studies University of Bath and G. M.
Blake Phillips CV October 2014
Blake R. Phillips School of Accounting and Finance, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, Canada, N2L 3G1 Phone: 519-888-4567 ext. 38886 Email: brphillips@uwaterloo.ca
An Aperiodic Tiling from a Dynamical System: An Exposition of An Example of Culik and Kari. S. Eigen J. Navarro V. Prasad
An Aperiodic Tiling from a Dynamical System: An Exposition of An Example of Culik and Kari S. Eigen J. Navarro V. Prasad These tiles can tile the plane But only Aperiodically Example A (Culik-Kari) Dynamical
Finland s drive to become a world leader in open science
Finland s drive to become a world leader in open science EDITORIAL Kai Ekholm Solutionsbased future lies ahead Open science is rapidly developing all over the world. For some time now Open Access (OA)
CS 380: ARTIFICIAL INTELLIGENCE INTRODUCTION. Santiago Ontañón
CS 380: ARTIFICIAL INTELLIGENCE INTRODUCTION Santiago Ontañón so367@drexel.edu CS 380 Focus: Introduction to AI: basic concepts and algorithms. Topics: What is AI? Problem Solving and Heuristic Search
ogic On the occasion of Johan van Benthem s retirement from the University of Amsterdam 26 september 2014
Institute for Logic, Language and Computation On the occasion of Johan van Benthem s retirement from the University of Amsterdam 26 september 2014 ogic In the 1980s a group of researchers in mathematics
Grades 7 & 8, Math Circles 27/28 February, 1 March, Mathematical Magic
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Card Tricks Grades 7 & 8, Math Circles 27/28 February, 1 March, 2018 Mathematical Magic Have you ever
Publications of T. Jech
Publications of T. Jech 1. (with B. Balcar), Modeli teorii mnoжestv obrazovannye soverxennym otnoxeniem, (Models of set theory given by perfect relations), Časopis pro pěstování matematiky 90 (1965), 413
Sequences. like 1, 2, 3, 4 while you are doing a dance or movement? Have you ever group things into
Math of the universe Paper 1 Sequences Kelly Tong 2017/07/17 Sequences Introduction Have you ever stamped your foot while listening to music? Have you ever counted like 1, 2, 3, 4 while you are doing a
The Mathematica Journal A Generator of Rook Polynomials
The Mathematica Journal A Generator of Rook Polynomials Daniel C. Fielder A list adaptation of an inclusion-exclusion method for calculating the rook polynomials of arbitrary finite chessboards is discussed
Scope of OOSE. A. Starts. CMPSC 487 Lecture 01 Topics: Schach - Chap 1. The Scope of Object-Oriented Software Engineering
Scope of OOSE CMPSC 487 Lecture 01 Topics: Schach - Chap 1. The Scope of Object-Oriented Software Engineering A. Starts What is dream of software developer or computer scientists? What is dream of software
3-Day Short Course on Terahertz Technologies and Applications June 2016 City University of Hong Kong
3-Day Short Course on Terahertz Technologies and Applications 14 16 June 2016 City University of Hong Kong About the workshop The 3-Day Short Course on Terahertz Technologies and Applications is organized
Computational Intelligence Optimization
Computational Intelligence Optimization Ferrante Neri Department of Mathematical Information Technology, University of Jyväskylä 12.09.2011 1 What is Optimization? 2 What is a fitness landscape? 3 Features
PROGRAMME AARHUS UNIVERSITY
PROGRAMME 9:00 Welcome to the first DIGIT event, Peter Gorm Larsen, AU/ENG 9:30 Machine Learning for Media Data Analysis, Alexandros Iosfidis, AU/ENG 10:00 Application of neural networks analysis in medicine,
CURRICULUM VITAE. Linguistic skills mother tongue: Finnish English (good knowledge); Swedish (elementary), German (elementary)
1 CURRICULUM VITAE Full name and date Seppänen, Kari Tapio male November 23, 2017 Date and place of birth, nationality, current residence December 26, 1960; Oulu, Finland Finnish Karhulantie 4, 90800 Oulu,
APPOINTMENT OF INDEPENDENT NON-EXECUTIVE DIRECTORS
Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this announcement, make no representation as to its accuracy or completeness
CURRICULUM VITAE Stuart W. Margolis Rachel Imenu 47/ Jerusalem, Israel Present Position. Full Professor Department of Mathematics Bar Ilan
CURRICULUM VITAE Stuart W. Margolis Rachel Imenu 47/8 93228 Jerusalem, Israel Present Position. Full Professor Department of Mathematics Bar Ilan University 52900 Ramat Gan, Israel PHONE: 972-03-531-7608
With Vision (BOC- )
With Vision 23030056 (BOC- ) 31 BOARD OF DIRECTORS AND SENIOR MANAGEMENT Directors Mr. LIU Mingkang, Chairman Aged 56, is the Chairman of the Board of Directors of both the Company and BOCHK. Mr. Liu has
CAD Tools Utilized in Microelectronic IC Design Education in the University of Oulu Janne Aikio, Timo Rahkonen
CAD Tools Utilized in Microelectronic IC Design Education in the University of Oulu Janne Aikio, Timo Rahkonen (janne.aikio@ee.oulu.fi) University of Oulu, Finland Department of Electrical Engineering
Lista de lucrari. A. Articole in reviste cu referenti
Lista de lucrari A. Articole in reviste cu referenti Chifu, A., Hristea, F., Mothe, J., Popescu, M., Word sense discrimination in information retrieval: A spectral clustering-based approach. Information
Graduate Texts in Mathematics. Editorial Board. F. W. Gehring P. R. Halmos Managing Editor. c. C. Moore
Graduate Texts in Mathematics 49 Editorial Board F. W. Gehring P. R. Halmos Managing Editor c. C. Moore K. W. Gruenberg A.J. Weir Linear Geometry 2nd Edition Springer Science+Business Media, LLC K. W.
Innovation is calling! Join Infineon Austria. [ ] [ english ]
![Innovation is calling! Join Infineon Austria. [ ] [ english ]](/thumbs/72/66469328.jpg "Innovation is calling! Join Infineon Austria. [ ] [ english ]")
Innovation is calling! Join Infineon Austria [ www.infineon.com/austria ] [ english ] Editor: Infineon Technologies Austria AG, Human Resources, 9500 Villach, Siemenstr. 2 Layout & Graphic Design: honigkuchenpferd.net
A Glimpse at Kurt tmehlhorn. by Christos Zaroliagis
Honorary Doctorate Ceremony 8 November 2017, University of Patras, Greece A Glimpse at Kurt tmehlhorn by Christos Zaroliagis Education & Career Date/Period Education & employment 29.08.1949 Born in Ingolstadt
Perfect Squares that are Written as Fractions or Decimals
Math 9: Unit 1 Lesson 2 Perfect Squares that are Written as Fractions or Decimals Part 1: Fractions There are two ways to determine the square root of a perfect square that is written as a fraction: 1.
Artificial Intelligence
Artificial Intelligence Chapter 1 Chapter 1 1 Outline Course overview What is AI? A brief history The state of the art Chapter 1 2 Administrivia Class home page: http://inst.eecs.berkeley.edu/~cs188 for