We describe an approach to strategy-based proving for improved interactive deduction in specialized domains. An experimental package of strategies (tactics) and support functions called Manip has been developed for PVS to reduce the tedium of arithmetic manipulation. Included are strategies aimed at algebraic simplification of real-valued expressions. A general deduction architecture is describ...

This thesis examines three computational problems in sports. The first problem addressed is determining the minimum number of points needed to guarantee qualification for the playoffs and the minimum number of points needed to have a possibility of qualification for the playoffs of the National Hockey League (NHL). The problem is solved using a phased approach that incrementally adds more compl...

Research on intrasexual competition for mates focused on the strategies of self-promotion and competitor derogation. Although these strategies describe many competitive behaviors, it was predicted that they do not describe all possible strategies. In Study 1, a qualitative investigation, participants reported how they compete with same-sex rivals for mates. This led to the discovery of the stra...

Nature’s self-organizing teams have long inspired engineering researchers. Imitating birds and fish, researchers built swarms that could keep formation via elegant decentralized control algorithms. Inspired by ants, they applied formation keeping to carrying loads as a mobile robot team. In this work, we further specialize this collaborative manipulation to manipulating teammates, thereby creat...

aim and background: relationship enhancement is one of the life skill training programs and it could effect on couples coping styles with life tensions. this study aimed to investigate the effect of relationship enhancement on improving marital coping strategies of couples in isfahan. method and materials: the design of this study was quasi-experimental with pretest, posttest and control groups...