English

Du er her: AU » Forskning » Find en forsker » Forskere

Forskning

It, datalogi og matematik › Softwaresystemer

Tilbage til søgning

Begræns yderligere ved at vælge et eller flere af følgende emneord...

1 - 37 ud af 37Pr. side: 100
Sortering: Efternavn

  1. Adolf, Katja

    Genetik, Genetik, It i sundhedsvæsenet, Kræftsygdomme, Molekylær medicin, Softwarearkitektur, Webdesign

    • Andersen, Jacob

      Indlejrede systemer, Kommunikationsprotokoller og netværk, Pervasive healthcare, Softwaresystemer for pervasive computing

      • Alexandra Instituttet A/S

    • Bouvin, Niels Olof

      Brugerdeltagelse i systemudvikling (participatory design), Distribuerede softwaresystemer, Eksperimentel systemudvikling, Fleksibilitet i design, Hypermedier, Mobile systemer og grænseflader, Softwaresystemer for pervasive computing, Webteknologi

      • Brodersen, Ditlev E.

        3D-strukturer af store molekyler, Bakterier, Elektroniske undervisningsmidler, Enzymer og kunstige enzymer, Mikrobielle processer og stofkredsløb, Nanovidenskab og nanoteknologi, RNA, Robotter (Automatiseret krystallisationsscreening), Røntgenkrystallografi, Strukturel analyse (Visualisering og sammenligning af proteinstrukturer), Undervisningsmål og -metoder

        • Brynskov, Martin

          Augmented reality (mediefacader, Medier i byrum, mobil-programmer), Brugerdeltagelse i systemudvikling (participatory design) (design med børn), Computerspil, digital kunst og kultur, Digitale medier, Digitale og fysiske rum (Nye interaktionsteknologier, Social interaktion), Globalisering, teknologi (Hyperlokale nyheder), Interaktionsdesign (nye interaktionsteknologier), Interaktionsformer (Interaktion i byrum, iPhone, mobil-økologi, nye interaktionsformer), Interaktive rum, bygninger og byrum (interaktive mediefacader), It i byrummet, Køn og teknologi (børn og mobiler, børne-popkultur, Facebook, sociale medier, tweens), Mobile systemer og grænseflader (Asien, digital leg, Japan, Keitai, mobil-spil, Sydkorea), Modeldrevet systemudvikling (digitale habitater, tværfaglige modeller til design), Modeller og logik for interaktive systemer, Pervasive computing interaktion (børn, leg og spil), Robotter (børn og teknologi), Spatial it (GPS, lokationsbaserede services, sociale rum), Teorier om brug og interaktion (computersemiotik)

          • Bødker, Susanne

            Arbejde, organisation og it, Brugerdeltagelse i systemudvikling (participatory design), Design og systemudvikling, Design som læring, Designprocesser, Eksperimentel systemudvikling, Forståelig teknologi, Interaktionsdesign, Interaktionsformer, It-baserede videnarbejdspladser, It-støtte til samarbejde, CSCW, Menneske-maskin-interaktion, Systemudviklingsmetoder, Teorier om brug og interaktion

            • Caspersen, Michael E.

              Fagenes didaktik (Datalogisk didaktik,, It-didaktik), Modeldrevet systemudvikling, Objekt-orienterede programmeringssprog, Objekt-orienterede softwaresystemer, Objekt-orienteret analyse og design, Objekt-orienteret modellering, Objekt-orienteret programmering, Undervisning i programmering og softwareudvikling

              • Christensen, Henrik Bærbak

                Distribuerede softwaresystemer, Eksperimentel systemudvikling, Softwarearkitektur, Undervisning i programmering og softwareudvikling

                • Christensen, Michael

                  Brugerdeltagelse i systemudvikling (participatory design), Eksperimentel systemudvikling, Forståelig teknologi, Interaktive rum, bygninger og byrum, It-støtte til samarbejde, CSCW, Objekt-orienteret programmering, Softwaresystemer for pervasive computing, Spatial it

                  • Alexandra Instituttet A/S

                • Christensen, Søren

                  Kommunikationsprotokoller og netværk, Mobile systemer og grænseflader, Modellering og validering af distribuerede systemer, Softwarespecifikation og -verifikation (Farvede Petri Net)

                  • Danvy, Olivier

                    Domain-specifikke sprog, Funktionel programmering, Global computing, Kompilere og fortolkere, Modeller og logik for interaktive systemer, Moderne logik, Objekt-orienterede programmeringssprog, Objekt-orienteret programmering, Partial-evaluering og normalisering, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Semantik af programmeringssprog, Softwareudviklingsværktøjer, Teknologi med læringspotentiale, Type-systemer, Undervisning i programmering og softwareudvikling, Videnskabsteori, Virtuelle/abstrakte maskiner, Værktøjer baseret på partiel evaluering

                    • Ernst, Erik

                      Kompilere og fortolkere, Objekt-orienterede programmeringssprog, Objekt-orienteret programmering, Programmeringssprog og formelle modeller, Semantik af programmeringssprog, Softwareudviklingsværktøjer, Type-systemer, Virtuelle/abstrakte maskiner

                      • Gildbjerg, Lars Bilde

                        Arbejdspraksis og anvendelse af it, Computer-supported cooperative work, Distribuerede softwaresystemer, Komplekse systemer

                        • Grønbæk, Kaj

                          Augmented reality, Brugerdeltagelse i systemudvikling (participatory design), Design og systemudvikling, Digitale og fysiske rum, Eksperimentel systemudvikling, Hypermedier, Interaktionsdesign, Interaktionsformer, Interaktive rum, bygninger og byrum, Menneske-maskin-interaktion, Mobile systemer og grænseflader, Multimedier, Oplevelsesorienteret it, Pervasive computing (it i alting), Pervasive computing interaktion, Spatial it, Webteknologi

                          • Handberg, Rasmus

                            Asteroseismologi, Astrofysik, Astronomi, NASA (Kepler-missionen, TESS-missionen), Planeter, Stjernedannelse og -udvikling, Stjerner, Webtjenester (Kepler Asteroseismic Science Operations Center (KASOC), SONG Data Archive, TESS Asteroseismic Science Operations Center (TASOC))

                            • Have, Ulrich Karstoft

                              Domain-specifikke sprog, Softwarearkitektur, Softwarespecifikation og -verifikation, Webdesign, Webtjenester

                              • Holst, Niels

                                Bæredygtigt jordbrug, Designprocesser, Domain-specifikke sprog, Populationsbiologi

                                • Jacobsen, Rune Hylsberg

                                  Distribuerede softwaresystemer, IP networks , Networked Embedded Systems , Personal communication networks , Satellitter, Smart grids , Wireless communications , Wireless sensor networks

                                  • Jakobsen, Frank Bodholdt

                                    Distribuerede softwaresystemer (Netværksprotokoller), Indlejrede systemer (Linux, netværk), Objekt-orienteret programmering (C#, C/C++), Softwarespecifikation og -verifikation

                                    • Jakobsen, Morten Opprud

                                      Indlejrede systemer, Undervisning i programmering og softwareudvikling

                                      • Bennedsen, Jens

                                        Curriculumsforskning, Fagenes didaktik, Objekt-orienteret modellering, Softwareudviklingsværktøjer, Undervisning i programmering og softwareudvikling, Voksenuddannelse

                                        • Jensen, Kurt

                                          Eksperimentel systemudvikling, Kapacitetsplanlægning, Modeldrevet systemudvikling, Modellering og validering af distribuerede systemer (Farvede Petri Net), Programmeringssprog og formelle modeller, Simulations- og analyseværktøjer, Softwarespecifikation og -verifikation

                                          • Jensen, Peter

                                            Arkæologisk dataanalyse, GIS, Multivariable metoder, Udgravningsteknik, Webproduktion, Webteknologi, Webtjenester

                                            • Johansen, Søren Glud

                                              Internt regnskabsvæsen, Lagerstyring, Markov beslutningsteori, Optimering, Optimering under usikkerhed, Prisfastsættelse, Produktionsøkonomi, Regnskabsvæsen, Simulations- og analyseværktøjer

                                              • Juel, Anders

                                                Biodiversitet, Conservation og naturbevarelse, Fagdatacenter for Biodiversitet og Terrestrisk Natur, Geografiske informationssystemer, GIS, Landskabsanalyser (Remote sensing), Makroøkologi, NATURA 2000-områder (habitat, fuglebeskyttelse og ramsarområder), Naturforvaltning, Objekt-orienterede softwaresystemer, Objekt-orienteret analyse og design, Overvågning, Rumlige analyser, Vegetationsøkologi, Økologi ( og terrestrisk natur, dynamik,, kystnære naturtyper, Succession,)

                                                • Jørgensen, Erik

                                                  Softwaresystemer, Design og systemudvikling

                                                  • Kidmose, Rune Thomas

                                                    Modeldrevet systemudvikling

                                                    • Kolle, Klaus

                                                      Distribuerede softwaresystemer, Distributed Systems Architecture , Embedded Systems SW (Device Drivers, Linux), Formal methods (Development methods), Indlejrede systemer, Kommunikationsprotokoller og netværk, Objekt-orienteret analyse og design, Objekt-orienteret programmering, Real-time Operating Systems , Software engineering , System engineering (Software development), System/software architectures , System/software development processes , Undervisning i programmering og softwareudvikling

                                                      • A. Bach, Lars

                                                        Adfærd og etologi, Biodiversitet, Cancer , Evolution, Klimaændringer og biodiversitet, Komplekse systemer, Makroøkologi, Organisationer, Organisationsteori, Organisationsteori, Populationsbiologi, Selektion, Spilteori

                                                        • Madsen, Ole Lehrmann

                                                          Distribuerede softwaresystemer, Objekt-orienterede programmeringssprog, Objekt-orienterede softwaresystemer, Objekt-orienteret analyse og design, Objekt-orienteret modellering, Objekt-orienteret programmering, Softwarearkitektur, Softwaresystemer for pervasive computing, Softwareudviklingsværktøjer, Virtuelle/abstrakte maskiner

                                                          • Alexandra Instituttet A/S

                                                        • Mailund, Thomas

                                                          Algoritmik, Arvelige sygdomme, Associationskortlægning, Bioinformatik, DNA, Effektiv algoritmeimplementering, Evolution, Evolutionære træer, Genetik, Genetik og molekylær evolution, Genomanalyse, Molekylær evolution, Monte Carlo-simulering, Sekvensanalyse, Simulations- og analyseværktøjer, Tekstalgoritmer og datastrukturer, Videnskabelige beregninger

                                                          • Møller, Anders

                                                            Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Softwarespecifikation og -verifikation, Webteknologi

                                                            • Møller-Nielsen, Peter

                                                              Digital kunst, netkunst, softwarekunst, Distribuerede softwaresystemer (Parallelprogrammering), Videnskabelige beregninger (Parallelprogrammering)

                                                              • Nielsen, Jesper Buus

                                                                Algebraiske og talteoretiske algoritmer, Datasikkerhed, Distribuerede softwaresystemer, Kryptografiske protokoller, Kryptologi, Public-key-kryptering, Spilteori

                                                                • Orlandi, Claudio

                                                                  Datasikkerhed, Distribuerede softwaresystemer, Kommunikationsprotokoller og netværk, Kryptografiske protokoller, Kryptologi, Kryptologi, Public-key-kryptering

                                                                  • Velasco González, Pablo Rodrigo

                                                                    Aktør-netværks-teori (ANT), Digital kultur, netkultur, hackerkultur, softwarekultur, Internet, Kritisk teori, Kvantitative metoder, Mediepolitik, Objekt-orienterede programmeringssprog, Økonomisk historie

                                                                    • van de Pol, Jaco

                                                                      Design og analyse af algoritmer og datastrukturer, Formal methods , Formal verification , Softwarespecifikation og -verifikation