Aarhus University Seal / Aarhus Universitets segl

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. A. Bach, Lars

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

    • 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

      • Beedholm, Kristian

        Audio signal processing , Bioakustik, Dyrefysiologi, Harmonisk analyse, Indlejrede systemer, Marinbiologi, Softwareudviklingsværktøjer

        • Bennedsen, Jens

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

          • 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

                          • 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

                                          • 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

                                            • 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

                                              • Jørgensen, Erik

                                                Softwaresystemer, Design og 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

                                                  • 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

                                                    • Maring, Peter Jensen

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

                                                      • 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

                                                              • Talasila, Prasad

                                                                Cyber-physical systems , Model-based development , Simulations- og analyseværktøjer

                                                                • Trieu, Alix

                                                                  Formal verification , Kompilere og fortolkere

                                                                  • 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