A GITIK ITERATION WITH NEARLY EASTON FACTORING (2009)
Abstract. We reprove Gitik’s theorem that if the GCH holds and o(κ) = κ + 1 then there is a generic extension in which κ is still measurable and there is a closed unbounded subset C of κ such...
1472 ESSAY BEYOND THE IVORY TOWER O ver Constructing Complexity (2008)
in the Digital Age the centuries, architects have expressed their designs as onedimensional strings of text, twodimensional drawings, three-dimensional scale models, and—most recently—digital...
On a question of Hamkins and Löwe (PRELIMINARY) (2008)
Hamkins and Löwe asked whether there can be a model N of set theory with the property that N ≡ N[H] whenever H is a generic collapse of a cardinal of N onto ω. We obtain a lower bound, a cardinal...
Director World Wide Web Consortium (2007)
William J. Mitchell, Tim Berners-lee, Michail Bletsas
Master’s Thesis Proposal – Matt Mankins Location Linked Information This thesis proposes the creation of a scalable architecture to support the access and creation of Location Linked...
Director World Wide Web Consortium (2007)
William J. Mitchell, Tim Berners-lee, Michail Bletsas
Master’s Thesis Proposal – Matt Mankins Location Linked Information This thesis proposes the creation of a scalable architecture to support the access and creation of Location Linked...
A partir d'un recorregut històric per les diferents estructures físiques de les ciutats, arribem al segle XXI, en què les ciutats posseeixen tots els subsistemes crucials dels organismes vius:...
These 50 slides presented in Plenary Session I: The Ethics of Global Interconnectivity, on Wednesday, January 12, at the 2005 ALISE Conference, explore the theme of information technology affecting...
Adding Closed Unbounded Subsets of ω₂ with Finite Forcing (2005)
An outline is given of the proof that the consistency of a κ⁺-Mahlo cardinal implies that of the statement that I[ω₂] does not include any stationary subsets of Cof(ω₁). An additional...
William J. Mitchell, Nikos Kopidakis, Garry Rumbles, David S. Ginley, Sean E. Shaheen
synthesis and properties of solution processable phenyl cored thiophene
I[omega_2] can be the nonstationary ideal on Cof(omega_1) (2004)
We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a...
A weak variation of Shelah’s I[ω2] (2004)
We use a κ+-Mahlo cardinal to give a forcing construction of a model in which there is no sequence 〈 Aγ:γ
On the Hamkins Approximation Property (2004)
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author’s thesis of a model with no ω2-Aronszajn trees, and also the “Key Lemma ” in...
A Gitik iteration with nearly Easton factoring (2003)
We reprove Gitik’s theorem that if the GCH holds and $o(\gk)=\gk+1$ then there is a generic extension in which $\gk$ is still measurable and there is a closed unbounded subset C of $\gk$ such that...
Matthew William, David Mankins, William J. Mitchell, Matthew Mankins, Matthew Mankins
Arts and Sciences. This work builds an infrastructure called Location Linked Information that offers a means to associate digital information with public, physical places. This connection creates a...
Emmanuel Munguia Tapia, Kent Larson, William J. Mitchell, Emmanuel Munguia Tapia
In this work, a system for recognizing activities in the home setting that uses a set of small and simple state-change sensors, machine learning algorithms, and electronic experience sampling is...
Notes on a proof of Koszmider (2003)
This note reproves the following theorem of Koszmider [11,11]: Theorem 0.1. It is consistent with ZFC that there is a sequence hf: <!2i of functions in!1!1 such that for all 0 < the set f...
Computer Representation of Three-Dimensional Structures for CAEADS. (2002)
Mitchell,William J., Oliverson,Mary
This report presents the findings of a study performed to provide a basis for the selection of a computerized representation of three-dimensional structures for the Computer-Aided Engineering and...
Beyond Productivity : Information Technology, Innovation and Creativity (2001)
Mitchell, William J., Inouye, Alan S., Blumenthal, Marjory S.
[E-topía: vida urbana, Jim, pero no la que nosotros conocemos] (2001)
Mitchell, William J., Valderrama, Fernando (tr.)
Traducción de: E-topia: Urban Life, Jim-but not as We Know it
Beyond Productivity : Information Technology, Innovation and Creativity (2001)
Mitchell, William J., Inouye, Alan S., Blumenthal, Marjory S.
0-309-08868-2
[E-topía: vida urbana, Jim, pero no la que nosotros conocemos] (2001)
Mitchell, William J., Valderrama, Fernando (tr.)
Traducción de: E-topia: Urban Life, Jim-but not as We Know it
Improving the Environmental Safety of Munitions Disposal by OB and OD. (1998)
Mitchell, William J., Ward, Thomas E., Black, R. J.
Burning and detonating in an open area (OB, OD) and more recently, detonating underground (buried-OD), are the traditional methods for disposing of UXO and surplus or%unserviceable energetic...
The covering lemma up to a Woodin cardinal (1997)
Mitchell, William J., Schimmerling, Ernest, Steel, John R.
A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model....
Dynamic Timelines - Visualizing Historical Information in Three Dimensions (1995)
Robin L. Kullberg, William J. Mitchell, Stephen A. Benton
This thesis considers the form and function of the visual communication of historical information in computer-based media. By applying new techniques derived from traditional graphic design and...
Fine structure and iteration trees / William Mitchell, John R. Steel (1994)
Mitchell, William J, Steel, John R
Incluye bibliografía
The Complexity of the Core Model (1992)
We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$ is isomorphic to an initial segment of the core model" is Pi^1_4, and that the complexity of the...
On the Singular Cardinal Hypothesis (1992)
We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$...
Thesis (M.D.)--Yale University, 1967.
Photocopy of typescript.
Persistence of Herpes Simplex Virus Type 1 DNA in Chronic Conjunctival and Eyelid Lesions of Mice
Maggs, David J., Chang, Ed, Nasisse, Mark P., Mitchell, William J.
Herpes simplex virus type 1 (HSV-1) causes chronic blepharitis and conjunctivitis as well as keratitis in humans. The pathogenesis of these inflammatory ocular and dermal lesions is not well...
Pathogenesis of Herpes Simplex Virus Type 1-Induced Corneal Inflammation in Perforin-Deficient Mice
Chang, Eddie, Galle, Laurence, Maggs, David, Estes, D. Mark, Mitchell, William J.
Herpetic stromal keratitis (HSK) is an inflammatory disease of the cornea that often results in blindness. It is mediated by a host immune response which is triggered by herpes simplex virus (HSV)...
Taus, Naomi S., Mitchell, William J.
Herpes simplex virus type 1 (HSV-1) establishes a latent infection in neurons of sensory ganglia, including those of the trigeminal ganglia. Latent viral infection has been hypothesized to be...
Loiacono, Christie M., Myers, Robert, Mitchell, William J.
Herpes simplex virus type 1 (HSV-1) immediate-early (IE) proteins are required for the expression of viral early and late proteins. It has been hypothesized that host neuronal proteins regulate...
Ashkar, Ali A., Bauer, Stefan, Mitchell, William J., Vieira, Jeff, Rosenthal, Kenneth L.
Mucosal surfaces are the entry sites for the vast majority of infectious pathogens and provide the first line of defense against infection. In addition to the epithelial barrier, the innate immune...
Persistence of Herpes Simplex Virus Type 1 DNA in Chronic Conjunctival and Eyelid Lesions of Mice
Maggs, David J., Chang, Ed, Nasisse, Mark P., Mitchell, William J.
Herpes simplex virus type 1 (HSV-1) causes chronic blepharitis and conjunctivitis as well as keratitis in humans. The pathogenesis of these inflammatory ocular and dermal lesions is not well...
Pathogenesis of Herpes Simplex Virus Type 1-Induced Corneal Inflammation in Perforin-Deficient Mice
Chang, Eddie, Galle, Laurence, Maggs, David, Estes, D. Mark, Mitchell, William J.
Herpetic stromal keratitis (HSK) is an inflammatory disease of the cornea that often results in blindness. It is mediated by a host immune response which is triggered by herpes simplex virus (HSV)...
Taus, Naomi S., Mitchell, William J.
Herpes simplex virus type 1 (HSV-1) establishes a latent infection in neurons of sensory ganglia, including those of the trigeminal ganglia. Latent viral infection has been hypothesized to be...
Loiacono, Christie M., Myers, Robert, Mitchell, William J.
Herpes simplex virus type 1 (HSV-1) immediate-early (IE) proteins are required for the expression of viral early and late proteins. It has been hypothesized that host neuronal proteins regulate...
Ashkar, Ali A., Bauer, Stefan, Mitchell, William J., Vieira, Jeff, Rosenthal, Kenneth L.
Mucosal surfaces are the entry sites for the vast majority of infectious pathogens and provide the first line of defense against infection. In addition to the epithelial barrier, the innate immune...
Adenoviral Delivery of Interleukin-10 Fails To Attenuate Experimental Lyme Disease▿
Brown, Charles R., Lai, Annie Y.-C., Callen, Steven T., Blaho, Victoria A., Hughes, Jennifer M., Mitchell, William J.
Production of interleukin-10 (IL-10) by C57BL/6 mice following infection with Borrelia burgdorferi has been proposed as a mechanism whereby resistance to the development of experimental Lyme...