Hyperequivalence of logic programs with respect to supported models

Recent research in nonmonotonic logic programming has focused on certain types of program equivalence, which we refer to here as hyperequivalence, that are relevant for program optimization and modular programming. So far, most results concern hyperequivalence relative to the stable-model semantics. However, other semantics for logic programs are also of interest, especially the semantics of supported models which, when properly generalized, is closely related to the autoepistemic logic of Moore. In this paper, we consider a family of hyperequivalence relations for programs based on the semantics of supported and supported minimal models. We characterize these relations in model-theoretic terms. We use the characterizations to derive complexity results concerning testing whether two programs are hyperequivalent relative to supported and supported minimal models.     

Disruptive infrared image sensors enabled by quantum dots

Sensors based on quantum dot photodiodes promise quality and accessibility improvement of infrared imaging. We demonstrate miniaturization by sub-2-μm pixel pitch arrays. Functionality is confirmed with external quantum efficiencies above 40% at 1450 nm. Monolithic integration enables high throughput and wide deployment of short-wave infrared (SWIR) imagers in applications that previously could not afford them.     

Corrosion and stress-corrosion cracking of exploited storage tank steel

We study the corrosion resistance of St3S steel under loading and its susceptibility to corrosion and hydrogen-induced cracking in bottom water. Sections of a tank are distinguished according to the character of the media interacting with the metal of the inner surface in the process of operation. It is shown that bottom water is characterized by high levels of corrosion activity and that the degrees of in-service degradation of different sections of the tank are different. The worst corrosion and stress-corrosion resistance are exhibited by steel operating in contact with bottom water. Significant levels of plastic strains intensify the process of corrosion in steel and make the rates of corrosion in different sections of the tank closer to each other. The in-service degradation of steel can not only intensify the process of corrosion of the inner surface of the tank but also promote the brittle fracture of the material characterized by the elevated susceptibility to hydrogen-induced cracking.Published in Fizyko-Khimichna Mekhanika Materialiv, Vol. 40, No. 3, pp. 113–117, May–June, 2004.     

Adaptive initialization algorithm for ad hoc radio networks with carrier sensing

We propose an algorithm for coordinating access to a shared broadcast channel in an ad hoc network of unknown size n$n$. We reduce the runtime necessary to self-organize access to the channel over the previous algorithm of Cai, Lu and Wang. The runtime of that algorithm is O(n)$O\left(n\right)$. The goal of our work is to improve the constant factor in this estimation. Apart from the experimental evidence of algorithm quality, we provide a rigorous probabilistic analysis of its behavior.     

Algorithms for quadratic forms

We present algorithms for square classes, quadratic forms and Witt classes of quadratic forms over the field of rational functions of one variable over the reals. The algorithms are capable of: finding the unique representative of a square class, deciding if a given function is a square or a sum of squares and deciding if a quadratic form is isotropic or hyperbolic. Moreover we propose a representation for Witt classes of quadratic forms. With this representation one can manipulate Witt classes without operating directly on their coefficients. We present algorithms both for computing this representation and manipulating Witt classes.     

A SAT-based preimage analysis of reduced Keccak hash functions

In this paper, we present a preimage attack on reduced versions of Keccak hash functions. We use our recently developed toolkit CryptLogVer for generating the conjunctive normal form, CNF, which is passed to the SAT solver PrecoSAT. We found preimages for some reduced versions of the function and showed that full Keccak function has a comfortable security margin against this kind of attack.     

Forward tracking of complex trajectories with non-Standard N-Trailers of non-minimum-phase kinematics avoiding a jackknife effect

It is a common conviction that forward motion control of tractor-trailer vehicles is a substantially simpler problem relative to reversing with trailers. This opinion may be misleading when considering the N-trailer vehicles moving forward with positive hitching offsets when a guidance point is located on a trailer. Due to the non-minimum-phase nature of vehicle kinematics, closing a feedback from a trailer posture can lead to the jackknife effect in this case. So far, there has been no solution to this problem for the N-trailers admitting trajectories of a varying curvature. To fill this gap, we propose a scalable and modular control strategy applicable to the N-trailer vehicles equipped solely with off-axle interconnections. The concept relies on a transformation of the control problem posed for the non-minimum-phase kinematics into a corresponding problem formulated for a virtual vehicle of minimum-phase kinematics, which can be solved by using the recently proposed cascade-like controller.