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.
Filters
Modelling and Refining Hybrid Systems in Event-B and Rodin
[chapter]
2016
From Action Systems to Distributed Systems
Preserved Fulltext
We outline an approach to modelling and reasoning about hybrid systems with the Event-B method supported by the Rodin toolset. ...
The approach uses continuous functions over real intervals to model the evolution of continuous values over time. ...
Introduction Event-B is an established formalism that has been applied to a range of systems especially control systems and distributed systems [1] . ...
doi:10.1201/b20053-5
fatcat:c3iw7bhlnrgu7ektvt7yqt3r7a
Physical Design Refinement: The "Merge-Reduce" Approach
[chapter]
2006
Lecture Notes in Computer Science
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 2013; you can also visit the original URL.
The file type is application/pdf.
Although such refinements are often very valuable for DBAs, a completely manual approach to refinement can lead to infeasible solutions (e.g., excessive use of space). ...
These operators help refine a configuration, treating indexes and materialized views in a unified way, as well as succinctly explain the refinement process to DBAs. ...
Physical Design Refinement: The "Merge-Reduce" Approach · 19 Note that we can adapt the knapsack problem to our scenario. ...
doi:10.1007/11687238_25
fatcat:2zusihnzo5fkbgm5otcxhqwccy
EVALUATING AND REFINING THE �ENTERPRISE ARCHITECTURE AS STRATEGY� APPROACH AND ARTEFACTS
2011
South African Journal of Industrial Engineering
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.
Action research is applied to a research group to obtain qualitative feedback on the practicality of the artefacts. ...
In order to do this, a new approach is required to integrate EA into the strategy planning process of the organisation. ...
Action research is used to gain qualitative feedback on the perceived practicality of two key artefacts that are used to underpin this new approach. ...
doi:10.7166/20-1-81
fatcat:ckig7x7vareaxcvg3nxy7jfrnm
A methodological approach toward the refinement problem in policy-based management systems
2006
IEEE Communications Magazine
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 2012; you can also visit the original URL.
The file type is application/pdf.
Policy refinement is meant to derive low-level enforceable policies from high-level guidelines. ...
This article presents a methodological approach towards the policy refinement problem. ...
ACKNOWLEDGMENTS This article was supported in part by the EC IST-EMANICS Network of Excellence (#26854). ...
doi:10.1109/mcom.2006.1710414
fatcat:jghcraxdfnbazdc3yktfxhtq5e
Deliverable 5.5. Methodology and results of the retain and refine approach
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
This deliverable report describes the approach as implemented in the MCRA software and gives examples. ...
Tiered approaches have been developed that include the uncertainty of Cumulative Assessment Group membership and uncertainties due to missing hazard and exposure data that arise for large groups. ...
Two variations of this approach are to use the empirical NOAEL distribution itself (just sample from the NOAEL data), or to fit a distribution (e.g. lognormal) to the empirical data and sample from the ...
doi:10.5281/zenodo.3465690
fatcat:qlkgrgdtqzaffblira5vrmoyqq
Multiple periodic solutions for one-sided sublinear systems: A refinement of the Poincaré-Birkhoff approach
[article]
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
We consider the classical approach based on the Poincaré-Birkhoff fixed point theorem as well as some refinements on the side of the theory of bend-twist maps and topological horseshoes. ...
In this paper we prove the existence of multiple periodic solutions (harmonic and subharmonic) for a class of planar Hamiltonian systems which include the case of the second order scalar ODE x" + a(t)g ...
In principle, our approach could be extended to differential systems in which the weight function displays a finite number of positive humps separated by negative ones. ...
arXiv:1901.09406v1
fatcat:dzxonhqn6zaplihmnkatb27v44
A Refinement based Verification Approach of BPMN Models using NuSMV
2018
Proceedings of the 13th International Conference on Software Technologies
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.
In this paper, we propose a verification technique based on refinement BPMN process which allows to model an application by refinement and to induce gradually required properties at each level from the ...
The step-wise refinement technique facilitates the understanding of complex systems by dealing with the major issues before getting involved in the details. ...
It will be proposed, in this paper, a stepwise refinement approach that facilitates the understanding and therefore the good development of such complex systems. ...
doi:10.5220/0006914105630574
dblp:conf/icsoft/AyariHA18
fatcat:px7b4zev6zf3zgqjukahyiwcq4
A Refinement Approach for the Reuse of Privacy Risk Analysis Results
[chapter]
2017
Lecture Notes in Computer Science
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.
Its goal is to refine the generic harm trees resulting from Phase 1 to obtain harm trees specific to each architecture. In this paper, we illustrate our approach with three architectures: 1. ...
The motivation for the casino owner to disclose data (FE.3, FE.4) or for unauthorized access to data (FE.5, FE.6) is only medium as such actions may have several incentives (such as monetary benefits from ...
doi:10.1007/978-3-319-67280-9_4
fatcat:347ldu6w75fpvnjsek2o4t2miu
Conservation priorities for freshwater biodiversity: The Key Biodiversity Area approach refined and tested for continental Africa
2012
Biological Conservation
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.
Despite containing around a third of all vertebrates, area-based approaches to conservation planning rarely include freshwater species as an explicit target for conservation. ...
To illustrate application of the methodology freshwater Key Biodiversity Areas are identified across continental Africa, and conservation planning software used to prioritise a network of catchments that ...
We would also like to thank representatives from Birdlife International, Conservation International, WWF, Wetland International and UNEP-WCMC who attended a workshop in Cambridge to develop the criteria ...
doi:10.1016/j.biocon.2012.01.016
fatcat:gfkzvrwgwbf4zme5ene64rolgy
A Template-Based Approach for Guiding and Refining the Development of Cinnamon-Based Phenylpropanoids as Drugs
2020
Molecules
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.
This template-based approach utilized publicly available transcriptomic data through the Gene Expression Omnibus (GEO) to identify a fundamental biologic effect; in essence, a phenylpropanoid template ...
Structure-activity relationships describe the relationship between chemical structure and biologic activity and are capable of informing deliberate structural modifications to a molecule in order enhance ...
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/molecules25204629
pmid:33050677
fatcat:54v7khrsezaxraknyjvh5kohgi
The local best response criterion: An epistemic approach to equilibrium refinement
2009
Journal of Economic Behavior and Organization
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.
This criterion is conceptually simpler than the standard refinement criteria, because it does not depend on out-of-equilibrium, counterfactual, or passage to the limit arguments. ...
This paper develops a new refinement criterion, based on epistemic game theory, that captures the concept of a Nash equilibrium that is plausible when players are rational. ...
1, the probability distribution over t computed by Bayesian updating approaches (1/3,2/3). ...
doi:10.1016/j.jebo.2009.03.008
fatcat:5ck2pvn6gbbnlfj6osyratnkgy
Progress and directions in refining the Global Burden of Disease approach: a response to Williams
2000
Health Economics
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.
regards to the original GBD approach. ...
To date, there have been at least four published attempts to develop systems that can be used to map from the levels on a set of domains of health status to valuations of health states described along ...
doi:10.1002/(sici)1099-1050(200001)9:1<69::aid-hec493>3.0.co;2-i
pmid:10694761
fatcat:gedkd52gmzdstlusv4mzkquwpm
Nonlinear analysis for the pre- and post-yield behaviour of a composite structure with the refined plastic hinge approach
2016
Journal of constructional steel 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 2017; you can also visit the original URL.
The file type is application/pdf.
with the refined plastic hinge approach. ...
To this end, this paper addresses of the advanced computational technique of the higher-order element with the refined plastic hinges to capture the all-ranges behaviour of an entire steel-concrete composite ...
Acknowledgements The gratitude was given to the School of Civil Engineering and Built Environment of Queensland University of Technology. ...
doi:10.1016/j.jcsr.2015.11.013
fatcat:cnh3zkglfbcmzbnspasvlb27q4
Refining the approach to vaccines against influenza A viruses with pandemic potential
2015
Future Virology
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.
A large investment in pandemic influenza vaccines in the last decade has resulted in much progress and a body of information that can now be applied to refine the established paradigm. ...
Vaccination is the most effective strategy for prevention and control of influenza. ...
viral proteins to the immune system [168] . ...
doi:10.2217/fvl.15.69
pmid:26587050
pmcid:PMC4648374
fatcat:gjlcvrroezen3ipuwgk5occeu4
Involving users in the refinement of the competency-based achievement system: An innovative approach to competency-based assessment
2012
Medical Teacher
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.
Aim: Integrating intended users' perspectives during the piloting and refinement process of an innovation is necessary to ensure the innovation meets users' needs. ...
, and specific feedback from preceptors. ...
Acknowledgments The authors thank the residents who took part in this study and the administrative staff who helped with scheduling the data collection. ...
doi:10.3109/0142159x.2012.644828
pmid:22289013
fatcat:cbp2hhr72zgkxdr2z3jbhagvaq
« Previous
Showing results 1 — 15 out of 390,843 results