899 research outputs found
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Ă©
Recommended from our members
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
Recommended from our members
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
Recommended from our members
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
- âŠ