نتایج جستجو برای: puzzles
تعداد نتایج: 3721 فیلتر نتایج به سال:
This paper describes the impetus behind and design of a quasi-casual math puzzle game with the goal of crowdsourcing formal software verification through the analysis of loop invariants. This game, Xylem: The Code of Plants, presents players with puzzles derived from data produced by loops in a particular piece of software. Solving these puzzles involves finding and expressing a loop invariant ...
The general picture of how thermal AGNs work has become clearer in recent years but major observational puzzles threaten to undermine this picture. These puzzles include AGNs with extremely asymmetric emission line profiles, inconsistent multi-wavelength variability, rapid apparent changes in the sizes of emitting regions and in the direction of gas flow, a curious insensitivity of gas in some ...
Denial of Service (DoS) vulnerabilities are one of the major concerns in today’s Internet. Client-puzzles offer a good mechanism to defend servers against DoS attacks. In this paper, we introduce the notion of hidden puzzle difficulty, where the attacker cannot determine the difficulty of the puzzle without expending a minimal amount of computational resource. Game theory is used to develop def...
Many problems involve not structured environments which can be solved from the perspective of Bioinspired Algorithms (Cultural Algorithms). In this paper, a proposed algorithm is used to resolve a famous game known as Japanese puzzles, which are analyzed for obtain the optimal solution. The authors show that Japanese Puzzles are constrained combinatorial optimization problems, which can be solv...
Matthew Adler University of Pennsylvania Law School “Intergenerational Equity: Puzzles for Welfarists” This presentation will survey the issue of intergenerational equity from the perspective of welfarismthe normative framework undergirding welfare economics, and one also employed in much philosophical work on future generations, such as Derek Parfit's path-breaking analysis in Reasons and Pers...
Insight problem solving is characterized by restructuring. We hypothesized that the difficulty of rebus puzzles could be manipulated by systematically varying the restructurings required to solve them. An experiment using rebus puzzles varied the number of restructurings (one or two) required to solve a problem and the level at which the restructuring took place (sub-word level, word level, and...
In this essay I would like to confront a number of fundamental puzzles in economic history/development--puzzles that go to the heart of the nature of economic change. They can be broadly classified under two general headings: how to account for the uneven and erratic pattern of both historical change and contemporary development and how to model this processs of change and development? Can we u...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید