Where to park? Architecture and implementation of an empty parking lot, automatic recognition system

The traffic congestion present in practically every city has, among its increasing factors, the unavailability of enough parking spaces. A typical driver invests a considerable part of the total trip time looking for a free space where to park his vehicle; in many cases, this leads to delays and the consequent discomfort due to the undesired consequences of the generated tardiness. For this problem it is possible to find partial palliative solutions, minimizing the time spent searching for parking by applying Internet of Things techniques, oriented to smart cities and buildings. This research has been focused on finding an appropriate computer architecture that will allow the implementation of a distributed system, which, thanks to the use of computer vision and machine learning techniques, detects free parking spaces inside a parking lot, and provides real time information to the driver, allowing him to go as directly as possible to a vacant parking space

Indoors positioning with Android, Bluetooth and RSSI

This research has two main objectives. First, to determine experimentally the relationship between RSSI and distance. Second, with trilateration techniques, to establish the location of the receiver device in the experimental environment. The main contributions are: to determine how Bluetooth devices interact between them and how they differ when dealing with RSSI measures; to collect data over controlled distances applying to it regression analysis to establish the RSSI – distance relationship; to evaluate the basic trilateration techniques to produce a functional prototype for an indoor positioning system using Android devices. Results are encouraging considering that even with an extremely heterogeneous hardware and software configuration, it was possible to get a high average precision

La metáfora, recurso pedagógico en espacios de educación no formal mediados por el uso de tic: una experiencia ecuatoriana

This paper presents a sociological-educational experience, using metaphor as a pedagogical tool that provides meaning to technological resources, when employed to develop life-long skills on non-formal educational spaces. The method consisted on building micro-projects, inside thematic clusters and recreational workshops, adapted to the community environment and symbolic universe of the participants. This allowed for the technical data abstraction regarding basic robotic and programming, and for the execution of activities that improved the participants’ self-knowledge. Metaphor, proposed as the main pedagogical tool, allowed to intrinsically associate robotic’ technical elements, with four life-long skills development (leadership, responsibility, creativity and innovation), on vulnerable children-teenager groups, living on impoverished and underdeveloped Ecuadorian urban, suburban and rural regions. As a result of this experience, the digital breach for these groups of participants is reduced, and technology goes beyond the mere devices and instruments, becoming a symbolic tool that stimulates curiosity and provides a deeper meaning that the participants use to project themselves into a life plan fitting their own desires and aspirations.A continuación, se expone una experiencia socioeducativa que hace uso de la metáfora como herramienta pedagógica para la significación del uso de recursos tecnológicos, en el desarrollo de competencias para la vida, aplicada en espacios de educación no formal. El método consistió en la construcción de microproyectos insertos en módulos temáticos y talleres recreativos acordes al entorno comunitario y al universo simbólico de los participantes, para facilitar la abstracción de información técnica referida a la robótica y programación básica, así como también, actividades que aportan al proceso de autoconocimiento de los participantes. La propuesta plantea un esquema de trabajo cuyo principal mecanismo pedagógico es la metáfora. Este tropo permite la incorporación de la robótica y su consecuente asociación con elementos inherentes al desarrollo de cuatro competencias para la vida (liderazgo, responsabilidad, creatividad e innovación), en grupos infantoadolescentes que viven en condición de vulnerabilidad en sectores rurales y urbano-marginales del Ecuador. Como resultado de la experiencia se disminuye la brecha digital en grupos prioritarios. El uso de la tecnología rebasa lo instrumental y se convierte en una herramienta simbólica para estimular la curiosidad y para la producción de sentido a través de la cual los participantes se proyectan en un plan de vida acorde a su deseo

Mini-Spin and Mini-Spin-VR: equivalence between virtual and traditional anxiety test

Virtual reality technologies enable the representation of a vast array of existing and fictitious environments into virtual, digital scenes. These scenes allow for the easy integration of users into a controlled laboratory, allowing them to participate on a variety of scientific studies. Many different areas, like psychology, have already integrated virtual technologies into its field; nevertheless, there are still many open problems related. The main focus of this work is to find out if the virtual environments could replace traditional pen and paper psychological test. Thanks to the use of the two one sided equivalence test, results showed significant statistical equivalence

Expert range maps of global mammal distributions harmonised to three taxonomic authorities

Aim: Comprehensive, global information on species' occurrences is an essential biodiversity variable and central to a range of applications in ecology, evolution, biogeography and conservation. Expert range maps often represent a species' only available distributional information and play an increasing role in conservation assessments and macroecology. We provide global range maps for the native ranges of all extant mammal species harmonised to the taxonomy of the Mammal Diversity Database (MDD) mobilised from two sources, the Handbook of the Mammals of the World (HMW) and the Illustrated Checklist of the Mammals of the World (CMW). Location: Global. Taxon: All extant mammal species. Methods: Range maps were digitally interpreted, georeferenced, error-checked and subsequently taxonomically aligned between the HMW (6253 species), the CMW (6431 species) and the MDD taxonomies (6362 species). Results: Range maps can be evaluated and visualised in an online map browser at Map of Life (mol.org) and accessed for individual or batch download for non-commercial use. Main conclusion: Expert maps of species' global distributions are limited in their spatial detail and temporal specificity, but form a useful basis for broad-scale characterizations and model-based integration with other data. We provide georeferenced range maps for the native ranges of all extant mammal species as shapefiles, with species-level metadata and source information packaged together in geodatabase format. Across the three taxonomic sources our maps entail, there are 1784 taxonomic name differences compared to the maps currently available on the IUCN Red List website. The expert maps provided here are harmonised to the MDD taxonomic authority and linked to a community of online tools that will enable transparent future updates and version control.Fil: Marsh, Charles J.. Yale University; Estados UnidosFil: Sica, Yanina. Yale University; Estados UnidosFil: Burguin, Connor. University of New Mexico; Estados UnidosFil: Dorman, Wendy A.. University of Yale; Estados UnidosFil: Anderson, Robert C.. University of Yale; Estados UnidosFil: del Toro Mijares, Isabel. University of Yale; Estados UnidosFil: Vigneron, Jessica G.. University of Yale; Estados UnidosFil: Barve, Vijay. University Of Florida. Florida Museum Of History; Estados UnidosFil: Dombrowik, Victoria L.. University of Yale; Estados UnidosFil: Duong, Michelle. University of Yale; Estados UnidosFil: Guralnick, Robert. University Of Florida. Florida Museum Of History; Estados UnidosFil: Hart, Julie A.. University of Yale; Estados UnidosFil: Maypole, J. Krish. University of Yale; Estados UnidosFil: McCall, Kira. University of Yale; Estados UnidosFil: Ranipeta, Ajay. University of Yale; Estados UnidosFil: Schuerkmann, Anna. University of Yale; Estados UnidosFil: Torselli, Michael A.. University of Yale; Estados UnidosFil: Lacher, Thomas. Texas A&M University; Estados UnidosFil: Wilson, Don E.. National Museum of Natural History; Estados UnidosFil: Abba, Agustin Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Centro de Estudios Parasitológicos y de Vectores. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. Centro de Estudios Parasitológicos y de Vectores; ArgentinaFil: Aguirre, Luis F.. Universidad Mayor de San Simón; BoliviaFil: Arroyo Cabrales, Joaquín. Instituto Nacional de Antropología E Historia, Mexico; MéxicoFil: Astúa, Diego. Universidade Federal de Pernambuco; BrasilFil: Baker, Andrew M.. Queensland University of Technology; Australia. Queensland Museum; AustraliaFil: Braulik, Gill. University of St. Andrews; Reino UnidoFil: Braun, Janet K.. Oklahoma State University; Estados UnidosFil: Brito, Jorge. Instituto Nacional de Biodiversidad; EcuadorFil: Busher, Peter E.. Boston University; Estados UnidosFil: Burneo, Santiago F.. Pontificia Universidad Católica del Ecuador; EcuadorFil: Camacho, M. Alejandra. Pontificia Universidad Católica del Ecuador; EcuadorFil: de Almeida Chiquito, Elisandra. Universidade Federal do Espírito Santo; BrasilFil: Cook, Joseph A.. University of New Mexico; Estados UnidosFil: Cuéllar Soto, Erika. Sultan Qaboos University; OmánFil: Davenport, Tim R. B.. Wildlife Conservation Society; TanzaniaFil: Denys, Christiane. Muséum National d'Histoire Naturelle; FranciaFil: Dickman, Christopher R.. The University Of Sydney; AustraliaFil: Eldridge, Mark D. B.. Australian Museum; AustraliaFil: Fernandez Duque, Eduardo. University of Yale; Estados UnidosFil: Francis, Charles M.. Environment And Climate Change Canada; CanadáFil: Frankham, Greta. Australian Museum; AustraliaFil: Freitas, Thales. Universidade Federal do Rio Grande do Sul; BrasilFil: Friend, J. Anthony. Conservation And Attractions; AustraliaFil: Giannini, Norberto Pedro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico - Tucumán. Unidad Ejecutora Lillo; ArgentinaFil: Gursky-Doyen, Sharon. Texas A&M University; Estados UnidosFil: Hackländer, Klaus. Universitat Fur Bodenkultur Wien; AustriaFil: Hawkins, Melissa. National Museum of Natural History; Estados UnidosFil: Helgen, Kristofer M.. Australian Museum; AustraliaFil: Heritage, Steven. University of Duke; Estados UnidosFil: Hinckley, Arlo. Consejo Superior de Investigaciones Científicas. Estación Biológica de Doñana; EspañaFil: Holden, Mary. American Museum of Natural History; Estados UnidosFil: Holekamp, Kay E.. Michigan State University; Estados UnidosFil: Humle, Tatyana. University Of Kent; Reino UnidoFil: Ibáñez Ulargui, Carlos. Consejo Superior de Investigaciones Científicas. Estación Biológica de Doñana; EspañaFil: Jackson, Stephen M.. Australian Museum; AustraliaFil: Janecka, Mary. University of Pittsburgh at Johnstown; Estados Unidos. University of Pittsburgh; Estados UnidosFil: Jenkins, Paula. Natural History Museum; Reino UnidoFil: Juste, Javier. Consejo Superior de Investigaciones Científicas. Estación Biológica de Doñana; EspañaFil: Leite, Yuri L. R.. Universidade Federal do Espírito Santo; BrasilFil: Novaes, Roberto Leonan M.. Universidade Federal do Rio de Janeiro; BrasilFil: Lim, Burton K.. Royal Ontario Museum; CanadáFil: Maisels, Fiona G.. Wildlife Conservation Society; Estados UnidosFil: Mares, Michael A.. Oklahoma State University; Estados UnidosFil: Marsh, Helene. James Cook University; AustraliaFil: Mattioli, Stefano. Università degli Studi di Siena; ItaliaFil: Morton, F. Blake. University of Hull; Reino UnidoFil: Ojeda, Agustina Alejandra. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto Argentino de Investigaciones de las Zonas Áridas. Provincia de Mendoza. Instituto Argentino de Investigaciones de las Zonas Áridas. Universidad Nacional de Cuyo. Instituto Argentino de Investigaciones de las Zonas Áridas; ArgentinaFil: Ordóñez Garza, Nicté. Instituto Nacional de Biodiversidad; EcuadorFil: Pardiñas, Ulises Francisco J.. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Instituto de Diversidad y Evolución Austral; ArgentinaFil: Pavan, Mariana. Universidade de Sao Paulo; BrasilFil: Riley, Erin P.. San Diego State University; Estados UnidosFil: Rubenstein, Daniel I.. University of Princeton; Estados UnidosFil: Ruelas, Dennisse. Museo de Historia Natural, Lima; PerúFil: Schai-Braun, Stéphanie. Universitat Fur Bodenkultur Wien; AustriaFil: Schank, Cody J.. University of Texas at Austin; Estados UnidosFil: Shenbrot, Georgy. Ben Gurion University of the Negev; IsraelFil: Solari, Sergio. Universidad de Antioquia; ColombiaFil: Superina, Mariella. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Medicina y Biología Experimental de Cuyo; ArgentinaFil: Tsang, Susan. American Museum of Natural History; Estados UnidosFil: Van Cakenberghe, Victor. Universiteit Antwerp; BélgicaFil: Veron, Geraldine. Université Pierre et Marie Curie; FranciaFil: Wallis, Janette. Kasokwa-kityedo Forest Project; UgandaFil: Whittaker, Danielle. Michigan State University; Estados UnidosFil: Wells, Rod. Flinders University.; AustraliaFil: Wittemyer, George. State University of Colorado - Fort Collins; Estados UnidosFil: Woinarski, John. Charles Darwin University; AustraliaFil: Upham, Nathan S.. University of Yale; Estados UnidosFil: Jetz, Walter. University of Yale; Estados Unido

Expert range maps of global mammal distributions harmonised to three taxonomic authorities

AimComprehensive, global information on species' occurrences is an essential biodiversity variable and central to a range of applications in ecology, evolution, biogeography and conservation. Expert range maps often represent a species' only available distributional information and play an increasing role in conservation assessments and macroecology. We provide global range maps for the native ranges of all extant mammal species harmonised to the taxonomy of the Mammal Diversity Database (MDD) mobilised from two sources, the Handbook of the Mammals of the World (HMW) and the Illustrated Checklist of the Mammals of the World (CMW).LocationGlobal.TaxonAll extant mammal species.MethodsRange maps were digitally interpreted, georeferenced, error-checked and subsequently taxonomically aligned between the HMW (6253 species), the CMW (6431 species) and the MDD taxonomies (6362 species).ResultsRange maps can be evaluated and visualised in an online map browser at Map of Life (mol.org) and accessed for individual or batch download for non-commercial use.Main conclusionExpert maps of species' global distributions are limited in their spatial detail and temporal specificity, but form a useful basis for broad-scale characterizations and model-based integration with other data. We provide georeferenced range maps for the native ranges of all extant mammal species as shapefiles, with species-level metadata and source information packaged together in geodatabase format. Across the three taxonomic sources our maps entail, there are 1784 taxonomic name differences compared to the maps currently available on the IUCN Red List website. The expert maps provided here are harmonised to the MDD taxonomic authority and linked to a community of online tools that will enable transparent future updates and version control

Traducción automatizada de programas entre lenguajes de operaciones

O plano de intervenção visa analisar a situação do Imposto Predial Territorial Urbano (IPTU), no Município de Ribeirão das Neves em estudo comparativo com outros municípios brasileiros do mesmo porte e população, com foco em fatores determinantes do desempenho do IPTU: cadastro imobiliário, avaliações, adimplência e alíquotas. O presente trabalho também apresenta uma reforma no código tributário que estabelece a cobrança do IPTU no município de Ribeirão das Neves, não com o intuito de sugerir elevação do já alto nível de arrecadação tributária municipal, mas sim, instituir a progressividade e abrangência sobre toda a sociedade. O estudo estimou que 90% dos domicílios nevenses estavam cadastrados, indicando possibilidade de melhorias na qualidade e na abrangência do cadastro imobiliário, além da criação de equipes de cadastradores que possibilitariam a atualização desses dados com maior frequência. Verificou-se que mesmo com a atualização das metragens dos imóveis no município através do georreferenciamento não trouxeram grandes melhorias na arrecadação do imposto predial já que outros fatores que compõem o cálculo, como a Planta Genéricas de Valores (PGV) encontra-se em nível muito abaixo do mercado, com enormes distorções entre bairros e até mesmo ruas da cidade. A adimplência no período de 2011 a 2017 tem demonstrado uma queda acentuada, historicamente o município de Ribeirão das Neves possuía um índice de arrecadação em torno de 61%, um indicador bem inferior se comparado com as demais cidades brasileiras e municípios da região metropolitana de Belo Horizonte, porém nos últimos quatros anos esse índice tem piorado, alcançado o percentual mais baixo de 53% no ano de 2017. O município adota a tributação regressiva do IPTU, com alíquotas fixas para imóveis prediais residenciais 0,5 %, prediais comerciais e prestação de serviço 1% e imóveis territoriais 1,5%. Outro motivo da sua regressividade é o fato das avaliações dos imóveis estarem desatualizadas, ou seja, os imóveis mais valorizados tendem a apresentar maior defasagem em relação ao seu valor de mercado que os imóveis mais baixos. Isso torna a base de cálculo (valor venal) regressiva, com alíquotas efetivas do imposto sendo menores quanto maior for o valor de mercado verdadeiro do imóvel. O trabalho propõe uma reforma na legislação do IPTU no município de Ribeirão das Neves. A proposta prevê alíquotas progressivas entre 0,2 % a 1% para imóveis residenciais, de 0,35% a 1,80% para imóveis não residenciais e 0,35% a 2% para imóveis territoriais, estabelece correção da PGV para metade do valor de mercado, atualização da planta de quatro em quatro anos, criação de um setor especializado no lançamento e efetivo acompanhamento do processo administrativo e governança do IPTU no município de Ribeirão das Neves. Por fim, é possível concluir que a reforma do IPTU é ponto importante da Secretária Municipal de Fazenda, há elevado espaço pra incremento e modernização do imposto, que contribuiria para a melhora da situação fiscal do município de Ribeirão das Neves.71 páginasGestão Públicanão são necessária

Reduciendo la brecha de seguridad del IoT con una arquitectura de microservicios basada en TLS y OAuth2

The Internet of Things has emerged as one of the most promising trends today. The speed of its adoption, however, has caused certain gaps. Amongst the most critical there is the one related with the security of the systems involved. This project addressed the security problem in a broad way but focusing on smart-home environments, where the use of devices with widely heterogeneous technologies and multiple services, generates problems with authentication and with the confidentiality of the data, if the network is compromised. To tackle these problems, state-of-the-art technologies such as OAuth2 and TLS, among others, were put together, along with an architectural methodology of lightly coupled microservices. As a result, a secure and broad range IoT architecture was built, backed up and validated by a reference implementation. The division into functional layers enables both fixed and mobile devices and sensors, to get connected into the system transparently and fluently. The security scheme structured in three incremental levels enables a better device integration, at the level that best adapts to its computing resources and the type of information it shares. The results show the flexibility of the solution and the robustness and novelty of the security scheme presented.El Internet de las cosas es una de las tendencias más prometedoras en la actualidad. La rapidez de su adopción, sin embargo, ha provocado ciertas brechas críticas en la seguridad de los sistemas involucrados. Este proyecto analizó el problema de seguridad de una manera amplia, pero enfocándose en entornos de tipo hogar inteligente, donde el uso de dispositivos con tecnologías ampliamente heterogéneas genera problemas en la autenticación con múltiples servicios, y en la confidencialidad de los datos, si la red llegara a verse comprometida. Para atacar estos problemas, se juntaron tecnologías de última generación como OAuth2 y TLS, entre otras, junto a una metodología arquitectural de microservicios de acoplamiento ligero, para generar una arquitectura IoT segura y de amplio alcance, respaldada y validada por una implementación de referencia. La división en capas funcionales permite que tanto los dispositivos y sensores fijos como aquellos móviles, puedan acoplarse al sistema de manera transparente y fluida. El esquema de seguridad estructurado en tres niveles incrementales permite que cada equipo pueda integrarse al que mejor se adapte tanto a sus recursos computacionales como al tipo de información que debe entregar o consumir. Los resultados muestran la flexibilidad de la solución y la solidez del esquema de seguridad presentado

Traducción automatizada de programas entre lenguajes de operaciones

<p>Los lenguajes de operaciones se usan para programar, en procedimientos organizados, las instrucciones a ser ejecutadas por una máquina, para realizar distintos tipos de operaciones. Para poder importar procedimientos existentes realizados en un lenguaje de operaciones dado, en frameworks de programación específicos para el diseño de operaciones, es necesario contar con traductores entre el lenguaje en que ha sido programado el procedimiento, y el lenguaje interno utilizado por el framework de diseño. La construcción de estos traductores puede ser automatizada si se establece un mapeo entre producciones equivalentes de las gramáticas de los lenguajes fuente y destino. Las producciones se pueden considerar equivalentes cuando a pesar de tener una sintaxis diferente, tienen la misma intención semántica y pueden ser equiparadas con un árbol de sintaxis abstracta en común. Debido a ciertas diferencias sintácticas, en ocasiones este árbol sintáctico común no puede ser hallado directamente. Esto se vuelve posible, sin embargo, al realizar en primer lugar ciertas transformaciones a los programas. Este artículo presenta un acercamiento específico a la construcción de reglas de transformación para resolver estas diferencias.</p><p><strong>Abstract:</strong></p><p>Operations languages are used to program the procedures that instruct machinery to perform specific operations. To import procedures in a given operations language, into a dedicated tool for designing operations, language translators are needed to translate those procedures to the design tool's internal operations language. The construction of these translators can be automated by mapping equivalent productions in the grammar of source and target language. Productions are considered equivalent when, in spite of a differing syntax, they have the same intended semantics and can be matched to a same abstract syntax tree. For some corresponding productions, due to syntactic differences, such a common abstract syntax tree cannot be found directly. However, they can be made to match by performing some specific program transformations first. This paper presents a specific approach to write transformation rules to resolve such mismatches.</p