HOME PAGE OF DAVID PISINGER Awards. Ph.D. prize of the Danish Academy of Natural Sciences (1995). Award of teaching excellence, Faculty of Natural Sciences, University of Copenhagen (2000). MIKKEL THORUP (HOME PAGE) Mikkel Thorup Professor at the Department of Computer Science, University of Copenhagen VILLUM Investigator heading Center for Basic Algorithms Research Copenhagen (BARC) 2017-2023. Mikkel Thorup (born 1965) has a D.Phil. from Oxford University from 1993.

CODES - DIKU

Knapsack Problems Generation of test instances A generator to construct test instances for the 0-1 Knapsack Problem, as described in the paper "Core problems in Knapsack Algorithms". Instances are generated with varying capacities to test codes under more realistic

conditions.

EXACT09 - HOME - DIKU Extraction of Airways from CT 2009 (EXACT09) The goal of the EXACT study is to compare algorithms to extract the airway tree from chest CT scans using a common dataset and performance evaluation method. In the first part of the study, 15 groups worldwide ran their algorithms on the EXACT dataset and submitted the results to this website.

DYNAMIC GRAPHS

Dynamic graphs 1-3 We refer the interested reader to references for details about Frederickson’s al-gorithm. With the same

technique, an O

BASICS OF COMPILER DESIGN Published through lulu.com. c Torben Ægidius Mogensen 2000 – 2010 torbenm@diku.dk Department of Computer Science University of Copenhagen Universitetsparken 1 SOLUTIONS FOR SELECTED EXERCISES FROM BASICS OF COMPILER Solutions for Selected Exercises from Basics of Compiler Design Torben Æ. Mogensen Last update: May 28, 2009 1 Introduction

PLANET GENERATOR

Planet generator. The planet-map generator shown of this page has been developed in small increments over more than 20 years, so the code is a bit messy. But if you just want to run the program, this shouldn't matter for you. As of Febrary 2013, a web interface is available. It does not have all the options of the offline version, and (so as to SUPPORT-VECTOR NETWORKS SUPPORT-VECTOR NETWORKS 275 Figure 2. An example of a separabl e problem in a 2 dimensional space. The support vectors , marked with grey squares, define the

TORBEN'S RPG TOOLS

Torben's RPG Tools. This is the home of my online tools for RPGs and related stuff. Troll. A powerful tool for rolling dice and calculating

probabilities.

HOME PAGE OF DAVID PISINGER Awards. Ph.D. prize of the Danish Academy of Natural Sciences (1995). Award of teaching excellence, Faculty of Natural Sciences, University of Copenhagen (2000). MIKKEL THORUP (HOME PAGE) Mikkel Thorup Professor at the Department of Computer Science, University of Copenhagen VILLUM Investigator heading Center for Basic Algorithms Research Copenhagen (BARC) 2017-2023. Mikkel Thorup (born 1965) has a D.Phil. from Oxford University from 1993.

CODES - DIKU

Knapsack Problems Generation of test instances A generator to construct test instances for the 0-1 Knapsack Problem, as described in the paper "Core problems in Knapsack Algorithms". Instances are generated with varying capacities to test codes under more realistic

conditions.

EXACT09 - HOME - DIKU Extraction of Airways from CT 2009 (EXACT09) The goal of the EXACT study is to compare algorithms to extract the airway tree from chest CT scans using a common dataset and performance evaluation method. In the first part of the study, 15 groups worldwide ran their algorithms on the EXACT dataset and submitted the results to this website.

DYNAMIC GRAPHS

Dynamic graphs 1-3 We refer the interested reader to references for details about Frederickson’s al-gorithm. With the same

technique, an O

BASICS OF COMPILER DESIGN Published through lulu.com. c Torben Ægidius Mogensen 2000 – 2010 torbenm@diku.dk Department of Computer Science University of Copenhagen Universitetsparken 1 SOLUTIONS FOR SELECTED EXERCISES FROM BASICS OF COMPILER Solutions for Selected Exercises from Basics of Compiler Design Torben Æ. Mogensen Last update: May 28, 2009 1 Introduction

PLANET GENERATOR

Planet generator. The planet-map generator shown of this page has been developed in small increments over more than 20 years, so the code is a bit messy. But if you just want to run the program, this shouldn't matter for you. As of Febrary 2013, a web interface is available. It does not have all the options of the offline version, and (so as to SUPPORT-VECTOR NETWORKS SUPPORT-VECTOR NETWORKS 275 Figure 2. An example of a separabl e problem in a 2 dimensional space. The support vectors , marked with grey squares, define the

TORBEN'S RPG TOOLS

Torben's RPG Tools. This is the home of my online tools for RPGs and related stuff. Troll. A powerful tool for rolling dice and calculating

probabilities.

EXACT09 - HOME - DIKU Extraction of Airways from CT 2009 (EXACT09) The goal of the EXACT study is to compare algorithms to extract the airway tree from chest CT scans using a common dataset and performance evaluation method. In the first part of the study, 15 groups worldwide ran their algorithms on the EXACT dataset and submitted the results to this website.

TORBEN'S RPG TOOLS

Torben's RPG Tools. This is the home of my online tools for RPGs and related stuff. Troll. A powerful tool for rolling dice and calculating

probabilities.

MARCOS ANTONIO VAZ SALLES'S HOMEPAGE Recent and Selected Publications · Rodrigo Laigner, Yongluan Zhou, Marcos Antonio Vaz Salles. A distributed database system for event-based microservices. DEBS 2021 Online. · Angela Bonifati, Giovanni Guerrini, Carsten Lutz, Wim Martens, Lara Mazilu, Norman Paton, Marcos Antonio Vaz Salles, Marc Scholl, Yongluan Zhou. Holding a Conference Online and Live due to COVID-19. BASIC SHORTEST PATH ALGORITHMS SSSP Problem Single-Source Shortest Paths (SSSP) problem: Input: Digraph G = (V,A), ℓ : A → R, source s ∈ V . Goal: Find shortest paths and distances from s to all vertices. INTRODUCTION TO LAGRANGIAN AND HAMILTONIAN MECHANICS 3 Principle of Least Action Remark 3.1 The most general formulation of the laws governing the motion of mechanical systems is the ”Principle of Least Action” or ”Hamilton’s Principle”, TROLL - HJEMMESIDER.DIKU.DK Troll: A dice roll language and calculator Use Troll online. There is a web interface for Troll.This is the easiest way to use Troll, and is sufficient for most users. You can roll dice and calculate

probabilities.

COMPUTABILITY AND COMPLEXITY Computability and Complexity From a Programming Perspective Neil D. Jones The MIT Press Cambridge, Massachusetts London, England INFORMATION GEOMETRY OF STATISTICAL INFERENCE High-Order Asymptotics 1 1, (u) : , , uu ,,ˆ n n p xxx xx e E uu uu ˆˆT 122 11 eG G nn 1 GG1 :Cramér-Rao: linear theory 22 2 2 THE STRUCTURE OF IMAGES Biol. Cybern. 50,363 370 (1984) Biological Cybernetics 9 Springer-Verlag 1984 The Structure of Images Jan J. Koenderink Department of Medical and Physiological Physics, Physics Laboratory, State University Utrecht, The Netherlands MODEL SELECTION AND THE PRINCIPLE OF MINIMUM DESCRIPTION Model Selection and the Principle of Minimum Description Length MarkH.HansenandBinYu This article reviews the principle of minimum description length (MDL) for problems of model selection. HOME PAGE OF DAVID PISINGER Awards. Ph.D. prize of the Danish Academy of Natural Sciences (1995). Award of teaching excellence, Faculty of Natural Sciences, University of Copenhagen (2000). MIKKEL THORUP (HOME PAGE) Mikkel Thorup Professor at the Department of Computer Science, University of Copenhagen VILLUM Investigator heading Center for Basic Algorithms Research Copenhagen (BARC) 2017-2023. Mikkel Thorup (born 1965) has a D.Phil. from Oxford University from 1993. BASICS OF COMPILER DESIGN Basics of Compiler Design. I have taught an undergraduate compilers course for over a decade. In the last many years, I have used my own textbook "Basics of Compiler PROGRAM INVERSION AND REVERSIBLE COMPUTATION Janus: a reversible imperative programming language. Janus is likely the very first reversible programming language, designed by Christopher Lutz and Howard Derby in 1986. JYRKI KATAJAINEN: HOME PAGE This page provides information about my activities, publications, and

presentations.

PLANET GENERATOR

Planet generator. The planet-map generator shown of this page has been developed in small increments over more than 20 years, so the code is

a bit messy.

SOLUTIONS FOR SELECTED EXERCISES FROM INTRODUCTION TO c) If n = a2b, the binary number for n is the number for a followed by b zeroes. We can make a DFA for an odd number a in the same way we did for 5 above by using the rules that reading a 0 HOME PAGE OF DAVID PISINGER Awards. Ph.D. prize of the Danish Academy of Natural Sciences (1995). Award of teaching excellence, Faculty of Natural Sciences, University of Copenhagen (2000). MIKKEL THORUP (HOME PAGE) Mikkel Thorup Professor at the Department of Computer Science, University of Copenhagen VILLUM Investigator heading Center for Basic Algorithms Research Copenhagen (BARC) 2017-2023. Mikkel Thorup (born 1965) has a D.Phil. from Oxford University from 1993. BASICS OF COMPILER DESIGN Basics of Compiler Design. I have taught an undergraduate compilers course for over a decade. In the last many years, I have used my own textbook "Basics of Compiler PROGRAM INVERSION AND REVERSIBLE COMPUTATION Janus: a reversible imperative programming language. Janus is likely the very first reversible programming language, designed by Christopher Lutz and Howard Derby in 1986. JYRKI KATAJAINEN: HOME PAGE This page provides information about my activities, publications, and

presentations.

PLANET GENERATOR

Planet generator. The planet-map generator shown of this page has been developed in small increments over more than 20 years, so the code is

a bit messy.

SOLUTIONS FOR SELECTED EXERCISES FROM INTRODUCTION TO c) If n = a2b, the binary number for n is the number for a followed by b zeroes. We can make a DFA for an odd number a in the same way we did for 5 above by using the rules that reading a 0 EXACT09 - HOME - DIKU Extraction of Airways from CT 2009 (EXACT09) The goal of the EXACT study is to compare algorithms to extract the airway tree from chest CT scans using a common JYRKI KATAJAINEN: HOME PAGE This page provides information about my activities, publications, and

presentations.

BASICS OF COMPILER DESIGN Basics of Compiler Design. I have taught an undergraduate compilers course for over a decade. In the last many years, I have used my own textbook "Basics of Compiler Design", which I BASICS OF COMPILER DESIGN Published through lulu.com. c Torben Ægidius Mogensen 2000 – 2010 torbenm@diku.dk Department of Computer Science University of Copenhagen Universitetsparken 1 HOMEPAGE FOR TORBEN ÆGIDIUS MOGENSEN Scientific work. I am associate professor (lektor) at DIKU, being a part of the TOPPS group (Theory and Practice of Programming Languages).. I am also "studieleder" (director of studies) for computer science at the University of Copenhagen. TROLL - HJEMMESIDER.DIKU.DK Troll: A dice roll language and calculator Use Troll online. There is a web interface for Troll.This is the easiest way to use Troll, and is sufficient for most users. You can roll dice and calculate

probabilities.

INFORMATION GEOMETRY PHD COURSE PhD Course Information Geometry in Learning and Optimization Basic information — Lectures — Practical sessions — Background. Date September 22-26 2014 Place. Københavns Universitet, Njalsgade 128, Bygning (building) 27, Lokal (room): 27.0.17 REACTORS: A CASE FOR PREDICTABLE, VIRTUALIZED ACTOR Reactors: A Case for Predictable, Virtualized Actor Database Systems Vivek Shah University of Copenhagen, Denmark bonii@di.ku.dk Marcos

Antonio Vaz Salles

IMPLEMENTATION OF THE FINITE VOLUME METHOD WITH Implementation of the Finite Volume Method with diagonalization Written Project at Department of Computer Science University of Copenhagen by Henrik Kofod INFORMATION GEOMETRY OF STATISTICAL INFERENCE High-Order Asymptotics 1 1, (u) : , , uu ,,ˆ n n p xxx xx e E uu uu ˆˆT 122 11 eG G nn 1 GG1 :Cramér-Rao: linear theory 22 2 2

Hele KU

* Hele KU

* Nyheder

* Studier

* Forskere

* Publikationer

* Job

Datalogisk Institut

* Om instituttet Toggle submenu

* Organisation

* Ledelse

* Udvalg

* DIKU Alumneforening

Toggle submenu

* Strategi

* Instituttets historie

Toggle submenu

* Ansøgnings- og optagelsestal

* Ledige stillinger

* Forskning Toggle submenu

* Data Science Lab

* Forskningsnyheder

* Ph.d.-uddannelse

* Research School Toggle

submenu

* Tekniske rapporter * Uddannelse Toggle submenu * Efter- og videreuddannelse * Efteruddannelse: Digital sundhed og data * DIKU Business Club Toggle

submenu

* Erhvervskandidat i datalogi

* Medlemsfordele

* Bliv medlem af DIKU Business Club

* Medlemmer

* Rekruttering

Toggle submenu

* Forskningssamarbejde

Toggle

submenu

* Erhvervsprojekt

Toggle submenu

* Arrangementer

* DBC nyheder

* Kontakt DIKU Business Club * Oplev datalogi Toggle submenu

* For grundskole

* For gymnasiet

* For alle

* 50-års jubilæum Toggle submenu

* Om DIKU50

* Datalogi i alt

* Datalogi for alle

* Datalogi på godt og ondt

* Nyheder

* Events

* Presse Toggle submenu

* Ekspertlister

* Sociale medier

* Ansatte Toggle submenu

* Forskere

* Administration

* Kontakt Toggle submenu

* Find vej

*

* Find vej

* Telefonbog

* Job

* KUnet

* English

* Uddannelser på KU Toggle submenu

* Bachelor

* Kandidat

* Ph.d.

* Efter- og videreuddannelse

* Kursuskatalog

* Forskning på KU Toggle submenu * Forskere og publikationer

* Ph.d.-programmer

* Forskningscentre

* Nyheder Toggle submenu

*

Stor amerikansk interesse for dansk forskning i kvanteteknologi

Toggle

submenu

17.05.2021

*

Leoparder er mere forskellige end brunbjørne er fra isbjørne

Toggle

submenu

12.05.2021

*

Hvedegræs kan sænke CO2-udledning i landbruget markant

Toggle

submenu

11.05.2021

* Alle nyheder

* Presseservice

* Samarbejde Toggle submenu * Forskningssamarbejde * Internationale alliancer * Innovation og entreprenørskab

* Alumni

* Besøg KU Toggle submenu * Offentlige arrangementer

* Biblioteker

* Museer

* For skoler og gymnasier * Om KU Toggle submenu

* Organisation

* Tal og fakta

* Profil og historie

* Fakulteter

* Institutter

* Kontakt

* Emnenavigation

* Indhold

* Footerlinks

Coronavirus Dansk / English SAMTYKKE TIL BRUG AF COOKIES Universitetet bruger tredjepartsprodukter til at registrere brugernes adfærd på hjemmesiden (statistik) for løbende at forbedre vores service. Desuden bruger universitetet tredjepartsprodukter til at markedsføre uddannelser, kurser, konferencer og udstillinger på hjemmesider og sociale medier for at give dig de mest relevante

tilbud.

Klik på "Se cookies" for at se en liste over udbyderne af de forskellige cookies, som kan blive gemt på din computer eller mobil, når du bruger universitetets hjemmeside. Du kan selv vælge om du vil acceptere eller afslå cookies, og du kan altid ændre dit samtykke under Cookie- og privatlivspolitik

som du

finder i bunden af hver side.

*

Acceptér eller afslå Statistik Se cookies

*

Acceptér eller afslå Markedsføring Se cookies Afslå alle Acceptér alle

Toggle navigation

* Find vej

* Telefonbog

* Job

* KUnet

* English

* Uddannelser på KU

* Bachelor

* Kandidat

* Ph.d.

* Efter- og videreuddannelse

* Kursuskatalog

* Forskning på KU

* Forskere og publikationer

* Ph.d.-programmer

* Forskningscentre

* Nyheder

*

Stor amerikansk interesse for dansk forskning i kvanteteknologi

17.05.2021

*

Leoparder er mere forskellige end brunbjørne er fra isbjørne

12.05.2021

*

Hvedegræs kan sænke CO2-udledning i landbruget markant

11.05.2021

* Alle nyheder

* Presseservice

* Samarbejde

* Forskningssamarbejde * Internationale alliancer * Innovation og entreprenørskab

* Alumni

* Besøg KU

* Offentlige arrangementer

* Biblioteker

* Museer

* For skoler og gymnasier

* Om KU

* Organisation

* Tal og fakta

* Profil og historie

* Fakulteter

* Institutter

* Kontakt

Datalogisk Institut

Hele KU

* Hele KU

* Nyheder

* Studier

* Forskere

* Publikationer

* Job

Datalogisk Institut

* Om instituttet

* Forskning

* Uddannelse

* DIKU Business Club

* Oplev datalogi

* 50-års jubilæum

* Presse

* Ansatte

* Kontakt

* Nyheder

* Begivenheder

* Ledige stillinger

* DIKU Bits

* Links

* For censorer

Previous

DIKU FEJRER 50-ÅRS JUBILÆUM I 2021 COMPUTER KAN NU GÆTTE VORES PRÆFERENCER GENNEM VORES HJERNESIGNALER Forskerne har kombineret machine learning med hjernesignaler DERFOR GÅR DET GALT, NÅR DU BRUGER VIRTUAL REALITY Virtual Reality er blevet populært i private hjem, men det er ikke

uden omkostninger

Elements of AI

GRATIS KURSUS I KUNSTIG INTELLIGENS FOR ALLE DANSKERE

Next

* 1

* 2

* 3

* 4

Uddannelse

Forskning

DIKU Business Club

NYHEDER

DERFOR GÅR DET GALT, NÅR DU BRUGER VIRTUAL REALITY YouTube er en skattekiste af folk der skvatter, går ind i vægge og uddeler lussinger, mens de bruge… 50 ÅR MED DATALOGI I DANMARK: FRA EN KÆLDER PÅ KØBENHAVNS UNIVERSITET TIL UUNDVÆRLIG FOR OS ALLE I 1970 grundlagde pionerer Datalogisk Institut i en kælder på Københavns Universitet – Danmarks… COMPUTER KAN NU GÆTTE VORES PRÆFERENCER GENNEM VORES HJERNESIGNALER Som de første i verden er et forskerhold fra Københavns Universitet og Helsinki Universitet lykkede…

Se alle nyheder

BEGIVENHEDER

*

3. juni - 11. juni 2021

MSC DEFENCES

*

8. juni 2021, kl. 9.30-12.30 PHD DEFENCE BY CHRISTOFFER OLLING BACK

*

10. juni 2021, kl. 13.00-16.00 PHD DEFENCE BY HANS JACOB TEGLBJÆRG STEPHENSEN

*

18. juni 2021, kl. 13.00-14.00 RESPONSIBLE AI SEMINAR: BLACK-BOX DECISION MAKING IN MEDICINE: SOME THOUGHTS AND QUESTIONS Se alle arrangementer

Datalogi for alle

*

*

*

*

*

Ledige stillinger

Om instituttet

-------------------------

Datalogisk Institut

Københavns Universitet Universitetsparken 5

2100 København Ø

EAN: 5798000422421

CVR: 29979812

Kontakt: DIKU

info@di.ku.dk

Tlf: +45 93 51 59 79 Københavns Universitet

* Ledelse

* Administration

* Fakulteter

* Institutter

* Forskningscentre

* Dyrehospitaler

* Tandlægeskolen

* Biblioteker

* Museer

Kontakt

* Find vej

* Find en medarbejder

* Kontakt KU

Services

* Presseservice

* Designguide

* Merchandise

* IT-support

* Til leverandører

For studerende og ansatte

* KUnet

Job og karriere

* Ledige stillinger

* Jobbank for studerende

* Alumne

Nødsituationer

* KU's sikkerhedsberedskab

Web

* Om websitet

* Cookies og privatlivspolitik * Tilgængelighedserklæring * Informationssikkerhed

Mød KU på

Close menu