Filters








604,144 Hits in 6.4 sec

Building Specifications in the Event-B Institution [article]

Marie Farrell, Rosemary Monahan, James F. Power
2021 arXiv   pre-print
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

Programming Institutional Facts in Multi-Agent Systems [chapter]

Maiquel de Brito, Jomi F. Hübner, Rafael H. Bordini
2013 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

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability [chapter]

Marie Farrell, Rosemary Monahan, James F. Power
2017 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

Page 79 of Human Resources Abstracts Vol. 21, Issue 1 [page]

1986 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.  ... 

Risk factors for delays in rail investments implemented in the Design & Build contracts

Jan Kowalski, Mieczysław Połoński, Marzena Lendo – Siwicka, K. Wilde, M. Niedostatkiewicz
2019 MATEC Web of Conferences  
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

Knowing maintenance vulnerabilities to enhance building resilience

Lam Pham, Ekambaram Palaneeswaran, Rodney Stewart
2018 Procedia Engineering  
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

Verifying MSMAS Model Using $\mathcal{S}$ CIFF [chapter]

Emad Eldeen Elakehal, Marco Montali, Julian Padget
2013 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

Page 4 of The Octagon Vol. 10, Issue 12 [page]

1938 The Octagon  
(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.  ... 

Local Effects of Large New Apartment Buildings in Low-Income Areas

Brian J. Asquith, Evan Mast, Davin Reed
2021 Review of Economics and Statistics  
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

Marketing challenges for marketing of cultural institutions and events [chapter]

Tomasz Domański
2016 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

PROBLEMS OF FIRE PROTECTION IN MENTAL INSTITUTIONS

Charles E. Goshen
1959 Psychiatric Services  
(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

ABC4MAS: Assembling Business Collaborations for MAS

T. Penya-Alba, M. Pujol-Gonzalez, M. Esteva, B. Rosell, J. Cerquides, J.A. Rodriguez, C. Sierra, C. Carrascosa, V. Juli´n, M. Rebollo, M. Rodrigo, M. Vasirani
2011 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology  
; 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

Normative Run-Time Reasoning for Institutionally-Situated BDI Agents

Tina Balke, Marina De Vos, Julian Padget, Dimitris Traskas
2011 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology  
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 [3] , 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

Page 1365 of Journal of Clinical Oncology Vol. 26, Issue 8 [page]

2008 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.  ... 

Time Will Tell? Temporality and the Analysis of Causal Mechanisms and Processes

Anna Grzymala-Busse
2010 Comparative Political Studies  
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