17,471,992 research outputs found
Kinetics of exciton photoluminescence in type-II semiconductor superlattices
The exciton decay rate at a rough interface in type-II semiconductor
superlattices is investigated. It is shown that the possibility of
recombination of indirect excitons at a plane interface essentially affects
kinetics of the exciton photoluminescence at a rough interface. This happens
because of strong correlation between the exciton recombination at the plane
interface and at the roughness. Expressions that relate the parameters of the
luminescence kinetics with statistical characteristics of the rough interface
are obtained. The mean height and length of roughnesses in GaAs/AlAs
superlattices are estimated from the experimental data.Comment: 3 PostScript figure
MANSEE data analysis results
Results of the data reduction and analysis for the Marine Navigation Systems Evaluation Experiment (MANSEE) are presented. Topics discussed include: the MANSEE test; the navigation sensors which were exercised; the ground truth instrumentation and the processing of ground truth data; and the residual statistics for individual navigation sensors. Residuals were calculated by differencing the actual measurements with anticipated measurements computed from the ground truth trajectory. The results obtained by using the SEAMAP program to filter data from the navigation sensors are also presented. The resultant filtered trajectories were differenced with the corresponding ground truth trajectories to obtain navigation position and velocity errors
SyGuS-Comp 2016: Results and Analysis
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an
implementation f that meets both a semantic constraint given by a logical
formula in a background theory T, and a syntactic constraint given by
a grammar G, which specifies the allowed set of candidate implementations. Such
a synthesis problem can be formally defined in SyGuS-IF, a language that is
built on top of SMT-LIB.
The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to
facilitate, bring together and accelerate research and development of efficient
solvers for SyGuS by providing a platform for evaluating different synthesis
techniques on a comprehensive set of benchmarks. In this year's competition we
added a new track devoted to programming by examples. This track consisted of
two categories, one using the theory of bit-vectors and one using the theory of
strings. This paper presents and analyses the results of SyGuS-Comp'16.Comment: In Proceedings SYNT 2016, arXiv:1611.07178. arXiv admin note: text
overlap with arXiv:1602.0117
Process Analysis Results Reporting Credit Card Collection on CV. Mika
System is a network of procedures that are interconnected, gathered together toperform an activity or to accomplish a particular goal.The reporting system is an interconnected series of procedures to achieve a goal. Sothe reporting system is a system which contains reports from the billing credit cardcustomers conducted by a company billing services to banks that provide workthrough the existing means of information in order to be processed quickly andcorrectly in accordance with the request
How to interpret results of meta-analysis (Version 1.3)
Meta-analysis is a systematic method for synthesizing quantitative results of different empirical studies regarding the effect of an independent variable (or determinant, or intervention, or treatment) on a defined outcome (or dependent variable). Mainly developed in medical and psychological research as a tool for synthesizing empirical information about the outcomes of a treatment, meta-analysis is now increasingly used in the social sciences as a tool for hypothesis testing. However, the assumptions underlying meta-analytic hypothesis testing in the social sciences will usually not be met under real-life conditions. This is the reason why meta-analysis is increasingly conducted with a different aim, based on more realistic assumptions. That aim is to explore the dispersion of effect sizes
SNMP Trace Analysis: Results of Extra Traces
The Simple Network Management Protocol (SMMP) was introduced in the late 1980s. Since then, several evolutionary protocol changes have taken place, resulting in the SNMP version 3 framework (SNMPv3). Extensive use of SNMP has led to significant practical experience by both network operators and researchers. Since recently, researchers are in the possession of real world SNMP traces. This allows researchers to analyze the real world application of SNMP. A publication of 2007 made a significant start with this. However, real world trace analysis demands a continual approach, due to changing circumstances (e.g., regarding the network and SNMP engine implementations). Therefore, this paper reports on a lot more traces than in the mentioned paper, which are also more recent
- …
