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 - 38 ud af 38Pr. 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

      • Alrøe, Michael

        Embedded Systems SW , Networked Embedded Systems , Real-time Embedded Systems, Real-time Operating Systems , Robotter, Sensor systems and applications , System-on-a-chip , Wireless sensor networks

        • 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, Anja Cilius

                                          Webteknologi (Agil ledelse, Cookiesamtykke, Kanban, TYPO3, Udbud, Webtilgængelighed)

                                          • 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

                                                                  • 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