Abstract

Abstract
Developers of data-intensive georeplicated applications face a difficult decision when selecting a database system. As captured by the CAP theorem, CP systems such as Spanner provide strong consistency that greatly simplifies application development. AP systems such as AntidoteDB providing Transactional Causal Consistency (TCC), ensure availability in face of network partitions and isolate performance from wide-area round-trip times, but avoid lost-update anomalies only when values can be merged. Ideally, an application should be able to adapt to current data and network conditions by selecting which transactional consistency to use for each transaction. In this paper, we test the hypothesis that a georeplicated database system can be built at its core providing only TCC, hence, being AP, but allow an application to execute some transactions under Snapshot Isolation (SI), hence CP. Our main result is showing that this can be achieved even when all the interaction happens through the TCC database system, without additional communication channels between the participants. A preliminary experimental evaluation with a proof-of-concept implementation using AntidoteDB shows that this approach is feasible.

Abstract

Abstract
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. This lecture summarises recent joint work with Juliana Cunha, Alexandre Madeira and Ana Cruz on a variant of transition systems endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values. Such structures are called paraconsistent transition systems, the qualifier stressing a connection to paraconsistent logic, a logic taking inconsistent information as potentially informative. A coalgebraic perspective on this family of structures is also discussed.

Abstract
The manufacturing process of thermoregulation products with polyester (PES) fabric and conductive polymers such as poly(3,4-ethylenedioxythiophene) doped with poly(styrene sulfonate) (PEDOT:PSS) with proper wearability, comfort, and high performance is still a challenge due to low adhesion, environment instability and nonuniform coatings. This study presents a simple and effective method for producing thermoregulatory PES fabrics using the Joule heating effect. Textiles treated with dielectric barrier discharge (DBD) plasma were functionalized with PEDOT:PSS incorporating secondary dopants, such as dimethyl sulfoxide (DMSO) and glycerol (GLY). PEDOT:PSS was used because it does not compromise the mechanical properties of base materials. DBD plasma treatment was applied to PES to improve the substrate's functional groups and consequently increase adhesion and homogeneity of the PEDOT:PSS on the substrate. The polymer were applied to the textiles by dip-pad-drycure method ensuring uniform distribution and homogeneous heating of the materials. The samples' conductivity, impedance, potential and Joule effect, and their morphological, chemical and thermal properties were studied. Control samples without plasma treatment and secondary dopants were also prepared. The results showed that the DBD-treated samples, coated with 5 layers of PEDOT:PSS, doped with DMSO 7 % (w/v), displayed the best conductivity and Joule effect performance reaching 44.3 degrees C after 1 h.

Abstract