Beint í leiðarkerfi vefsins.
Viðburðadagatal
- ICE-TCS Lectures Series - Luca Tesei - Space, geometry, motion and interactions in modeling biological systems
- IceTAL 2010 haldin 16.-18. ágúst við Háskólinn í Reykjavík
- ICE-TCS Lectures Series - Eugen-Ioan Goriac - CIRC: A Behavioral Verification Tool based on Circular Coinduction
- ICE-TCS Lectures Series - David de Frutos Escrig - (Un)decidability in Petri nets with name creation and replication
- Fyrirlestur um NLP-post-processing of OCR-output of business cards
- Agile hádegisfyrirlestur - Pétur Ágústsson - Kanban
- Challenges in Engineering Critical Software - Academic and industrial views
- Afmælisráðstefna í tilefni 5 ára afmælis ICE-TCS - Þekkingarsetur HR í fræðilegri tölvunarfræði
- ICE-TCS Lectures Series - Matteo Cimini - On Rule Formats for Zero and Unit Elements
- ICE-TCS Lectures Series - Henning Úlfarsson - Equivalence relations on permutations and pattern avoidance
- ICE-TCS Lectures Series - Joshua Sack - Characteristic formulae for fixed-point semantics: a general approach
- Forritunarkeppni framhaldsskólanema
- ICE-TCS Lectures Series - Andrei Sabelfeld - Information flow in web applications
- ICE-TCS Lectures Series - Bas Luttik - Interactive Turing Machines
- ICE-TCS Lectures Series - Vit Jelinek - Pattern Avoidance in Partial Permutations
- ICE-TCS Lectures Series - Luca Aceto - Bisimulation and co-induction: A guided tour to their history and applications
- ICE-TCS Lectures Series - Magnús M. Halldórsson - Word-representable graphs
- Lokaverkefniskynningar í tölvunarfræði
- Ph.D. proposal defence in computer science
- Lokaverkefniskynningar í tölvunarfræði
- ICE-TCS Lectures Series - Mads Dam - Monitor Inlining for Multithreaded Java
- ICE-TCS Lectures Series - Hadas Shachnai - Real-time Scheduling to Minimize Machine Busy Times
- ICE-TCS Lectures Series - Mario Szegedy - Polynomial Time Solvability and Invariants of the Witness Set
- ICE-TCS Lectures Series - Wlodzimierz Moczurad - Directed figure codes are decidable
- AGILE PRÓFANIR NÝJAR AÐFERÐIR VIÐ HUGBÚNAÐARÞRÓUN
- ICE-TCS Lectures Series - Paul Blain Levy - Semantics of nondeterminism
- ICE-TCS Lectures Series - Bjarki Holm - Finding a Logical Characterisation of Polynomial Time
- SCS Interdisciplinary Lectures Series - Sverrir Ólafsson - Stability and scalability of wireless communication systems
- ICE-TCS Lectures Series - Anisse Kasraoui - Classification of Mahonian maj-inv statistics
- ICE-TCS Lectures Series - Luca Aceto - A Rule Format for Unit Elements
- ICE-TCS Lectures Series - Matteo Cimini - A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
- ICE-TCS Lectures Series - Sergey Kitaev - Enumeration of (2+2)-free posets by the number of minimal elements and other statistics
- ICE-TCS Lectures Series - Eva Jelinkova - Computational complexity of Seidel's switching of graphs
- ICE-TCS Lectures Series - Joshua Sack - Dynamic Epistemic Temporal Logic
- ICE-TCS Lectures Series and Combinatorics Seminar - Luca Zamboni - Abelian properties of words
- Special lecture in The School of Computer Science - Dr. Frank Soltis - Long-term IT trends and technology advancements
- ICE-TCS Lectures Series - Dr. Claus Brabrand - Banana Algebra
- ICE-TCS Lectures Series - Ólafur R. Helgason - Mobile peer-to-peer content distribution
- ICE-TCS Lectures Series - Ýmir Vigfússon - Affinity in Distributed Systems
- ICE-TCS Lectures Series - Vit Jelinek - Extending partial plane drawings
- Straumlína í upplýsingatækni - Fyrirlestur á vegum Agile Hópsins og Tölvunarfræðideildar HR
- Joint ICE-Rose and ICE-TCS lecture - Einar Broch Johnsen - Creol: Modeling Reconfigurable Distributed Concurrent Objects
- ICE-TCS Lectures Series - Marcel Kyas - Towards Formal Methods for Wireless Networks
- Joint ICE-Rose and ICE-TCS lecture - by Frank de Boer - Abstract Object Creation in Dynamic Logic: To Be or Not To Be Created
- ICE-TCS Theory Day
- ICE-TCS Lectures Series - Francois Laroussinie - Extensions of alternating-time temporal logic
- School of Computer Science Interdisciplinary Lecture Series - Oddgeir Ottesen - The volatility puzzle: A reexamination
- Joint ICE-TCS and Combinatorics seminar - Martina Kubitzke - The Lefschetz property for barycentric subdivisions of simplicial complexes
- ICE-TCS Lectures Series - Marco Bernardo - Markovian Testing Equivalence and Exponentially Timed Internal Actions
- ICE-TCS Lectures Series - Rance Cleveland - Validating Automotive Control Software using Instrumentation-Based Verification
- Rance Cleveland visits ICE-TCS in May 2009
- ICE-TCS Lectures Series - Yngví Björnsson - Monte Carlo Simulations in General Game Playing Agents
- ICE-TCS Lectures Series - Professor Luca Aceto - Computer Science and Logic: A Match Made in Heaven
- May 2009 - Marco Bernardo visits ICE-TCS
- ICE-TCS Lectures Series - Elena Losievskaja - SDP-based algorithms to Maximum Independent Set problem on hypergraphs
- CADIA and the "Humanoid Agents in Social Game Environments" Project present a Graduate Student Talk
- HttpTools: A Toolkit for Simulation of Web Hosts in OMNeT++ - Kristján Valur Jónsson
- AI Lecture Series Talk - Michael Buro - Planning in RTS Games
- ICE-TCS Lectures Series - Joshua Sack - Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic
- ICE-TCS Lecture Series - MohammedReza Mousavi - Formal Semantics and Model-Checking of Verilog Cell Libraries
- June 2009 - Francois Laroussinie visits ICE-TCS
- ICE-TCS Lectures Series - Matteo Cimini - From lambda to pi: semantics preserving encoding
- ICE-TCS Lectures Series - Arnar Birgisson - Rule Formats for Determinism and Idempotency
- ICE-TCS Lectures Series - Marjan Sirjani
- ICE-TCS Lectures Series - Amy Glen - Palindromic properties of infinite sequences with applications to Number Theory
- Icelandic Centre for Language Technology (ICLT) seminar series - Hrafn Loftsson - Correcting a PoS-tagged corpus using three complementary methods
- AI lecture series - Eric Nivel - IkonFlux: A Proto-Architecture for Autonomous Systems
- ICE-TCS lectures series - Willard Thor Rafnsson - Secrecy in Mobile Ad-hoc
- Database Lecture Series Talk - Dr. Ewa Kijak - Audiovisual Integration for Tennis Broadcast Structuring
- ICE-TCS Lecture Series - Magnús Mar Halldórsson - Graphs made from words
- CADIA's AI Lecture Series Talk - Kristinn R. Thorísson - Architecting Cognition
- ICLT Lecture Series - Verena Henrich and Timo Reuter - CombiTagger: A System for Developing Combined Taggers
- CADIA's AI Lecture Series - Mary Felkin - Learning by Observation and Induction: The Strategies of Humans Placed in a Problem-Solving Context
- ICTL Lecture Series - Joel Wallenberg - The Linguistic Utility of Tagging Icelandic
- June 2009 - Zoltan Esik visits ICE-TCS
- March 2009 - Rance Cleveland visits ICE-TCS
- ICE-TCS seminar - Arnar Birgisson - Enforcing Authorization Policies using Transactional Memory Introspection
- M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning
- M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning
- AI Lecture Series Talk- Dr. Stacy Marcella - "Cognition and Emotion in Virtual Humans"
- ICE-TCS and CADIA lecture - Michael Thielscher - Knowledge Representation and Reasoning for General Game Playing
- AI Lectures series - Vadim Bulitko - Modeling Culturally and Emotionally Affected Behavior
- BS project presentation - Jón Ingi Sveinbjörnsson and Eiríkur Fannar Torfason - Combinatorial Pedigree Inference from Genomic Data
- AGILIS 2008 Conference
- The School of Computer Science represented at European Researchers night 2008
- Open tutorial - From Computer Vision to Databases
- ICE-TCS lecture - Robert Parviainen - The Random Assignment Problem
- AI lecture seires - Vadim Bulitko - Dynamic Control in Real-Time Heuristic Search
- Electronic Grammar Checking in Natural Languages
- Wolfgang Merkle gives a course on Randomized Algorithms
- Network, subnet, and host analysis through visualization - Dr. John McHugh
- fyrirlestraröð ICE-TCS - Jeff Remmel - Extensions of the Answer Set Programming Paradigm
- ICE-TCS Talk - Amy Glen - Palindromic Richness
- ICALP 2008 - 35th International Colloquium on Automata, Languages and Programming
- ICE-TCS lecture - Marjan Sirjani - Actors in Practice
- ICE-TCS lecture - Wolfgang Merkle - The hat problem and autoreductions of random sequences
- ICE-TCS lecture - Petter Brändén - The Lee-Yang program and linear operators preserving stability
Háskólinn í Reykjavík: Forsíða
Tölvunarfræðideild
Flýtival
Tungumál
Leita
Útlit síðu:
Þetta vefsvæði byggir á Eplica