4,583 research outputs found
Neutron dosimetry by reaction rate measurements in standard fast neutron fields
Imperial Users onl
Revisiting the Core Ontology and Problem in Requirements Engineering
In their seminal paper in the ACM Transactions on Software Engineering and
Methodology, Zave and Jackson established a core ontology for Requirements
Engineering (RE) and used it to formulate the "requirements problem", thereby
defining what it means to successfully complete RE. Given that stakeholders of
the system-to-be communicate the information needed to perform RE, we show that
Zave and Jackson's ontology is incomplete. It does not cover all types of basic
concerns that the stakeholders communicate. These include beliefs, desires,
intentions, and attitudes. In response, we propose a core ontology that covers
these concerns and is grounded in sound conceptual foundations resting on a
foundational ontology. The new core ontology for RE leads to a new formulation
of the requirements problem that extends Zave and Jackson's formulation. We
thereby establish new standards for what minimum information should be
represented in RE languages and new criteria for determining whether RE has
been successfully completed.Comment: Appears in the proceedings of the 16th IEEE International
Requirements Engineering Conference, 2008 (RE'08). Best paper awar
Convergence Conditions for Random Quantum Circuits
Efficient methods for generating pseudo-randomly distributed unitary
operators are needed for the practical application of Haar distributed random
operators in quantum communication and noise estimation protocols. We develop a
theoretical framework for analyzing pseudo-random ensembles generated through a
random circuit composition. We prove that the measure over random circuits
converges exponentially (with increasing circuit length) to the uniform (Haar)
measure on the unitary group and describe how the rate of convergence may be
calculated for specific applications.Comment: 4 pages (revtex), comments welcome. v2: reference added, title
changed; v3: published version, minor changes, references update
Polynomial Cointegration among Stationary Processes with Long Memory
n this paper we consider polynomial cointegrating relationships among
stationary processes with long range dependence. We express the regression
functions in terms of Hermite polynomials and we consider a form of spectral
regression around frequency zero. For these estimates, we establish consistency
by means of a more general result on continuously averaged estimates of the
spectral density matrix at frequency zeroComment: 25 pages, 7 figures. Submitted in August 200
Neural Network Based Prediction of Stable Equivalent Series Resistance in Voltage Regulator Characterization
High demand on voltage regulator (VR) currently requires VR manufacturers to improve their time-to-market, particularly for new product development. To fulfill the output stability requirement, VR manufacturers characterize the VR in terms of the equivalent series resistance (ESR) of the output capacitor because the ESR variation affects the VR output stability. The VR characterization outcome suggests a stable range of ESR, which is indicated in the ESR tunnel graph in the VR datasheet. However, current practice in industry manually characterizes VR, thereby increasing the manufacturing time and cost. Therefore, an efficient method based on multilayer neural network has been developed to obtain the ESR tunnel graph. The results show that this method able to reduce the VR characterization time by approximately 53% and achieved critical ESR prediction error less than 5%. This work demonstrated an efficient and effective approach for VR characterization in terms of ESR
The calcilytic agent NPS 2143 rectifies hypocalcemia in a mouse model with an activating calcium-sensing-receptor (CaSR) mutation:relevance to autosomal dominant hypocalcemia type 1 (ADH1)
Autosomal dominant hypocalcemia type 1 (ADH1) is caused by germline gain-of-function mutations of the calcium-sensing receptor (CaSR) and may lead to symptomatic hypocalcemia, inappropriately low serum parathyroid hormone (PTH) concentrations and hypercalciuria. Negative allosteric CaSR modulators, known as calcilytics, have been shown to normalise the gain-of-function associated with ADH-causing CaSR mutations in vitro and represent a potential targeted therapy for ADH1. However, the effectiveness of calcilytic drugs for the treatment of ADH1-associated hypocalcemia remains to be established. We have investigated NPS 2143, a calcilytic compound, for the treatment of ADH1 by in vitro and in vivo studies involving a mouse model, known as Nuf, which harbors a gain-of-function CaSR mutation, Leu723Gln. Wild-type (Leu723) and Nuf mutant (Gln723) CaSRs were expressed in HEK293 cells and the effect of NPS 2143 on their intracellular calcium responses determined by flow cytometry. NPS 2143 was also administered as a single intraperitoneal bolus to wild-type and Nuf mice and plasma concentrations of calcium and PTH, and urinary calcium excretion measured. In vitro administration of NPS 2143 decreased the intracellular calcium responses of HEK293 cells expressing the mutant Gln723 CaSR in a dose-dependent manner, thereby rectifying the gain-of-function associated with the Nuf mouse CaSR mutation. Intraperitoneal injection of NPS 2143 in Nuf mice led to significant increases in plasma calcium and PTH without elevating urinary calcium excretion. These studies of a mouse model with an activating CaSR mutation demonstrate NPS 2143 to normalize the gain-of-function causing ADH1, and improve the hypocalcemia associated with this disorder
Drone Forensic Analysis Using Open Source Tools
Carrying capabilities of drones and their easy accessibility to public have led to an increase in crimes committed using drones in recent years. For this reason, the need for forensic analysis of drones captured from the crime scenes and the devices used for these drones is also paramount. This paper presents the extraction and identification of important artefacts from the recorded flight data as well as the associated mobile devices using open source tools and some basic scripts developed to aid the analysis of two popular drone systems- the DJI Phantom 3 Professional and Parrot AR. Drone 2.0. Although different drones vary in their operations, this paper extends the extraction and analysis of the data from the drones and associated devices using some generic methods which are forensically sound adhering to the guidelines of the Association of Chief Police Officers (ACPO)
- …