meSAT: multiple encodings of CSP to SAT

One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison.     

Aluminium electrodeposition from AlCl3-NaCl melts on glassy carbon,platinum and gold electrodes

The electrochemical deposition and dissolution of aluminium on glassy carbon, platinum and gold electrodes in chloraluminate melts have been investigated using linear sweep voltammetry and potentiostatic pulse techniques. It was shown that deposition of aluminium on the glassy carbon electrode at low overpotentials takes place by 3-D progressive nucleation and growth, with the incorporation of atoms in the crystal lattice as the rate-determining step. At overpotentials higher than –100 mV vs Al, in the melts containing more than 52 mol % of AlCl₃, diffusion of Al₂Cl ₇ ^– , takes over the control of deposition of aluminium. Alloying of platinum and gold electrodes with aluminium from the melt occurs in the underpotential region.     

Absolute calibration of photostimulable image plate detectors used as (0.5-20 MeV) high-energy proton detectors

In this paper, the absolute calibration of photostimulable image plates (IPs) used as proton detectors is presented. The calibration is performed in a wide range of proton energies (0.5-20 MeV) by exposing simultaneously the IP and calibrated detectors (radiochromic films and solid state detector CR39) to a source of broadband laser-accelerated protons, which are spectrally resolved. The final result is a calibration curve that enables retrieving the proton number from the IP signal.     

Color effects of uniform colloidal particles of different morphologies packed into films

The experimentally determined chromaticities and reflectance spectra of films consisting of uniform ellipsoidal or spherical colloidal hematite particles are compared with calculated values and are found to be in good agreement. The theoretical treatment of the light-scattering problem involves the Mie theory for the spheres and the T-matrix method for the ellipsoids. The reflectance spectra for the pigment films are calculated through the use of the Kubelka-Munk analysis.     

Algorithm for the determination of intrinsic optical constants of metal films: application to aluminum

Optical and electron-energy-loss data for evaporated-aluminum films have been critically analyzed and used in an iterative, self-consistent algorithm that represents a combination of the Kramers-Kronig analysis and the semiquantum-model application. The novel values of the intrinsic optical functions of aluminum have been determined in a wide spectral range from 200 μm (6.2 meV) to 0.12 nm (10 keV). These functions are in accordance with recent calculations by Lee and Chang [Phys. Rev. B 49, 2362 (1994)], with dc conductivity measurements, and are in good agreement with both peak positions and line widths obtained from electron-energy-loss experiments. The results are examined for internal consistency by inertial and f-sum rules.     

The influence of adding pitch to resin as a matrix precursor on properties of carbon-carbon composites

Carbon-carbon composites were prepared with commercially available carbonized and graphitized fibres, with a mixture of pitch and phenolic resin as a binder and pitch as an impregnant. The contents of pitch in mixtures were: 0, 10, 20 and 30 wt %. The influence of pitch content in the mixture and fibre type on mass loss, shrinkage and mechanical properties of the composites was examined. With an increase of pitch content mass loss and shrinkage increased, while mechanical properties decreased. After three densification cycles, flexural strength increased with increasing pitch content in the binder, especially for composites with graphitized fibres.     

Selective Al-Ti reactivity in laser-processed Al/Ti multilayers

Multilayers consisting of five (Al/Ti) bilayers were deposited on (100) silicon wafers. On top was deposited the Ti layer, aimed at preventing Al from diffusing to the surface upon laser treatment. The total thickness of the thin-film structure was 200?nm. Laser irradiations with Nd:YAG picoseconds laser pulses in the defocused regime were performed in air. Laser beam energy was 4?mJ and laser spot diameter on the sample surface was 3?mm (fluence 0.057?J?cm^?2). The samples were treated with different numbers of laser pulses. Structural characterizations were performed by different analytical methods and nano-hardness was also measured. Laser processing induced layer intermixing, formation of titanium aluminides, oxidation of the surface titanium layer and enhanced surface roughness. Aluminum appears at the sample surface only for the highest density of laser irradiation. Laser processing induces increment of nano-hardness by approximately 20% and decrease of residual Young’s modulus for a few percentages from the starting value of the untreated samples. These results can be interesting toward achieving structures with a selective extent of Al-Ti reactivity in this multilayered system, within the development of biocompatible materials.     

Defining the e-learner’s security profile: Towards awareness improvement

The paper presents an improved e-learner model that supports monitoring of user behavior related to information security. The model is built upon standardized IMS specification, according to literature research and survey conducted among e-learners. It is positioned as key part of an extended LTSA architecture in which the learner data is used to improve learner security position by continuous delivery of important information and adapting security mechanisms. The implementation is considered in Moodle LMS.     

Differences in cytocompatibility,dynamics of the oxide layers’ formation,and nickel release between superelastic and thermo-activated nickel–titanium archwires

Superelastic (SE) and thermo-activated (TA) nickel–titanium (NiTi) archwires are used in everyday orthodontic practice, based on their acceptable biocompatibility and well-defined shape memory properties. However, the differences in their surface microstructure and cytotoxicity have not been clearly defined, and the standard cytotoxicity tests are too robust to detect small differences in the cytotoxicity of these alloys, all of which can lead to unexpected adverse reactions in some patients. Therefore, we tested the hypothesis that the differences in manufacture and microstructure of commercially available SE and TA archwires may influence their biocompatibility. The archwires were studied as-received and after conditioning for 24 h or 35 days in a cell culture medium under static conditions. All of the tested archwires, including their conditioned medium (CM), were non-cytotoxic for L929 cells, but Rematitan SE (both as received and conditioned) induced the apoptosis of rat thymocytes in a direct contact. In contrast, TruFlex SE and Equire TA increased the proliferation of thymocytes. The cytotoxic effect of Rematitan SE correlated with the higher release of Ni ions in CM, higher concentration of surface Ni and an increased oxygen layer thickness after the conditioning. In conclusion, the apoptosis assay on rat thymocytes, in contrast to the less sensitive standard assay on L929 cells, revealed that Rematitan SE was less cytocompatible compared to other archwires and the effect was most probably associated with a higher exposition of the cells to Ni on the surface of the archwire, due to the formation of unstable oxide layer.