Mining frequent conjunctive queries in relational databases through dependency discovery

We present an approach for mining frequent conjunctive in arbitrary relational databases. Our pattern class is the simple, but appealing subclass of simple conjunctive queries. Our algorithm, called Conqueror $^+$ , is capable of detecting previously unknown functional and inclusion dependencies that hold on the database relations as well as on joins of relations. These newly detected dependencies are then used to prune redundant queries. We propose an efficient database-oriented implementation of our algorithm using SQL and provide several promising experimental results.     

Fracture Assessment of Carbon Fibre/Epoxy Reinforcing Rings through a Combination of Full-Scale Testing, Small-Scale Testing and Stress Modeling

Carbon fibre/epoxy rings are used as radial reinforcement for polymer bearing elements with nominal diameter 250 mm functioning under 150 MPa. Full-scale static and dynamic testing revealed no catastrophic failure for loading to 400 MPa, although there was circumferential splitting of carbon fibres at the machined top edge causing counterface wear under sliding. A combined numerical–experimental analysis was applied for design improvement with a representative small-scale qualification test on the real ring geometry, inducing additional stress concentrations compared to ASTM standards. Full-scale modelling revealed high radial–axial shear stresses (33 MPa) in non-hydrostatically loaded zones, while it increased towards 104 MPa under hydrostatic load conditions. The former is the most critical and should be simulated either on a small-scale unidirectional compression test or on a representative short beam shear test, respectively, measuring the radial–axial or radial–tangential shear strength. A relation between both small-scale states of stress was experimentally and numerically studied, experiencing that the composite ring has lower radial–tangential shear stress compared to radial–axial shear stress as a different hydrostatic stress state is observed in the bulk of the composite ring. As a compressive test is however more difficult to perform than a short-beam-shear test, a representative design criterion for shear fracture is determined from failure at 27 kN normal load in a short-beam-shear test. Finally, fracture is avoided by optimising the cross-sectional geometry of the composite reinforcing ring and close control of the processing parameters.     

Pseudospectral method for assessing stability robustness for linear time-periodic delayed dynamical systems

The article presents a pseudospectral approach to assess the stability robustness of linear time-periodic delay systems, where periodic functions potentially present discontinuities and the delays may also periodically vary in time. The considered systems are subject to linear real-valued time-periodic uncertainties affecting the coefficient matrices, and the presented method is able to fully exploit structure and potential interdependencies among the uncertainties. The assessment of robustness relies on the computation of the pseudospectral radius of the monodromy operator, namely, the largest Floquet multiplier that the system can attain within a given range of perturbations. Instrumental to the adopted novel approach, a solver for the computation of Floquet multipliers is introduced, which results into the solution of a generalized eigenvalue problem which is linear w.r.t. (samples of) the original system matrices. We provide numerical simulations for popular applications modeled by time-periodic delay systems, such as the inverted pendulum subject to an act-and-wait controller, a single-degree-of-freedom milling model and a turning operation with spindle speed variation.     

The Protective Effects of the Autophagic and Lysosomal Machinery in Vascular and Valvular Calcification: A Systematic Review

Background: Autophagy is a highly conserved catabolic homeostatic process, crucial for cell survival. It has been shown that autophagy can modulate different cardiovascular pathologies, including vascular calcification (VCN). Objective: To assess how modulation of autophagy, either through induction or inhibition, affects vascular and valvular calcification and to determine the therapeutic applicability of inducing autophagy. Data sources: A systematic review of English language articles using MEDLINE/PubMed, Web of Science (WoS) and the Cochrane library. The search terms included autophagy, autolysosome, mitophagy, endoplasmic reticulum (ER)-phagy, lysosomal, calcification and calcinosis. Study characteristics: Thirty-seven articles were selected based on pre-defined eligibility criteria. Thirty-three studies (89%) studied vascular smooth muscle cell (VSMC) calcification of which 27 (82%) studies investigated autophagy and six (18%) studies lysosomal function in VCN. Four studies (11%) studied aortic valve calcification (AVCN). Thirty-four studies were published in the time period 2015–2020 (92%). Conclusion: There is compelling evidence that both autophagy and lysosomal function are critical regulators of VCN, which opens new perspectives for treatment strategies. However, there are still challenges to overcome, such as the development of more selective pharmacological agents and standardization of methods to measure autophagic flux.     

Formalizing a hierarchical file system

An abstract file system is defined here as a partial function from (absolute) paths to data. Such a file system determines the set of valid paths. It allows the file system to be read and written at a valid path, and it allows the system to be modified by the Unix operations for creation, removal, and moving of files and directories. We present abstract definitions (axioms) for these operations. This specification is refined towards a pointer implementation. The challenge is to have a natural abstraction function from the implementation to the specification, to define operations on the concrete store that behave exactly in the same way as the corresponding functions on the abstract store, and to prove these facts. To mitigate the problems attached to partial functions, we do this in two steps: first a refinement towards a pointer implementation with total functions, followed by one that allows partial functions. These two refinements are proved correct by means of a number of invariants. Indeed, the insights gained consist, on the one hand, of the invariants of the pointer implementation that are needed for the refinement functions, and on the other hand of the precise enabling conditions of the operations on the different levels of abstraction. Each of the three specification levels is enriched with a permission system for reading, writing, or executing, and the refinement relations between these permission systems are explored. Files and directories are distinguished from the outset, but this rarely affects our part of the specifications. All results have been verified with the proof assistant PVS, in particular, that the invariants are preserved by the operations, and that, where the invariants hold, the operations commute with the refinement functions.     

Experiencing standardized media fragment annotations within HTML5

W3C’s Video in the Web activity aims at a better integration of media within the Web. In this paper, we show how two specifications currently under development within this activity, i.e., Media Fragment URIs and Media Annotations, can be combined within media-enabled HTML5 Web applications. In particular, we introduce a number of extensions for the Media Annotations ontology in order to close the gap with Media Fragment URIs. Additionally, we show how rich media fragment annotations can be converted into a WebVTT file. The latter can be used by HTML5-enabled players to show the annotations in a synchronized way. Further, a fully integrated Web application has been developed that shows how both specifications can work together within an HTML5 environment. This application relies on NinSuna, our media delivery platform targeted at multichannel publication that provides server-side support for both Media Fragment URIs and Media Annotations.     

High-speed single cable synchronization system for data-converters

A clock-cycle accurate synchronization technique for fully integrated data-converters is presented. Only a single cable is needed to distribute both the required synchronization signal and the converter clock. Different possible implementations, both to generate and decompose the distributed signal, are presented. A discrete component generator circuit is discussed. To avoid setup and hold time violations, on-chip signal reconstruction is unavoidable. A 40 nm CMOS recovery circuit was developed. Simulation results, including layout parasitics, show the wide frequency operating range of the proposed technique.