A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. ... One of the principal goals of our semantics is to provide access to the generic modularisation constructs available in institutions, including specification-building operators for parameterisation and ... the Event-B superstructure sub-language is defined by translating them into structured specifications over EVT using the function B and the specification-building operators defined in the theory of institutions ...arXiv:2103.10881v1 fatcat:npfmehfvgfcejcufekkp7yr7fa
Lecture Notes in Computer Science
We propose thus a model and a language to specify and program the institutional dynamics as consequence of events and state changes occurring in any of the three component dimensions of the system (agent ... Most current approaches model the dynamics of the institution focusing on the agents and the institution itself as the main sources of facts that produce changes in the institutional state. ... The authors are grateful for the support given by CNPq, grants 307924/2009-2, 307350/2009-6, and 478780/2009-5, and by CAPES. ...doi:10.1007/978-3-642-37756-3_10 fatcat:bqf2sfkyprcn3lwcwh2ix4oxzy
Lecture Notes in Computer Science
In this paper we present a formal framework designed to facilitate interoperability between the Event-B specification language and the process algebra CSP. ... Our previous work used the theory of institutions to provide a mathematically sound framework for Event-B, and this enables interoperability with CSP, which has already been incorporated into the institutional ... As a result, we are now able to write modular Event-B specifications and interoperate with CSPCASL using specification-building operators that are made available in the theory of institutions and supported ...doi:10.1007/978-3-319-68690-5_9 fatcat:pfwe3mowevh25apr4wwxjaryam
Human Resources Abstracts
Human and Social Services 79 153 Bloom, B. L. Stressful life event theory and research: implications for primary prevention. Rockville, MD: National Institute of Mental Health, 1985, 110 pp. ... a part in the development of mental disorders. ...
The article presents the results of nationwide surveys on the causes of delays during the implementation of rail investments in Poland, carried out in the Design & Build formula for the design stage. ... The study did not examine typical causes of threats to general construction works, only those that result from the specifics of works at rail facilities. ... Results Analysis of the frequency of occurrence of specific events First, it was analyzed whether the incidence of specific events was similar or different. ...doi:10.1051/matecconf/201926207007 fatcat:37aqc4jt6zffjfmrbmx4okqrdu
The outcomes in terms of implementation strategies will be useful to building owners, governments, and insurance institutions. ... The outcomes in terms of implementation strategies will be useful to building owners, governments, and insurance institutions. ... (b) community capability to maintain building performance before and after extreme events. ...doi:10.1016/j.proeng.2018.01.164 fatcat:zrwv5wdfkvbpdcladuzppxmrqq
Lecture Notes in Computer Science
MSMAS explicitly supports the institutional organisational structure and follows a declarative modelling style to specify behavioural restrictions on the members of the institution, their roles, the business ... All these aspects are visually represented, by adapting the DECLARE graphical language, proposed for the declarative specification of constraint-based business processes. ... In particular, a system execution is understood by MSMAS in terms of the following events. Institutional events are triggered when a system participant plays a defined institutional role. ...doi:10.1007/978-3-642-40776-5_7 fatcat:srww5vvuvjcltk4wxeppijmurq
(b) Send news items to the press, including re- ports of chapter meetings and activities and of events of local or general interest which have to do with architecture or building. ... (The Publicist of The Institute will be glad to advise with regard to specific prob- lems and prepare releases as requested by local chap- ters. ) 2. Send to James T. ...
We study the local effects of new market-rate housing in low-income areas using microdata on large apartment buildings, rents, and migration. ... If buildings improve nearby amenities, the effect is not large enough to increase rents. ... We evaluate this assumption in Appendix Table A This yields the following event study specification for listing i in year t in CBSA m with treatment status c and nearest building b: log(rent it ) = α ...doi:10.1162/rest_a_01055 fatcat:yxg34dc4uzatthvfd5qtaml7uy
The Role of Cultural Institutions and Events in the Marketing of Cities and Regions
In the case of cultural institutions and events huge role is played by sensory branding, resulting from the climate of specific places and emotions that they generate (Hulten B., Broweus N., van Dijk ... The substance of each and every cultural institution and event consists in the ability to generate a community of enthusiasts of a specific project or action. ... Art in university galleries. Ilustra Mundos exhibition -University of Santiago de Compostela Art in university galleries. ...doi:10.18778/8088-149-5.13 fatcat:phxtfr3j4bdlfpgplqvlrf5yyu
(e) Fire walls dividing different parts of a building can create independent units which will help limit the risk in the event of fire. ... In the event of fire, it is often impossible for the fire department to enter the building, so that the attack on the fire must be carried on from outside. ...doi:10.1176/ps.10.4.31 fatcat:4hdqps6htjbpjmgj6pd4yoed3a
; and (iv) to track the performance of agents within business collaborations to build their trust and reputation within the CE. ... ABC4MAS provides an environment to support the rapid assembly of agent-oriented business collaborations. ... Events are stored in a central event database shared by all virtual organisations spawned from the CE. ...doi:10.1109/wi-iat.2011.10 dblp:conf/iat/Penya-AlbaPERCRSCJRRV11 fatcat:o3riervlcjghdkbwez5isuoldm
Research in logics, and subsequently tools, supports the specification, verification and enactment of institutions. ... However, we identify two problems in the direct utilization of event-based design-time models in the governance of live (running) systems: (i) over-specification of constraints on agent autonomy and (ii ... In  , the authors present the concept of multi-institutions where events in one institution cause events in another or change another institution's state. ...doi:10.1109/wi-iat.2011.49 dblp:conf/iat/BalkeVPT11 fatcat:3epsqae2rzbuxdolov4izvczdi
Journal of Clinical Oncology
Initial Steps in Building a Nomogram Define the patient population: Data source Single institution Multicenter Population-based Specify the outcome of interest: What is the nomogram predicting? ... In our case study, the goal of the nomogram was to predict the probability of a specific malignant histology, conventional clear-cell Table 1. ...
Causal inference and the logic of historical explanation are grounded in temporality. ... Using examples from analyses of institutional change and postcommunist regime transitions, the author argues that aspects of temporality allow us to predict which causal mechanisms can unfold and to differentiate ... Thus, in additive causal relations (A + B = C), a combination of events produces the outcome of interest. ...doi:10.1177/0010414010390653 fatcat:ljudm7dl25ffxaoflrukkgmbdu
« Previous Showing results 1 — 15 out of 604,144 results