Filters








969 Hits in 9.6 sec

Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies

Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen
2008 Journal of Software and Systems Modeling  
This paper demonstrates the potential of STAIRS in this respect, in particular that refinement in STAIRS preserves adherence to information flow properties as well as policies.  ...  STAIRS supports a stepwise refinement process under which trace properties as well as trace-set properties are preserved.  ...  Acknowledgments The research on which this paper reports has been partly funded by the Research Council of Norway through the projects ENFORCE (164382/V30) and DIGIT (180052/S10), and partly by the European  ... 
doi:10.1007/s10270-008-0102-3 fatcat:j7iiib46wzhanhbmjv6kj4p6ku

SoSyM at 7 years

Robert France, Bernhard Rumpe, Martin Schindler
2008 Journal of Software and Systems Modeling  
We also thank our publishing staff at Springer, namely: Hermann Engesser, Gabriele Stjepanovic, and Dorothea Glaunsinger. They all provided significant assistance during  ...  This issue also contains an Expert's Voice article titled "Adherence Preserving Refinement of Trace-set Properties in STAIRS-Exemplified for Information Flow Properties and Policies" by Ketil Stølen, Fredrik  ...  The article discusses how properties are preserved under refinement in STAIRS in which properties remain invariant under refinement. The issue also contains three regular papers.  ... 
doi:10.1007/s10270-008-0107-y fatcat:og2jdrp44zgybihd4vrdt7hacm

Modular analysis and modelling of risk scenarios with dependencies

Gyrd Brændeland, Atle Refsdal, Ketil Stølen
2010 Journal of Systems and Software  
Østvold for creating lpchk: a proof analyser for proofs written in Lamport's style [27] that checks consistency of step labelling and performs parentheses matching, and also for proof reading and useful  ...  We would like to thank Bjørnar Solhaug for extensive comments and very helpful suggestions for improvements on an earlier version of this report.  ...  Trace-set properties that are specified by the operator for mandatory choice in STAIRS can be preserved under refinement.  ... 
doi:10.1016/j.jss.2010.05.069 fatcat:pn7zaslh2bg6lkea6lxua6obxq

VOLUME 16 : 2018

Malaysia UTM
2018 PLANNING MALAYSIA JOURNAL  
PLANNING MALAYSIA: Acknowledgment of Funding Sources Sources of funding for the research reported in the article should be duly acknowledged at the end of the article.  ...  Therefore, we would like to express our gratitude to the Ministry of Higher Education, and The National University of Malaysia (UKM) for the research grants awarded.  ...  mm) for major elements and certified reference materials, SY-2 (Calibration: Trace Element P-20) for trace elements.  ... 
doi:10.21837/pmjournal.v16.i5.442 fatcat:gscntikwzbhwfk6dt2nfl4hrxa

The New "Emergence Economics" of Innovation And Growth, and What It Means for Communications Policy

Richard S. Whitt, Stephen J. Schultze
2009 Journal on Telecommunications and High Technology Law  
is a selforganized emergent property of thousands of informal mores and 334.  ...  increased market trust for certain activities; and (4) enhancing market feedback mechanisms, to facilitate better decisions through generating greater flows of timely and accurate information.  ... 
dblp:journals/jthtl/WhittS09 fatcat:w5eygq7sfjghtkl3relrfcdhfq

Elaborated report of cross-discipline principles-rules-constraints, and interfaces definition for cross-disciplinary and multi-simulation perspectives in VR

Jeg Dudley, Helmut Kinzler, Arun Selvaraj, Spiros Nikolopoulos, Martin Brösamle
2021 Zenodo  
These studies build upon the research undertaken in previous Deliverables - particularly D3.1 and D6.1 - and take the form of user interviews, followed by functionality maps, which together inform the  ...  Section 2 begins by first analysing in-depth several existing AEC ontologies, and evaluating their relative suitability for the PrismArch platform.  ...  D1.2 Cross Disciplinary Principles & Interface Definitions PrismArch 952002 Filename: PrismArch_D1.2_v1.0 We believe that all of these options (described in detail below) are technically feasible, by adapting  ... 
doi:10.5281/zenodo.5667710 fatcat:owl3htuarfgrvoicuerz5tduqi

Why it hurts – Save the Children Norway and the Dilemmas of 'Going Global'

Maren Olene Kloster
2018 Forum for Development Studies  
Festo Jambo Elias at the University of Juba's College of Medicine for facilitating introductions to informants and participating in discussions about emerging findings.  ...  Acknowledgements I want to thank the project staff at both district and national level in Malawi and the project team at the NGO office in Norway for sharing their experiences and reflections with me.  ...  Next, I trace the development of Malawi's population and maternal health policies. Finally, I discuss the increasingly important role of NGOs and their implications for policy and practice in Malawi.  ... 
doi:10.1080/08039410.2018.1511632 fatcat:qdedfnyitfdbpjczueht4vd5zu

From Motor Control to Team Play in Simulated Humanoid Football [article]

Siqi Liu, Guy Lever, Zhe Wang, Josh Merel, S. M. Ali Eslami, Daniel Hennes, Wojciech M. Czarnecki, Yuval Tassa, Shayegan Omidshafiei, Abbas Abdolmaleki, Noah Y. Siegel, Leonard Hasenclever (+10 others)
2021 arXiv   pre-print
We develop a method that combines imitation learning, single- and multi-agent reinforcement learning and population-based training, and makes use of transferable representations of behaviour for decision  ...  Our work constitutes a complete demonstration of integrated decision-making at multiple scales in a physically embodied multi-agent setting. See project video at https://youtu.be/KHMwq9pv7mg.  ...  Acknowledgments We would like to thank: Seyhan Efendiler for his design of the players' kit; Matt Botvinick, Martin Riedmiller, Raia Hadsell, Doina Precup, Max Jaderberg, Jost Tobias Springenberg and Peter  ... 
arXiv:2105.12196v1 fatcat:owunoflhgbfofo63hhqbkyg4hy

Towards a synchronized semantic model to support aspects of building management

Michael Dibley, Haijiang Li, John Miles, Yacine Rezgui
2009 2009 7th IEEE International Conference on Industrial Informatics  
Signed (candidate) Date This thesis is being submitted in partial fulfilment of the requirements for the degree of PhD.  ...  This work has not previously been accepted in substance for any degree and is not concurrently submitted in candidature for any degree.  ...  Acknowledgements The author gratefully acknowledges the help, support and guidance of his supervisors Dr Haijiang Li and Professor John Miles. The research was funded by the EPSRC.  ... 
doi:10.1109/indin.2009.5195822 fatcat:z2s4micvrvhwzioiivpdxz2t54

Finance & Development, March 2004

IMF. External Relations Dept.
2004 Finance & Development  
Telephone: (202) 623-8300 Facsimile: (202) 623-6149 Website: http://www.imf.org/fandd Finance & Development gives permission promptly and free of charge when the intended reproduction is for noncommercial  ...  ., David Canning, and Pia Malaney, 2000, "Demographic Change and Economic Growth in Asia," Supplement to Population and Development Review, Vol. 26, pp. 257-90.  ...  Soares, 2003, "The Quantity and Quality of Life and the Evolution of World Inequality" NBER Working Paper No. 9765 (Cambridge, Massachusetts: National Bureau of Economic Research).  ... 
doi:10.5089/9781451953411.022 fatcat:ixjof6rthffojkasspjjl7wc6e

Pinna-related transfer functions and lossless wave equation using finite-difference methods: Verification and asymptotic solution

Sebastian T. PrepeliȚă, Javier Gómez Bolaños, Michele Geronazzo, Ravish Mehra, Lauri Savioja
2019 Journal of the Acoustical Society of America  
In this paper, known and manufactured formal solutions are used and tailored for the wave equation and frequency-independent boundary conditions inside a rectangular room of uniform acoustic wall-impedance  ...  Asymptotic estimates for pinna acoustics are predicted in the frequency domain based on regression models and a convergence study on sub-millimeter grids.  ...  Measurement: a set of designed operations which results in the well-posed flow of information from an observable physical source to a data space.  ... 
doi:10.1121/1.5131245 pmid:31795719 fatcat:c2dyqwi3izexvn6g7a4xlakh4q

27th Annual Conference of the International Society for Quality of Life Research

2020 Quality of Life Research  
Post hoc analyses showed high patient adherence was associated with clinician's use of the data, high baseline FACT-PWB and older age. High adherence patients had better FACT-PWB scores at 12 weeks.  ...  Patient reports are transferred to the electronic patient records for immediate use in patient care.  ...  Results: Patients and professionals highlighted advantages of TM as compared to  ... 
doi:10.1007/s11136-020-02626-y pmid:33068237 fatcat:nhcifgmpwzcbbnjc6nnjburb5i

Capital's utopia: Vandergrift, Pennsylvania, 1855-1916

2004 ChoiceReviews  
For several properties, I traced their histories.  ...  No information on the value of property is given.  ...  Mosher (b. 1959 Related Books in the Series  ... 
doi:10.5860/choice.42-2405 fatcat:rqt3vgdojfhdtnubomqfiksezi

Nonnative listeners prefer perceptual cues they know from their L1: Dutch listeners use vowel duration less than English listeners for English final /v/‐/f/

Mirjam Broersma
2008 Journal of the Acoustical Society of America  
from maximizing information contained in the neural representation about a set of categories.  ...  The Health Insurance Portability and Accountability Act of 1996 ͑HIPAA͒ set speech privacy requirements for medical related information without defining speech privacy for all situations.  ...  replica set for any STAP algorithm.  ... 
doi:10.1121/1.2933287 fatcat:gqdetkftz5cmrghkql35figuw4

Green's-function reaction dynamics: A particle-based approach for simulating biochemical networks in time and space

Jeroen S. van Zon, Pieter Rein ten Wolde
2005 Journal of Chemical Physics  
from maximizing information contained in the neural representation about a set of categories.  ...  The Health Insurance Portability and Accountability Act of 1996 ͑HIPAA͒ set speech privacy requirements for medical related information without defining speech privacy for all situations.  ...  replica set for any STAP algorithm.  ... 
doi:10.1063/1.2137716 pmid:16392952 fatcat:tyehqewfnzahfju3rxvivugvaa
« Previous Showing results 1 — 15 out of 969 results