Results 21 to 30 of about 910,708 (274)
Characterising Concurrent Histories [PDF]
Fundamenta Informaticae, 2015 Non-interleaving semantics of concurrent systems is often expressed using posets, where causally related events are ordered and concurrent events are unordered. Each causal poset describes a unique concurrent history, i.e., a set of executions, expressed as sequences or step sequences, that are consistent with it.
Janicki, R. +3 more
openaire +3 more sources
Experimental determination of the degree of quantum polarisation of continuous variable states [PDF]
, 2012 We demonstrate excitation-manifold resolved polarisation characterisation of continuous-variable (CV) quantum states. In contrast to traditional characterisation of polarisation that is based on the Stokes parameters, we experimentally determine the ...
Christian Kothe +8 more
core +2 more sources
Results in Physics, 2019 This study investigated the effect of the addition of montmorillonite into a hydroxyapatite nanocomposite for biomedical application. Hydroxyapatite (HA)/montmorillonite (MMT) nanocomposite was prepared using a powder sintering technique at 800 °C for 2 ...
Rosnah Nawang +4 more
doaj +1 more source
File popularity characterisation [PDF]
ACM SIGMETRICS Performance Evaluation Review, 2000 A key determinant of the effectiveness of a web cache is the locality of the files requested. In the past this has been difficult to model, as locality appears to be cache specific. We show that locality can be characterised with a single parameter, which primarily varies with the topological position of the cache, and is largely independent of the ...
Roadknight, Chris +2 more
openaire +2 more sources
FROG characterisation of SOA-based wavelength conversion using XPM in conjunction with shifted filtering up to line rates of 80 GHz [PDF]
, 2006 The work we present here builds on recent work where we obtained 80 Gb/s error free performance using cross phase modulation (XPM) in an SOA in conjunction with a blue shifted bandpass filter.
Anandarajah, Prince M. +7 more
core +2 more sources
Journal of Magnesium and Alloys, 2017 Magnesium alloy AZ31 was caliber rolled at different temperatures viz. 523K, 573K, 623K, 673K and 723K imposing a total cumulative reduction of 92% and a cumulative strain of 2.6.
Abhishek Tripathi +2 more
doaj +1 more source
Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking [PDF]
, 2003 This paper presents a framework for a logical characterisation of fault tolerance and its formal analysis based on partial model checking techniques.
Gnesi, S., Lenzini, G., Martinelli, F.
core +3 more sources
Bioinorganic Chemistry and Applications, 2013 The nanoparticles used in this study were prepared from AgNO3 using NaBH4 in the presence of capping agents such as citrate, sodium dodecyl sulfate, and polyvinylpyrrolidone. The formed nanoparticles were characterized with UV-Vis, TEM, and XRD.
Aruna Jyothi Kora, Lori Rastogi
doaj +1 more source
Ticks and Tick-Borne DiseasesIxodes ricinus is a key vector of several bacterial pathogens, including Borrelia and Rickettsia species. To assess bacterial prevalence and diversity, we characterised the microbiome of ticks collected from a single UK woodland, comparing different ...
Mia L. White +13 more
doaj +1 more source
Physico-chemical and bacteriological screening of Hussain Sagar lake: An urban wetland
Water Science, 2017 Hussain Sagar is a man-made lake originally designed for drinking water purpose that receives domestic sewage and industrial effluents through drainage canals due to rapid residential and industrial growth.
Aruna Jyothi Kora +3 more
doaj +1 more source