نتایج جستجو برای: explorer
تعداد نتایج: 9302 فیلتر نتایج به سال:
General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edin...
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may undertake an action because we hold a particular belief, and revise our beliefs in the light of observed consequences of an action. So studies of these two aspects are inevitably intertwined. However, we argue, a clear separ...
Using the SIOC explorer The entry page shows a list of SIOC forums in the database. In terms of SIOC each collection of posts is called a “forum”. After selecting a forum, a list of post excerpts is shown in the main column. The user can expand a specific post in order to see the full content and comments. The user can then browse posts by author or by topic or by period of time across all foru...
Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight modifications to database systems and little attention has been paid to how the provenance data can be used outside such a system. We present extensions to the Li...
Citation for published version: Stevenson, T, Latham, J, Bower, K, Choularton, T, Coe, H, Connolly, P, Cooper, G, Craft, T, Foster, J, Gadian, A, Galbraith, L, Iacovides, H, Johnston, D, Launder, B, Leslie, B, Meyer, J, Neukermans, A, Ormond, B, Parkes, B, Rasch, PJ, Rush, J, Salter, S, Wang, H, Wang, Q & Wood, R 2012, 'Marine Cloud Brightening' Philosophical Transactions A: Mathematical, Physi...
On-the-fly testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. It can also be called online testing using a model program, to distinguish it from offline test generation as a separate process. We describe a practical on-the-fly testing algorithm that is implemented in the model-based testing tool developed at Microsoft Re...
We provide an overview of the FET-Open Project CerCo (‘Certified Complexity’). Our main achievement is the development of a technique for analysing non-functional properties of programs (time, space) at the source level with little or no loss of accuracy and a small trusted code base. The core component is a C compiler, verified in Matita, that produces an instrumented copy of the source code i...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید