Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Understanding transnational political involvement among Senegalese migrants: The role of acculturation preferences and perceived discrimination

In political debates, migrants' political involvement in their countries of origin and successful adaptation to receiving countries are often portrayed as incompatible. We address this concern by examining the links between acculturation preferences, perceived discrimination, and migrants' transnational political involvement in their country of origin. In line with collective action research, a cross-sectional questionnaire study (N = 84) among Senegalese migrants in Paris (France) and Geneva (Switzerland) examined three pathways to transnational political involvement (motivations and actual behaviour). Perceived discrimination, the grievances pathway, was positively related to both transnational motivations (but only when desire to adopt the receiving culture was low) and political behaviour in Senegal. Desire to adopt the culture of the receiving society as an acculturation preference, the embeddedness pathway, was also positively linked to transnational motivations and political behaviour. Finally, desire to maintain the culture of origin as an acculturation preference —the collective identification pathway— was unrelated to transnational political involvement. These findings underscore the compatibility of transnational political involvement in countries of origin and adaptation to receiving societies. We discuss the pivotal role Transnational political involvement in bringing together acculturation psychology and transnationalism studies

Transitions Between Highly Automated and Longitudinally Assisted Driving: The Role of the Initiator in the Fight for Authority

Objective A driving simulator study explored how drivers behaved depending on their initial role during transitions between highly automated driving (HAD) and longitudinally assisted driving (via adaptive cruise control). Background During HAD, drivers might issue a take-over request (TOR), initiating a transition of control that was not planned. Understanding how drivers behave in this situation and, ultimately, the implications on road safety is of paramount importance. Method Sixteen participants were recruited for this study and performed transitions of control between HAD and longitudinally assisted driving in a driving simulator. While comparing how drivers behaved depending on whether or not they were the initiators, different handover strategies were presented to analyze how drivers adapted to variations in the authority level they were granted at various stages of the transitions. Results Whenever they initiated the transition, drivers were more engaged with the driving task and less prone to follow the guidance of the proposed strategies. Moreover, initiating a transition and having the highest authority share during the handover made the drivers more engaged with the driving task and attentive toward the road. Conclusion Handover strategies that retained a larger authority share were more effective whenever the automation initiated the transition. Under driver-initiated transitions, reducing drivers’ authority was detrimental for both performance and comfort. Application As the operational design domain of automated vehicles (Society of Automotive Engineers [SAE] Level 3/4) expands, the drivers might very well fight boredom by taking over spontaneously, introducing safety issues so far not considered but nevertheless very important

Energy requirement for firing porcelain

Results from studies on the ternary system Ribaué kaolin–Carapira feldspar– Marracuene quartz sands were used to test a procedure that we developed for calculation of the energy requirement for firing porcelain. Results obtained vary between 1300 and 1800 kJ/kg porcelain. These results differ largely from the ones obtained using Hennicke’s procedure. KEY WORDS: Porcelain, Energy requirement for firing porcelain, Kaolin---feldspar---quartz sandsBull. Chem. Soc. Ethiop. 2004, 18(1), 73-80

Evaluation of anti-inflammatory and immunoregulatory activities of Stimunex® and Stimunex D3® in human monocytes/macrophages stimulated with LPS or IL-4/IL-13

Macrophages exert an important role in maintaining and/or ameliorating the inflammatory response. They are involved in the activation of an immune response to pathogens, with a balance between the immunomodulatory role and tissue integrity maintenance, however, excessive macrophage activity promotes tissue injury and chronic disease pathogenesis. There is a high interest in evaluating the anti-inflammatory properties of new botanical preparations. Stimunex® and Stimunex D3® are two food supplements formulated as syrups, containing the extract of elderflower (Sambucus nigra, Caprifoliaceae), standardized in polyphenol (6%) and anthocyanins (4%), associated with wellmune WGP® β-glucan, with the addiction of vitamin D3 (in Stimunex D3® formulation). The aim of the work was the evaluation of Stimunex® and Stimunex D3® activity in human polarized-macrophages, in order to support their use as supplement for preventing and reducing the inflammatory processes. In primary human stimulated macrophages, both syrups were able to revert LPS- and IL-4/IL-13-mediated response, reducing the release of several pro-inflammatory cytokines. Results support that these standardized botanical preparations fortified with β-glucan, may have a potential use in the prevention and coadjuvant management of inflammatory process as respiratory recurrent infections and other similar conditions. Moreover, the addition of vitamin D3 revealed to be an advantage in Stimunex D3® for its important role in maintaining and enhancing the innate immune response

Solitary fibrous tumour of the pleura: surgical treatment

OBJECTIVE: Solitary fibrous tumours (SFT) of the pleura are rare tumours originated from the mesenchimal tissue underlying the mesothelial layer of the pleura. This tumours present unpredictable clinical course probably related to their histological and morphological characteristics. METHODS: Twenty-one patients affected by SFT of the pleura were referred to us for surgical resection from September 1984 to April 2000. They were 15 males and six females with median age of 51 (range 15--73) years. Nine patients (43%) were symptomatic and predominant clinical symptoms or signs were dyspnoea (19%), coughing (14.3%), chest pain (28.5%), finger clubbing (14.3%) and hypoglycaemia (14.3%). Hypoglycaemia was related to a pathological incretion of insulin-like growth factor 2 by the tumour. Chest radiograph and computed tomography of the chest revealed intra-thoracic homogeneous sharply delineated round or lobulated mass sometimes associated with ipsilateral pleural effusion (19%) or causing pulmonary atelectasis with opacification of the complete hemithorax (19%). Surgical excision required 14 posterolateral thoracotomies, six anterior thoracotomies and one video-assisted thoracoscopy. Thirteen tumours arose from visceral pleura and wedge resection was performed, seven tumours arose from parietal pleura and extrapleural resection was carried out without any chest-wall resection, one tumour growth within the upper left lobe and required lobectomy. Tumours weighted from 22 to 1942 g and measured from 22x12x8 to 330x280x190 mm. At cut section seven cases (34%) revealed focal necrosis and hemorrhagic zones and on light microscopy six cases (28.5%) were characterized by high mitotic count: characteristics related with uncertain clinical behaviour. Immuno-histochemical reactions were in all cases positive for CD34. RESULTS: In all our patients resections were complete. Paraneoplastic syndromes like hypoglycaemia and clubbing receded after surgery. No intraoperative or perioperative medical or surgical complications occurred. Median chest-drain duration timed 3 (range 2--5) days and median hospital stay was 5 (range 4--7) days. Perioperative mortality rate was 0%. Median follow-up was 68 (range 2--189) months: during this period patients were submitted to chest X-ray with 6-months interval to evaluate possible local recurrence. Only one patient experienced tumour recurrence after 124 months follow-up: the tumour was suspected after observation of finger clubbing. The tumour was detected and excised by redo-thoracotomy. CONCLUSIONS: Surgical resection of benign solitary fibrous tumours is usually curative, but local recurrences can occur years after seemingly adequate surgical treatment. Malignant solitary fibrous tumours generally have a poor prognosis. Clinical follow-up and radiological follow-up are indicated for both benign and malignant solitary fibrous tumours