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.

Experimental and numerical approaches for structural assessment in new footbridge designs (SFRSCC–GFPR hybrid structure)

Within the civil engineering field, the use of the Finite Element Method has acquired a significant importance, since numerical simulations have been employed in a broad field, which encloses the design, analysis and prediction of the structural behaviour of constructions and infrastructures. Nevertheless, these mathematical simulations can only be useful if all the mechanical properties of the materials, boundary conditions and damages are properly modelled. Therefore, it is required not only experimental data (static and/or dynamic tests) to provide references parameters, but also robust calibration methods able to model damage or other special structural conditions. The present paper addresses the model calibration of a footbridge bridge tested with static loads and ambient vibrations. Damage assessment was also carried out based on a hybrid numerical procedure, which combines discrete damage functions with sets of piecewise linear damage functions. Results from the model calibration shows that the model reproduces with good accuracy the experimental behaviour of the bridge.

Associations, causation and model in psychiatry

This paper discusses models, associations and causation in psychiatry. The different types of association (linear, positive, negative, exponential, partial, U shaped relationship, hidden and spurious) between variables involved in mental disorders are presented as well as the use of multiple regression analysis to disentangle interrelatedness amongst multiple variables. A useful model should have internal consistency, external validity and predictive power; be dynamic in order to accommodate new sound knowledge; and should fit facts rather than they other way around. It is argued that whilst models are theoretical constructs they also convey a style of reasoning and can change clinical practice. Cause and effect are complex phenomena in that the same cause can yield different effects. Conversely, the same effect can have a different range of causes. In mental disorders and human behaviour there is always a chain of events initiated by the indirect and remote cause; followed by intermediate causes; and finally the direct and more immediate cause. Causes of mental disorders are grouped as those: (i) which are necessary and sufficient; (ii) which are necessary but not sufficient; and (iii) which are neither necessary nor sufficient, but when present increase the risk for mental disorders.

Retroanálise de parâmetros geomecânicos baseada em algoritmos de otimização

Dissertação de mestrado integrado em Engenharia Civil

Síntese e caracterização de nanopartículas vetorizadas para células tumorais com possível aplicação na entrega controlada de fármacos

Dissertação de mestrado em Química Medicinal

4-Second Exercise Test: Reference Values for Ages 18–81 Years

Background: Physiological reflexes modulated primarily by the vagus nerve allow the heart to decelerate and accelerate rapidly after a deep inspiration followed by rapid movement of the limbs. This is the physiological and pharmacologically validated basis for the 4-s exercise test (4sET) used to assess the vagal modulation of cardiac chronotropism. Objective: To present reference data for 4sET in healthy adults. Methods: After applying strict clinical inclusion/exclusion criteria, 1,605 healthy adults (61% men) aged between 18 and 81 years subjected to 4sET were evaluated between 1994 and 2014. Using 4sET, the cardiac vagal index (CVI) was obtained by calculating the ratio between the duration of two RR intervals in the electrocardiogram: 1) after a 4-s rapid and deep breath and immediately before pedaling and 2) at the end of a rapid and resistance-free 4-s pedaling exercise. Results: CVI varied inversely with age (r = -0.33, p < 0.01), and the intercepts and slopes of the linear regressions between CVI and age were similar for men and women (p > 0.05). Considering the heteroscedasticity and the asymmetry of the distribution of the CVI values according to age, we chose to express the reference values in percentiles for eight age groups (years): 18–30, 31–40, 41–45, 46–50, 51–55, 56–60, 61–65, and 66+, obtaining progressively lower median CVI values ranging from 1.63 to 1.24. Conclusion: The availability of CVI percentiles for different age groups should promote the clinical use of 4sET, which is a simple and safe procedure for the evaluation of vagal modulation of cardiac chronotropism.

Generalized backward doubly stochastic differential equations and SPDEs with nonlinear Neumann boundary conditions

In this paper, a new class of generalized backward doubly stochastic differential equations is investigated. This class involves an integral with respect to an adapted continuous increasing process. A probabilistic representation for viscosity solutions of semi-linear stochastic partial differential equations with a Neumann boundary condition is given.