Results 1  10
of
951,876
The Hungarian method for the assignment problem
 Naval Res. Logist. Quart
, 1955
"... Assuming that numerical scores are available for the performance of each of n persons on each of n jobs, the "assignment problem" is the quest for an assignment of persons to jobs so that the sum of the n scores so obtained is as large as possible. It is shown that ideas latent in the work ..."
Abstract

Cited by 1238 (0 self)
 Add to MetaCart
Assuming that numerical scores are available for the performance of each of n persons on each of n jobs, the "assignment problem" is the quest for an assignment of persons to jobs so that the sum of the n scores so obtained is as large as possible. It is shown that ideas latent
Effects with Random Assignment: Results for Dartmouth Roommates
, 2001
"... This paper uses a unique data set to measure peer effects among college roommates. Freshman year roommates and dormmates are randomly assigned at Dartmouth College. I find that peers have an impact on grade point average and on decisions to join social groups such as fraternities. Residential peer e ..."
Abstract

Cited by 523 (6 self)
 Add to MetaCart
This paper uses a unique data set to measure peer effects among college roommates. Freshman year roommates and dormmates are randomly assigned at Dartmouth College. I find that peers have an impact on grade point average and on decisions to join social groups such as fraternities. Residential peer
ALGORITHMS FOR THE ASSIGNMENT AND TRANSPORTATION PROBLEMS
, 1957
"... In this paper we presen algorithms for the solution of the general assignment and transportation problems. In Section 1, a statement of the algorithm for the assignment problem appears, along with a proof for the correctness of the algorithm. The remarks which constitute the proof are incorporated p ..."
Abstract

Cited by 444 (0 self)
 Add to MetaCart
In this paper we presen algorithms for the solution of the general assignment and transportation problems. In Section 1, a statement of the algorithm for the assignment problem appears, along with a proof for the correctness of the algorithm. The remarks which constitute the proof are incorporated
Efficiently computing static single assignment form and the control dependence graph
 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
, 1991
"... In optimizing compilers, data structure choices directly influence the power and efficiency of practical program optimization. A poor choice of data structure can inhibit optimization or slow compilation to the point that advanced optimization features become undesirable. Recently, static single ass ..."
Abstract

Cited by 997 (8 self)
 Add to MetaCart
assignment form and the control dependence graph have been proposed to represent data flow and control flow propertiee of programs. Each of these previously unrelated techniques lends efficiency and power to a useful class of program optimization. Although both of these structures are attractive
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
, 1990
"... Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of ..."
Abstract

Cited by 624 (14 self)
 Add to MetaCart
of nonmonotonic reasoning and try to isolate properties that could help us map the field of nonmonotonic reasoning by reference to positive properties. We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13]. Both prooftheoretic and semantic points
Validity concepts in prooftheoretic semantics
 ProofTheoretic Semantics. Special issue of Synthese
"... Abstract. The standard approach to what I call “prooftheoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of prooftheoretic semantics, this paper investigates in det ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
Abstract. The standard approach to what I call “prooftheoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of prooftheoretic semantics, this paper investigates
Prooftheoretic analysis by iterated reflection
 Arch. Math. Logic
"... Progressions of iterated reflection principles can be used as a tool for ordinal analysis of formal systems. Technically, in some sense, they replace the use of omegarule. We compare the information obtained by this kind of analysis with the results obtained by the more usual prooftheoretic techni ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
Progressions of iterated reflection principles can be used as a tool for ordinal analysis of formal systems. Technically, in some sense, they replace the use of omegarule. We compare the information obtained by this kind of analysis with the results obtained by the more usual prooftheoretic
ProofTheoretic Reconstruction of Generalized Quantifiers
"... The article presents a prooftheoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a prooftheoretical substitute for nounphrase and determiner meanings, thereby replacing the traditional modeltheoretical appeal to generalized quantifiers, and proving conse ..."
Abstract
 Add to MetaCart
The article presents a prooftheoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a prooftheoretical substitute for nounphrase and determiner meanings, thereby replacing the traditional modeltheoretical appeal to generalized quantifiers, and proving
Nonparametric estimation of average treatment effects under exogeneity: a review
 REVIEW OF ECONOMICS AND STATISTICS
, 2004
"... Recently there has been a surge in econometric work focusing on estimating average treatment effects under various sets of assumptions. One strand of this literature has developed methods for estimating average treatment effects for a binary treatment under assumptions variously described as exogen ..."
Abstract

Cited by 597 (26 self)
 Add to MetaCart
Recently there has been a surge in econometric work focusing on estimating average treatment effects under various sets of assumptions. One strand of this literature has developed methods for estimating average treatment effects for a binary treatment under assumptions variously described
ProofTheoretic Contributions to Explicit Mathematics
, 2001
"... this paper. Recently, we have done a first step in this direction and shown that indeed the provably total type two functionals of PT coincide with the basic feasible functionals of type two, and we conjecture that this result holds at all higher types. The proof that a provably total type two fun ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
this paper. Recently, we have done a first step in this direction and shown that indeed the provably total type two functionals of PT coincide with the basic feasible functionals of type two, and we conjecture that this result holds at all higher types. The proof that a provably total type two
Results 1  10
of
951,876