H. WANG∗,§, E. VAN BOVEN∗,†,¶, A. KRISHNAKUMAR†, M. HOSSEINI∗,†, H. VAN HOOFF‡, T. TAKEMA‡, N. BAKEN∗,† and P. VAN MIEGHEM∗ ∗Faculty of Electrical Engineering, Mathematics, and Computer Science, Delft University of Technology, P. O. Box 5031, 2600 GA Delft, The Netherlands †KPN Royal, P. O. Box 30.000, 2500 GA The Hague, The Netherlands ‡Statistics Netherlands, P. O. Box 24.500, 2490 HA, The Ha...

Samira Hosseini Hooshyar, Armita Shahesmaeili, Roya Safari Faramani, Razieh Khajehkazemi, Maryam Nasirian, Hamid Sharifi, Kianoosh Kamali. HIV/STI Surveillance Research Center, and WHO Collaborating Center for HIV Surveillance, Institute for Futures Studies in Health, Kerman University of Medical Sciences, Kerman, Iran; Modeling in Health Research Center, Institute for Futures Studies in Health...

In 14], we proposed a framework for the automatic veriica-tion of reactive systems. Our main tool is a decision procedure, Mona, for Monadic Second-order Logic (M2L) on nite strings. Mona translates a formula in M2L into a nite-state automaton. We show in 14] how traces, i.e. nite executions, and their abstractions can be described behaviorally. These state-less descriptions can be formulated i...

Micronodular thymoma is a rare subtype of thymoma with less than 20 cases published in the English literature. These tumours have been reported with thymoma or thymic cyst. The authors describe a new case of micronodular thymoma in a 68-year-old-patient which is well documented and particular by its cystic degeneration which hasn’t been described yet. Micronodular thymoma is a rare variant of t...

Visible Diode Laser Enhancement of Exotic DNA Uptake by Fowl SpermEssam A. El-Gendy, Mona M. Abdelaziz, Mohamed Abdelfattah, S. Salama, YhiaM. Badr

We report the identification of a new simian immunodeficiency virus (SIV), designated SIVden, in a naturally infected Dent's Mona monkey (Cercopithecus mona denti), which was kept as pet in Kinshasa, capital of the Democratic Republic of Congo. SIVden is genetically distinct from the previously characterized primate lentiviruses. Analysis of the full-length genomic sequence revealed the presenc...

We show how to use a decision procedure for WS1S (the MONA tool) to give automated correctness proofs of a sliding window protocol under assumptions of unbounded window sizes, buffer sizes, and channel capacities. We also verify a version of the protocol where the window size is fixed. Since our mechanized target logic is WS1S, not the finite structures of traditional model checking, our method...

An extensible file system raises the level of file abstraction which provides benefits to both the end-user and programmer. The Modify-on-Access file system provides safe and simple user-defined extensibility through transformations, which are modular operations on input and output streams. A user inserts transformations into input and output streams, which modify the data accessed. Untrusted t...

We propose to utilize the Mona Lisa gaze effect for an objective and repeatable measure of the extent to which a viewer perceives an object as cospatial. Preliminary results suggest that the metric behaves as expected.