The B-method [1] is a theory and methodology for formal development of computer systems. It is used in industry in a range of critical domains. In addition to the proof activities it is increasingly being realised that validation of the initial specification is important, as otherwise a correct implementation of an incorrect specification is being developed. This validation can come in the form...

The B-method [1] is a theory and methodology for formal development of computer systems. It is used in industry in a range of critical domains. In addition to the proof activities it is increasingly being realised that validation of the initial specification is important, as otherwise a correct implementation of an incorrect specification is being developed. This validation can come in the form...

It is needless to say that I feel it a great honor and privilege to have been selected for the 2003 Nobel prize in physics for my theoretical work on superfluid 3He; I am particularly pleased to be sharing the award with Professors Ginzburg and Abrikosov, whom I have always looked up to as giants of the closely related fleld of superconductivity. The story of how, in roughly the twelve-month pe...

Title:A novel naproxen derivative capable of displaying anti-cancer and anti-migratory properties against human breast cancer cells

Quimsacocha National Recreation Area is located on the western slope of Andes in Azuay Province, southern Ecuador. All sampling locations were high paramo and Andean forests (3,572 to 3,865 m). The habitats include paramo, bogs, riparian, patches elfin forests, secondary cloud forest. We set Sherman, pitfall, camera traps (3,600 trap nights), mist nets collect 117 specimens. Eight species colle...

Anthony Sofo Victoria University College, Victoria University, P.O. Box 14428, Melbourne City, VIC 8001, Australia Correspondence should be addressed to Anthony Sofo, [email protected] Received 18 January 2011; Accepted 3 April 2011 Academic Editor: Toufik Mansour Copyright q 2011 Anthony Sofo. This is an open access article distributed under the Creative Commons Attribution License, which...

In November, 5th, 2017, on the day Dr. Anthony J. Thomas Jr. would turn 74, he passed away. He was an internationally recognized reputed urologist, that popularized microsurgery in the urological community. Tony was a great friend of Brazilian Urology. He opened the doors of the Cleveland Clinic Foundation to Brazilian urologists. When he introduced me to his colleagues during meetings, he alwa...