'Beheading', Rule Manipulation and Fraud: The Approval of Election Results in Brazil, 1894-1930

Studies of electoral fraud tend to focus their analyses only on the pre-electoral or electoral phases. By examining the Brazilian First Republic (1889-1930), this article shifts the focus to a later phase, discussing a particular type of electoral fraud that has been little explored by the literature, namely, that perpetrated by the legislatures themselves during the process of giving final approval to election results. The Brazilian case is interesting because of a practice known as degola ('beheading') whereby electoral results were altered when Congress decided on which deputies to certify as duly elected. This has come to be seen as a widespread and standard practice in this period. However, this article shows that this final phase of rubber-stamping or overturning election results was important not because of the number of degolas, which was actually much lower than the literature would have us believe, but chiefly because of their strategic use during moments of political uncertainty. It argues that the congressional certification of electoral results was deployed as a key tool in ensuring the political stability of the Republican regime in the absence of an electoral court.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Prognostic value of the Geneva prediction rule in patients in whom pulmonary embolism is ruled out

The prognosis of patients in whom pulmonary embolism (PE) is suspected but ruled out is poorly understood. We evaluated whether the initial assessment of clinical probability of PE could help to predict the prognosis for these patients.

The pulmonary embolism rule-out criteria (PERC) rule does not safely exclude pulmonary embolism

The Pulmonary Embolism Rule-out Criteria (PERC) rule is a clinical diagnostic rule designed to exclude pulmonary embolism (PE) without further testing. We sought to externally validate the diagnostic performance of the PERC rule alone and combined with clinical probability assessment based on the revised Geneva score.