Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 53 << Previous 1 2    Next >>

2019
1 Antonsen, Roger; Niemeyer, Greg.
The Network Paradox. [Artistic or museum-related presentation] Greg Niemeyer + Roger Antonsen: The Network Paradox. Catharine Clark Gallery; San Francisco. 2019-01-12 - 2019-02-16
UiO Untitled
 
2 Jemterud, Torkild; Kjeldstad, Torunn; Antonsen, Roger; Bøckman, Petter.
Abels tårn. Ekko, NRK P2 [Radio] 2019-05-10
UiO Untitled
 
2018
3 Antonsen, Roger.
Card Shuffling Visualizations. Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture 2018 p. 451-454
UiO Untitled
 
4 Antonsen, Roger; Nakkerud, Andreas.
Book Reviews. Studia Logica: An International Journal for Symbolic Logic 2018
UiO Untitled
 
2017
5 Antonsen, Roger.
Studiebok til Logiske metoder. Universitetsforlaget 2017 (ISBN 9788215028743) 232 p.
UiO Untitled
 
2014
6 Antonsen, Roger.
Logiske metoder. Universitetsforlaget 2014 (ISBN 9788215022741) 288 p.
UiO Untitled
 
7 Lilleborge, Marie; Antonsen, Roger.
Mye du ikke vet om Rubiks kube - et foredrag om Rubiks kube og matematikk. The Gathering 2014; 2014-04-19 - 2014-04-19
NR UiO Untitled
 
2013
8 Antonsen, Roger.
Matematikk, sjonglering og programmering. UiO-festivalen; 2013-10-13
UiO Untitled
 
2012
9 Antonsen, Roger.
Alternativ formidling av matematikk og informatikk. Fagkonferansen for IT; 2012-09-22
UiO Untitled
 
10 Antonsen, Roger.
Formidling med smarte sjongleringsballer. Årskonferansen for Foreningen norske vitensentre; 2012-10-25
UiO Untitled
 
11 Antonsen, Roger.
Hva er Sonen - Åpen sone for eksperimentell informatikk?. Lunsjforedrag; 2012-11-19
UiO Untitled
 
12 Antonsen, Roger.
Informatikkshow med smarte sjongleringsballer. Åpen dag ved UiO; 2012-03-08
UiO Untitled
 
13 Antonsen, Roger.
Org-mode, calendar og calc. Emacs-bonanza; 2012-10-24
UiO Untitled
 
14 Antonsen, Roger.
Programming, mathematics and juggling. VERDIKT Conference 2012; 2012-04-26
UiO Untitled
 
15 Antonsen, Roger.
Show under åpningen av EnergiTivoli. [Artistic or museum-related presentation] Åpning av utstillingen EnergiTivoli. Teknisk Museum; Kjelsås, Oslo. 2012-12-04
UiO Untitled
 
16 Antonsen, Roger.
Vitenskap, programmering og matematikk med smarte sjongleringsballer. UngForsk; 2012-09-25 - 2012-09-26
UiO Untitled
 
17 Antonsen, Roger.
Vitenskap, programmering og matematikk med smarte sjongleringsballer. Faglig-pedagogisk dag; 2012-11-01
UiO Untitled
 
18 Antonsen, Roger; Bjerknes, Jan Dyre.
Inspiring Juggling Balls. The Gathering; 2012-04-07
UiO Untitled
 
19 Antonsen, Roger; Bjerknes, Jan Dyre.
Intelligent juggling balls with visual amplification. Art.on.Wires; 2012-04-30
UiO Untitled
 
20 Antonsen, Roger; Bjerknes, Jan Dyre.
Med sjongleringsballer som ice breaker. Realfagsrekruttering: Mer av det som virker; 2012-09-20
UiO Untitled
 
21 Antonsen, Roger; Bjerknes, Jan Dyre.
Smart Juggling Balls with Visual Amplification. [Artistic or museum-related presentation] World Maker Faire. MAKE Magazine, O'Reilly Media; New York City. 2012-09-29 - 2012-09-30
UiO Untitled
 
22 Antonsen, Roger; Sevik, Kristine.
Motivasjon, mestring og matematikk. Nasjonal konferanse om bruk av IKT i utdanning og læring; 2012-05-10
UiO Untitled
 
23 Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin; Waaler, Arild.
Incremental variable splitting. Journal of symbolic computation 2012 ;Volume 47.(9) p. 1046-1065
UiO Untitled
 
2011
24 Antonsen, Roger.
Avslutningsshow med smarte sjongleringsballer for forskning.no-konferanse. [Artistic or museum-related presentation] Fra forskning til forside v5.0, seminar om forskningsformidling. Forskning.no; Blindern. 2011-11-16
UiO Untitled
 
25 Antonsen, Roger.
Demonstrasjon av smarte sjongleringsballer for Oslo Åpne Hus. Foredrag og demonstrasjon; 2011-11-09
UiO Untitled
 
26 Antonsen, Roger.
Digitalt sirkus. [Artistic or museum-related presentation] Idéfestivalen om digitalisering. Universitetet i Oslo, UiO200, Institutt for informatikk; Blindern. 2011-09-17
UiO Untitled
 
27 Antonsen, Roger.
Matematikk, programmering og sjonglering. Invitert foredrag til Fagmøte i matematikk; 2011-10-05
UiO Untitled
 
28 Antonsen, Roger.
Matematikk, programmering og sjonglering. Invitert foredrag for Research and educational network (REN); 2011-11-16
UiO Untitled
 
29 Antonsen, Roger; Bjerknes, Jan Dyre.
Smarte sjongleringsballer med visuell forsterkning. Foredag under Idéfestivalen om digitalisering; 2011-09-17
UiO Untitled
 
30 Antonsen, Roger; Dæhlen, Morten.
Fra ingenting til overalt - en reise i informatikkens historie. Skolebesøk, UiOs ambassadører, Valler videregående skole; 2011-02-10
UiO Untitled
 
31 Antonsen, Roger; Dæhlen, Morten.
Fra ingenting til overalt: informatikkens historie. Invitert foredrag for Teknas MNT-forum; 2011-09-22
UiO Untitled
 
32 Antonsen, Roger; Dæhlen, Morten.
Fra ingenting til overalt: informatikkens historie. Skolebesøk, UiOs ambassadører, Stange videregående skole; 2011-01-19
UiO Untitled
 
33 Antonsen, Roger; Dæhlen, Morten.
Informatikkens historie (med smarte sjongleringsballer), del I. Skolebesøk, Valler videregående skole; 2011-09-07
UiO Untitled
 
34 Antonsen, Roger; Dæhlen, Morten.
Informatikkens historie (med smarte sjongleringsballer), del II. Skolebesøk, Valler videregående skole; 2011-09-14
UiO Untitled
 
35 Antonsen, Roger; Dæhlen, Morten.
Matematikk- og informatikkshow. Skolebesøk, Norges Toppidrettsgymnas Ungdomsskole; 2011-11-22
UiO Untitled
 
36 Bjerknes, Jan Dyre; Antonsen, Roger; Mikkelsen, Trond.
Presentasjon av Smarte sjongleringsballer under Bursdagsfesten til Universitetet i Oslo. [Artistic or museum-related presentation] Demonstrasjon og informasjonsplass. Universitetet i Oslo, UiO200, Institutt for informatikk; Blindern. 2011-09-17
UiO Untitled
 
37 Bjerknes, Jan Dyre; Holtan, Kim; Antonsen, Roger.
Doktor med selvlysende baller. NRK Buskerud [TV] 2011-10-13
UiO Untitled
 
38 Grydeland, Ivar; Antonsen, Roger.
Smarte baller. NRK P2, Ekko [Radio] 2011-09-15
UiO Untitled
 
39 Myklebust, Mona; Dæhlen, Morten; Antonsen, Roger; Glette, Kyrre Harald.
NRK Ekko: Digitaliseringen av samfunnet. NRK [Radio] 2011-09-16
UiO Untitled
 
40 Mysen, Christine; Antonsen, Roger.
Lokker med lysende idé. Smaalenenes Avis [Newspaper] 2011-10-29
UiO Untitled
 
41 Vogt, Yngve; Antonsen, Roger.
Forfører ungdom med smarte sjongleringsballer. Apollon [Newspaper] 2011-10-11
UiO Untitled
 
2008
42 Antonsen, Roger.
The Method of Variable Splitting. Unipub forlag 2008 167 p. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(783)
UiO Untitled
 
2007
43 Antonsen, Roger; Waaler, Arild.
A Labelled System for IPL with Variable Splitting. Lecture Notes in Computer Science 2007 ;Volume LNAI.(4603) p. 132-146
UiO Untitled
 
44 Antonsen, Roger; Waaler, Arild.
Liberalized Variable Splitting. Journal of automated reasoning 2007 ;Volume 38. p. 3-30
UiO Untitled
 
45 Hansen, Christian Mahesh; Antonsen, Roger; Waaler, Arild.
Incremental Closure of Variable Splitting Tableaux in TABLEAUX'07 - Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers. Editors: Nicola Olivetti, Camilla Schwind. LSIS.RR.2007.002. Marseille, France: LSIS, Paul Cézanne University 2007 15 p.
UiO Untitled
 
2005
46 Antonsen, Roger; Waaler, Arild.
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science 2005 ;Volume LNAI.(3702) p. 33-47
UiO Untitled
 
47 Antonsen, Roger; Waaler, Arild.
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. TABLEAUX 2005. Automated Reasoning with Analytic Tableaux and Related Methods; 2005-09-14 - 2005-09-17
UiT Untitled
 
48 Antonsen, Roger; Waaler, Arild.
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science 2005 ;Volume 3702. p. 33-47
UiT Untitled
 
2004
49 Antonsen, Roger.
Uniform Variable Splitting. Doctoral Programme of IJCAR 2004; 2004-07-04 - 2004-07-08
UiO Untitled
 
50 Antonsen, Roger.
Uniform Variable Splitting (Poster). Doctoral Programme of IJCAR 2004; 2004-07-04 - 2004-07-08
UiO Untitled
 
    Show next list