A Vigorous Explorer Program (2009)
Elvis, Martin, Beasley, Matthew, Brissenden, Roger, Chakrabarti, Supriya, Cherry, Michael, Devlin, Mark, ...
Explorers have made breakthroughs in many fields of astrophysics. The science from both these missions contributed to three Nobel Prizes - Giacconi (2002), Mather, and Smoot (2006). Explorers have:...
Samit Chaudhuri, Robert A. Walker, John Mitchell
This paper presents a general treatment of the combinatorial approach to the scheduling problem, enhancing previous formulations in the literature. The focus of this paper is a formal analysis of the...
Unthinking Thinking: Jorge Luis Borges, Mathematics, and the New Physics (review) (2009)
MFS Modern Fiction Studies - Volume 38, Number 2, Summer 1992
AN APPROACH FOR SOLVING THE INTEGRATIVE FREIGHT MARKET SIMULATION (2008)
Ellen Thorson, José Holguín-veras, John Mitchell
The Integrative Freight Market Simulation (IFMS) is a new modeling framework for urban goods movements that attempts the development of a comprehensive freight transportation demand model that...
Why is interoperability important? �Write each part of a complex system in a language suited to the task: • C for low-level machine management Java • Java/C#/Objective-C for user-interface •...
Modal Logics Model Checking Process Calculi Inductive Proofs … Probabilistic I/O automata (2008)
�Participant + attacker actions define a state transition graph �A path in the graph is a trace of the protocol �Graph can be • Finite if we limit number of agents, size of message, etc. •...
John Mitchell, Thread-safe Classes
� Race conditions and correctness • Absence neither necessary nor sufficient � Atomicity and tools
TECS Week 2005 Contract-Signing Protocols Example (2008)
deal �Both parties want to sign the contract �Neither wants to commit first Network is Asynchronous �Physical solution • Two parties sit at table • Write their signatures simultaneously •...
Architectural Support for Copy and Tamper Resistant (2008)
David Lie Ch, Dan Boneh, John Mitchell, Mark Horowitz
Software
Ring Structure, Distributed Capabilities, Orange Book, John Mitchell, Subj M
• Final project is on the web site. – Updated web site with examples and test files
A Distributed High Assurance Reference Monitor ⋆ Extended Abstract (2008)
Ajay Ch, Drew Dean, John Mitchell
Abstract. We present DHARMA, a distributed high assurance reference monitor that is generated mechanically by the formal methods tool PVS from a verified specification of its key algorithms. DHARMA...
John Mitchell, Thread-safe Classes
checkRGBVals(r, g, b); this.r = r; this.g = g; this.b = b; private static void checkRGBVals(int r, int g, int b) {
Dinesh Katiyar, David Luckham, John Mitchell
type system for prototyping languages*
Parameterized Inheritance vs. Multiple Inheritance (2007)
Amit Patel Vitaly, Amit Patel, Vitaly Shmatikov, John Mitchell
In this paper, we demonstrate that multiple inheritance can be expressed as a combination of single inheritance, parameterization, and interface subtyping. We propose a language construct called...
Protocol composition and correctness (Extended Abstract) (2007)
Nancy Durgin, John Mitchell, Dusko Pavlovic
Introduction There has been considerable research on formal analysis of security protocols, ranging from BAN logic and related approaches [BAN89, GNY90, Sv94] to nite-state analysis [Ros95, MMS97]...
Subtyping, Assignment and Cloning in a Concurrent Object-Oriented Language (2007)
John Mitchell, Dinesh Katiyar, David C. Luckham, Neel Madhav, Sigurd Meldal, Sriram Sankar
This paper describes subtyping, assignment, equality and cloning in a concurrent object-oriented language called rapide. Based on experiments and language design considerations, we separate the...
Ultra Long Haul transmission and Reconfigurable OADMs for national-scale optical networks (2007)
Neil Geary, Andreas Antonopoulos, John Mitchell
Abstract: New technologies such as Ultra Long Haul transmission (ULH) and Reconfigurable Optical Add-Drop Multiplexers (R-OADMs) seem set to transform the economics of optical core network...
An extension of Standard ML modules with subtyping and inheritance data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main...
Australian National Training Authority (2007)
John Mitchell, John Mitchell, John Henry, John Henry, Susan Young, Susan Young
This work has been produced with the assistance of funding provided by the Commonwealth Government through the Australian National Training Authority (ANTA). Copyright for this document vests with...
Australian National Training Authority (2007)
Sarah Wood, John Mitchell, John Mitchell
Findings from an evaluation of the long-term impacts of Framing the Future projects conducted in 1999–2000
Australian National Training Authority (2007)
The never-ending quest: effective strategy-making and change management for high-performing VET organisations Findings from an evaluation of pilot projects from the Reframing the Future
John Mitchell, Yoav Shoham, Vanessa Teague
algorithmic mechanism design and network security
A Framework for Optical Network Planning under Traffic Uncertainty (2007)
Neil Geary, Andreas Antonopoulos, Elias Drakopoulos, John Mitchell
A technique for assessing design robustness to traffic uncertainty is presented, based on randomly created scenarios which vary around a fixed traffic prediction. Probability distribution functions...
Abstract: New technologies such as Ultra Long Haul transmission and Reconfigurable (2007)
Neil Geary, Georgia Bernidaki, Andreas Antonopoulos, John Mitchell
Optical Add-Drop Multiplexers (R-OADMs) seem set to transform the economics of optical core network architectures as they become commercially available. Together, they allow an important first step...
Modelling of Ultra-wideband (UWB) Radio System (2007)
Abstract: This paper gives an introduction to one of the revolutionary technology for wireless communication- Ultra-Wideband (UWB) radio. MATLAB simulations of such system have been performed and the...
Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell
We present an imperative calculus for a class-based language. By introducing classes as the basic object-oriented construct in a -calculus with records and references, we obtain a system with an...
HISTORIC INTEGRITY IN DISTRIBUTED SYSTEMS (2007)
that I have read this dissertation and that, in
Appeared in FOCS 1990 Decision Problems for Propositional Linear Logic (2007)
Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. We show that unlike most other propositional (quantifier-free) logics, full...
Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell
We present an imperative calculus for a class-based language. By introducing classes as the basic object-oriented construct in a -calculus with records and references, we obtain a system with an...
2 Multiplicative Additive Propositional Linear Logic is PSPACE-complete 7 (2007)
Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the "structural...
Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the "structural...
Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the "structural...
Approaches for sustaining and building management and leadership capability in VET providers (2007)
Clayton, Berwyn, Callan, Victor, Mitchell, John, Smith, Larry
This report addresses three research questions: What are the current understandings of leadership in the vocational education and training (VET) sector, and what types of management and leadership...
Bienestar global: ¿sueño o realidad? (2007)
Jan Egeland, el coordinador saliente de ayuda de emergencia de la ONU, ha hecho un llamamiento para que se cree un “sistema humanitario que pueda responder de forma fiable, efectiva y eficaz en...
Approaches for sustaining and building management and leadership capability in VET providers (2007)
Clayton, Berwyn, Callan, Victor, Mitchell, John, Smith, Larry
This report addresses three research questions: What are the current understandings of leadership in the vocational education and training (VET) sector, and what types of management and leadership...
National Library of Australia (2007)
Dr John Mitchell, Suzy Mckenna, Cheryl Bald, Wendy Perry, Shane Earls, John Mitchell, ...
A report on staff development and change management projects that addressed priorities for the vocational education and training (VET) sector set by the Council of
FM as a business enabler, solutions for managing the built environment (2007)
Madan, Sunil, Ding, Lan, Drogemuller, Robin, Mitchell, John, Schevers, Hans, Tonelli, Marcello, ...
The CRC for Construction Innovation and the Australian Governments FM Action Agenda chose this iconic symbol as the focus of the Facilities Management (FM) Exemplar Project and partnered with...
Schevers, Hans A., Mitchell, John, Akhurst, Paul, Marchant, David Marchant, Bull, Stuart, McDonald, Kevin, ...
The challenges of maintaining a building such as the Sydney Opera House are immense and are dependent upon a vast array of information. The value of information can be enhanced by its currency,...
Schevers, Hans A., Mitchell, John, Akhurst, Paul, Marchant, David Marchant, Bull, Stuart, McDonald, Kevin, ...
The challenges of maintaining a building such as the Sydney Opera House are immense and are dependent upon a vast array of information. The value of information can be enhanced by its currency,...
Schevers, Hans A., Mitchell, John, Akhurst, Paul, Marchant, David Marchant, Bull, Stuart, McDonald, Kevin, ...
The challenges of maintaining a building such as the Sydney Opera House are immense and are dependent upon a vast array of information. The value of information can be enhanced by its currency,...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An integrated collaborative approach for FM – Sydney opera house FM exemplar (2006)
Morris, Jason, Ballesty, Stephen, Ding, Lan, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM),which utilises the Sydney Opera House (SOH) as an exemplar case study. The approachdeals with Benchmarking,...
An integrated collaborative approach for FM – Sydney opera house FM exemplar (2006)
Morris, Jason, Ballesty, Stephen, Ding, Lan, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM),which utilises the Sydney Opera House (SOH) as an exemplar case study. The approachdeals with Benchmarking,...
Games and the Impossibility of Realizable Ideal Functionality (2006)
Backes, Michael, Datta, Anupam, Derek, Ante, Mitchell, John, Ramanathan, Ajith, Scedrov, Andre
A cryptographic primitive or a security mechanism can be specified in a variety of ways, such as a condition involving a game against an attacker, construction of an ideal functionality, or a list of...
Games and the Impossibility of Realizable Ideal Functionality (2006)
Backes, Michael, Datta, Anupam, Derek, Ante, Mitchell, John, Ramanathan, Ajith, Scedrov, Andre
A cryptographic primitive or a security mechanism can be specified in a variety of ways, such as a condition involving a game against an attacker, construction of an ideal functionality, or a list of...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An Integrated Collaborative Approach for FM - Sydney Opera House FM Exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
GOMORY CUTTING PLANE ALGORITHM USING EXACT ARITHMETIC Examining Committee: By (2006)
John Mitchell, Michael Kupferschmid Member, Joseph Ecker Member, Kristin Bennett Member, Aparna Gupta Member, Kristin Farwell, ...
An integrated collaborative approach for FM - Sydney Opera house FM exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
An integrated collaborative approach for FM - Sydney Opera house FM exemplar (2006)
Morris, Jason, Ballesty, S, Ding, L, Drogemuller, Robin, Mitchell, John, Schevers, Hans, ...
This paper presents an integrated collaborative approach for facilities management (FM), which utilises the Sydney Opera House (SOH) as an exemplar case study. The approach deals with Benchmarking,...
Phishing Technology, Aaron Emigh, Drew Dean, Ulf Lindqvist, John Mitchell, Peter Neumann, ...
This report is intended for technically sophisticated readers such as security practitioners, executives, researchers, and others who wish to understand methods employed by online identity thieves...
John Mitchell, Some Limitations, Ring Structure
�Extra security features (compared to last lecture)
Efficient implementation of pairing-based cryptosystems (2004)
Ben Lynn, John Mitchell, Xavier Boyen
ii
Emerging futures: innovation in teaching and learning in VET (2003)
Clayton, Berwyn, Mitchell, John, Hedberg, John, Paine, Nigel
This report focuses on innovation in the professional practice of vocational education and training (VET) staff who are directly involved in the teaching and learning functions of Australian VET...
John Mitchell, John Mitchell, John Hedberg, Nigel Paine, Prepared John, ...
This work has been produced with the assistance of funding provided by the
A compositional logic for proving security properties of protocols (2003)
Nancy Durgin, John Mitchell, Dusko Pavlovic
of protocols
Historic Integrity In Distributed Systems (2003)
Petros Maniatis, Mary Baker, John Mitchell
In an all-digital, all-online setting, long-term secure record-keeping is a di#cult task. The record-keeping problem comes up with increasing frequency, as we migrate to exclusively digital ways of...
Emerging futures : innovation in teaching and learning in VET (2003)
Mitchell, John, Clayton, Berwyn, Hedberg, John, Paine, Nigel
This report on Innovation in Teaching and Learning in the vocational education and training (VET) sector demonstrates that pressures for change are flowing with increasing force into teaching and...
Emerging futures : innovation in teaching and learning in VET (2003)
Mitchell, John, Clayton, Berwyn, Hedberg, John, Paine, Nigel
This report on Innovation in Teaching and Learning in the vocational education and training (VET) sector demonstrates that pressures for change are flowing with increasing force into teaching and...
This report summarises the evaluation of projects undertaken in 2001-02 as part of Reframing the Future's sub-program on Strategic Management and Change Management. It argues every Registered...
Potential for communities of practice to underpin the National Training Framework (2002)
This report is an evaluation of the sixteen pilot projects that were funded to form Communities of Practice in the VET sector in 2001, as part of the Reframing the Future program. The major theme...
This report summarises the evaluation of projects undertaken in 2001-02 as part of Reframing the Future's sub-program on Strategic Management and Change Management. It argues every Registered...
The potential for communities of practice to underpin the National Training Framework (2002)
This report is an evaluation of the sixteen pilot projects that were funded to form Communities of Practice in the VET sector in 2001, as part of the Reframing the Future program. The major theme...
Intrinsic chemical and structural inhomogeneity in lightly doped La(1-x)Sr(x)MnO(3) (2001)
Shibata, Tomohiro, Bunker, Bruce, Mitchell, John, Schiffer, Peter
X-ray absorption fine structure measurements of the Sr and La K edges of the solid solution La(1-x)Sr(x)MnO(3) reveal a consistent deviation from a random distribution of Sr at the La/Sr sites for...
Rance, Mark (prod.), Rance, Mark (fotografía), McKimm, Chris (montaje), Mitchell, John (prod.), Mitchell, John (fotografía)
Serie televisual norteamericana creada por Mark Frost y el cineasta David Lynch, cuyo punto de arranque es el descubrimiento del cadáver de la bachiller Laura Palmer en las proximidades de Twin...
A compositional logic for protocol correctness (2001)
Nancy Durgin, John Mitchell, Dusko Pavlovic
We present a specialized protocol logic that is built around a process language for describing the actions of a protocol. In general terms, the relation between logic and protocol is like the...
New model of workbased learning in the VET sector (2001)
Mitchell, John, Henry, John, Young, Susan
This report provides a revised model of workbased learning for the vocational education and training (VET) sector in Australia, in response to emerging needs. The study provides a brief review of the...
Framing the Future is a major staff development initiative of the Australian National Training Authority (ANTA), designed to support the implementation of the National Training Framework (NTF). Since...
The author undertook a major national study of e-business for the Australian National Training Authority (ANTA) from November 1999 - February 2000, resulting in the report E-competent Australia: The...
Framing the Future is a major staff development initiative of the Australian National Training Authority (ANTA), designed to support the implementation of the National Training Framework (NTF). Since...
A new model of workbased learning in the VET sector (2001)
Mitchell, John, Henry, John, Young, Susan
This report provides a revised model of workbased learning for the vocational education and training (VET) sector in Australia, in response to emerging needs. The study provides a brief review of the...
The author undertook a major national study of e-business for the Australian National Training Authority (ANTA) from November 1999 - February 2000, resulting in the report E-competent Australia: The...
Architectural support for copy and tamper resistant software (2000)
David Lie, Chandramohan Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John Mitchell, ...
The electrodeposition of cobalt, iron, antimony, and their aluminum alloys was investigated in the room-temperature molten salt, aluminum chloride 1-methyl-3-ethylimidazolium chloride...
INTERVAL AND POINT-BASED APPROACHES TO HYBRID SYSTEM VERIFICATION (1997)
as a dissertation for the degree of Doctor of Philosophy.
A branch and cut algorithm for max-sat and weighted max-sat (1997)
Steve Joy, John Mitchell, Brian Borchers
Abstract. We describe a branch and cut algorithm for both MAX-SAT and weighted MAX-SAT. This algorithm uses the GSAT procedure as a primal heuristic. At each nodewe solve a linear programming (LP)...
Strategic directions in software engineering and programming languages (1996)
Carl Gunter, John Mitchell, David Notkin
The computer revolution is based on the ability of a general-purpose machine to carry out a specific task under the control of special-purpose software. While
Effective models of polymorphism, subtyping and recursion (1996)
John Mitchell, Ramesh Viswanathan
Abstract. We explore a class of models of polymorphism, subtyping and recursion based on a combination of traditional recursion theory and simple domain theory. A significant property of our primary...
Strategic directions in software engineering and programming languages (1996)
Carl Gunter, John Mitchell, David Notkin
The techniques and tools that will be needed for e�cient and accurate system development � in the face of increasing system complexity and declining life cycles � require deep � new and...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
Thesis (PhD--Anthropology)--University of Auckland, 1995.
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
The Disappearing Guns of Auckland (1995)
The coastal fortifications of the port of Auckland, New Zealand, from 1885 to 1925 are studied in depth, from an historical archaeology perspective. An understanding of their wider context is...
A Type System for Prototyping Languages (1994)
Dinesh Katiyar, David Luckham, John Mitchell
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable,...
Polymorphism and Subtyping in Interfaces (1994)
Dinesh Katiyar, David Luckham, John Mitchell, Sigurd Meldal
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable,...
Polymorphism and Subtyping in Interfaces (1994)
Dinesh Katiyar, David Luckham, John Mitchell, Sigurd Meldal
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable,...
A Type System for Prototyping Languages (1994)
Dinesh Katiyar, David Luckham, John Mitchell
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable,...
EXPLAINING LABOR'S WIN AT THE 1993 AUSTRALIAN FEDERAL ELECTION (1994)
Marks, Gary N., Mitchell, John
This paper investigates Labor's victory at the 1993 Australian Federal election. In the aftermath of the election a variety of explanations emerged endeavoring to account for the result. From these...
Computer based analysis of handwritten characters for hand-eye coordination therapy. (1993)
Thesis (Ph. D.)--University of Kent at Canterbury, 1993.
John Mitchell, Adam Barth, Anupam Datta, Ninghui Li (purdue, Helen Nissenbaum (nyu, Will Winsborough
We’re all ears What policy concepts are important in healthcare? What kind of systems should understand or enforce these policies? How can tech geeks be useful? What’s all this talk about...
Standard ML-NJ weak polymorphism and imperative constructs (1993)
John Mitchell, Ramesh Viswanathan
Standard ML of New Jersey (SML-NJ) uses "weak type variables " to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use...
Standard ML-NJ weak polymorphism and imperative constructs (1993)
John Mitchell, Ramesh Viswanathan
Standard ML of New Jersey (SML-NJ) uses "weak type variables " to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use...
Samit Chaudhuri, Robert A. Walker, John Mitchell
This paper presents a general treatment of the combinatorial approach to the scheduling problem, enhancing previous formulations in the literature. The focus of this paper is a formal analysis of the...
Operational aspects of linear lambda calculus (1992)
Patrick Lincoln, John Mitchell
Linear logic is a resource-aware logic that is based on an analysis of the classical proof rules of contraction (copying) and weakening (throwing away). Several previous researchers have studied...
Decision Problems for Propositional Linear Logic (1992)
Patrick Lincoln John, John Mitchell, Andre Scedrov, Natarajan Shankar
Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the "structural" rules...
Roger Frederick Crew, Vaughan Pratt, John Mitchell, John Mitchell, Robert Floyd Pro
Among the various formal models proposed to provide semantics for concurrency constructs in programming languages, partial orders have the advantages of conceptual simplicity, mathematical...
Gilmour, Susan K., Robertson, Fredika M., Megosh, Louis, O'Connell, Sean M., Mitchell, John, O'Brien, Thomas G.
Single applications of 12-O-tetradecanoylphorbol-13-acetate (TPA), mezerein or ethyl phenylpropriolate (EPP) to mouse skin at appropriate doses cause similar degrees of hyperplasia and comparable...
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order type system over...
An extension of Standard ML modules with subtyping and inheritance (1991)
John Mitchell, Sigurd Meldal, Neel Madhav
We describe a general module language integrating abstract data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main...
THE SEMANTICS OF DEDUCTIVE DATABASES (1991)
as a dissertation for the degree of Doctor of Philosophy.
Perceived relationship variables with a disabled counselor. (1973)
Thesis (M.A.)--Southern Illinois University, Dept. of Rehabilitation Counseling.
The rheological properties of polysaccharide systems / (1973)
Thesis (doctoral)--University of Nottingham, 1973.
Reprinted from Journal of the American society of agronomy, vol. 24, no. 4, April, 1932.
Treatise on the falsifications of food, and the chemical means employed to detect them ... (1848)
334 p.
Signatures: [pi]³ A-C⁴
Identification of PEX7 as the Second Gene Involved in Refsum Disease
Van den Brink, Daan M., Brites, Pedro, Haasjes, Janet, Wierzbicki, Anthony S., Mitchell, John, Lambert-Hamill, Michelle, ...
Patients affected with Refsum disease (RD) have elevated levels of phytanic acid due to a deficiency of the peroxisomal enzyme phytanoyl-CoA hydroxylase (PhyH). In most patients with RD,...
A New Familial Amyotrophic Lateral Sclerosis Locus on Chromosome 16q12.1-16q12.2
Abalkhail, Halah, Mitchell, John, Habgood, James, Orrell, Richard, De Belleroche, Jacqueline
Familial amyotrophic lateral sclerosis (FALS) affects 5%–10% of cases of amyotrophic lateral sclerosis (ALS) and is inherited as an autosomal dominant condition with incomplete penetrance....
Pulmonary Fibrosis in an Aluminium Worker
Aluminium dust has never been shown to be harmful to man in Great Britain. This paper reports a fatal case of progressive pulmonary fibrosis in a young man occupationally exposed to a heavy...
Pulmonary Fibrosis in Workers Exposed to Finely Powdered Aluminium
Mitchell, John, Manning, G. B., Molyneux, M., Lane, Ronald E.
Of 30 workmen at risk 27 were examined and six found to have evidence of pulmonary fibrosis. In the two fatal cases the evidence for pulmonary fibrosis was conclusive and in three other cases it was...
A second-order cone cutting surface method: complexity and application
Mohammad Oskoorouchi, John Mitchell
Second-order cone, Semidefinite inequality, Cutting plane techniques, Semidefinite programming,
Taxation of Oil and Gas Revenues of Four Countries
John Helliwell, John Mitchell, Thomas R. Stauffer, James S. Moose, John F. Helliwell
Energy taxation is more complex and more controversial in Canada than in most or all other countries, for three main reasons. First, under the constitution, most natural resources are owned by the...