LINGOL, a readable formalism for programming language semantics /

"UILU-ENG 77 1766."

Dickey-Lincoln School Lakes Project at Dickey, Maine : draft environmental statement.

Vols. [2-11]: Appendices.

The proposed Dickey-Lincoln School Lakes hydroelectric power project.

Title from 1st paragraph, p. [1]

Bubble detection in Brazil’s stock market: application of the generalized superior augmented Dickey-Fuller test

Considering the importance of the proper detection of bubbles in financial markets for policymakers and market agents, we used two techniques described in Diba and Grossman (1988b) and in Phillips, Shi, and Yu (2015) to detect periods of exuberance in the recent history of the Brazillian stock market. First, a simple cointegration test is applied. Secondly, we conducted several augmented, right-tailed Dickey-Fuller tests on rolling windows of data to determine the point in which there’s a structural break and the series loses its stationarity.

Stabilizer formalism for operator quantum error correction

Operator quantum error correction is a recently developed theory that provides a generalized and unified framework for active error correction and passive error avoiding schemes. In this Letter, we describe these codes using the stabilizer formalism. This is achieved by adding a gauge group to stabilizer codes that defines an equivalence class between encoded states. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 3 of its 8 stabilizer generators, leading to a simpler decoding procedure and a wider class of logical operations without affecting its essential properties. This opens the path to possible improvements of the error threshold of fault-tolerant quantum computing.

Using BWW model to evaluate building ontologies in CGs formalism

The Bunge-Wand-Weber (BWW) representation model defines ontological constructs for information systems. According to these constructs the completeness and efficiency of a modeling technique can be defined. Ontology plays an essential role in e-commerce. Using or updating an existing ontology and providing tools to solve any semantic conflicts become essential steps before putting a system online. We use conceptual graphs (CGs) to implement ontologies. This paper evaluates CG capabilities using the BWW representation model. It finds out that CGs are ontologically complete according to Wand and Weber definition. Also it finds out that CGs have construct overload and construct redundancy which can undermine the ontological clarity of CGs. This leads us to build a meta-model to avoid some ontological-unclarity problems. We use some of the BWW constructs to build the meta-model. (c) 2004 Elsevier Ltd. All rights reserved.

Operators with Polynomial Coefficients and Generalized Gelfand-Shilov Classes

2010 Mathematics Subject Classification: Primary 35S05, 35J60; Secondary 35A20, 35B08, 35B40.

High Formalism: The aerial view and the colour field

Laura Kurgan’s Monochrome Landscapes (2004), first exhibited in the Whitney Museum of American Art in New York City, consists of four oblong Cibachrome prints derived from digital files sourced from the commercial Ikonos and QuickBird satellites. The prints are ostensibly flat, depthless fields of white, green, blue, and yellow, yet the captions provided explain that the sites represented are related to contested military, industrial, and cartographic practices. In Kurgan’s account of Monochrome Landscapes she explains that it is in dialogue with another work from the Whitney by abstract artist Ellsworth Kelly. This article pursues the relationship between formalist abstraction and satellite imaging in order to demonstrate how formalist strategies aimed at producing an immediate retinal response are bound up with contemporary uses of digital information and the truth claims such information can be made to substantiate.