1,595 research outputs found
Algorithms for the workflow satisfiability problem engineered for counting constraints
The workflow satisfiability problem (WSP) asks whether there exists an
assignment of authorized users to the steps in a workflow specification that
satisfies the constraints in the specification. The problem is NP-hard in
general, but several subclasses of the problem are known to be fixed-parameter
tractable (FPT) when parameterized by the number of steps in the specification.
In this paper, we consider the WSP with user-independent counting constraints,
a large class of constraints for which the WSP is known to be FPT. We describe
an efficient implementation of an FPT algorithm for solving this subclass of
the WSP and an experimental evaluation of this algorithm. The algorithm
iteratively generates all equivalence classes of possible partial solutions
until, whenever possible, it finds a complete solution to the problem. We also
provide a reduction from a WSP instance to a pseudo-Boolean SAT instance. We
apply this reduction to the instances used in our experiments and solve the
resulting PB SAT problems using SAT4J, a PB SAT solver. We compare the
performance of our algorithm with that of SAT4J and discuss which of the two
approaches would be more effective in practice
The CANADA-FRANCE REDSHIFT SURVEY XIII: The luminosity density and star-formation history of the Universe to z ~ 1
The comoving luminosity density of the Universe is estimated from the CFRS
faint galaxy sample in three wavebands (2800A, 4400A and 1 micron) over the
redshift range 0 < z < 1. In all three wavebands, the comoving luminosity
density increases markedly with redshift. For a (q_0 = 0.5, Omega = 1.0)
cosmological model, the comoving luminosity density increases as at 1 micron, as at 4400A and as at 2800A, these exponents being reduced by 0.43 and 1.12 for (0.05,0.1)
and (-0.85,0.1) cosmological models respectively. The variation of the
luminosity density with epoch can be reasonably well modelled by an actively
evolving stellar population with a Salpeter initial mass function (IMF)
extending to 125 M_sun, a star-formation rate declining with a power 2.5, and a
turn-on of star-formation at early epochs. A Scalo (1986) IMF extending to the
same mass limit produces too many long-lived low mass stars. This rapid
evolution of the star-formation rate and comoving luminosity density of the
Universe is in good agreement with the conclusions of Pei and Fall (1995) from
their analysis of the evolving metallicity of the Universe. One consequence of
this evolution is that the physical luminosity density at short wavelengths has
probably declined by two orders of magnitude since z ~ 1.Comment: uuencoded compressed tar file containing 8 page Tex file, 2
postscript figures and 2 tables. Ap J Letters, in press. Also available at
http://www.astro.utoronto.ca/~lilly/CFRS/papers.htm
Policy-based access control from numerical evidence
Increasingly, access to resources needs to be regulated or informed by considerations such as risk, cost, and reputation. We therefore propose a framework for policy languages, based on semi-rings, that aggregate quantitative evidence to support decision-making in access control systems. As aggregation operators \addition", \worst case", and \best case" over non- negative reals are both relevant in practice and amenable to analysis, we study an instance, Peal, of our framework in that setting. Peal is a stand-alone policy language but can also be integrated with existing policy languages. Peal policies can be synthesized into logical formulae that no longer make reference to quantities but capture all policy behavior. Satis ability checking of such formulae can be used to validate and analyze policies in this new evidence-based approach. We discuss a number of applications, including vacuity, redundancy, change-impact and safety analysis. The synthesis algorithm requires a form of subset enumeration, for which we develop bespoke algorithms and demonstrate experimentally that our algorithms work better than generic state exploration methods. We also sketch how our approach extends from non-negative reals to other semi-rings and even to rings such as the real numbers
The infrared imaging spectrograph (IRIS) for TMT: sensitivities and simulations
We present sensitivity estimates for point and resolved astronomical sources
for the current design of the InfraRed Imaging Spectrograph (IRIS) on the
future Thirty Meter Telescope (TMT). IRIS, with TMT's adaptive optics system,
will achieve unprecedented point source sensitivities in the near-infrared
(0.84 - 2.45 {\mu}m) when compared to systems on current 8-10m ground based
telescopes. The IRIS imager, in 5 hours of total integration, will be able to
perform a few percent photometry on 26 - 29 magnitude (AB) point sources in the
near-infrared broadband filters (Z, Y, J, H, K). The integral field
spectrograph, with a range of scales and filters, will achieve good
signal-to-noise on 22 - 26 magnitude (AB) point sources with a spectral
resolution of R=4,000 in 5 hours of total integration time. We also present
simulated 3D IRIS data of resolved high-redshift star forming galaxies (1 < z <
5), illustrating the extraordinary potential of this instrument to probe the
dynamics, assembly, and chemical abundances of galaxies in the early universe.
With its finest spatial scales, IRIS will be able to study luminous, massive,
high-redshift star forming galaxies (star formation rates ~ 10 - 100 M yr-1) at
~100 pc resolution. Utilizing the coarsest spatial scales, IRIS will be able to
observe fainter, less massive high-redshift galaxies, with integrated star
formation rates less than 1 M yr-1, yielding a factor of 3 to 10 gain in
sensitivity compared to current integral field spectrographs. The combination
of both fine and coarse spatial scales with the diffraction-limit of the TMT
will significantly advance our understanding of early galaxy formation
processes and their subsequent evolution into presentday galaxies.Comment: SPIE Astronomical Instrumentation 201
FUSE Spectra of the Black Hole Binary LMC X-3
Far-ultraviolet spectra of LMC X-3 were taken covering photometric phases
0.47 to 0.74 in the 1.7-day orbital period of the black-hole binary (phase zero
being superior conjunction of the X-ray source). The continuum is faint and
flat, but appears to vary significantly during the observations. Concurrent
RXTE/ASM observations show the system was in its most luminous X-ray state
during the FUSE observations. The FUV spectrum contains strong terrestrial
airglow emission lines, while the only stellar lines clearly present are
emissions from the O VI resonance doublet. Their flux does not change
significantly during the FUSE observations. These lines are modelled as two
asymmetrical profiles, including the local ISM absorptions due to C II and
possibly O VI. Velocity variations of O VI emission are consistent with the
orbital velocity of the black hole and provide a new constraint on its mass.Comment: 12 pages including 1 table, 4 diagrams To appear in A
Automated Certification of Authorisation Policy Resistance
Attribute-based Access Control (ABAC) extends traditional Access Control by
considering an access request as a set of pairs attribute name-value, making it
particularly useful in the context of open and distributed systems, where
security relevant information can be collected from different sources. However,
ABAC enables attribute hiding attacks, allowing an attacker to gain some access
by withholding information. In this paper, we first introduce the notion of
policy resistance to attribute hiding attacks. We then propose the tool ATRAP
(Automatic Term Rewriting for Authorisation Policies), based on the recent
formal ABAC language PTaCL, which first automatically searches for resistance
counter-examples using Maude, and then automatically searches for an Isabelle
proof of resistance. We illustrate our approach with two simple examples of
policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will
be presented at ESORICS 201
The infrared imaging spectrograph (IRIS) for TMT: spectrograph design
The Infra-Red Imaging Spectrograph (IRIS) is one of the three first light
instruments for the Thirty Meter Telescope (TMT) and is the only one to
directly sample the diffraction limit. The instrument consists of a parallel
imager and off-axis Integral Field Spectrograph (IFS) for optimum use of the
near infrared (0.84um-2.4um) Adaptive Optics corrected focal surface. We
present an overview of the IRIS spectrograph that is designed to probe a range
of scientific targets from the dynamics and morphology of high-z galaxies to
studying the atmospheres and surfaces of solar system objects, the latter
requiring a narrow field and high Strehl performance. The IRIS spectrograph is
a hybrid system consisting of two state of the art IFS technologies providing
four plate scales (4mas, 9mas, 25mas, 50mas spaxel sizes). We present the
design of the unique hybrid system that combines the power of a lenslet
spectrograph and image slicer spectrograph in a configuration where major
hardware is shared. The result is a powerful yet economical solution to what
would otherwise require two separate 30m-class instruments.Comment: 15 pages, 11 figure
High-Resolution spectroscopy of the low-mass X-ray binary EXO 0748-67
We present initial results from observations of the low-mass X-ray binary EXO
0748-67 with the Reflection Grating Spectrometer on board the XMM-Newton
Observatory. The spectra exhibit discrete structure due to absorption and
emission from ionized neon, oxygen, and nitrogen. We use the quantitative
constraints imposed by the spectral features to develop an empirical model of
the circumsource material. This consists of a thickened accretion disk with
emission and absorption in the plasma orbiting high above the binary plane.
This model presents challenges to current theories of accretion in X-ray binary
systems.Comment: 5 pages, 4 figures, accepted by A&A letters, XMM special issu
- âŠ