Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...

Two hundred years ago, in September 1783, a London physician, Samuel Foart Simmons, published the third edition of his Medical Register,' an ambitious venture that began in April 1779, with his first attempt to list the qualified medical practitioners in Britain, her colonies, and much of Europe. However, this first edition suffered from substantial omissions, largely due to the failure of Simm...

The Hosoya index Z(G) of a graph G is defined as the total number of edge independent sets of G. In this paper, we extend the research of [J. Ou, On extremal unicyclic molecular graphs with maximal Hosoya index, Discrete Appl. Math. 157 (2009) 391–397.] and [Y. Ye, X. Pan, H. Liu, Ordering unicyclic graphs with respect to Hosoya indices and Merrifield-Simmons indices, MATCH Commun. Math. Comput...

Alison Simmons, in Simmons (1999), argues that Descartes in Meditation Six offered a teleological account of sensory representation. According to Simmons, Descartes’ view is that the biological function of sensations explains both why sensations represent what they do (i.e., their referential content) and why they represent their objects the way they do (i.e., their presentational content). Mor...

Author correspondence to: Gwendolyn Quinn, PhD, Associate Member, Moffitt Cancer Center, Associate Professor, USF, College of Medicine, 12902 Magnolia Drive, MRC CANCONT, Tampa, FL 33612. Tel: (813) 745-1359 • Fax: (813) 449-8019 • Email: [email protected] Objective: Cancer health disparities are evident among Puerto Rican Hispanics, both for those on the island and in the mainland United ...