Recognisable languages over monads

The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of composing structures into bigger structures. It so happens that category theory has an abstract concept for this, namely a monad. The goal of this paper is to propose monads as a unifying framework for discussing existing algebras and designing new algebras

Dual Space of a Lattice as the Completion of a Pervin Space

16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, ProceedingsInternational audienceThis survey paper presents well-known results from a new angle. A Pervin space is a set X equipped with a set of subsets,called the blocks of the Pervin space. Blocks are closed under finite intersections and finite unions and hence form a lattice of subsets of X. Pervin spaces are thus easier to define than topological spaces or (quasi)-uniform spaces. As a consequence, most of the standard topological notions, like convergence and cluster points, specialisation order, filtersand Cauchy filters, complete spaces and completion are much easier to define for Pervin spaces. In particular, the completion of a Pervin space turns out to be the dual space (in the sense of Stone) of the original lattice.We show that any lattice of subsets can be described by a set of inequations of the form u ≤ v, where u and v are elements of its dual space. Applications to formal languages and complexity classes are given.Cet article de synthèse présente des résultats bien connus sous un nouvel angle. Un espace de Pervin est unensemble X équipé d'un ensemble de parties, appelé les blocs de l'espace de Pervin. Les blocs sont fermés par intersection finie et union finie et forment ainsi un treillis de parties de X. Les espaces de Pervin sont doncplus faciles à définir que les espaces topologiques ou les espaces (quasi-)uniformes. Par conséquent, la plupart des notions topologiques, comme la convergence et les points d'adhérence, l'ordre de spécialisation, les filtres de Cauchy, les espaces complets et la complétion sont beaucoup plus faciles à définir pour les espaces Pervin. En particulier, la complétion d'un espace Pervin s'avère être l'espace dual (au sens de Stone) du treillis de départ.Nous montrons que tout treillis de parties peut être décrit par un ensemble d'inéquations de la forme u ≤ v, où u et v sont des éléments de son espace dual. On donne des applications aux langages formels et aux classes de complexité

Dig-face monitoring during excavation of a radioactive plume at Mound Laboratory, Ohio

A dig-face monitoring system consists of onsite hardware for collecting information on changing chemical, radiological, and physical conditions in the subsurface soil during the hazardous site excavation. A prototype dig-face system was take to Mount Laboratory for a first trial. Mound Area 7 was the site of historical disposals of {sup 232}Th, {sup 227}Ac, and assorted debris. The system was used to monitor a deep excavation aimed at removing {sup 227}Ac-contaminated soils. Radiological, geophysical, and topographic sensors were used to scan across the excavation dig-face at four successive depths as soil was removed. A 3-D image of the contamination plumes was developed; the radiation sensor data indicated that only a small portion of the excavated soil volume was contaminated. The spatial information produced by the dig-face system was used to direct the excavation activities into the area containing the {sup 227}Ac and to evaluate options for handling the separate {sup 232}Th plume

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

Mapping of contamination at Savannah River Site FBWU by INEEL trolley

The Ford Building Waste Unit (FBWU) 643-11G is a Resource Conservation and Recovery Act/Comprehensive Environmental Response Compensation and Liability Act (RCRA/CERCLA) designated site at the Savannah River Site (SRS) in Aiken, South Carolina. Pre-Work Plan Characterization at the FBWU in May 1996 indicated that radiological contamination was present in surface and near surface soils and identified cesium-137, {sup 137}Cs, the unit specific contaminant, as being primarily in the top 15 cm of soil. The Idaho National Engineering and Environmental Laboratory (INEEL) sent the dig-face trolley system to SRS where it demonstrated its capability over a 6.1-m (20 ft.) x 9.6-m (30 ft.) area to rapidly map the contamination on-line with its large area plastic scintillation detector. Also, an extended-range (10 keV to 3 MeV) Ge detector was used at selected locations to identify and quantify the {sup 137}Cs contamination. The coordinate locations of each measurement acquired in either the scanning or fixed position mode was obtained with a survey system based on radial encoders. Topography measurements were also made during measurements to permit correction of field of view and activity concentrations for changes in the ground to detector distance

Microgrooves and microrugosities in titanium implant surfaces: an in vitro and in vivo evaluation

This article belongs to the Special Issue Clinical Implants and the Biocompatibility of Biodegradable BiomaterialsThe physical characteristics of an implant surface can determine and/or facilitate osseointegration processes. In this sense, a new implant surface with microgrooves associated with plus double acid treatment to generate roughness was evaluated and compared in vitro and in vivo with a non-treated (smooth) and double acid surface treatment. Thirty disks and thirty-six conical implants manufactured from commercially pure titanium (grade IV) were prepared for this study. Three groups were determined, as described below: Group 1 (G1), where the samples were only machined; group 2 (G2), where the samples were machined and had their surface treated to generate roughness; and test group 3 (G3), where the samples were machined with microgrooves and the surface was treated to generate the roughness. For the in vitro analysis, the samples were submitted to scanning microscopy (SEM), surface profilometry, the atomic force microscope (MFA) and the surface energy test. For the in vivo analyses, thirty-six implants were placed in the tibia of 9 New Zealand rabbits in a randomized manner, after histological and histomorphometric analysis, to determine the level of contact between the bone and implant (BIC%) and the bone area fraction occupancy (BAFO%) inside of the threads. The data collected were statistically analyzed between groups (p < 0.05). The in vitro evaluations showed different roughness patterns between the groups, and the G3 group had the highest values. In vivo evaluations of the BIC% showed 50.45 ± 9.57% for the G1 group, 55.32 ± 10.31% for the G2 group and 68.65 ± 9.98% for the G3 group, with significant statistical difference between the groups (p < 0.0001). In the BAFO% values, the G1 group presented 54.97 ± 9.56%, the G2 group 59.09 ± 10.13% and the G3 group 70.12 ± 11.07%, with statistical difference between the groups (p < 0.001). The results obtained in the evaluations show that the surface with microgrooves stimulates the process of osseointegration, accelerating the healing process, increasing the contact between the bone and the implant and the area of new bone formation

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

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201