390,843 Hits in 6.2 sec

Modelling and Refining Hybrid Systems in Event-B and Rodin [chapter]

Michael Butler, Jean-Raymond Abrial, Richard Banach
2016 From Action Systems to Distributed Systems  
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]

Nicolas Bruno, Surajit Chaudhuri
2006 Lecture Notes in Computer Science  
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


M. De Vries, A.C.J. Van Rensburg
2011 South African Journal of Industrial Engineering  
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

J. Rubio-Loyola, J. Serrat, M. Charalambides, P. Flegkas, G. Pavlou
2006 IEEE Communications Magazine  
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

Marc Kennedy, Andy Hart, Johannes Kruisselbrink, Marco van Lenthe, Waldo de Boer, Hilko van der Voet, Emiel Rorije, Corinne Sprong, Jacob van Klaveren
2019 Zenodo  
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]

Tobia Dondè, Fabio Zanolin
2019 arXiv   pre-print
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

Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
2018 Proceedings of the 13th International Conference on Software Technologies  
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]

Sourya Joyee De, Daniel Le Métayer
2017 Lecture Notes in Computer Science  
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

R.A. Holland, W.R.T. Darwall, K.G. Smith
2012 Biological Conservation  
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

Ngoc Uy Nguyen, Brendan David Stamper
2020 Molecules  
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

Herbert Gintis
2009 Journal of Economic Behavior and Organization  
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

Christopher J.L. Murray, Alan D. Lopez
2000 Health Economics  
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>;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

C.K. Iu
2016 Journal of constructional steel research  
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

Rita Czako, Kanta Subbarao
2015 Future Virology  
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

Shelley Ross, Cheryl-Anne Poth, Michel G. Donoff, Chiara Papile, Paul Humphries, Samantha Stasiuk, Rebecca Georgis
2012 Medical Teacher  
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