In their AMW’14-paper, Frochaux, Grohe, and Schweikardt showed that the query containment problem for monadic datalog on finite unranked labeled trees is Exptime-complete when (a) considering unordered trees using the child-axis, and when (b) considering ordered trees using the axes firstchild, nextsibling, and child. Furthermore, when allowing to use also the descendant-axis, the query contain...

Backgrounds from punchthrough particles originating from minimum bias events and inclusive QCD jets in the CMS barrel muon system has been simulated using a detailed GEANT description of the Technical Design Report geometry and shielding. Rates due to punchthrough in the entrance at each muon station as well as rates of hits, produced by these punchthrough particles, are given as a function of ...

We show that the satisfiability problem for CTL, the branching time logic that allows boolean combinations of path formulas inside a path quantifier but no nesting of them, is 2-EXPTIME-hard. The construction is inspired by Vardi and Stockmeyer’s 2-EXPTIME-hardness proof of CTL∗’s satisfiability problem. As a consequence, there is no subexponential reduction from CTL to CTL which preserves sati...

This study demonstrates the design and testing of a reconfigurable cascaded time amplifier (TA) that enables a reduction in the output offset. By testing the polarity of the output offset time caused by process variations in each stage and then reconfiguring the inter-stage connections, we find that the total output offset time can be reduced dramatically. The results of a SPICE simulation of a...

[1] Numerous eddies have been identified in a seven year time series of mooring observations in the Canada Basin, Arctic Ocean. We focus on a series of deep eddies centered at 1200 m depth, and occupying up to 1500 m of the water column. The deep eddies are found to be spatially localized, only ever being observed at one of four mooring sites of the Beaufort Gyre Observing System in the Canada ...

Elements of design and a field application of a TDR-based soil moisture and electrical conductivity monitoring system are described with detailed presentation of the time delay units with a resolution of 10 ps. Other issues discussed include the temperature correction of the applied time delay units, battery supply characteristics and the measurement results from one of the installed ground mea...

We present a system based on sequential decision making for the online summarization of massive document streams, such as those found on the web. Given an event of interest (e.g. “Boston marathon bombing”), our system is able to filter the stream for relevance and produce a series of short text updates describing the event as it unfolds over time. Unlike previous work, our approach is able to j...