TEATED

[uued uudised] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] 2010 [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999]
 

  • 17.12.2010, 14:00, B 316. Juhtimissüsteemide seminar: esineb Tanel Mullari (KübI) teemal "Diskreetse ajaga süsteemide ligipääsetavus".
  • 13.12.2010, 16:00, KübI B 101. CENSi seminar: esineb Arvi Ravasoo (KübI) teemal Counter-propagation of bursts in functionally graded material.
  • 9.12.2010, 14:00, KübI B 101. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: esineb Andres Braunbrück (KübI) teemal Multiple reflections of a harmonic burst and resonances .
  • 26.11.2010, 14:00, B 316. Juhtimissüsteemide seminar: esineb Arvo Kaldmäe (Tartu Ü magistrant) teemal Lõpliku korpuse algebraline sulund.
  • 22.11.2010, 16:00, KübI B 101. CENSi seminar: 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. Juhtimissüsteemide seminar: 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. CENSi seminar: 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. CENSi seminar: 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. CENSi seminar: esineb Ira Didenkulova (KübI) teemal Statistical characteristics of long waves nearshore.
  • 11.10.2010, 16:00, KübI B 101. CENSi seminar: esineb Arkadi Berezovski (KübI) teemal Dynamics of Two-scale Microstructure.
  • 7.10.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Margarita Spitšakova (KübI) räägib teemal Gravitational Search Algorithm (vaata abstrakti).
  • 6.10.2010, 13:30, KübI B 101. Arvutiteaduse seminar: 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. CENSi seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: esineb Marco Patriarca (KBFI) teemal A variational principle for the Pareto power-law (vaata abstrakti).
  • : JUUBELIÜRITUSED!
    JUUBELIÜRITUSED
  • 1.9.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Prof. Jarkko Kari (Turu Ülikool) räägib teemal Tilings and undecidability in cellular automata (vaata abstrakti).
  • 31.8.2010KübIs mini-töötuba Cellular Automata Software (korraldaja Dr. Silvio Capobianco, vt. lähemalt)
  • 19.8.2010, 14:00, KübI B 101. Arvutiteaduse seminar: 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. CENSi seminar: 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. CENSi seminar: 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. CENSi seminar: esineb Ivar Annus (TTÜ Mehaanikainstituut) teemal Üleminek turbulentsile kiirenevas voolus.
  • 3.6.2010, 14:00, KübI B 101. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: 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. Arvutiteaduse seminar: Alberto Pardo (Montevideo) räägib teemal A security types preserving compiler in Haskell (vaata abstrakti).
  • 19.5.2010, 16:15, KübI B 101. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: 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. CENSi seminar: 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. Arvutiteaduse seminar: Teine seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
  • 13.4.2010, 16:00Kü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. CENSi seminar: esineb Arkadi Berezovski (KübI) teemal Dispersive wave equations for microstructured solids.
  • 9.4.2010, 14:00, KübI B 101. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal Lazy initialization for ML-style modules (vaata abstrakti).
  • 7.4.2010, 16:00, KübI B 101. Arvutiteaduse seminar: 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. CENSi seminar: 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. CENSi seminar: 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. CENSi seminar: esinevad Prof. Martin Eerme ja vanemteadur Jüri Majak (TTÜ) teemal Insenerirakendustest TTÜ masinaehituse instituudis.
  • 11.3.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib Lõtvadest mälumudelitest.
  • 9.3.2010, 14:00, KübI B 101. Arvutiteaduse seminar: 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. CENSi seminar: 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. CENSi seminar: 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. CENSi seminar: 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. CENSi seminar: 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. CENSi seminar: esineb Anatoli Stulov (KübI) teemal PHYSICS OF THE PIANO STRING PITCH FORMATION.
  • 11.2.2010, 14:00, KübI B 101. Arvutiteaduse seminar: 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. CENSi seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: 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. CENSi seminar: 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. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal Securing class initialization (vaata abstrakti).
  • 18.1.2010, 16:00, KübI B 101. CENSi seminar: 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. Arvutiteaduse seminar: 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. Arvutiteaduse seminar: 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. CENSi seminar: esineb Mihkel Kree (KübI) teemal Turbulent mixing - experiments and theory.

Viimati muutnud: 2017/08/16 17:33