Scheduling aircraft’s engines repair process: a mathematical model

In this talk, we discuss a scheduling problem that originated at TAP - Maintenance & Engineering - the maintenance, repair and overhaul organization of Portugal’s leading airline. In the repair process of aircrafts’ engines, the operations to be scheduled may be executed on a certain workstation by any processor of a given set, and the objective is to minimize the total weighted tardiness. A mixed integer linear programming formulation, based on the flexible job shop scheduling, is presented here, along with computational experiment on a real instance, provided by TAP-ME, from a regular working week. The model was also tested using benchmarking instances available in literature.

Mathematical modelling of shallow flows: closure models drawn from grain-scale mechanics of sediment transport and flow hydrodynamics

Canadian Journal of Civil Engineering 36(10) 1605–16

An approach to teach Calculus/Mathematical Analysis (for engineering students) using computers and active learning – its conception, development of materials and evaluation

Dissertação para obtenção do Grau de Doutor em Ciências da Educação

Participatory Surveillance and Mathematical Models in Epidemiologic Research: Successes and Challenges

Theoretical epidemiology aims to understand the dynamics of diseases in populations and communities. Biological and behavioral processes are abstracted into mathematical formulations which aim to reproduce epidemiological observations. In this thesis a new system for the self-reporting of syndromic data — Influenzanet — is introduced and assessed. The system is currently being extended to address greater challenges of monitoring the health and well-being of tropical communities.(...)

Mathematical and numerical methods for inverse problems using fundamental solutions techniques

Fundação para a Ciência e a Tecnologia - SFRH/BD/27914/2006

Improving practical reasoning and argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7).

Mathematical and numerical analysis for coagulation-fragmentation equations

Magdeburg, Univ., Fak. für Mathematik, Diss., 2010

Mathematical model to analyze the heat transfer in tunnel kilns for burning of ceramics

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2013

Mathematical modeling and evolution of signal transduction pathways and networks

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2013

Mathematical models of influenza A virus infection : from intracellular replication to virus growth in cell populations

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2015

In search of mathematical primitives for deriving universal projective hash families

We provide some guidelines for deriving new projective hash families of cryptographic interest. Our main building blocks are so called group action systems; we explore what properties of this mathematical primitives may lead to the construction of cryptographically useful projective hash families. We point out different directions towards new constructions, deviating from known proposals arising from Cramer and Shoup's seminal work.

Débattre : pratique de l'argumentation et inscription de l'identité dans une perspective textuelle et interactionnelle

L'objectif de la thèse est de rendre compte d'une pratique langagière particulière, le débat, et d'opérer ce travail à la fois à un niveau théorique - en tant qu'analyser la pratique du débat pose certaines questions aux sciences du langage - et à un niveau pratique - dans la mesure où la spécificité du débat repose sur certains observables qu'il s'agit d'identifier et de décrire et qui permettent à chacun de distinguer le débat d'autres formes de comportement, telles que l'anecdote, la dispute ou encore la réunion de travail.¦La thèse part du constat que la pratique du débat constitue un fait social attesté et reconnaissable comme tel, et ce aussi bien par les agents qui s'engagent dans son accomplissement que par un observateur externe. Le fait qu'aucune règle ne vienne pour autant décrire «ce qui fait débat» plaide pour l'adoption d'une perspective ethnométhodologique, sensible à la manière dont les agents pourvoient eux-mêmes, en agissant de façon méthodique et routinière, à la reconnaissabilité (accountability) des pratiques dans lesquelles ils s'engagent.¦La thèse questionne le caractère reconnaissable de la pratique du débat à partir de données originales. Le corpus est constitué de huit événements publics s'étant déroulés à l'Université de Lausanne et ayant été vidéo-enregistrés pour l'occasion. Ces rencontres ne relèvent donc pas d'événements télédiffusés, par exemple des débats de sociétés organisés par des chaînes de télévision. Il s'agit de confrontations verbales (de types « débats publics » ou « conférence-discussion ») où tous les participants, public compris, sont réunis en un même lieu et dans une même tranche temporelle.¦La thèse organise la réflexion en trois parties. Intitulée la parole en interaction médiatisée, la première partie est consacrée à la présentation et à la problématisation, grâce à divers extraits du corpus, des différentes dimensions analytiques mobilisées. Par l'articulation d'acquis en linguistique textuelle et énonciative et en analyse conversationnelle, il s'agit d'étudier la matérialité signifiante des actions verbales en lien avec les dynamiques discursives et interactionnelles dans lesquelles cette matérialité s'inscrit et prend sens. En d'autres termes, on considère la manière dont les unités linguistiques participent à l'accomplissement d'activités pratiques et les pressions que ces activités pratiques sont susceptibles d'exercer sur l'usage de ces unités. L'analyse du débat est en outre inscrite dans une approche multimodale des pratiques, qui entend dépasser l'analyse de la seule verbalité pour donner une place aux ressources corporelles, qu'il s'agisse de gestes, de mimiques ou de la répartition des participants dans l'espace.¦Une fois les différentes dimensions analytiques posées, les deux autres parties examinent chacune une composante - autrement dit un observable - qui spécifie le débat en tant que pratique langagière particulière. Mobilisant une approche dialogale de la pratique de l 'argumentation, la deuxième partie entend montrer que le débat gagne à être abordé comme un mode particulier de gestion du désaccord, fondé sur l'usage de ressources argumentatives. La troisième partie s'intéresse finalement à la problématique de l'inscription de l'identité dans le langage et dans l'interaction et considère la manière dont les traits identitaires que les agents s'attribuent, respectivement ou réciproquement, lorsqu'ils s'engagent dans un débat, participent à assurer le caractère reconnaissable de cette pratique.

A mathematical model to describe fat oxidation kinetics during graded exercise.

PURPOSE: The purpose of this study was to develop a mathematical model (sine model, SIN) to describe fat oxidation kinetics as a function of the relative exercise intensity [% of maximal oxygen uptake (%VO2max)] during graded exercise and to determine the exercise intensity (Fatmax) that elicits maximal fat oxidation (MFO) and the intensity at which the fat oxidation becomes negligible (Fatmin). This model included three independent variables (dilatation, symmetry, and translation) that incorporated primary expected modulations of the curve because of training level or body composition. METHODS: Thirty-two healthy volunteers (17 women and 15 men) performed a graded exercise test on a cycle ergometer, with 3-min stages and 20-W increments. Substrate oxidation rates were determined using indirect calorimetry. SIN was compared with measured values (MV) and with other methods currently used [i.e., the RER method (MRER) and third polynomial curves (P3)]. RESULTS: There was no significant difference in the fitting accuracy between SIN and P3 (P = 0.157), whereas MRER was less precise than SIN (P < 0.001). Fatmax (44 +/- 10% VO2max) and MFO (0.37 +/- 0.16 g x min(-1)) determined using SIN were significantly correlated with MV, P3, and MRER (P < 0.001). The variable of dilatation was correlated with Fatmax, Fatmin, and MFO (r = 0.79, r = 0.67, and r = 0.60, respectively, P < 0.001). CONCLUSIONS: The SIN model presents the same precision as other methods currently used in the determination of Fatmax and MFO but in addition allows calculation of Fatmin. Moreover, the three independent variables are directly related to the main expected modulations of the fat oxidation curve. SIN, therefore, seems to be an appropriate tool in analyzing fat oxidation kinetics obtained during graded exercise.

Deconstructing Purism: Unconscious Drives and Meta-argumentation in Straight Photography

The thesis investigates the nature of the Purist discourse in photography, with the aim of unveiling its lack of a solid theoretical foundation and its unconscious content. Purism outlines the fact that photography is a unique craft, that may not borrow ideas from painting or any other art forms. What makes the Purist discourse suspect and attracts attention to its possible circular style? The fact that the views expressed by its supporters include a frenzied edge, an unnecessary ardor, a combative tone that discloses that there’s something hidden, something that doesn’t serve the purpose of presenting an unbiased philosophical claim