Pedestrian Priority Zones in the Context of Urban Mobility and Valorization of Public Space

The second half of the XX century was marked by a great increase in the number of people living in cities. Urban agglomerations became poles of attraction for migration flows and these phenomena, coupled with growing car-ownership rates, resulted in the fact that modern transport systems are characterized by large number of users and traffic modes. The necessity to organize these complex systems and to provide space for different traffic modes changed the way cities look. Urban areas had to cope with traffic flows, and as a result nowadays typical street pattern consists of a road for motorized vehicles, a cycle lane (in some cases), pavement for pedestrians, parking and a range of crucial signage to facilitate navigation and make mobility more secure. However, this type of street organization may not be desirable in certain areas, more specifically, in the city centers. Downtown areas have always been places where economic, leisure, social and other types of facilities are concentrated, not surprisingly, they often attract large number of people and this frequently results in traffic jams, air and noise pollution, thus creating unpleasant environment. Besides, excessive traffic signage in central locations can harm the image and perception of a place, this relates in particular to historical centers with architectural heritage.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Experimental design methodologies for the identification of Michaelis-Menten type kinetics

The main objective of this work was to investigate the application of experimental design techniques for the identification of Michaelis-Menten kinetic parameters. More specifically, this study attempts to elucidate the relative advantages/disadvantages of employing complex experimental design techniques in relation to equidistant sampling when applied to different reactor operation modes. All studies were supported by simulation data of a generic enzymatic process that obeys to the Michaelis-Menten kinetic equation. Different aspects were investigated, such as the influence of the reactor operation mode (batch, fed-batch with pulse wise feeding and fed-batch with continuous feeding) and the experimental design optimality criteria on the effectiveness of kinetic parameters identification. The following experimental design optimality criteria were investigated: 1) minimization of the sum of the diagonal of the Fisher information matrix (FIM) inverse (A-criterion), 2) maximization of the determinant of the FIM (D-criterion), 3) maximization of the smallest eigenvalue of the FIM (E-criterion) and 4) minimization of the quotient between the largest and the smallest eigenvalue (modified E-criterion). The comparison and assessment of the different methodologies was made on the basis of the Cramér-Rao lower bounds (CRLB) error in respect to the parameters vmax and Km of the Michaelis-Menten kinetic equation. In what concerns the reactor operation mode, it was concluded that fed-batch (pulses) is better than batch operation for parameter identification. When the former operation mode is adopted, the vmax CRLB error is lowered by 18.6 % while the Km CRLB error is lowered by 26.4 % when compared to the batch operation mode. Regarding the optimality criteria, the best method was the A-criterion, with an average vmax CRLB of 6.34 % and 5.27 %, for batch and fed-batch (pulses), respectively, while presenting a Km’s CRLB of 25.1 % and 18.1 %, for batch and fed-batch (pulses), respectively. As a general conclusion of the present study, it can be stated that experimental design is justified if the starting parameters CRLB errors are inferior to 19.5 % (vmax) and 45% (Km), for batch processes, and inferior to 42 % and to 50% for fed-batch (pulses) process. Otherwise equidistant sampling is a more rational decision. This conclusion clearly supports that, for fed-batch operation, the use of experimental design is likely to largely improve the identification of Michaelis-Menten kinetic parameters.

Miocene catfishes (Ariidae,Bagridae) from Lisbon: a Nilotic (or Sudanian) type fauna

Miocene catfishes from Lisbon are dealt with. Two distinct sets of pectoral and dorsal pterygiophores are described. That from the Langhian V-b is referred to Arius sp. probably close to A. heudeloti. Another ser from the uppermost Burdigalian V-a may be ascribed to a bagrid, cf. Chrysichthys sp., identified for the first time in this region. The catfish and Lates association is sctrikingly similar to African, nilotic or sudanian ones as far as freshwaters are concerned. In marine, coastal environments, stenotherm warm-water forms (Polynemids, large barracudas and several sharks) indicate, as a model, faunas like chose from Cape Verde to northern Angola. There is some gradation for brackish waters (fig. 1). Catfishes and Lates probably migrated into the Iberian Peninsule in the lower Miocene. They are unknown after Langhian V-b except for a reappearance of Arius in the middle Tortonian VII-b. Decreasing temperatures and aridity account for local extinction at least in freshwaters. Expansion of these fishes have been made easier owing to the displacement of land masses chat narrowed or closed the marine waterway between Europe and Africa. Salinity tolerance is not necessarily the sole explanation for migration. Catfishes plus Lates associations colonized inland waters from both sides of the Paleomediterranean. Local extinction may have weighed more in the development of modern distribution patterns than migration.

Renewable Power Sources

Of all of the sources of renewable energies available one can argue that the most abundant and accessible are solar power, radiation, and the energy of the tides (70 % of the earth surface is covered by water). The tidal wave energy hasn’t seen a widespread distribution yet, mainly due to the lack of interest of the governments, most of the coastal areas of the world are exclusive responsibility of the governments, thus not easily open for private venture. Considering solar power, there exist two main fields of application, land based systems and space based systems. The former systems are still in a very embryonic phase, with Japan being the lead researcher in the field, with an experimental satellite-power station to be launched before 2010. Land based systems, on the other hand, are well studied, with major research and application programs in all known forms of solar power production. Given a minimum value of incident radiation, and applying the appropriate system, (i.e. power plant type), for any given area the solar power becomes an income-producing industry.

Spatial operators for collaborative map handling

MSC Dissertation in Computer Engineering

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Extensible metadata repository for information systems

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

Children, space, and the urban street: an ethnomathematics posture

Dissertation presented for the PhD Degree in Education Science – Curricular Theory and Science Teaching, by Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Identification of mating type genes in the bipolar basidiomycetous yeast rhodosporidium toruloides: first insight into the MAT Locus structure of the sporidiobolales

Eukaryotic Cell, Vol.7, Nº6

Anaerobic bacteria: an investigation of metabolic important enzymes: a novel type of oxygen reductase and enzymes of the tetrapyrrole biosynthesis

Desulfovibrio desulfuricans was the first species of a sulphatereducing bacterium to be isolated, in 1895. Since that time, many questions were raised in the scientific community regarding the metabolic and ecological aspects of these bacteria. At present, there is still a myriad of open questions remaining to be answered to enlarge our knowledge of the metabolic pathways operative in these bacteria that have implications in the sulfur cycle, in biocorrosion, namely in sewers and in oil and gas systems, and in bioremediation of several toxic metals. The work presented in this dissertation aimed at contributing with new insights of enzymes involved in two different metabolic systems on Desulfovibrio species, namely enzymes that play a role in the response to oxidative stress and that are involved in the haem biosynthetic pathway.(...)

A multitask ATPase serving different ABC-type sugar importers in Bacillus subtilis

Journal of Bacteriology (Out 2010) 5312-5318