Projecten
Een vliegende start voor metaproteomics informatics Universiteit Gent
Metaproteomics wordt meer en meer gebruikt om een beeld te vormen van alle eiwitten in een microbieel ecosysteem. Deze eiwitten zijn belangrijk omdat zij de ‘werkers’ zijn in de cel; het zijn de eiwitten die de chemische reacties van het leven uitvoeren, die de communicatie met andere cellen verzorgen, en die toelaten dat microbiële cellen kunnen communiceren met de cellen van een gastheer. Daarom wordt metaproteomics vaak ingezet om ...
Declaratieve methoden in de informatica 2016-2020 Universiteit Hasselt
De vraag enerzijds naar steeds grotere en complexere software systemen en anderzijds naar grotere duurzaamheid en betrouwbaarheid van die systemen stelt de informatica voor enorme uitdagingen. Bijdragen tot een betere beheersing van dergelijke systemen komen in belangrijke mate voort uit fundamenteel onderoek gericht op de ontwikkeling van "declaratieve methoden", formalismen die toelaten om systemen te beschrijven op een hoger niveau van ...
Declaratieve methoden in de informatica Universiteit Hasselt
Deze Onderzoeksgemeenschap wil researchers samenbrengen betrokken in informatica-onderzoek dat ofwelfundamenteel, ofwel toepassingsgericht maar gebaseerd op fundamenteel onderzoek, of beide is, waarbij gebruikt wordt gemaakt vandeclaratieve - met andere woorden, op logica gebaseerde - methodes. Het spectrum van onderzoeksonderwerpen dat hierdoor wordtafgedekt, is vrij breed, en gaat van functioneel, logisch en constraint programming over ...
Declaratieve methoden in de informatica Universiteit Hasselt
De vraag enerzijds naar steeds grotere en complexere software systemen en anderzijds naar grotere duurzaamheid en betrouwbaarheid van die systemen stelt de informatica voor enorme uitdagingen. Bijdragen tot een betere beheersing van dergelijke systemen komen in belangrijke mate voort uit fundamenteel onderoek gericht op de ontwikkeling van "declaratieve methoden", formalismen die toelaten om systemen te beschrijven op een hoger niveau van ...
Declaratieve Methoden in de Informatica Universiteit Antwerpen
Technische universität Darmstadt, Katholieke Universiteit Leuven, Ecole Polytechnique Montréal, Pontificia Universidad Católica de Chile, Universiteit Hasselt, Universidade do Porto, Imperial College of (Science Technology and Medicine) London, University of Southern Denmark, Université de Namur, University of Copenhagen, University of Hong Kong, Ecole Polytechnique Fédérale de Lausanne, Università della Calabria, Instituto Tecnologico de Buenos Aires, Université de Mons, University of Kentucky, Technische Universiteit Eindhoven, Universität Bayreuth, Simon Fraser University, University of Wisconsin-Madison, University of Edinburgh, Indiana University, Technische Universität Dortmund, Università di Bologna, Vrije Universiteit Brussel, ADReM Data Lab (ADReM)
Een onderzoeksnetwerk ter promotie van samenwerking tussen vlaamse onderzoeksgroepen met interesse en expertise in declaratieve methoden in de informatica. Dit netwerk bevat ook internationale partners die rond dit thema werkzaam zijn.
Declaratieve methoden in de informatica. Universiteit Antwerpen
Om tegemoet te komen aan de nood om steeds grotere en complexere software systemen te bouwen is er een groeiende vraag naar declaratieve methoden, die abstractie maken van onnodige details en zich toespitsen op de functionaliteit van de systemen. De onderzoeksgemeenschap heeft als doel de ontwikkeling van declaratieve methoden te bevorderen, in het bijzonder deze die voortspruiten uit onderzoek in gegevensbanken en functioneel en logisch ...
Informatie leren verzamelen: Contextuele cues gebruiken om het verzamelen van informatie flexibel aan te passen tijdens het nemen van beslissingen Universiteit Gent
Standaard sequential sampling modellen zijn zeer succesvol in het verklaren van hoe we alledaagse, maar toch belangrijke, beslissingen nemen, zoals wanneer het veilig is om de weg over te steken. Een belangrijk recent voorstel om deze modellen te verbeteren, was om het beslissingsproces aan te passen aan de instabiliteit van de omgeving. In het alledaagse leven moeten we echter vaak voortdurend wisselen tussen meerdere omgevingen, ...
Verbetering van beeldkwaliteit en klinische informatie met behulp van Time-of-Flight informatie in PET Universiteit Gent
In TOF-PET probeert men het verschil in tijdstip van detectie van beide fotonen nauwkeurig (beter dan 1 ns) te meten. Deze informatie kan gebruikt worden in reconstructie om de beeldkwaliteit te verbeteren. Een eerste doel is het kwantificeren van de verbeterde beeldkwaliteit in realistische fantomen en klinische studies. Het tweede objectief is om na te gaan of we meer accurate informatie kunnen bekomen uit klinische data.
Ontwikkeling van technieken voor het opleggen van regels voor information flow. KU Leuven
Alle software wordt voorgesteld als broncode in een programmeertaal. De programmeertaal bepaalt de betekenis of semantiek van de code, bijvoorbeeld haar operationeel gedrag. Uitvoerbare broncode wordt vaak vergezeld door bijkomende specificaties die definiëren hoe de broncode moet geïnterpreteerd worden of extra informatie geven over de semantiek van de software. Ze maken het mogelijk voor programmeurs om uit te drukken en te verifiëren dat hun ...