Collective intelligence in law enforcement - The WikiCrimes system

Collaboration is on the rise, primordially leveraged by the Web 2.0 in which the difference between information producer and consumer decreases significantly. In this paper we describe WikiCrimes, an example of a Web 2.0 application that offers a collaborative environment based on the use and direct manipulation of maps, in order to register and research criminal events. WikiCrimes is driven by three goals: (i) to give more transparency and publicity to criminal information, (ii) to provide means for citizen prevention, and (iii) to reduce the phenomenon of under-reporting (crimes that are not notified to authorities). In the paper we pay particular attention to the fact that in this context, finding the equilibrium between people’s participation and information credibility is crucial. Anonymous mass collaboration is the easiest way to receive information; however, the credibility of the received information is depreciated, because the source of information is unknown. We particularly concentrate on the ways we have created to keep the “participation vs. reliability of information” trade-off at good level. The reputation model is the main component created with this purpose. The experiences and the obstacles we are facing in the implementation of the project are the subjects of discussion and analyses.     

Channel Bed Slope Effect on the Height of Gravity Waves Produced by a Sudden Downstream Discharge Stoppage

We derive a simple analytical correction of a well-known standard formulation of the gravity wave height produced in a prismatic channel due to a sudden discharge stoppage at the downstream end of the channel. The proposed analytical correction considers the vertical growth of the wave and, as a result, takes into account the effect of the channel bed slope on the wave height. This simple correction is useful to be considered in preliminary designs of relatively long channels subject to unsteady flow conditions.     

A combinatorial approach to the generalized Baker–Campbell–Hausdorff–Dynkin formula

The aim of this paper is to obtain an explicit expression, instead of using a recursive method, for the nth term coefficient of the generalized Baker–Campbell–Hausdorff–Dynkin (gBCHD) formula. The gBCHD formula has been applied to control theory, specially to nonholonomic motion planning.     

Learning extended FSA from software: An empirical assessment

A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. Some of these techniques can produce automata that integrate information about the data-flow, that is, they also represent how data values affect the operations executed by programs.The integration of information about operation sequences and data values into a unique model is indeed conceptually useful to accurately represent the behavior of a program. However, it is still unclear whether handling heterogeneous types of information, such as operation sequences and data values, necessarily produces higher quality models or not.In this paper, we present an empirical comparative study between techniques that infer simple automata and techniques that infer automata extended with information about data-flow. We investigate the effectiveness of these techniques when applied to traces with different levels of sparseness, produced by different software systems. To the best of our knowledge this is the first work that quantifies both the effect of adding data-flow information within automata and the effectiveness of the techniques when varying sparseness of traces.     

Blockchain and smart contract architecture for notaries services under civil law: a Brazilian experience

International Journal of Information Security - This paper proposes a blockchain solution for some activities currently performed by notary offices under the Civil Law judiciary that is technically...     

A selective conductive polymer-based sensor for volatile halogenated organic compounds (VHOC)

A novel poly(p-xylylene), PPX, derivative bearing alkoxyphenyl side groups was electrochemically synthesized in 87% yield. The polymer, poly(4′-hexyloxy-2,5-biphenyleneethylene) (PHBPE), presented a fraction (92%) soluble in common organic solvents. It showed to be thermally resistant up to 185 °C. UV–vis analysis revealed an E_gap of 3.5 eV. Gas sensors made from thin films of 10-camphorsulfonic acid-doped PHBPE deposited on interdigitated electrodes exhibited significant changes in electrical conductance upon exposure to five VHOCs: 1,2-dichloroethane, bromochloromethane, trichloromethane, dichloromethane and tetrachloromethane. The conductance decreased after exposure to tetrachloromethane and increased after exposure to all the other VHOCs. Three-dimensional plots of relative response versus time of half response versus time of half recovery showed good discrimination between the five VHOCs tested.     

State space representation of routing flexibility

This paper describes a state space representation for sequencing and routing flexibility in manufacturing systems. Routing flexibility is represented using five different stages as follows: (i) Precedence Graph of Operations; (ii) State Transition Graph of Manufacturing Operation Sequences; (iii) State Transition Graph of Manufacturing Operation Routes; (iv) Disjunctive Normal Form (DNF) Representation of Manufacturing Sequences; and (v) DNF Representation of Manufacturing Routes. Each representation is able to represent sequencing and routing flexibility at different levels of detail. The third representation is capable of enumerating all possible manufacturing operation routes that can be applied to a certain part, being the most complete representation. Bounds for computation of some of the representations are presented to help users select the most suitable for a specific problem context. The efficacy of the representation is demonstrated through its application to problems such as job route selection and routing flexibility measure.     

Supporting structured parallel program design,development and tuning in FastFlow

The Journal of Supercomputing - The design and tuning of parallel programs is known to be a hard and error-prone process. Structured parallel programming helps overcoming part of the related...     

To lock, or not to lock: That is the question

Mechanisms to control concurrent access over project artefacts are needed to execute the software development process in an organized way. These mechanisms are implemented by concurrency control policies in version control systems that may inhibit (i.e. ‘to lock’) or allow (i.e., ‘not to lock’) parallel development. This work presents a novel approach named Orion that analyzes the project's historical changes and suggests the most appropriate concurrency control policy for each software element. This suggestion aims at minimizing conflict situations and thus improving the productivity of the development team. In addition, it identifies critical elements that do not work well with any of these policies and are candidates to refactoring. We evaluated Orion through two experimental studies and the results, which indicated it was effective, led us to a prototype implementation. Apart from the Orion approach this paper also presents the planning, execution, and analysis stages of the evaluation, and details of prototype internals.