Planejamento urbano e participação

As definições de planejamento urbano vão desde as que incidem sobre a forma física até as mais holísticas. Também variam amplamente as definições de participação. Algumas permitem a distinção entre situações de participação e de não participação associadas ao modelo tradicional de governo. Alternativamente, as tecnologias digitais suportam o que pode ser considerado um novo tipo de participação "auto-organizada”. Diferentes visões são consequências das teorias e práticas subjacentes. A busca por definições exige uma análise mais aprofundada, tanto ao longo da história, quanto em relação às tendências futuras. Assim, com o intuito de investigar como a participação pública se revela nos processos de planejamento urbano, o artigo apresenta uma rápida perspectiva histórica da participação no planejamento urbano no Brasil, e explora algumas das principais abordagens para a questão, desde o modelo racional até novas abordagens contemporâneas.Urban planning definitions range from those relating to the physical form until the more holistic ones. The participation definitions also vary widely. Some allow the distinction between situations of participation and non-participation associated with the traditional model of government. Alternatively, digital technologies support what can be considered a new type of participation "self-organized". Different views are consequences of the theories and practices underlying. The search for definitions requires further analysis, both throughout history and in relation to future trends. Thus, in order to investigate how public participation is revealed in urban planning processes, the article gives a brief historical perspective of participation in urban planning in Brazil, and explores some of the main approaches to the issue, from the rational model to the new contemporary approaches

Towards Automated Performance Bug Identification in Python

Context: Software performance is a critical non-functional requirement, appearing in many fields such as mission critical applications, financial, and real time systems. In this work we focused on early detection of performance bugs; our software under study was a real time system used in the advertisement/marketing domain. Goal: Find a simple and easy to implement solution, predicting performance bugs. Method: We built several models using four machine learning methods, commonly used for defect prediction: C4.5 Decision Trees, Na\"{\i}ve Bayes, Bayesian Networks, and Logistic Regression. Results: Our empirical results show that a C4.5 model, using lines of code changed, file's age and size as explanatory variables, can be used to predict performance bugs (recall=0.73, accuracy=0.85, and precision=0.96). We show that reducing the number of changes delivered on a commit, can decrease the chance of performance bug injection. Conclusions: We believe that our approach can help practitioners to eliminate performance bugs early in the development cycle. Our results are also of interest to theoreticians, establishing a link between functional bugs and (non-functional) performance bugs, and explicitly showing that attributes used for prediction of functional bugs can be used for prediction of performance bugs

Rapid killing of bed bugs (Cimex lectularius L.) on surfaces using heat: application to luggage.

BackgroundThe resistance of bed bugs (Cimex lectularius L.) to chemical insecticides has motivated the development of non-chemical control methods such as heat treatment. However, because bed bugs tend to hide in cracks or crevices, their behavior incidentally generates a thermally insulated microenvironment for themselves. Bed bugs located on the outer surface of luggage are less insulated and potentially more vulnerable to brief heat treatment.ResultsSoft-sided suitcases with adult male bed bugs on the outside were exposed to an air temperature of 70-75 °C. It took 6 min to kill all of the bed bugs, even those that had concealed themselves under zipper flaps or decorative piping. During heating, only one bed bug (out of 250 in total) moved into the luggage (through a closed zipper). Over long periods of time (24 h) at room temperature, adult male bed bugs on the exterior of luggage only infrequently moved inside; only 3% (5/170) had moved inside during 24 h.ConclusionsBrief exterior heat treatment of luggage is a promising way to reduce the spread of bed bugs being transported on the outer surface of luggage. This treatment will not kill bed bugs inside the luggage, but could be a component of integrated management for this pest. © 2016 Society of Chemical Industry

How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment. A number of static analysis tools have been developed for finding security bugs in smart contracts. However, despite the numerous bug-finding tools, there is no systematic approach to evaluate the proposed tools and gauge their effectiveness. This paper proposes SolidiFI, an automated and systematic approach for evaluating smart contract static analysis tools. SolidiFI is based on injecting bugs (i.e., code defects) into all potential locations in a smart contract to introduce targeted security vulnerabilities. SolidiFI then checks the generated buggy contract using the static analysis tools, and identifies the bugs that the tools are unable to detect (false-negatives) along with identifying the bugs reported as false-positives. SolidiFI is used to evaluate six widely-used static analysis tools, namely, Oyente, Securify, Mythril, SmartCheck, Manticore and Slither, using a set of 50 contracts injected by 9369 distinct bugs. It finds several instances of bugs that are not detected by the evaluated tools despite their claims of being able to detect such bugs, and all the tools report many false positivesComment: ISSTA 202

The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial TechnologiesThis study concerns about the contributions of Web 2.0 tools to Public Participation Geographic Information System (PPGIS) and of PPGIS to participatory planning. Web 2.0 tools are increasingly occupying an important role in the universe of geographic information consciousness. Both Web 2.0 and PPGIS are about decentralization, public mapping, and local knowledge, encouraging throughout productive results. The project develops a Web 2.0 PPGIS mashup application through free, easy-to-use tools. It consists of a Web mapping service, with eligible GI layers, where users explore and comment. A database stores the contributions in a format supported by GIS. Finally, we set a first version at Canela – Brazil, to test the usefulness of the method on a real planning scenario. Results shown it is a valuable approach for engaging the public in participatory planning. It promotes communications among users and with decision makers in a more interactive and straightforward way. The Web 2.0 PPGIS is easy to set and understandable by nonexperts, and can be easily applied on other contexts