Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
2,258
Illusion and well-being: A social psychological perspective on mental health.
- Psychological Bulletin,
, 1988
"... Many prominent theorists have argued that accurate perceptions of the self, the world, and the future are essential for mental health. Yet considerable research evidence suggests that overly positive selfevaluations, exaggerated perceptions of control or mastery, and unrealistic optimism are charac ..."
Abstract
-
Cited by 988 (20 self)
- Add to MetaCart
the terms error and bias for a broader term, illusion. There are several reasons for this change in terminology. Error and bias imply short-term mistakes and distortions, respectively, that might be caused by careless oversight or other temporary negligences (cf. Funder, 1987). Illusion, in contrast
Simplify: A theorem prover for program checking
- J. ACM
, 2003
"... This paper provides a detailed description of the automatic theorem prover Simplify, which is the proof engine of the Extended Static Checkers ESC/Java and ESC/Modula-3. Simplify uses the Nelson-Oppen method to combine decision procedures for several important theories, and also employs a matcher to ..."
Abstract
-
Cited by 431 (2 self)
- Add to MetaCart
to reason about quantifiers. Instead of conventional matching in a term DAG, Simplify matches up to equivalence in an E-graph, which detects many relevant pattern instances that would be missed by the conventional approach. The paper describes two techniques, labels and counterexample contexts, for helping
Simulation, verification, automated composition of web services
- In WWW
, 2002
"... Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reason ..."
Abstract
-
Cited by 391 (7 self)
- Add to MetaCart
reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML+OIL ontology for describing the capabilities of Web services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language
Confirmation Bias: A Ubiquitous Phenomenon in Many Guises
- Review of General Psychology
, 1998
"... Confirmation bias, as the term is typically used in the psychological literature, connotes the seeking or interpreting of evidence in ways that are partial to existing beliefs, expectations, or a hypothesis in hand. The author reviews evidence of such a bias in a variety of guises and gives examples ..."
Abstract
-
Cited by 314 (0 self)
- Add to MetaCart
the best known and most widely accepted notion of inferential error to come out of the literature on human reasoning. (Evans, 1989, p. 41) If one were to attempt to identify a single problematic aspect of human reasoning that deserves attention above all others, the confirmation bias would have to be among
MinneSPEC: A New SPEC Benchmark Workload for Simulation-Based Computer Architecture Research
- Computer Architecture Letters
, 2002
"... Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate efficient simulations with a range of benchmark programs, we have developed the MinneSPEC input set for the SPEC CPU 2000 benchmar ..."
Abstract
-
Cited by 226 (15 self)
- Add to MetaCart
, we quantify its differences in terms of function-level execution patterns, instruction mixes, and memory behaviors compared to the SPEC programs when executed with the reference inputs. We find that for some programs, the MinneSPEC profiles match the SPEC reference dataset program behavior very
A New Measure of Financial Openness
- Mimeo, University of Wisconsin
, 2007
"... We create a new index that measures the extent of openness in capital account transactions. Despite the abundance of literature and policy analyses regarding the effect of financial liberalization, the debate is far from settled. One of the reasons for that outcome is the lack of proper ways of meas ..."
Abstract
-
Cited by 202 (9 self)
- Add to MetaCart
We create a new index that measures the extent of openness in capital account transactions. Despite the abundance of literature and policy analyses regarding the effect of financial liberalization, the debate is far from settled. One of the reasons for that outcome is the lack of proper ways
Behavioral theories and the neurophysiology of reward,
- Annu. Rev. Psychol.
, 2006
"... ■ Abstract The functions of rewards are based primarily on their effects on behavior and are less directly governed by the physics and chemistry of input events as in sensory systems. Therefore, the investigation of neural mechanisms underlying reward functions requires behavioral theories that can ..."
Abstract
-
Cited by 187 (0 self)
- Add to MetaCart
-directed approach behavior, and decision making under uncertainty. Individual neurons can be studied in the reward systems of the brain, including dopamine neurons, orbitofrontal cortex, and striatum. The neural activity can be related to basic theoretical terms of reward and uncertainty, such as contiguity
Interval propagation to reason about sets: definition and implementation of a practical language
- CONSTRAINTS
, 1997
"... Local consistency techniques have been introduced in logic programming in order to extend the application domain of logic programming languages. The existing languages based on these techniques consider arithmetic constraints applied to variables ranging over nite integer domains. This makes difficu ..."
Abstract
-
Cited by 119 (8 self)
- Add to MetaCart
optimization problems by applying a cost function to the quantifiable, i.e., arithmetic, terms which are associated to set terms. The constraint solving in Conjunto is based on local consistency techniques using interval reasoning which are extended to handle set constraints. The main contribution
Longer-term effects of Head Start
- American Economic Review
, 2002
"... Abstract Public early intervention programs like Head Start are often justified as investments in children. Yet nothing is known about the long-term effects of Head Start. This paper draws on unique data from the Panel Study of Income Dynamics to provide new evidence on the effects of Head Start on ..."
Abstract
-
Cited by 131 (5 self)
- Add to MetaCart
,000 children, and serves as a model for separate state-funded programs. Head Start is often justified as an investment in children. However, critics point out that there is no evidence that the program has lasting benefits. Evidence cited in support of the long-term effectiveness of early intervention comes
Feedback Effects between Similarity and Social Influence in Online Communities
"... A fundamental open question in the analysis of social networks is to understand the interplay between similarity and social ties. People are similar to their neighbors in a social network for two distinct reasons: first, they grow to resemble their current friends due to social influence; and second ..."
Abstract
-
Cited by 164 (8 self)
- Add to MetaCart
A fundamental open question in the analysis of social networks is to understand the interplay between similarity and social ties. People are similar to their neighbors in a social network for two distinct reasons: first, they grow to resemble their current friends due to social influence
Results 1 - 10
of
2,258
