Logic Meets Algebra: the Case of Regular Languages

The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical formalism required to define them. The algebraic point of view on automata is an essential complement of this classification: by providing alternative, algebraic characterizations for the classes, it often yields the only opportunity for the design of algorithms that decide expressibility in some logical fragment. We survey the existing results relating the expressibility of regular languages in logical fragments of MSO[S] with algebraic properties of their minimal automata. In particular, we show that many of the best known results in this area share the same underlying mechanics and rely on a very strong relation between logical substitutions and block-products of pseudovarieties of monoid. We also explain the impact of these connections on circuit complexity theory.Comment: 37 page

The Conflict of Laws in Commercial Arbitration

Most of the wastes in Sweden end up in incinerator plants. These trashes are full of metals, especially aluminium, which will not oxidize, they can’t always be recycled and they will instead oxidize in water and leak hydrogen gas to its surrounding. Estimations calculate it could be an average potential of around 40-50 kWh/ton of burnt trash. Ignoring the imported trash, the national recovery potential of Sweden’s 4,3 million tonnes of trash would then be equal to 170-220 GWh/year due to non-recyclable metals, which are currently going to temporary landfills. The requirements to harness this potential are technically simple, and can be achieved by a quick separation of the recyclables and the non-recyclables. This report will review the factors which increase the rate of reaction and study different ways of extracting the energy, by electrolysis, thermal treatment and mechanical mixing. This was done by taking small samples from the MSWI, owned by Umeå Energi AB, and putting them in small containers. While using the different methods, electrolysis, thermal treatment and mechanichal mixing, the amount of developed H2 gas over time was measured. The result shows that the best methods are mechanical mixing together with thermal treatment, where mechanical mixing seems to give the biggest effect of them two. The electrolysis did not work as intended, where there could be issues with the conductivity of the ash-mixture

Secure, performance-oriented data management for nanoCMOS electronics

The EPSRC pilot project Meeting the Design Challenges of nanoCMOS Electronics (nanoCMOS) is focused upon delivering a production level e-Infrastructure to meet the challenges facing the semiconductor industry in dealing with the next generation of ‘atomic-scale’ transistor devices. This scale means that previous assumptions on the uniformity of transistor devices in electronics circuit and systems design are no longer valid, and the industry as a whole must deal with variability throughout the design process. Infrastructures to tackle this problem must provide seamless access to very large HPC resources for computationally expensive simulation of statistic ensembles of microscopically varying physical devices, and manage the many hundreds of thousands of files and meta-data associated with these simulations. A key challenge in undertaking this is in protecting the intellectual property associated with the data, simulations and design process as a whole. In this paper we present the nanoCMOS infrastructure and outline an evaluation undertaken on the Storage Resource Broker (SRB) and the Andrew File System (AFS) considering in particular the extent that they meet the performance and security requirements of the nanoCMOS domain. We also describe how metadata management is supported and linked to simulations and results in a scalable and secure manner

Local Defects in colloidal quantum dot thin films measured via spatially resolved multi-modal optoelectronic spectroscopy.

The morphology, chemical composition, and electronic uniformity of thin-film solution-processed optoelectronics are believed to greatly affect device performance. Although scanning probe microscopies can address variations on the micrometer scale, the field of view is still limited to well under the typical device area, as well as the size of extrinsic defects introduced during fabrication. Herein, a micrometer-resolution 2D characterization method with millimeter-scale field of view is demonstrated, which simultaneously collects photoluminescence spectra, photocurrent transients, and photovoltage transients. This high-resolution morphology mapping is used to quantify the distribution and strength of the local optoelectronic property variations in colloidal quantum dot solar cells due to film defects, physical damage, and contaminants across nearly the entire test device area, and the extent to which these variations account for overall performance losses. It is found that macroscopic defects have effects that are confined to their localized areas, rarely prove fatal for device performance, and are largely not responsible for device shunting. Moreover, quantitative analysis based on statistical partitioning methods of such data is used to show how defect identification can be automated while identifying variations in underlying properties such as mobilities and recombination strengths and the mechanisms by which they govern device behavior.DMR-1807342 - National Science Foundation; Hopkins Extreme Materials InstituteAccepted manuscrip