introduction: although the effectiveness of paroxetine and attention modification program has been studied separately in treating social anxiety disorder, there has been no research comparing them according to the literature. the aim of this study was to compare the effectiveness of paroxetine, attention modification program (amp) and combination of both on improving the social anxiety symptoms...

0

The concept of program equilibrium, introduced by Howard (Theory and Decision 24(3):203–213, 1988) and further formalised by Tennenholtz (Game Econ Behav 49:363–373, 2004), represents one of the most ingenious and potentially farreaching applications of ideas from computer science in game theory to date. The basic idea is that a player in a game selects a strategy by entering a program, whose b...

Congress has established a national goal of achieving net-zero energy buildings by 2030. 1 Approximately 84% of the life cycle energy use of a building is associated with operating the building rather than the materials and energy used for construction. 2 This program will provide the measurement science to realize energy efficient building operation through integrated cybernetic building syste...

Title of dissertation: SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS Saurabh Srivastava, Doctor of Philosophy, 2010 Dissertation directed by: Professor Jeffrey S. Foster Department of Computer Science Program reasoning consists of the tasks of automatically and statically verifying correctness and inferring properties of programs. Program synthesis is the task of automatically ge...