I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

BACKGROUND Presently, there is no literature that examines the reasons for the cancellation of amateur or professional mixed martial arts (MMA) bouts. The purpose of this study was to review the circumstances that lead to the cancellation of MMA bouts by Calgary ringside physicians during the pre-bout examination period and to identify any emerging patterns that may guide the regulatoin of this...

The topic of an optimal or utopian life has received much attention across the humanities and the arts but not in psychology. The German concept of Sehnsucht captures individual and collective thoughts and feelings about one's optimal or utopian life. Sehnsucht (life longings; LLs) is defined as an intense desire for alternative states and realizations of life. Presenting a first effort at capt...

End-to-end QoS has been seldom studied in its inter-domain aspects, particularly within the scope of the global Internet and from an engineering perspective. This paper is intended to be a contribution in this direction. Starting from a utopian model that achieves any kind of engineering operations without any specific constraint, we deduce the open issues and problems to be solved by a viable ...

In response to this special issue’s question of whether mainstream science fiction has become stuck in presentism and apocalypticism, article examines how utopia is expressed salvaged the work Rivers Solomon. Using three Solomon’s novels theoretical lenses black studies salvage-Marxism, I suggest that scholars activists should approach from a different perspective. While may seem dystopian pers...

Multiple Objective Programming (MOP) problems have become famous among many researchers due to more practical and realistic implementations. There have been a lot of methods proposed especially during the past four decades. In this paper, we develop a new algorithm based on a new approach to solve MOP problems by starting from a utopian point (which is usually infeasible) and moving towards the...

The repeated bout effect (RBE) is a phenomenon characterized by less delayed onset muscle soreness (DOMS) and torque deficit after the second of 2 separate eccentric exercise bouts. Previous investigators have reported that shifting of optimum angle after an initial bout of eccentric exercise mediates the RBE. We hypothesized that an RBE for elbow extensor exercise occurs after an initial bout ...