This paper extends PVS’s standard bitvector library with multiplication, division and remainder operations, together with associated results. This extension is needed to give appropriate semantics to Java’s integral types in program verification. Special emphasis is therefore put on Java’s widening and narrowing functions in relation to the newly defined operations on bitvectors.

[Special feature] Artificial Intelligence From Personal to Societal Knowledge Working to Unravel the Secrets of Biological Activity Through Inference "Meaning" Links Information, Changing the Web New Data Mining Made Possible by AI Artificial Intelligence Reasons about the Courses of Trials Isao Echizen Associate Professor , Digital Content and Media Sciences Research Division, NII Sharing expe...

We analyze the geometry of rational p-division points in degenerating families of elliptic curves in characteristic p. We classify the possible Kodaira symbols and determine for the Igusa moduli problem the reduction type of the universal curve. Special attention is paid to characteristic 2 and 3 where wild ramification and stacky phenomena show up.

André Luiz Maltos, Guilherme Vannucchi Portari, João Carlos Saldanha, Aderbal Garcia Bernardes Júnior, Guilherme Rocha Pardi, Daniel Ferreira da Cunha I Federal University of Triângulo Mineiro, Department of Internal Medicine, Uberaba/MG, Brazil. II Federal University of Triângulo Mineiro, Special Pathology Division, Uberaba/MG, Brazil. III Federal University of Triângulo Mineiro, Faculty of Nu...

We investigate the dynamic behavior of the sequence of nested triangles with a fixed division ratio on their sides. We prove a result concerning a special case that was not examined in [1]. We also provide an answer to an open problem posed in [3].

H Kelly1,2, B J Cowling ([email protected])3 1. Victorian Infectious Diseases Reference Laboratory, North Melbourne, Victoria, Australia 2. National Centre for Epidemiology and Population Health, Australian National University, Canberra, Australia 3. Division of Epidemiology and Biostatistics, School of Public Health, Li Ka Shing Faculty of Medicine, the University of Hong Kong, Hong Kong Special...

Myerscough, P.J.1, Whelan, R.J.2, and Bradstock, R.A.3 (1Institute of Wildlife Research, School of Biological Sciences (A08), University of Sydney, NSW 2006; 2Department of Biological Sciences, University of Wollongong, NSW 2522; 3Biodiversity Research and Management Division, NSW National Parks & Wildlife Service, PO Box 1967, Hurstville, NSW 1481) Ecology of Proteaceae with special reference ...

The North Carolina Division of Mental Health, Developmental Disabilities, and Substance Abuse Services works with partners to reduce the impact of behavioral health conditions in communities throughout the state. We review state-funded behavioral health initiatives that provide support to military personnel and their families, with special attention to public services and co-location efforts.