An optical solution to the 3-SAT problem using wavelength based selectors

In this paper, an optical wavelength-based method to solve a well-known NP-complete problem 3-SAT is provided. In the 3-SAT problem, a formula F in the form of conjunction of some clauses over Boolean variables is given and the question is to find if F is satisfiable or not. The provided method uses exponential number of different wavelengths in a light ray and considers each group of wavelengths as a possible value-assignment for the variables. It then uses optical devices to drop wavelengths not satisfying F from the light ray. At the end, remaining wavelengths indicate satisfiability of the formula. The method provides two ways to arrange the optical devices to select satisfying wavelengths for a given clause: simple clause selectors and combined clause selectors, both requiring exponential preprocessing time. After preprocessing phase, the provided method requires polynomial time and optical devices to solve each problem instance.     

Structural stability of oligomeric proteins: A mean-field theoretical approach

We present a mean-field approach for calculating thermodynamic properties(free energies) of protein–solvent systems. We apply this method to thetumor suppressor protein p53, where we study the stability of itstetramerization domain when subjected to site-directed mutagenesis. Acomparison with experimental results is included.     

An analytic framework for performance modeling of software transactional memory

Analytic models based on discrete-time Markov chains (DTMC) are proposed to assess the algorithmic performance of Software Transactional Memory (TM) systems. Base STM variants are compared: optimistic STM with inplace memory updates and write buffering and pessimistic STM. Starting from an absorbing DTMC, closed-form analytic expressions are developed, which are quickly solved iteratively to determine key parameters of the considered STM systems, like the mean number of transaction restarts and the mean transaction length. Since the models reflect complex transactional behavior in terms of read/write locking, data consistency checks and conflict management independent of implementation details, they highlight the algorithmic performance advantages of one system over the other, which – due to their at times small differences – are often blurred by implementation of STM systems and even difficult to discern with statistically significant discrete-event simulations.     

Electronic Interactions of Cyclopropyl Groups: Synthesis and Photoelectron Spectra of Model Compounds Derived from Triasterane,Nortricyclane and Norbornane

The syntheses of the new hydrocarbons trimethylenetriasterane 12 , trispirocyclopropanetriasterane 3 , trispirocyclopropanenortricyclane 4 , and of the trispirocyclopropanenorbornanes 5, 6 , and 7 are reported. 12 contains six vinylcyclopropane units rigidly held in an antiperiplanar (ap) conformation in a D_3h symmetric framework. 3 and 4 are the first model compounds with bicyclopropyl units rigidly fixed in an s-trans (ap) conformation (Θ = 180°). Their PE spectra reveal that the interaction parameter β_ww = −1.73 eV for this arrangement is the same as that for Θ = 0°.     

ESEM investigations for assessment of damage kinetics of short glass fibre reinforced thermoplastics - Results of in situ tensile tests coupled with acoustic emission analysis

The damage mechanisms of short glass fibre reinforced polypropylene (PP) and polybutene-1 (PB-1) materials were investigated. For this purpose, in situ tensile tests were conducted in the environmental scanning electron microscope (ESEM) while simultaneously recording the acoustic emission (AE). To be able to observe damage mechanisms directly during loading, notched specimens were used. This method allows the direct correlation of the recorded load - elongation data with observed damage mechanisms, as well as correlations with acoustic emission data. Hence, it is possible to describe the damage kinetics of short glass fibre composite.It was found that different bonding conditions of the two investigated materials result in different damage mechanisms as well as in different AE behaviour. For fibre reinforced PP with excellent bonding conditions of the fibres in the polymeric matrix, fibre fracture, slipping of fibres in the delamination area, debonding and pull-out with matrix yielding was observed. The determined AE parameter amplitude A_p and energy E_AE for the PB-1 material are lower because of the weak bonding of the fibres to the PB-1-matrix. Hence, energy dissipative damage mechanisms like pull-out with matrix yielding can occur only in a limited part of such materials.