Filters








2,240,767 Hits in 6.6 sec

HOW CAN SMALL-SCALE EVENTS CONTRIBUTE TO THE TOURISM PROGRESS OF AN UNDEVELOPED BORDER AREA? LESSON FROM EASTERN SERBIA

Dobrila LUKIĆ, Eighth Belgrade Grammar School ,71 Grčića Milenka St., Belgrade 11000, Serbia, Sunčica STANKOVIĆ, Marko D. PETROVIĆ, Milan M. RADOVANOVIĆ, Darko VUKOVIĆ, Center for Strategic Researching and National Security – Cesna B, 35 Vojvode Vlahovića St., Belgrade 11000, Serbia, Geographical Institute "Jovan Cvijić", Serbian Academy of Sciences and Arts, 9 Djure Jakšića, St., Belgrade 11000, Serbia; South Ural State University, Institute of Sports, Tourism and Service, 76 Lenin Ave., Chelyabinsk 454080, Russia, Geographical Institute "Jovan Cvijić", Serbian Academy of Sciences and Arts, 9 Djure Jakšića, St., Belgrade 11000, Serbia; South Ural State University, Institute of Sports, Tourism and Service, 76 Lenin Ave., Chelyabinsk 454080, Russia, Ural Federal University, Graduate School of Economics and Management, 19 Mira St., Yekaterinburg 620002, Russia; Perm National Research Polytechnic University, Department of Economics and Industrial Engineering, 29 Komsomol'skiy Prospekt, Perm 614990, Russia
2020 Geo Journal of Tourism and Geosites  
positioning of an event on the tourism market depends on, both on the local and on the international level.  ...  The tourism valorization of the event "Danube Fair" was done according to the geographical and economic criteria, and it was determined that it belongs to the category of regional events.  ...  Acknowledgments Authors would like to thank Russian Foundation for basic research for the financial support provided within the project No. 17-22-07001-ОГН (Complex algorithm for cultural regeneration  ... 
doi:10.30892/gtg.302spl17-521 fatcat:ehcjqp55vvb4hcox3dbcwpd6ne

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  
This paper outlines a comorphism relationship between the institutions for Event-B and CSP, leveraging existing tool-chains to facilitate verification.  ...  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  ...  We have added an implementation for our institution for Event-B, EVT CASL, to Hets.  ... 
doi:10.1007/978-3-319-68690-5_9 fatcat:pfwe3mowevh25apr4wwxjaryam

Building Specifications in the Event-B Institution [article]

Marie Farrell, Rosemary Monahan, James F. Power
2021 arXiv   pre-print
We define an institution for Event-B, EVT, and prove that it meets the validity requirements for satisfaction preservation and model amalgamation.  ...  This paper describes a formal semantics for the Event-B specification language using the theory of institutions.  ...  Having built an institution to support the core concepts in Event-B, we can then use this institution as a target for the semantics of the full Event-B specification language.  ... 
arXiv:2103.10881v1 fatcat:npfmehfvgfcejcufekkp7yr7fa

Embedding Landmarks and Scenes in a Computational Model of Institutions [chapter]

Owen Cliffe, Marina De Vos, Julian Padget
2008 Lecture Notes in Computer Science  
Different authors have tackled the problem of designing and verifying institutions from different angles.  ...  Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient.  ...  In particular, we define a subset of the exogenous events as creation events, E + , which contain events which account for the creation of an institution and a subset of the institutional events as dissolution  ... 
doi:10.1007/978-3-540-79003-7_4 fatcat:g76udhibqzbn7ixwtloho7ev3q

Formalizing the Institution for Event-B in the Coq Proof Assistant [chapter]

Conor Reynolds
2021 Lecture Notes in Computer Science  
AbstractWe formalize a fragment of the theory of institutions sufficient to establish basic facts about the institution "Image missing" for Event-B, and its relationship with the institution "Image missing  ...  We prove the satisfaction condition for "Image missing" and encode the institution comorphism "Image missing" embedding "Image missing" in "Image missing" .  ...  Event-B has an associated development process for system-level modelling and analysis.  ... 
doi:10.1007/978-3-030-77543-8_17 fatcat:lux7ribvaffmvj3hpserkxwxna

An analysis of agent speech acts as institutional actions

Marco Colombetti, Mario Verdicchio
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 3 - AAMAS '02  
In this paper we analyze the concept of speech act, and point out the main differences between speech acts, conceived as a special category of "institutional" actions, and natural actions.  ...  This attitude often results in a fairly confused and inadequate account of what it means that an agent performs a speech act -a situation that is likely to hinder further developments in the field of Agent  ...  Note that for this definition to make sense it is necessary that t be an institutional event type.  ... 
doi:10.1145/545090.545092 fatcat:f4fc7ejdtjbjfkpkympabojh5y

An analysis of agent speech acts as institutional actions

Marco Colombetti, Mario Verdicchio
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 3 - AAMAS '02  
In this paper we analyze the concept of speech act, and point out the main differences between speech acts, conceived as a special category of "institutional" actions, and natural actions.  ...  This attitude often results in a fairly confused and inadequate account of what it means that an agent performs a speech act -a situation that is likely to hinder further developments in the field of Agent  ...  Note that for this definition to make sense it is necessary that t be an institutional event type.  ... 
doi:10.1145/545056.545092 dblp:conf/atal/ColombettiV02 fatcat:7ayqjnwlfbcwpeeencomwpgsga

Automated multi-level governance compliance checking

Thomas C. King, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian Padget, M. Birna van Riemsdijk
2017 Autonomous Agents and Multi-Agent Systems  
An institution typically comprises constitutive rules, which give shape and meaning to social interactions and regulative rules, which prescribe agent behaviour in the society.  ...  When an institution design is found to be non-compliant, punishments can be issued by annulling the legislation or imposing fines on the responsible designers (i.e., government).  ...  Acknowledgements We would like to thank the anonymous reviewers of JAAMAS for helping to improve the article. Thomas C. King would like to thank John R.  ... 
doi:10.1007/s10458-017-9363-y fatcat:pyiw7gwedve7ta5ym5dca3a6pq

CulSim: A simulator of emergence and resilience of cultural diversity

Roberto Ulloa
2016 SoftwareX  
CulSim provides a collection of tools to analyze resilience of cultural diversity when events affect agents, institutions or global parameters of the simulations; upon combination, events can be used to  ...  CulSim is an agent-based computer simulation software that allows further exploration of influential and recent models of emergence of cultural groups grounded in sociological theories.  ...  Acknowledgments I would like to thank Celina Kacperski for revisions of this manuscript and the user manual.  ... 
doi:10.1016/j.softx.2016.07.005 fatcat:donmwtziajad5ft7boijdb2oby

Systemic Risk: Time-Lags and Persistence

Christian Kubitza
2016 Social Science Research Network  
This definition was also adopted by the Financial Stability Board (2011, p. 5) in the sense, that an institution or market is considered as being systemic if its "failure or malfunction causes widespread  ...  event occurs with a specific time-lag to the triggering event.  ...  In Section B.4 we propose an estimation procedure forτ .  ... 
doi:10.2139/ssrn.2782429 fatcat:h5xvwqq7xrf53i54shuu45kzt4

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 fact, an event is represented as a term, whereas an event that has happened is an atom H(Event, T ime) where Event is a T erm and T ime is an integer denoting the time at which that event happened.  ... 
doi:10.1007/978-3-642-40776-5_7 fatcat:srww5vvuvjcltk4wxeppijmurq

A homogeneous earthquake catalogue for Turkey

Onur Tan
2021 Natural Hazards and Earth System Sciences  
It contains not only Mw* but also the average and median of the observed magnitudes for each event.  ...  Contrary to the limited earthquake parameters in the previous catalogues for Turkey, the 45 parameters of ∼378 000 events are presented in this study.  ...  I would like to thank Özlem Karagöz Tan for her support and encouragement for this study. All maps and graphs are plotted using the Generic Mapping Tools (GMT) by Wessel and Smith (1998) .  ... 
doi:10.5194/nhess-21-2059-2021 fatcat:a4z5s4p7eracpczhuy4mxwwuse

Programming Institutional Facts in Multi-Agent Systems [chapter]

Maiquel de Brito, Jomi F. Hübner, Rafael H. Bordini
2013 Lecture Notes in Computer Science  
Our approach was evaluated through a case study where we compare two solutions for an application: the original design and a new one based on our proposal.  ...  In this paper, we investigate also the environment as an important source of facts that change the institution.  ...  We would like to thank Alessandro Ricci and Michele Piunti for their contributions to this work.  ... 
doi:10.1007/978-3-642-37756-3_10 fatcat:bqf2sfkyprcn3lwcwh2ix4oxzy

A component-based approach to standardising agent communication

Frank Guerin, Wamberto Vasconcelos
2007 Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07  
We describe a standard meta-language in which the rules of an arbitrary institution can be specified. In this way different agent communication languages can be given a common grounding.  ...  The diversity of existing approaches suggests that no single agent communication language can satisfactorily cater for all scenarios.  ...  A Prolog clause of the form "pred1(A,B):-pred2(A), pred3(B)" becomes " [1,pred1(A,B) ,pred2(A),pred3(B)]". This corresponds to the Horn clause pred2 (A)∧pred3 (B) → pred1 (A, B) .  ... 
doi:10.1145/1329125.1329167 dblp:conf/atal/GuerinV07 fatcat:yiogdkvkpbcs7bl26jj3gpan4i

Wealth Transfer Effects of Analysts' Misleading Behavior

GUS DE FRANCO, HAI LU, FLORIN P. VASVARI
2007 Journal of Accounting Research  
We are grateful to an anonymous reviewer and Douglas Skinner (Editor) for many helpful suggestions. We also benefited from the helpful comments of  ...  During this period daily small-size trades (a proxy for individual investors) are dominated by buy orders while daily large-size trades (a proxy for institutional investors) are dominated by sell orders  ...  presents an analysis that investigates the effect of returns and short sales as an alternative explanation for the negative changes in institutional holdings over the event period.  ... 
doi:10.1111/j.1475-679x.2006.00228.x fatcat:yywy26lzqjditb2n6yaexp7bum
« Previous Showing results 1 — 15 out of 2,240,767 results