Now showing items 31-40 of 184
Intelligent Solutions Sustaining Urban Economies – Master Classes case study
(The 26th International Cartographic Conference, Dresden, Germany, 2013-08)
THE ISSUE is a project within the Regions of Knowledge scheme funded through the European Commission’s Seventh Framework Programme. THE ISSUE focuses on traffic, health and the environment to achieve intelligent solutions ...
HIV Progression to AIDS: Bioinformatics Approach to Determining the Mechanism of Action
(Bentham Science Publishers, 2013-01)
The mechanism by which HIV infection transforms into AIDS disease is unclear. Several factors such as the decline in immune response, increase in replication rate, Syncytium inducing capacity and ability of the viruses to ...
Interconnections between classes of sequentially compositional temporal formulas
Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We elucidate here the relationship between various kinds of compositional propositional ITL formulas. Several are closed under ...
Assembler Restructuring in FermaT