Three essays on game theory and bargaining

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Wireless triple play system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Lime mortars with ceramic wastes: characterization of components and their influence on the mechanical behaviour

Considering the fundamental importance of preserving the built heritage and of ensuring the good performance achieved by incorporating ceramic particles in lime mortars in ancient times, it is important to study solutions that use materials the available today, in order to produce mortars intended to repair and replace the old ones. Solutions incorporating industrial ceramic waste might be profitable for several reasons, namely for economic, environmental and technical aspects. In this paper, seven ceramic waste products collected from ceramics factories are characterized. Their mineralogy, dimensional features and pozzolanicity were determined. Three of these products, with different particle size fractions (obtained directly from milling, dust only and fragment fractions only), were selected, incorporated into air lime mortars, and their mechanical strength was determined. In the present work, evidence of mechanical efficiency, when common sand or air lime were partially replaced by ceramic wastes, was made clear, drawing attention to the sustainability of this type of mortars, hence, encouraging further research.

Semantic enrichment of knowledge sources supported by domain ontologies

This thesis introduces a novel conceptual framework to support the creation of knowledge representations based on enriched Semantic Vectors, using the classical vector space model approach extended with ontological support. One of the primary research challenges addressed here relates to the process of formalization and representation of document contents, where most existing approaches are limited and only take into account the explicit, word-based information in the document. This research explores how traditional knowledge representations can be enriched through incorporation of implicit information derived from the complex relationships (semantic associations) modelled by domain ontologies with the addition of information presented in documents. The relevant achievements pursued by this thesis are the following: (i) conceptualization of a model that enables the semantic enrichment of knowledge sources supported by domain experts; (ii) development of a method for extending the traditional vector space, using domain ontologies; (iii) development of a method to support ontology learning, based on the discovery of new ontological relations expressed in non-structured information sources; (iv) development of a process to evaluate the semantic enrichment; (v) implementation of a proof-of-concept, named SENSE (Semantic Enrichment kNowledge SourcEs), which enables to validate the ideas established under the scope of this thesis; (vi) publication of several scientific articles and the support to 4 master dissertations carried out by the department of Electrical and Computer Engineering from FCT/UNL. It is worth mentioning that the work developed under the semantic referential covered by this thesis has reused relevant achievements within the scope of research European projects, in order to address approaches which are considered scientifically sound and coherent and avoid “reinventing the wheel”.

Digital microfluidic devices: the role of the dielectric layer

Digital microfluidics (DMF) is a field which has emerged in the last decade as a re-liable and versatile tool for sensing applications based on liquid reactions. DMF allows the discrete displacement of droplets, over an array of electrodes, by the application of voltage, and also the dispensing from a reservoir, mixing, merging and splitting fluidic operations. The main drawback of these devices is due to the need of high driving volt-ages for droplet operations. In this work, alternative dielectric layers combinations were studied aiming the reduction of these driving voltages. DMF chips were designed, pro-duced and optimized according to the theory of electrowetting-on-dielectric, adopting different combinations of parylene-C and tantalum pentoxide (Ta2O5) as dielectric ma-terials, and Teflon as hydrophobic layer. With both devices’ configurations, i.e., Parylene as single dielectric, and multilayer chips combining Parylene and Ta2O5, it was possible to perform all the fluidic opera-tions in the microliter down to hundreds of nanoliters range. Multilayer chips presented significant reduction on driving voltages for droplet op-erations in silicone oil filler medium: from 70 V (parylene only) down to 30 V (parylene/Ta2O5) for dispensing; and from 50 V (parylene only) down to 15 V (parylene/Ta2O5) for movement. Peroxidase colorimetric reactions were successfully performed as proof-of-concept, using multilayer configuration devices.

A intervenção dos orgãos de polícia criminal em sede de julgamento

Currently, Portugal assumes itself as a democratic rule of substantive law State, sustained by a legal system seeking the right balance between the guarantee of fundamental rights and freedoms constitutional foreseen in Portugal’s Fundamental Law and criminal persecution. The architecture of the penal code lies with, roughly speaking, a accusatory basic structure, “deliberately attached to one of the most remarkable achievements of the civilizational democratic progress, and by obedience to the constitutional commandment”, in balance with the official investigation principle, valid both for the purpose of prosecution and trial. Regarding the principle of non self-incrimination - nemo tenetur se ipsum accusare, briefly defined as the defendant’s right of not being obliged to contribute to the self-incrimination, it should be stressed that there isn’t an explicit consecration in the Portuguese Constitution, being commonly accepted in an implicit constitutional prediction and deriving from other constitutional rights and principles, first and foremost, the meaning and scope of the concept of democratic rule of Law State, embedded in the Fundamental Law, and in the guidelines of the constitutional principles of human person dignity, freedom of action and the presumption of innocence. In any case, about the (in) applicability of the principle of the prohibition of self-incrimination to the Criminal Police Bodies in the trial hearing in Court, and sharing an idea of Guedes Valente, the truth is that the exercise of criminal action must tread a transparent path and non-compliant with methods to obtain evidence that violate the law, the public order or in violation of democratic principles and loyalty (Guedes Valente, 2013, p. 484). Within the framework of the penal process relating to the trial, which is assumed as the true phase of the process, the witness represents a relevant figure for the administration of criminal justice, for the testimonial proof is, in the idea of Othmar Jauernig, the worst proof of evidence, but also being the most frequent (Jauernig, 1998, p. 289). As coadjutant of the Public Prosecutor and, in specific cases, the investigating judge, the Criminal Police Bodies are invested with high responsibility, being "the arms and eyes of Judicial Authorities in pursuing the criminal investigation..." which has as ultimate goal the fulfillment of the Law pursuing the defense of society" (Guedes Valente, 2013, p. 485). It is in this context and as a witness that, throughout operational career, the Criminal Police Bodies are required to be at the trial hearing and clarify the Court with its view about the facts relating to occurrences of criminal context, thus contributing very significantly and, in some cases, decisively for the proper administration of the portuguese criminal justice. With regards to the intervention of Criminal Police Bodies in the trial hearing in Court, it’s important that they pay attention to a set of standards concerning the preparation of the testimony, the very provision of the testimony and, also, to its conclusion. Be emphasized that these guidelines may become crucial for the quality of the police testimony at the trial hearing, thus leading to an improvement of the enforcement of justice system. In this vein, while preparing the testimony, the Criminal Police Bodies must present itself in court with proper clothing, to read before and carefully the case files, to debate the facts being judged with other Criminal Police Bodies and prepare potential questions. Later, while giving his testimony during the trial, the Criminal Police Bodies must, summing up, to take the oath in a convincing manner, to feel comfortable, to start well by convincingly answering the first question, keep an attitude of serenity, to adopt an attitude of collaboration, to avoid the reading of documents, to demonstrate deference and seriousness before the judicial operators, to use simple and objective language, to adopt a fluent speech, to use nonverbal language correctly, to avoid spontaneity responding only to what is asked, to report only the truth, to avoid hesitations and contradictions, to be impartial and to maintain eye contact with the judge. Finally, at the conclusion of the testimony, the Criminal Police Bodies should rise in a smooth manner, avoiding to show relief, resentment or satisfaction, leaving a credible and professional image and, without much formality, requesting the judge permission to leave the courtroom. As final note, it’s important to stress that "The intervention of the Police Criminal Bodies in the trial hearing in Court” encloses itself on a theme of crucial importance not only for members of the Police and Security Forces, who must welcome this subject with the utmost seriousness and professionalism, but also for the proper administration of the criminal justice system in Portugal.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Exploring Literary Landscapes: From Texts to Spatiotemporal Analysis through Collaborative Work and GIS

This article argues that the study of literary representations of landscapes can be aided and enriched by the application of digital geographic technologies. As an example, the article focuses on the methods and preliminary findings of LITESCAPE.PT—Atlas of Literary Landscapes of Mainland Portugal, an on-going project that aims to study literary representations of mainland Portugal and to explore their connections with social and environmental realities both in the past and in the present. LITESCAPE.PT integrates traditional reading practices and ‘distant reading’ approaches, along with collaborative work, relational databases, and geographic information systems (GIS) in order to classify and analyse excerpts from 350 works of Portuguese literature according to a set of ecological, socioeconomic, temporal and cultural themes. As we argue herein this combination of qualitative and quantitative methods—itself a response to the difficulty of obtaining external funding—can lead to (a) increased productivity, (b) the pursuit of new research goals, and (c) the creation of new knowledge about natural and cultural history. As proof of concept, the article presents two initial outcomes of the LITESCAPE.PT project: a case study documenting the evolving literary geography of Lisbon and a case study exploring the representation of wolves in Portuguese literature.

Control of a white organic light emitting diode’s emission parameters using a single doped RGB active layer

White Color tuning is an attractive feature that Organic Light Emitting Diodes (OLEDs) offer. Up until now, there hasn’t been any report that mix both color tuning abilities with device stability. In this work, White OLEDs (W-OLEDs) based on a single RGB blend composed of a blue emitting N,N′-Di(1-naphthyl)-N,N′-diphenyl-(1,1′-biphenyl)-4,4′-diamine (NPB) doped with a green emitting Coumarin-153 and a red emitting 4-(Dicyanomethylene)-2-methyl-6-(4-dimethylaminostyryl)-4H-pyran (DCM1) dyes were produced. The final device structure was ITO/Blend/Bathocuproine (BCP)/ Tris(8-hydroxyquinolinato)aluminium (Alq3)/Al with an emission area of 0.25 cm2. The effects of the changing in DCM1’s concentration (from 0.5% to 1% wt.) allowed a tuning in the final white color resulting in devices capable of emitting a wide range of tunes – from cool to warm – while also keeping a low device complexity and a high stabilitty. Moreover, an explanation on the optoelectrical behavior of the device is presented. The best electroluminescense (EL) points toward 160 cd/m2 of brightness and 1.1 cd/A of efficiency, both prompted to being enhanced. An Impedance Spectroscopy (IS) analysis allowed to study both the effects of BCP as a Hole Blocking Layer and as an aging probe of the device. Finally, as a proof of concept, the emission was increased 9 and 64 times proving this structure can be effectively applied for general lighting.

Valorization of olive pomace through combination of biocatalysis with supercritical fluid technology

A supercritical carbon dioxide (scCO2) based oil extraction method was implemented on olive pomace (alperujo), and an oil yield of 25,5 +/- 0,8% (goil/gdry residue) was obtained. By Soxhlet extraction with hexane, an oil extraction yield of 28,9 +/- 0,8 % was obtained, which corresponds to an efficiency of 88,4 +/- 4,8 % for the supercritical method. The scCO2 extraction process was optimized for operating conditions of 50 MPa and 348,15 K, for which an oil loading of 32,60 g oil/kg CO2 was calculated. As a proof of concept, olive pomace was used as feedstock for biodiesel production, in a process combining the use of lipase as a catalyst with the use of scCO2 as a solvent, and integrating the steps of oil extraction, oil to biodiesel transesterification and subsequent separation of the latter. In the conducted experiments, FAME (fatty acid methyl ester) purities of 90% were obtained, with the following operating parameters: an oil:methanol molar ratio of 1:24; a residence time of 7,33 and 11,6 mins; a pressure of 40 MPa; a temperature of 313,15 K; and Lipozyme (Mucor miehei; Sigma-Aldritch) as an enzyme. However, oscillations of FAME purity were registered throughout the experiments, which could possibly be due to methanol accumulation in the enzymatic reactor. Finally, the phenolic content of olive pomace, and the effect of the drying process – oven or freeze-drying – and the extraction methods – hydro-alcoholic method and supercritical method – on the phenolic content were analysed. It was verified that the oven-drying process on the olive pomace preserved 90,1 +/- 3,6 % of the total phenolic content. About 62,3 +/- 5,53% of the oven-dried pomace phenolic content was extracted using scCO2 at 60 MPa and 323,15 K. Seven individual phenols – hydroxytyrosol, tyrosol, oleuropein, quercetin, caffeic acid, ferulic acid and p-coumaric acid – were identified and quantified by HPLC.

Ion-beam sources based on superionic solid electrolytes

An ion emitter consisting of a sharp silver tip covered in RbAg4I5 solid electrolyte film has been developed and studied. An accelerating potential is applied and Ag+ ions are emitted from the tip’s apex by field evaporation. The emitted ions are collected by a Faraday cup, producing a current on the pico/nanoampere level which is read by an electrometer. The tips were produced mechanically by sandpaper polishing. The sharpest tip produced had a 2:4 m apex radius. Two deposition methods were studied: thermal vacuum and pulsed laser deposition. The best tip produced a peak current value of 96nA at 180oC, and a quasi-stable 4nA emission current at 160oC, both using an extraction potential of 10kV . The emission dependence on time, temperature and accelerating potential has been studied. Deposited films were characterized by X-ray diffraction (XRD), profilometry, optical and Scanning Electron Microscope (SEM) and Secondary Ion Mass Spectroscopy (SIMS) measurements. Several ion emitters were developed, the latter ones were all able to maintain stable high ion emissions for long periods of time. This investigation was a continuation of an ongoing project backed by the European Space Agency, with the objective of making a proof of concept of this kind of ion emitter with potential application on ion thrusters for orbiting satellites. Going forward, it would be interesting to make a finer analysis of the electrolyte’s conductivity at high temperatures, explore Wien Effect-based emission and to further develop a multi-tip ion emitter prototype.

Instrumental Fado: a generative interactive system

Fado was listed as UNESCO Intangible Cultural Heritage in 2011. This dissertation describes a theoretical model, as well as an automatic system, able to generate instrumental music based on the musics and vocal sounds typically associated with fado’s practice. A description of the phenomenon of fado, its musics and vocal sounds, based on ethnographic, historical sources and empirical data is presented. The data includes the creation of a digital corpus, of musical transcriptions, identified as fado, and statistical analysis via music information retrieval techniques. The second part consists in the formulation of a theory and the coding of a symbolic model, as a proof of concept, for the automatic generation of instrumental music based on the one in the corpus.

Semantic relations extraction from unstructured information for domain ontologies enrichment

Based in internet growth, through semantic web, together with communication speed improvement and fast development of storage device sizes, data and information volume rises considerably every day. Because of this, in the last few years there has been a growing interest in structures for formal representation with suitable characteristics, such as the possibility to organize data and information, as well as the reuse of its contents aimed for the generation of new knowledge. Controlled Vocabulary, specifically Ontologies, present themselves in the lead as one of such structures of representation with high potential. Not only allow for data representation, as well as the reuse of such data for knowledge extraction, coupled with its subsequent storage through not so complex formalisms. However, for the purpose of assuring that ontology knowledge is always up to date, they need maintenance. Ontology Learning is an area which studies the details of update and maintenance of ontologies. It is worth noting that relevant literature already presents first results on automatic maintenance of ontologies, but still in a very early stage. Human-based processes are still the current way to update and maintain an ontology, which turns this into a cumbersome task. The generation of new knowledge aimed for ontology growth can be done based in Data Mining techniques, which is an area that studies techniques for data processing, pattern discovery and knowledge extraction in IT systems. This work aims at proposing a novel semi-automatic method for knowledge extraction from unstructured data sources, using Data Mining techniques, namely through pattern discovery, focused in improving the precision of concept and its semantic relations present in an ontology. In order to verify the applicability of the proposed method, a proof of concept was developed, presenting its results, which were applied in building and construction sector.

Gastric and colorectal cancer mortality in an urban and industrialized area of Brazil

PURPOSE: To study the gastric and colorectal cancer mortalities and their relation to the urban-industrialization in Baixada Santista, located in the southeastern region of Brazil. METHODS: Selected from the registries of the State System of Data Analysis Foundation (SEADE) were 1105 deaths due to gastric cancer (ICD 153--154) and 690 due to colorectal cancer (ICD 151) that occurred from 1980 to 1993 in males, above 10 years of age, residing in Baixada Santista. For each of these types of cancer, the standardized mortality rates, age-adjusted by world population in the 1960s, for 4 industrialized and 4 non-industrialized urban communities in that region were calculated. The ratios among those rates were calculated in order to compare the mortality in the periods 1980--93, 1980--1986, and 1987--1993. RESULTS: Standardized mortality rates for colorectal cancer were significantly higher in industrialized area, with ratios of 1.6 [95% CI 1.22 -- 2.29], 1.6 [95% CI 1.2 -- 2.0], and 1.6 [95% CI 1.3 -- 2.0] in the periods 1980--86, 1987--1993 and 1980--93, respectively. Gastric cancer did not show any statistical difference between the industrialized and non-industrialized areas, but there was a significant decrease in BS from the period 1980--1986 to 1987--1993. CONCLUSIONS: The significant elevation of colorectal cancer mortality in the industrialized area could be related to exposure to numerous carcinogens such as aromatic hydrocarbon, organic-chloride, metals, and industrial-port dust present in the region. Alternatively, the non-significant difference in gastric cancer between industrialized and non-industrialized areas and significant decrease in the last few years could be predominately reflecting the advances in the quality of life in urban areas. These results require further case-control studies that could help with the analysis of the associations among cancer and environmental factors (occupational, urban-industrial, habit, and life condition) and genetic susceptibility.

A discriminação em função da idade no direito do trabalho

In this thesis, we will treat the discrimination based on age, more specifically of older workers. In recent years, there was an increasing interest on the part of doctrine and jurisprudence on this subject. In fact, in a world in which you live a real economic crisis, older workers tend to have difficulties finding jobs or are targets of the discrimination based on age, at the time of hiring or during the contract. Thus, we will focus on discrimination. We will examine, first, the difference between direct and indirect discrimination, taking into account the importance of the burden of proof, then we will study the figures of positive action measures. Then, treat the legislative framework of the discrimination based on age, that is, in relation to the Labor Code and the Directive 2000/78/EC of November 27, 2000. Eventually, we will determine the cases in which they may accept the discrimination based on age. In fact, these differences in treatment based on age are justified, but must be aimed at a legitimate objective with appropriate and necessary means.