2,733 research outputs found
Forgetful maps between Deligne-Mostow ball quotients
We study forgetful maps between Deligne-Mostow moduli spaces of weighted
points on P^1, and classify the forgetful maps that extend to a map of
orbifolds between the stable completions. The cases where this happens include
the Livn\'e fibrations and the Mostow/Toledo maps between complex hyperbolic
surfaces. They also include a retraction of a 3-dimensional ball quotient onto
one of its 1-dimensional totally geodesic complex submanifolds
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services
Recommended from our members
Pulsed gas load pumping of hydrogen by vapor deposited titanium films
The Princeton Poloidal Divertor Experiment (PDX) plans to use titanium gettering of hydrogen to provide the high pumping speeds required to capture the pulsed gas load which occurs in the region where the diverted plasma is neutralized. Detailed information with respect to hydrogen titanium film interactions under similar conditions was sought so that engineering decisions could be made with greater confidence. Pumping speeds for hydrogen on titanium films were determined by admitting a pulse of gas into the volume enclosed by the substrate and measuring the time constant of the pressure decay. The measurement was made periodically as the film was deposited, and when the maximum sticking coefficient was reached, sublimation was stopped and additional gas pulses admitted to determine the speed vs. hydrogen concentration in the Ti film. The amount of gas per pulse varied from 0.25 to 5 monolayers. Atomic hydrogen produced by thermal dissociation in a continuous measurement gave minimum-values for the sticking coefficient of 0.3 for a room temperature film. A summary of results is shown. Titanium film peeling tests were performed and sublimation sources were test operated. (auth
Modular Equations and Distortion Functions
Modular equations occur in number theory, but it is less known that such
equations also occur in the study of deformation properties of quasiconformal
mappings. The authors study two important plane quasiconformal distortion
functions, obtaining monotonicity and convexity properties, and finding sharp
bounds for them. Applications are provided that relate to the quasiconformal
Schwarz Lemma and to Schottky's Theorem. These results also yield new bounds
for singular values of complete elliptic integrals.Comment: 23 page
Interaction of a brane with a moving bulk black hole
We study the interaction of an n-dimensional topological defect (n-brane)
described by the Nambu-Goto action with a higher-dimensional Schwarzschild
black hole moving in the bulk spacetime. We derive the general form of the
perturbation equations for an n-brane in the weak field approximation and solve
them analytically in the most interesting cases. We specially analyze
applications to brane world models. We calculate the induced geometry on the
brane generated by a moving black hole. From the point of view of a brane
observer, this geometry can be obtained by solving (n+1)-dimensional Einstein's
equations with a non-vanishing right hand side. We calculate the effective
stress-energy tensor corresponding to this `shadow-matter'. We explicitly show
that there exist regions on the brane where a brane observer sees an apparent
violation of energy conditions. We also study the deflection of light
propagating in the region of influence of this `shadow matter'.Comment: version accepted for publication in Phys. Rev.
Results from the 4PI Effective Action in 2- and 3-dimensions
We consider a symmetric scalar theory with quartic coupling and solve the
equations of motion from the 4PI effective action in 2- and 3-dimensions using
an iterative numerical lattice method. For coupling less than 10 (in
dimensionless units) good convergence is obtained in less than 10 iterations.
We use lattice size up to 16 in 2-dimensions and 10 in 3-dimensions and
demonstrate the convergence of the results with increasing lattice size. The
self-consistent solutions for the 2-point and 4-point functions agree well with
the perturbative ones when the coupling is small and deviate when the coupling
is large.Comment: 14 pages, 11 figures; v5: added numerical calculations in 3D; version
accepted for publication in EPJ
On the Representation Theory of an Algebra of Braids and Ties
We consider the algebra introduced by F. Aicardi and J.
Juyumaya as an abstraction of the Yokonuma-Hecke algebra. We construct a tensor
space representation for and show that this is faithful. We use
it to give a basis for and to classify its irreducible
representations.Comment: 24 pages. Final version. To appear in Journal of Algebraic
Combinatorics
Lowest observed surface and weld losses in fused silica fibres for gravitational wave detectors
High purity fused silica has become the cornerstone choice for use in the final monolithic stage of the mirror suspensions in the gravitational wave observatories Advanced LIGO (aLIGO) and Advanced Virgo (AdV). The ultra-low thermal noise contributed by these suspensions is one of the key improvements that permitted the Nobel prize winning first direct measurement of gravitational waves in 2015. This paper outlines the first in situ study undertaken to analyse the thermal noise of the final monolithic stage of the aLIGO Hanford detector mirror suspensions. We analysed short operational periods of this detector, when high excitation of the transverse 'violin' modes of the silica suspension fibres occurred. This allowed detailed measurements of the Q-factor of violin modes up to order 8 of individual fibres on separate masses. We demonstrate the highest silica fibre violin mode Q-factors yet measured of up to 2 × 109. From finite element modelling, the dominant surface and weld losses have been calculated to be a factor of 3 to 4 better than previously accepted, and as a result, we demonstrate that the level of noise in the aLIGO final stage silica suspensions is around 30%–40% better than previously estimated between frequencies of 10–500 Hz. This leads to an increase in the estimated event rate by a factor of 2 for aLIGO, if suspension thermal noise became the main limitation to the sensitivity of the detector
Aspergillomarasmine A inhibits metallo-β-lactamases by selectively sequestering Zn2+
Microbial Biotechnolog
- …