pub.ist.ac.at
Tom Henzinger: Home Page
http://pub.ist.ac.at/~tah
Thomas A. Henzinger. PhD Stanford University, 1991. Drhc Fourier University, Grenoble, 2012;. Masaryk University, Brno, 2015. Institute of Science and Technology Austria). Am Campus 1, A-3400 Klosterneuburg. My three initials@ist.ac.at. Magdalena.Lueger-Kaltenecker@ist.ac.at. 43 2243 9000 1033. Not private): 43 2243 9000 2000. Blast: Model checking of software. Computational modeling in biology. Games for verification and control. Giotto: Embedded software design. HyTech: Verification of hybrid automata.
zeglovits.net
Georg Zeglovits: Projektgalerie - Webdesign, UX, Interaktionsdesign, Kampagnen, Kommunikation
http://www.zeglovits.net/projects
Seit Herbst 2012 arbeite ich als Senior Designer für einem europaweit tätigen IT Dienstleister im Bankenumfeld. Auf dieser Seite finden Sie eine Auswahl meiner Arbeiten zwischen 2008 und 2012. Redesign der Website eines renommierten Markt- and Meinungsforschungsinstitutes. Das Institut für empirische Sozialforschung (IFES). Zählt seit mehr als 40 Jahren zu den führenden Markt- und Meinungsforschungs-Unternehmen in Österreich. Nach mehr als 10 Jahren musste eine neue Website her. Eine laufende technische ...
publist.ist.ac.at
IST Publication Database - Works
https://publist.ist.ac.at/ist/works
Ndash; Recent additions. Handbook of model checking. Plasticity-dependent, full detonation at hippocampal mossy fiber CA3 pyramidal neuron synapses. Vyleta, Nicholas P. Borges Merjane, Carolina. Billiards in convex bodies with acute angles. Israel Journal of Mathematics. Institute of Science and Technology Austria. Am Campus 1, A-3400 Klosterneuburg Phone: 43 2243 9000.
vcla.at
Organization : Vienna Center for Logic and Algorithms
http://www.vcla.at/organization
Vienna Center for Logic and Algorithms. Activities & Events. VCLA is managed by a Board in collaboration with an international Advisory Board. Please direct any inquiries to the PR manager, Katarina Singer. The board is responsible for day-to-day management. The board is consulting with the advisory board about strategic decisions. Moshe Y. Vardi. Logic and Algorithms Groups. The Center is hosted by five research groups at the Faculty of Informatics. The ERC Starting Grant. The ERC Advanced Grant. Offenl...
sites.google.com
Homepage of Christoph H. Lampert
https://sites.google.com/site/christophlampert
Homepage of Christoph H. Lampert. Welcome to my semi-private Homepage. Please also visit our group homepage at IST Austria: http:/ www.ist.ac.at/ chl/. Available at IST Austria. Life-Long Learning for Visual Scene. Understanding, Structured Prediction, Weakly- and. Semi-Supervised Learning, Transfer- and Multi-Task Learning, Domain Adaptation.
blog.iiasa.ac.at
IIASA Network | nexus
http://blog.iiasa.ac.at/category/iiasa-network
At the crossroads of scientific enlightenment and regression. Sep 28, 2016. By Daniel McMurray, BA LLB MIL Global Event Lead Impact Hub, Managing Director and Global Head of Communications Enterprise IQ Pty Ltd. 8211; Nikola Tesla. It is hard not to feel that we live at a pivotal moment in history, with the world racing toward an epochal crossroad. Which path we collectively choose to follow will determine the trajectory of the 21. At such a pivotal moment, the choice of New Enlightenment as the theme fo...
SOCIAL ENGAGEMENT