A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
2008
Journal of Software and Systems Modeling
Preserved Fulltext
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
2008
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Ø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
2018
PLANNING MALAYSIA JOURNAL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal on Telecommunications and High Technology Law
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2021
Zenodo
Preserved Fulltext
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 application/pdf.
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'
2018
Forum for Development Studies
Preserved Fulltext
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 application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
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 application/pdf.
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
2009
2009 7th IEEE International Conference on Industrial Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Finance & Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of the Acoustical Society of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
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 application/pdf.
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
Preserved Fulltext
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 application/pdf.
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/
2008
Journal of the Acoustical Society of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Journal of Chemical Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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