222,218 research outputs found
Alternate Americanisms
Architecture is actively crafting reality, culture, and identity. It is simultaneously constructed from and constructing meaning. Route 66 exists as an American invention, ruin, and manifestation of American Identity. The objects on the route sit innocently on the landscape, covering their complex histories and power networks that lead back to the dominant government administration.
Alternate Americanisms shows the agency of architectural objects in creating new realities, identities, and histories.
The game explores how every single decision changes the entire built landscape. It reflects and translates alternate histories to project alternate versions. It examines the relationship between meaning and architecture, identity and the built environment. It tells the history of objects in the built landscape and allows for understanding and speculation. Each game plays out differently and parallels the frameworks of our reality to create endless Alternate Americanisms
A logic programming framework for modeling temporal objects
Published versio
An invariant of tangle cobordisms
We prove that the construction of our previous paper math.QA/0103190 yields
an invariant of tangle cobordisms.Comment: latex, 18 pages, 9 eps figure
Fixing the functoriality of Khovanov homology
We describe a modification of Khovanov homology (math.QA/9908171), in the
spirit of Bar-Natan (math.GT/0410495), which makes the theory properly
functorial with respect to link cobordisms.
This requires introducing `disorientations' in the category of smoothings and
abstract cobordisms between them used in Bar-Natan's definition.
Disorientations have `seams' separating oppositely oriented regions, coming
with a preferred normal direction. The seams satisfy certain relations (just as
the underlying cobordisms satisfy relations such as the neck cutting relation).
We construct explicit chain maps for the various Reidemeister moves, then
prove that the compositions of chain maps associated to each side of each of
Carter and Saito's movie moves (MR1238875, MR1445361) always agree. These
calculations are greatly simplified by following arguments due to Bar-Natan and
Khovanov, which ensure that the two compositions must agree, up to a sign. We
set up this argument in our context by proving a result about duality in
Khovanov homology, generalising previous results about mirror images of knots
to a `local' result about tangles. Along the way, we reproduce Jacobsson's sign
table (math.GT/0206303) for the original `unoriented theory', with a few
disagreements.Comment: 91 pages. Added David Clark as co-author. Further detail on
variations of third Reidemeister moves, to allow treatment of previously
missing cases of movie move six. See changelog section for more detai
Feynman Categories
In this paper we give a new foundational, categorical formulation for
operations and relations and objects parameterizing them. This generalizes and
unifies the theory of operads and all their cousins including but not limited
to PROPs, modular operads, twisted (modular) operads, properads, hyperoperads,
their colored versions, as well as algebras over operads and an abundance of
other related structures, such as crossed simplicial groups, the augmented
simplicial category or FI--modules.
The usefulness of this approach is that it allows us to handle all the
classical as well as more esoteric structures under a common framework and we
can treat all the situations simultaneously. Many of the known constructions
simply become Kan extensions.
In this common framework, we also derive universal operations, such as those
underlying Deligne's conjecture, construct Hopf algebras as well as perform
resolutions, (co)bar transforms and Feynman transforms which are related to
master equations. For these applications, we construct the relevant model
category structures. This produces many new examples.Comment: Expanded version. New introduction, new arrangement of text, more
details on several constructions. New figure
Computer Science and Metaphysics: A Cross-Fertilization
Computational philosophy is the use of mechanized computational techniques to
unearth philosophical insights that are either difficult or impossible to find
using traditional philosophical methods. Computational metaphysics is
computational philosophy with a focus on metaphysics. In this paper, we (a)
develop results in modal metaphysics whose discovery was computer assisted, and
(b) conclude that these results work not only to the obvious benefit of
philosophy but also, less obviously, to the benefit of computer science, since
the new computational techniques that led to these results may be more broadly
applicable within computer science. The paper includes a description of our
background methodology and how it evolved, and a discussion of our new results.Comment: 39 pages, 3 figure
Loop Spaces and Connections
We examine the geometry of loop spaces in derived algebraic geometry and
extend in several directions the well known connection between rotation of
loops and the de Rham differential. Our main result, a categorification of the
geometric description of cyclic homology, relates S^1-equivariant quasicoherent
sheaves on the loop space of a smooth scheme or geometric stack X in
characteristic zero with sheaves on X with flat connection, or equivalently
D_X-modules. By deducing the Hodge filtration on de Rham modules from the
formality of cochains on the circle, we are able to recover D_X-modules
precisely rather than a periodic version. More generally, we consider the
rotated Hopf fibration Omega S^3 --> Omega S^2 --> S^1, and relate Omega
S^2-equivariant sheaves on the loop space with sheaves on X with arbitrary
connection, with curvature given by their Omega S^3-equivariance.Comment: Revised versio
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
Dynamically typed programming languages such as Python and JavaScript defer
type checking to run time. VM implementations can improve performance by
eliminating redundant dynamic type checks. However, type inference analyses are
often costly and involve tradeoffs between compilation time and resulting
precision. This has lead to the creation of increasingly complex multi-tiered
VM architectures.
Lazy basic block versioning is a simple JIT compilation technique which
effectively removes redundant type checks from critical code paths. This novel
approach lazily generates type-specialized versions of basic blocks on-the-fly
while propagating context-dependent type information. This approach does not
require the use of costly program analyses, is not restricted by the precision
limitations of traditional type analyses.
This paper extends lazy basic block versioning to propagate type information
interprocedurally, across function call boundaries. Our implementation in a
JavaScript JIT compiler shows that across 26 benchmarks, interprocedural basic
block versioning eliminates more type tag tests on average than what is
achievable with static type analysis without resorting to code transformations.
On average, 94.3% of type tag tests are eliminated, yielding speedups of up to
56%. We also show that our implementation is able to outperform Truffle/JS on
several benchmarks, both in terms of execution time and compilation time.Comment: 10 pages, 10 figures, submitted to CGO 201
Consciousness and intentionality
Philosophers traditionally recognize two main features of mental states: intentionality and phenomenal consciousness. To a first approximation, intentionality is the aboutness of mental states, and phenomenal consciousness is the felt, experiential, qualitative, or "what it's like" aspect of mental states. In the past few decades, these features have been widely assumed to be distinct and independent. But several philosophers have recently challenged this assumption, arguing that intentionality and consciousness are importantly related. This article overviews the key views on the relationship between consciousness and intentionality and describes our favored view, which is a version of the phenomenal intentionality theory, roughly the view that the most fundamental kind of intentionality arises from phenomenal consciousness
- …