86,508 research outputs found
PALM: A Technique for Process ALgebraic Specification Mining
No full textWe propose a technique to automatically generate a formal specification of the model of a system from a set of observations of its behaviour. We aim to free systems modellers from the burden of explicitly formalising the behaviour of an existing system to analyse it. We take advantage of an algorithm introduced by the process mining community, which takes as input an event log and generates a formal specification that can be combined with other specifications to obtain a global model of the overall behaviour of a system. Specifically, we have adapted a known process discovery algorithm to produce a specification in mCRL2, a formal specification language based on process algebras. The availability of mCRL2 specifications enables us to take advantage of its rich toolset for verifying systems properties and for effectively reasoning over distributed scenarios where multiple organizations interact to reach common goals. This is an aspect that is not supported by the approaches based on Petri Nets, usually used for process mining. The methodology has been integrated in a stand-alone tool and has been validated using custom-made and real event logs
Verification of privacy-enhanced collaborations
No full textIn a distributed scenario it is possible to find systems consisting of independent parties that collaboratively execute a business process, but cannot disclose a subset of the data used in this process to each other. Such systems can be modelled using the PE-BPMN notation: a privacy-enhanced extension of the BPMN process modeling notation. Given a PE-BPMN model, we address the problem of verifying that the content of certain data objects is not leaked to unauthorized parties. To this end, we formalise the semantics of PE-BPMN collaboration diagrams via a translation into process algebraic specifications. This formalisation enables us to apply model checking to detect unintended data leakages in a PE-BPMN model. We specifically consider data leakages in the context of secret sharing technology. The approach has been implemented on top of the mCRL2 toolset, and integrated into the Pleak toolset supporting privacy analysis of business processes. The proposal has been evaluated using real scenarios
Photo-selective nets on flat peach: a study in central Italy
No full textThe use of photo-selective anti-hail nets represents one of the latest technical advancements in fruit cultivation, offering an improvement over commonly-used anti-hail or anti-insect nets. These nets can protect crops from excessive radiation, as well as from hail and pests, while simultaneously enhancing the environment beneath them in terms of temperature and humidity. However, there may be some potential side effects such as reduced yields and/or quality, hence the characteristics of the nets (mesh type, colour, shading) must be tailored to the climate and the specific plant species and cultivars. In 2021, a study was conducted on the flat peach (Prunus persica (L.) Batsch. var. compressa Bean.) cultivar ‘Platibelle’. Photo-selective anti-hail nets of different colours (red, yellow, pearl with mesh size of 2.4×4.8 mm) were tested to assess their effect on the physiological and productive response of the plants. Some differences were observed in the qualitative and quantitative characteristics of the fruit: under the yellow net, the fruits had greater weight and diameter. Similar behaviour was observed in the gas exchange of the plants under different colours, although shading was greater under the red net. These data can help understand the effect of different net characteristics and assist producers in choosing the best net to achieve their objective
Variations on the Author
No full text“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
[Newspaper Clipping: Author Claims Evidence of Second JFK Assassin #1]
No full textNewspaper article titled "Author Claims Evidence of Second JFK Assassin." The article states that author Richard J. Whalen concluded "that there is circumstantial evidence to support the theory of a second assassin in the shooting of President John F. Kennedy.
Also By The Same Author: AKTiveAuthor, a Citation Graph Approach to Name Disambiguation
No full textThe desire for definitive data and the semantic web drive for inference over heterogeneous data sources requires co-reference resolution to be performed on those data. In particular, name disambiguation is required to allow accurate publication lists, citation counts and impact measures to be determined. This paper describes a graph-based approach to author disambiguation on large-scale citation networks. Using self-citation, co-authorship and document source analyses, AKTiveAuthor clusters papers, achieving precision of 0.997 and recall of 0.818 over a test group of eight surname clusters
John F. Kennedy telegram to Roosevelt
No full textJersey Homesteads (later the Borough of Roosevelt) was established in the 1930s as an agro-industrial cooperative community. It was established specifically for urban Jewish garment workers, many of whom had emigrated from Europe. President John F. Kennedy sent a telegram to the citizens of Roosevelt, New Jersey, apologizing for not being able to attend the memorial dedication in honor of former President Franklin Delano Roosevelt. (Jersey Homesteads became Roosevelt in 1945 in honor of the president.) President Kennedy expressed his gratitude to the people of Roosevelt for constructing the memorial, and commented that it will serve as a constant reminder of Roosevelt's good works
Logarithmic variance profiles and the corresponding f-1 spectra of temperature fluctuations in turbulent Rayleigh-Bénard convection
No full textWe report experimental results for the temperature variance 2(z) and the corresponding frequency spectra P(f) in turbulent Rayleigh-Bénard convection (RBC) in a cylindrical sample of aspect ratioT= D/L = 1:00 (D = 1:12 m is the diameter and L = 1:12 m the height). The measurements were conducted in the Rayleigh-number range 1011 < Ra < 1:35 1014 and Pr ' 0:8. For Ra = 1:35x1014, 2(z) could be described well by a logarithmic dependence on the vertical position z in a range of z 1 < z < z 2 with z 1 ' 70 and z 2 = 0:1L. Here L=(2Nu) is the thickness of a thin thermal sublayer adjacent to the horizontal plate where the heat flux (denoted by the Nusselt number Nu) is carried mostly by thermal diffusion. In the log layer, we found that the temperature spectra had a significant frequency range over which P(f) f with close to 1. As Ra decreased, increased so that the log layer became thinner. At Ra = 2:05 1011, z 2 < z 1 and therefore there was no range for a log layer. Correspondingly, the temperature spectrum near the horizontal plate did not have the f1 scaling form either
Maine author Franklin F. Gould recalls his first glimpse of the outside world
No full textMaine author Franklin F. Gould recalls his first glimpse of the outside world as he relates how, as a young farm boy in the late 1800\u27s, he drove his father\u27s horses on an errand to an icebound river
Mapping the Discipline of the Olympic Games An Author-Cocitation Analysis
No full textThe authors conducted an author cocitation analysis on prominent authors writing about the Olympics during the 1990s. Author cocitation is an established bibliometric technique that can be used to measure the relative similarities of topics written about by the cited authors. This enables a visual representation of the “intellectual space” of the discipline, in this case the Olympics, to be created for the period under review. So core and peripheral research areas are identified, along with their major contributors. The representation appears as a two-dimensional cluster-enhanced map. Subject expertise was then applied to the results to place labels on the generated clusters of authors and their topics
- …
