In this work, we introduce the Minimum Trilateration Problem, the problem of placing distance measuring guards in a polygon in order to locate points in the interior. We provide the first non-trivial bounds on trilaterating simple polygons, by showing that b 8N 9 c guards suffice for any non-degenerate polygon of N sides, and present an O(N logN) algorithm for the corresponding placement. We al...

This paper considers the construction of Petri nets to simulate conditional computation in various forms of systems. Coloured Petri nets underly the definition of a family of Petri nets based on rough set theory. Multivalued logic provides the basis for a family of guards on transitions with a form of continuous enabling. The notion of levelof-enabling of transitions is introduced. A second fam...

OBJECTIVE To systematically review studies that examined the effectiveness of wrist guards in preventing wrist injuries among snowboarders. DATA SOURCE MEDLINE (1966-March 2005), EMBASE (1988-March 2005), Cochrane (2005 Issue 1), Sport Discus (1975-March 2005) were searched using variations of the term "snowboard." PubMED was searched for the year 2005 to capture any recently published studie...

The purpose of the present study was to compare chosen physical fitness characteristics of Turkish professional basketball players in different divisions (first and second division) and playing positions. Forty-five professional male basketball players (14 guards, 15 forwards, 16 centers) participated in this study voluntarily. For each player, anthropometric measurements were performed, as wel...

The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, , comprised of a control process, , and finitely, but arbitrarily, many copies of a user process, , executing concurrently with interleaving semantics. We delineate the decidability/undecidability boundary of the PMCP for all possible systems that arise by letting proc...

Review Number: 1849 Publish date: Thursday, 29 October, 2015 Author: Luis Martínez Fernández ISBN: 9780813049953 Date of Publication: 2014 Price: £40.95 Pages: 368pp. Publisher: University Press of Florida Publisher url: http://upf.com/book.asp?id=MARTI004 Place of Publication: Miami, Florida Author: Antoni Kapcia ISBN: 9781780325279 Date of Publication: 2014 Price: £16.99 Pages: 256pp. Publish...

This is an expository introduction, for a general mathematics audience, to the modeling of the fluid/solid phase transition and in particular to complications created by the discovery of quasicrystals. One goal is to elucidate certain features of the modeling which are ripe for mathematical investigation. * Research supported in part by NSF Grant DMS-1208941 The 2011 Nobel prize for chemistry w...