1Associate Professor, Division of Gynecology, Department of Obstetrics and Gynecology, Faculdade de Medicina, Universidade de São Paulo (FMUSP), São Paulo, SP, Brazil 2Assistant, Division of Gynecology, Department of Obstetrics and Gynecology, FMUSP, São Paulo, SP, Brazil 3Assistant, Habilitation (BR: Livre Docência, Division of Gynecology, Department of Obstetrics and Gynecology, FMUSP, São Pa...

1.Department of Endocrinology, Metabolism and Diabetes, Karolinska University Hospital Solna, Stockholm, Sweden 2.Department of Molecular Medicine and Surgery, Karolinska Institute Stockholm, Stockholm, Sweden 3.Autism Centre for Young Children, Handicap and Habilitation, Stockholm, Sweden 4.Faculty of Medicine, Medical Student, Uppsala University, Uppsala, Sweden 5.PRIMA Child and Adolescent P...

Land Cover–Land Use Changes (LULCC) and landscape fragmentation have been a common research topic for Geographic Information Systems (GIS) scientists since the middle of 20th century; particularly, they helped to make accessible spatial characteristics land management through time. We researched LULCC in Arauco Province Chile using satellite image analysis (1976–2016) FRAGSTAT software. This ar...

In [H1], we develop a fixpoint semantics, the least model semantics, and an SLDresolution calculus in a direct way for positive modal logic programs in basic serial monomodal logics. In [H2], we extend the results and generalize the methods of [H1] for multimodal logics, giving a framework for developing semantics for positive logic programs in serial multimodal logics. In [H3], we report on ou...

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...