TEATED

[uued teated] [2013] [2012] [2011] 2010 [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999]

• 17.12.2010, 14:00 , B 316. esineb Tanel Mullari (KübI) teemal "Diskreetse ajaga süsteemide ligipääsetavus".
• 13.12.2010, 16:00 , KübI B 101. esineb Arvi Ravasoo (KübI) teemal Counter-propagation of bursts in functionally graded material.
• 9.12.2010, 14:00 , KübI B 101. Bernd Fischer (Southamptoni Ülikool) räägib teemal Industrial-strength certified SAT solving through verified SAT proof checking (vaata abstrakti).
• 8.12.2010, 14:00 , KübI B 101. Neville Grech (Southamptoni Ülikool) räägib teemal Preemptive type checking in dynamically typed programs (vaata abstrakti).
• 2.12.2010, 14:00 , KübI B 101. Lu?­s Pinto (Minho Ülikool, Braga, Portugal) räägib teemal Monadic translation of sequent calculus for classical logic (vaata abstrakti).
• 29.11.2010, 16:00 , KübI B 101. esineb Andres Braunbrück (KübI) teemal Multiple reflections of a harmonic burst and resonances .
• 26.11.2010, 14:00 , B 316. esineb Arvo Kaldmäe (Tartu Ü magistrant) teemal Lõpliku korpuse algebraline sulund.
• 22.11.2010, 16:00 , KübI B 101. esineb Mihkel Heidelberg teemal On the turbulent transport in 2D quasi-stationary velocity fields.
• 17.11.2010, 11:00 , KübI B 101. KübI doktorant Pavel Grigorenko kaitseb doktoritööd "Higher-Order Attribute Semantics of Flat Languages" (Lamedate keelte kõrgemat järku atribuutsemantika). Juhendaja juhtivteadur Enn Tõugu (KübI). Oponendid prof Mihhail Matskin (KTH, Stockholm) ja prof Merik Meriste (TÜ).
• 12.11.2010, 14:00 , KübI B 101. esineb Ewa Pawluszewicz (Bialystoki Tehnikaülikool, Poola) teemal Linear fractional systems with finite memory (Lõpliku mäluga murdlineaarsed süsteemid).
• 10.11.2010, 16:00 , Akadeemia maja, Kohtu 6. akadeemik Raimund-Johannes Ubari avalik akadeemiline loeng "Inseneri ja tehnoloogia võidujooksust nanomeeterdistantsil" (vaata lähemalt).
• 1.11.2010, 16:00 , KübI B 101. esineb Heiko Herrmann (KübI).
• 27.10.2010, 14:00 , KübI B 126. Eesti Teaduste Akadeemia seminar-töötuba Mudelipõhine tarkvaratehnika - tarkvara tootmise kõrgtehnoloogia (vaata ajakava).
• 22.10.2010, 10:00 , KübI B 101. Töötuba RECENT PROBLEMS IN NONLINEAR DYNAMICS (vaata töötoa KAVA).
• 21.10.2010, 11:00 , KübI B 101. TTÜ doktorant Merle Randrüüt kaitseb doktoritööd "Wave Propagation in Microstructured Solids: Solitary and Periodic Waves" (Lainelevi mikrostruktuursetes tahkistes: üksik- ja perioodilised lained). Juhendajad prof Jüri Engelbrecht ja prof Andrus Salupere (KübI). Oponendid prof Franco Pastrone (Torino Ülikool) ja juhtivteadur Aleksei V. Porubov (Peterburi Masinaehituse Probleemide Instituut).
• 18.10.2010, 16:00 , KübI B 101. esineb Ira Didenkulova (KübI) teemal Statistical characteristics of long waves nearshore.
• 11.10.2010, 16:00 , KübI B 101. esineb Arkadi Berezovski (KübI) teemal Dynamics of Two-scale Microstructure.
• 7.10.2010, 14:00 , KübI B 101. Margarita Spitšakova (KübI) räägib teemal Gravitational Search Algorithm (vaata abstrakti).
• 6.10.2010, 13:30 , KübI B 101. Michael Reichhardt Hansen (Taani Tehnikaülikool) räägib teemal Decision algorithms for Presburger arithmetic (vaata abstrakti).
• 4.10.2010, 16:00 , KübI B 101. esinevad Dmitri Kartofelev ja Anatoli Stulov (KübI) teemal Influence of the Edge of the Cast Iron Frame Curvature on the Spectrum of the Piano String Vibrations.
• ÕNNITLEME KübI 2009. aastal ilmunud parima publikatsiooni konkursi võitjaid ! (vt. lähemalt).
• 13.9.2010, 16:00 , Küberneetika Maja saal. Nikolai Alumäe mehaanikaloeng 2010 - esineb prof. Rein Küttner (TTÜ) teemal "MASINAEHITUSLIKE TOODETE JA PROTSESSIDE STRUKTUURANALÜÜS JA OPTIMEERIMINE"
• 31.8.2010, 13:00 , TÜ nõukogu saal. ÕNNITLEME! TÜ doktorant Tanel Mullari kaitses edukalt doktoritöö On the second order relativistic deviation equation and its applications (Teist järku relativistlik hälbevõrrand ja selle võrrandi rakendusi). Juhendaja prof. Risto Tammelo (TÜ Füüsika Instituut). Oponendid prof. Roman Plyatsko (Inst. of Applied Problems in Mech. and Math., Ukrainian National Acad. of Sci) ja prof. Väino Unt (Tartu Observatoorium).
• 9.9.2010, 14:00 , KübI B 101. Tarmo Uustalu (KübI) räägib teemal Relating sequent calculi for bi-intuitionistic propositional logic (vaata abstrakti).
• 6.9.2010, 16:00 , KübI B 101. esineb Marco Patriarca (KBFI) teemal A variational principle for the Pareto power-law (vaata abstrakti).
• 
  JUUBELIÜRITUSED
• 1.9.2010, 14:00 , KübI B 101. Prof. Jarkko Kari (Turu Ülikool) räägib teemal Tilings and undecidability in cellular automata (vaata abstrakti).
• 31.8.2010 KübIs mini-töötuba Cellular Automata Software (korraldaja Dr. Silvio Capobianco, vt. lähemalt)
• 19.8.2010, 14:00 , KübI B 101. Romain Demangeon (LIP, ENS Lyon) räägib teemal Termination for concurrent processes (vaata abstrakti).
• 7.-11. augustil 2010 korraldab CENS KübIs suvekooli Scientific Computing, kus keskendutakse suurte algebraliste võrrandisüsteemide iteratiivsetele lahendajatele ja paralleelprogrammeerimisele (info Dr. Heiko Hermannilt, vaata postrit).
• ÕNNITLEME! 11. juulil 2010 saab 80-aastaseks fotoelastsuse labori elektrimontaažilukksepp Ants Rumberg (õnnitlus).
• 22.6.2010, 10:00 , KübI B 101. TTÜ doktorant Andrus Räämet kaitseb oma doktoritööd "Spatio-temporal variability of the Baltic Sea wave fields" (Läänemere lainetuse tingimuste ajalis-ruumiline muutlikkus). Juhendaja prof Tarmo Soomere (KübI). Oponendid: Dr. Arno Behrens (Coastal Research Institute, GKSS Geesthacht, Saksamaa) ja prof Sirje Keevallik (TTÜ Meresüsteemide instituut). (vaata doktoritööd).
  
• 21.6.2010, 11:00 , KübI B 101. TTÜ doktorant Mihhail Berezovski kaitseb oma doktoritööd "Numerical Simulation of Wave Propagation in Heterogeneous and Microstrucured Materials" (Lainelevi numbriline simulatsioon heterogeensetes ja mikrostruktuuriga materjalides). Juhendaja prof Jüri Engelbrecht (KübI). Oponendid: Dr. JiŠ™?­ Plešek (Inst. of Thermomechanics AS CR, Prague, Czech Republic) ja prof Harm Askes (Sheffield Univ., UK). (vaata doktoritööd).
• 18.6.2010, 12:30 , KübI B 101. esineb Harm Askes (Sheffieldi Ülikool, UK) teemal The use of inertial penalty functions in computational mechanics (loe edasi).
• 18.6.2010, 13:30 , KübI B 101. esineb Inna Gitman (Sheffieldi Ülikool, UK) teemal Multi-scale methods and the determination of representative volume elements in solid mechanics (loe edasi).
• PALJU ÕNNE! 14. juunil 2010 on juubilar meie raamatukogu juhataja, Marje Tamm (õnnitlus)
• 14.6.2010, 16:00 , KübI B 101. esineb Ivar Annus (TTÜ Mehaanikainstituut) teemal Üleminek turbulentsile kiirenevas voolus.
• 3.6.2010, 14:00 , KübI B 101. Hellis Tamm (KübI) räägib teemal Some minimality results on biresidual and biseparable automata (vaata abstrakti).
• 27.5.2010, 14:00 , KübI B 101. Thorsten Altenkirch (Nottinghami Ülikool) räägib teemal Mixing induction and coinduction in Agda (vaata abstrakti).
• ÕNNITLEME! 24. mail 2010 sai 60-aastaseks tarkvara osakonna juhataja, vanemteadur Ahto Kalja (õnnitlus).
  
• KONKURSITEADE akadeemilised ametikohad TTÜ Küberneetika Instituudis perioodiks 01.09.2010 - 31.08.2015, tähtaeg 25. mai 2010 (vt. kuulutus, TTÜ tööpakkumised)
• ÕNNITLEME! 2010. a. kevadise Tiina Mõisa stipendiumi pälvis Mervi Sepp (vt. TTÜ Arengufondi 2010. aasta kevadised stipendiumid määratud).
• 24.5.2010, 16:00 , KübI B 101. esinevad Tarmo Soomere ja Ira Didenkulova (KübI) ning Kevin Parnell (James Cook'i Ülikool, Austraalia) teemal Water transport in groups of nonlinear wake waves from high-speed vessels .
• ÕNNITLEME! 20. mail 2010 sai 75-aastaseks tarkvara osakonna juhtivteadur Enn Tõugu (õnnitlus).
• 20.5.2010, 14:00 , KübI B 101. Alberto Pardo (Montevideo) räägib teemal A security types preserving compiler in Haskell (vaata abstrakti).
• 19.5.2010, 16:15 , KübI B 101. Viies (viimane) seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
• ÕNNITLEME! Üks kümnest Jaan Poska 2010. aasta stipendiaatidest Juri Belikov (vt. Selgunud on Jaan Poska stipendiumi saajad).
• 13.5.2010, 16:00 , KübI B 401. Tarmo Uustalu (KübI) räägib teemal Resumptions, weak bisimilarity and big-step semantics for interactive input-output: an exercise in mixed induction-coinduction (vaata abstrakti).
• 12.5.2010, 16:00 , KübI B 101. Neljas seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
• 6.5.2010, 14:00 , KübI B 101. Andres Toom (KübI) räägib teemal Verifying simple imperative programs with the Coq proof assistant (vaata abstrakti).
• 6.5.2010, 11:00 , KübI B 101. Neljas loeng IKTDK raames toimuvast kursusest ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lektor Prof. Alexey. N. Zhirabok Kaug-Ida Riiklikust Tehnikaülikoolist (vaata abstrakti).
• 3.5.2010, 16:00 , KübI B 101. esineb Jaan Kalda (KübI) teemal Statistical topography of random surfaces: scaling laws and applications.
• 3.5.2010, 14:00 , KübI B 101. Kolmas loeng IKTDK raames toimuvast kursusest ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lektor Prof. Alexey. N. Zhirabok Kaug-Ida Riiklikust Tehnikaülikoolist (vaata abstrakti).
• 29.4.2010, 11:00 , KübI B 101. Teine loeng IKTDK raames toimuvast kursusest ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lektor Prof. Alexey. N. Zhirabok Kaug-Ida Riiklikust Tehnikaülikoolist (vaata abstrakti).
• 28.4.2010, 16:00 , KübI B 101. Kolmas seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
• 26.4.2010, 14:00 , KübI B 101. Esimene loeng IKTDK raames toimuvast kursusest ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lektor Prof. Alexey. N. Zhirabok Kaug-Ida Riiklikust Tehnikaülikoolist (vaata abstrakti).
• 26.4.2010, 16:00 , KübI B 101. esineb Andrus Räämet (KübI) teemal Lainekliima ajalis-ruumiline muutlikkus ja trendid Põhjamere ja Läänemere näitel.
• 19.4.2010, 16:00 , KübI B 101. esineb Andres Braunbrück (KübI) teemal On multiple reflections of a harmonic burst in inhomogeneous material.
• 14.4.2010, 16:00 , KübI B 101. Teine seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
• 13.4.2010, 16:00 KübI suures saalis TTÜ teadusasutuste kohtumine rektorikandidaatidega. Kell 16 tutvustab oma platvormi ja vastab küsimustele Andres Keevallik ja kell 17 teeb seda sama Peep Sürje (veel valimistest, asutuste küsimused).
• 12.4.2010, 16:00 , KübI B 101. esineb Arkadi Berezovski (KübI) teemal Dispersive wave equations for microstructured solids.
• 9.4.2010, 14:00 , KübI B 101. Lu?­s Pinto (Minho Ülikool, Portugal) räägib teemal Proof search and counter-model construction for bi-intuitionistic propositional logic (vaata abstrakti).
• 8.4.2010, 16:00 , KübI C231. Keiko Nakata (KübI) räägib teemal Lazy initialization for ML-style modules (vaata abstrakti).
• 7.4.2010, 16:00 , KübI B 101. Esimene seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
• 6.4.2010, 15:00 , KübI B 101. Eesti Operatsioonianalüüsi Seltsi asutamiskoosolek. Seltsi eesmärke ja tegevuskava tutvustab Otu Vaarmann.
• 5.4.2010, 16:00 , KübI B 101. esineb Jakob Jõgi (Tartu Ülikool) teemal Discrete element method simulation of sol-gel nanofilm cracking (vaata abstrakti).
• 29.3.2010, 16:00 , KübI B 101. Mehaanikaseminar - esineb Jaan Janno (KübI) teemal Solitary waves in a coupled system of microstructure and inverse problems.
• 22.3.2010, 16:00 , KübI B 101. esinevad Prof. Martin Eerme ja vanemteadur Jüri Majak (TTÜ) teemal Insenerirakendustest TTÜ masinaehituse instituudis.
• 11.3.2010, 14:00 , KübI B 101. Andri Saar (KübI) räägib Lõtvadest mälumudelitest.
• 9.3.2010, 14:00 , KübI B 101. Juhan Ernits (Birminghami Ülikool) räägib teemal Automated fault detection for Autosub6000: What we've achieved in a year (vaata abstrakti).
• 8.3.2010, 16:00 , KübI B 101. esineb Ira Didenkulova (KübI) teemal Coastal freak waves with an application to the Baltic sea.
• 28. veebruarist 5. märtsini 2010 korraldab KübI Palmses XV Eesti Arvutiteaduse Talvekooli, EWSCS 2010 (vaata http://cs.ioc.ee/ewscs/2010/ ja ka pressiteadet).
• TÄHELEPANU
  KübI töötajad! Seoses vana meiliserveri ärakukkumisega lugege ESMAABI Meili ümberseadistamist toimetab Riina Maigre Greta kodust failide kättesaamise abi Rein Lõugaselt
• 1.3.2010, 16:00 , KübI B 101. esineb Indrek Mandre (KübI) teemal Correlated percolation: scaling properties of percolation clusters.
• ÕNNITLEME! TTÜ aasta teadusartikli konkursil jagas teist ja kolmandat kohta loodus- ja täppisteaduste valdkonnas artikkel Saabas, A., Uustalu, T. Proof optimization for partial redundancy elimination. The Journal of Logic and Algebraic Programming, 2009, 78, 7, 619 – 642 (vaata käskkirja).
• ÕNNITLEME! TTÜ aasta parima noorteadlase konkursil märgiti lisaks võitjale tulemusliku teadustöö eest ära ka kaks nominenti sh meie vanemteadur Rikke Birkedal Nielsen (vaata käskkirja).
• 26.2.2010, 09:30 , KübI B 101. algab Kirurgi robot-assistendi Jaapani-Eesti koostöörühma infopäev (vaata kava).
• 22.2.2010, 16:00 , KübI B 101. esineb Prof. Mihai Predoi (Mehaanika teaduskond, Bukaresti Polütehniline Instituut) teemal Dispersion curves of guided waves. Numerical methods and experimental validation.
• 22.2.2010, 15:00 , KübI B 101. esineb Prof. Chuck Kurkjian (Lõuna Maine'i Ülikool, USA) teemal Strength and mechanical properties of glass.
• 15.2.2010, 16:00 , KübI B 101. esineb Anatoli Stulov (KübI) teemal PHYSICS OF THE PIANO STRING PITCH FORMATION.
• 11.2.2010, 14:00 , KübI B 101. Marino Miculan (Udine Ülikool, Itaalia) räägib teemal A categorical model of the fusion calculus (vaata abstrakti).
  
• 8.2.2010, 16:00 , KübI B 101. esineb Andrus Räämet (KübI) teemal Long-term wave climate changes in the Baltic Sea.
• 5.–7. veebruarini 2010 toimuvad Andul Eesti arvutiteaduse teooriapäevad: Programmeerimiskeeled ja süsteemid (vaata http://www.cs.ut.ee/~varmo/tday-andu/ ).
• ÕNNITLEME! Eesti Keskkonnaühenduste Koda valis 2009. aasta Keskkonnateoks Ivar Puura ja Tarmo Soomere initsiatiivi Nord Streami gaasitoru rajamise võimalikele negatiivsetele keskkonnamõjudele tähelepanu juhtimisel (loe uudist).
• 4.2.2010, 14:00 , KübI B 101. Davide Grohmann (Udine Ülikool, Itaalia) räägib teemal From reactions to observations: the directed bigraphical model (vaata abstrakti).
• 3.2.2010, 16:00 , KübI B 126. Seminar sarjast "Automaadid ja poolrühmad". Seekord alateemaks "Sequential machines". Räägib Margarita Spitšakova (KübI).
• 1.2.2010, 16:00 , KübI B 101. esineb Arvi Ravasoo (KübI) teemal Modified constitutive equation for quasi-linear theory of viscoelasticity.
• 27.1.2010, 14:00 , KübI B 101. TTÜ doktorant Maris Tõnso kaitseb oma doktoritööd "Computer Algebra Tools for Modelling, Analysis and Synthesis for Nonlinear Control Systems" (Arvutialgebra vahendid mittelineaarsete juhtimissüsteemide modelleerimiseks, analüüsiks ja sünteesiks). Juhendaja Ülle Kotta. Oponendid: prof Alain Glumineau (Institut de Recherche en Communications et en Cybernetique de Nantes, Prantsusmaa) ja prof Felix L.Chernousko (Institute for Problems in Mechanics of the Russian Academy of Sciences, Venemaa) (vaata doktoritööd).
• 25.1.2010, 16:00 , KübI B 101. esineb Prof. Stefano Tinti (University of Bologna) teemal Tsunami risk and tsunami early warning system in the Euromediterranean Region.
• 21.1.2010, 14:00 , KübI B 101. Keiko Nakata (KübI) räägib teemal Securing class initialization (vaata abstrakti).
• 18.1.2010, 16:00 , KübI B 101. esineb Arkadi Berezovski (KübI) teemal Generalized Thermomechanics and Internal Variables.
• 13.1.2010, 16:00 , KübI B 126. Seminar sarjast "Automaadid ja poolrühmad". Põhiteemaks "Tunnustid". Räägivad Margarita Spitšakova (KübI) ja Peeter Normak (Tallinna Ülikool).
• 11.1.2010, 16:00 , KübI B 101. Mehaanikaseminar - esineb Merle Randrüüt (KübI) teemal Solitary Waves in Microstructured Solids: Approximate and Exact Solutions of an Extended Korteweg-de Vries Equation.
• 7.1.2010, 14:00 , KübI B 101. Edwin Brady (St Andrews Ülikool, Š otimaa) räägib teemal Implementing domain-specific languages using dependent types and partial evaluation (vaata abstrakti).
• 7.1.2010, 16:00 , KübI B 101. Conor McBride (Strathclyde'i Ülikool, Š otimaa) räägib teemal Time flies like an applicative functor (vaata abstrakti).
• 4.1.2010, 16:00 , KübI B 101. esineb Mihkel Kree (KübI) teemal Turbulent mixing - experiments and theory.