Monotonic Distributive Semilattices

In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the {→, ∧, ⊤}-fragment of intuitionistic logic is the variety of implicative meet-semilattices (Chellas 1980; Hansen 2003). In this paper we introduce and study the class of distributive meet-semilattices endowed with a monotonic modal operator m. We study the representation theory of these algebras using the theory of canonical extensions and we give a topological duality for them. Also, we show how our new duality extends to some particular subclasses.Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; ArgentinaFil: Menchón, María Paula. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

An EPTAS for Scheduling on Unrelated Machines of Few Different Types

In the classical problem of scheduling on unrelated parallel machines, a set of jobs has to be assigned to a set of machines. The jobs have a processing time depending on the machine and the goal is to minimize the makespan, that is the maximum machine load. It is well known that this problem is NP-hard and does not allow polynomial time approximation algorithms with approximation guarantees smaller than $1.5$ unless P$=$NP. We consider the case that there are only a constant number $K$ of machine types. Two machines have the same type if all jobs have the same processing time for them. This variant of the problem is strongly NP-hard already for $K=1$. We present an efficient polynomial time approximation scheme (EPTAS) for the problem, that is, for any $\varepsilon > 0$ an assignment with makespan of length at most $(1+\varepsilon)$ times the optimum can be found in polynomial time in the input length and the exponent is independent of $1/\varepsilon$. In particular we achieve a running time of $2^{\mathcal{O}(K\log(K) \frac{1}{\varepsilon}\log^4 \frac{1}{\varepsilon})}+\mathrm{poly}(|I|)$, where $|I|$ denotes the input length. Furthermore, we study three other problem variants and present an EPTAS for each of them: The Santa Claus problem, where the minimum machine load has to be maximized; the case of scheduling on unrelated parallel machines with a constant number of uniform types, where machines of the same type behave like uniformly related machines; and the multidimensional vector scheduling variant of the problem where both the dimension and the number of machine types are constant. For the Santa Claus problem we achieve the same running time. The results are achieved, using mixed integer linear programming and rounding techniques

ERIGrid Holistic Test Description for Validating Cyber-Physical Energy Systems

Smart energy solutions aim to modify and optimise the operation of existing energy infrastructure. Such cyber-physical technology must be mature before deployment to the actual infrastructure, and competitive solutions will have to be compliant to standards still under development. Achieving this technology readiness and harmonisation requires reproducible experiments and appropriately realistic testing environments. Such testbeds for multi-domain cyber-physical experiments are complex in and of themselves. This work addresses a method for the scoping and design of experiments where both testbed and solution each require detailed expertise. This empirical work first revisited present test description approaches, developed a newdescription method for cyber-physical energy systems testing, and matured it by means of user involvement. The new Holistic Test Description (HTD) method facilitates the conception, deconstruction and reproduction of complex experimental designs in the domains of cyber-physical energy systems. This work develops the background and motivation, offers a guideline and examples to the proposed approach, and summarises experience from three years of its application.This work received funding in the European Community’s Horizon 2020 Program (H2020/2014–2020) under project “ERIGrid” (Grant Agreement No. 654113)

Porting Decision Tree Algorithms to Multicore using FastFlow

The whole computer hardware industry embraced multicores. For these machines, the extreme optimisation of sequential algorithms is no longer sufficient to squeeze the real machine power, which can be only exploited via thread-level parallelism. Decision tree algorithms exhibit natural concurrency that makes them suitable to be parallelised. This paper presents an approach for easy-yet-efficient porting of an implementation of the C4.5 algorithm on multicores. The parallel porting requires minimal changes to the original sequential code, and it is able to exploit up to 7X speedup on an Intel dual-quad core machine.Comment: 18 pages + cove

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods

A-site Ordering versus Electronic Inhomogeneity in CMR-Manganite Films

Epitaxial La3/4Ca1/4MnO3/MgO(100) (LCMO) thin films show unusual rhombohedral (R-3c) structure with a new perovskite superstructure due to unique ordering of La and Ca at the A-site positions. Very sharp insulator-metal and para-ferromagnetic phase transitions at temperatures up to TMI ~ TC=295 K were observed. The ordered films were electronically homogeneous down to 1 nm scale as revealed by scanning tunnelling microscopy/spectroscopy. In contrast, orthorhombic and A-site disordered LCMO demonstrate broadened phase transitions as well as mesoscopic phase separation for T<<TC. The unique La/Ca ordering suppresses cation mismatch stress within one super-cell, a~1.55 nm, enhancing electronic homogeneity. Phase separation scenario seems not to be a unique mechanism for CMR as very large CMR=500 % was also observed in A-site ordered films.Comment: We have added two references and additional sentence

Neutralization of Staphylococcus aureus Protein A Prevents Exacerbated Osteoclast Activity and Bone Loss during Osteomyelitis

Osteomyelitis caused by Staphylococcus aureus is an important and current health care problem worldwide. Treatment of this infection frequently fails not only due to the increasing incidence of antimicrobial-resistant isolates but also because of the ability of S. aureus to evade the immune system, adapt to the bone microenvironment, and persist within this tissue for decades. We have previously demonstrated the role of staphylococcal protein A (SpA) in the induction of exacerbated osteoclastogenesis and increased bone matrix degradation during osteomyelitis. The aim of this study was to evaluate the potential of using anti-SpA antibodies as an adjunctive therapy to control inflammation and bone damage. By using an experimental in vivo model of osteomyelitis, we demonstrated that the administration of an anti-SpA antibody by the intraperitoneal route prevented excessive inflammatory responses in the bone upon challenge with S. aureus. Ex vivo assays indicated that blocking SpA reduced the priming of osteoclast precursors and their response to RANKL. Moreover, the neutralization of SpA was able to prevent the differentiation and activation of osteoclasts in vivo, leading to reduced expression levels of cathepsin K, reduced expression of markers associated with abnormal bone formation, and decreased trabecular bone loss during osteomyelitis. Taken together, these results demonstrate the feasibility of using anti-SpA antibodies as an antivirulence adjunctive therapy that may prevent the development of pathological conditions that not only damage the bone but also favor bacterial escape from antimicrobials and the immune system.Fil: Gehrke, Ana-katharina Elsa. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Mendoza Bertelli, Andrea Cristina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Ledo, Camila. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Gonzalez, Cintia Daniela. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Noto Llana, Mariangeles. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Blanco, Cintia. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; ArgentinaFil: Sordelli, Daniel Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Putman, Nicole E.. Vanderbilt University Medical Center; Estados UnidosFil: Cassat, James E.. Vanderbilt University Medical Center; Estados UnidosFil: Delpino, María Victoria. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones Biomédicas en Retrovirus y Sida. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones Biomédicas en Retrovirus y Sida; ArgentinaFil: Gómez, Marisa I.. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; Argentin

The EU as a Good Global Actor

This paper outlines an exploratory workshop at City Law School, City, University of London funded by HEIF/ ‘EUTIP’ Marie Skłodowska-Curie Innovative Training Network (ITN) on understanding of the EU as a Good Global Actor.1 The EU has as its mission to be a good global governance actor yet is continuously challenged in the world. As a global actor, the EU is both a weak and strong actor in a divergent range of global governance areas. It is not comparable to study the EU as a global trade actor for example to its efforts in human rights, data, cyber or the environment. EU international relations constitutes arguably a booming field of law where the EU appears often to be a victim of its own success. The range of the subjects and objects of EU law continues to expand and the EU is arguably increasingly a victim of its own success, increasingly taking decisions with impacts on third countries or parties, subjecting more entities to sanctions regimes, being bound to consult more entities and have more third countries, parties and entities such as lobbyists interested in the directions of EU law. The assessment of the EU as a global actor includes broad checks on normative action ex ante and ex post facto- yet it is no less harsh. Ex ante metrics of EU global action include court-centred ones such as an opinion from the CJEU on legality of an international agreement, often precluded in most constitutional systems on account of its conflict with pacta sunt servanda. The contours of the principle of the autonomy of EU law have the capacity to put more stringent parameters on EU institutionalised evolutions as to international engagement. How can we assess the EU as a global actor given these realities? The aim of the event was to explore informally the nexus between trade and security, trade and economics and trade and human rights as a future research agenda with input from a variety of scholars It reflected upon four major themes: 1) The EU’s Contribution to the Democratisation of Global Governance 2) Deeper Trade Agreements and New Normative Foundations 3) The EU as a Global Actor in Trade and Fundamental Rights 4) EU’s Trade in the Era of Global Data Flows