An efficient solver for weighted Max-SAT

We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence that our solver is very competitive and outperforms some of the best performing Max-SAT and weighted Max-SAT solvers on a wide range of instances.

Characterization of human pancreatic orthotopic tumor xenografts suitable for drug screening

Background Efforts to identify novel therapeutic options for human pancreatic ductal adenocarcinoma (PDAC) have failed to result in a clear improvement in patient survival to date. Pancreatic cancer requires efficient therapies that must be designed and assayed in preclinical models with improved predictor ability. Among the available preclinical models, the orthotopic approach fits with this expectation, but its use is still occasional. Methods An in vivo platform of 11 orthotopic tumor xenografts has been generated by direct implantation of fresh surgical material. In addition, a frozen tumorgraft bank has been created, ensuring future model recovery and tumor tissue availability. Results Tissue microarray studies allow showing a high degree of original histology preservation and maintenance of protein expression patterns through passages. The models display stable growth kinetics and characteristic metastatic behavior. Moreover, the molecular diversity may facilitate the identification of tumor subtypes and comparison of drug responses that complement or confirm information obtained with other preclinical models. Conclusions This panel represents a useful preclinical tool for testing new agents and treatment protocols and for further exploration of the biological basis of drug responses.

Characterization of human pancreatic orthotopic tumor xenografts suitable for drug screening

Background Efforts to identify novel therapeutic options for human pancreatic ductal adenocarcinoma (PDAC) have failed to result in a clear improvement in patient survival to date. Pancreatic cancer requires efficient therapies that must be designed and assayed in preclinical models with improved predictor ability. Among the available preclinical models, the orthotopic approach fits with this expectation, but its use is still occasional. Methods An in vivo platform of 11 orthotopic tumor xenografts has been generated by direct implantation of fresh surgical material. In addition, a frozen tumorgraft bank has been created, ensuring future model recovery and tumor tissue availability. Results Tissue microarray studies allow showing a high degree of original histology preservation and maintenance of protein expression patterns through passages. The models display stable growth kinetics and characteristic metastatic behavior. Moreover, the molecular diversity may facilitate the identification of tumor subtypes and comparison of drug responses that complement or confirm information obtained with other preclinical models. Conclusions This panel represents a useful preclinical tool for testing new agents and treatment protocols and for further exploration of the biological basis of drug responses.

ZnO nanorods for efficient third harmonic UV generation.

ZnO nanorods grown by both high temperature vapour phase transport and low temperature chemical bath deposition are very promising sources for UV third harmonic generation. Material grown by both methods show comparable efficiencies, in both cases an order of magnitude higher than surface third harmonic generation at the quartz-air interface of a bare quartz substrate. This result is in stark contrast to the linear optical properties of ZnO nanorods grown by these two methods, which show vastly different PL efficiencies. The third harmonic generated signal is analysed using intensity dependent measurements and interferometric frequency resolved optical gating, allowing extraction of the laser pulse parameters. The comparable levels of efficiency of ZnO grown by these very different methods as sources for third harmonic UV generation provides a broad suite of possible growth methods to suit various substrates, coverage and scalability requirements. Potential application areas range from interferometric frequency resolved optical gating characterization of few cycle fs pulses to single cell UV irradiation for biophysical studies.

Highly efficient, multigram and enantiopure synthesis of (S)-2-(2,4′-bithiazol-2-yl)pyrrolidine

(S)-2-(4-Bromo-2,4"-bithiazole)-1-(tert-butoxycarbonyl)pyrrolidine ((S)-1) was obtained as a single enantiomer and in high yield by means of a two-step modified Hantzsch thiazole synthesis reaction when bromoketone 3 and thioamide (S)-4 were used. Further conversion of (S)-1 into trimethyltin derivative (S)-2 broadens the scope for further cross-coupling reactions.

Efficient Peer Selection in P2P JXTA-Based Platforms

Peer-reviewed

An energy efficient vertical handover decision algorithm

As wireless communications evolve towards heterogeneousnetworks, mobile terminals have been enabled tohandover seamlessly from one network to another. At the sametime, the continuous increase in the terminal power consumptionhas resulted in an ever-decreasing battery lifetime. To that end,the network selection is expected to play a key role on howto minimize the energy consumption, and thus to extend theterminal lifetime. Hitherto, terminals select the network thatprovides the highest received power. However, it has been provedthat this solution does not provide the highest energy efficiency.Thus, this paper proposes an energy efficient vertical handoveralgorithm that selects the most energy efficient network thatminimizes the uplink power consumption. The performance of theproposed algorithm is evaluated through extensive simulationsand it is shown to achieve high energy efficiency gains comparedto the conventional approach.

Music-supported training is more efficient than functional motor training for recovery of fine motor skills in stroke patients

MOTOR IMPAIRMENTS ARE COMMON AFTER STROKE but efficacious therapies for these dysfunctions are scarce. Extending an earlier study on the effects of music-supported training (MST), behavioral indices of motor function were obtained before and after a series of training sessions to assess whether this new treatment leads to improved motor functions. Furthermore, music-supported training was contrasted to functional motor training according to the principles of constraint-induced therapy (CIT). In addition to conventional physiotherapy, 32 stroke patients with moderately impaired motor function and no previous musical experience received 15 sessions of MST over a period of three weeks, using a manualized, step-bystep approach. A control group consisting of 15 patients received 15 sessions of CIT in addition to conventional physiotherapy. A third group of 30 patients received exclusively conventional physiotherapy and served as a control group for the other three groups. Fine as well as gross motor skills were trained by using either a MIDI-piano or electronic drum pads programmed to emit piano tones. Motor functions were assessed by an extensive test battery. MST yielded significant improvement in fine as well as gross motor skills with respect to speed, precision, and smoothness of movements. These improvements were greater than after CIT or conventional physiotherapy. In conclusion, with equal treatment intensity, MST leads to more pronounced improvements of motor functions after stroke than CIT.

Some Notes and Comments on the Efficient use of Information in Repeated Games with Poisson Signals

In the present paper we characterize the optimal use of Poisson signals to establish incentives in the "bad" and "good" news models of Abreu et al. [1]. In the former, for small time intervals the signals' quality is high and we observe a "selective" use of information; otherwise there is a "mass" use. In the latter, for small time intervals the signals' quality is low and we observe a "fine" use of information; otherwise there is a "non-selective" use. JEL: C73, D82, D86. KEYWORDS: Repeated Games, Frequent Monitoring, Public Monitoring, Infor- mation Characteristics.

Efficient image mosaicing for multi-robot visual underwater mapping

Robotic platforms have advanced greatly in terms of their remote sensing capabilities, including obtaining optical information using cameras. Alongside these advances, visual mapping has become a very active research area, which facilitates the mapping of areas inaccessible to humans. This requires the efficient processing of data to increase the final mosaic quality and computational efficiency. In this paper, we propose an efficient image mosaicing algorithm for large area visual mapping in underwater environments using multiple underwater robots. Our method identifies overlapping image pairs in the trajectories carried out by the different robots during the topology estimation process, being this a cornerstone for efficiently mapping large areas of the seafloor. We present comparative results based on challenging real underwater datasets, which simulated multi-robot mapping

A Comparative Study of Desktop, Fishtank, and Cave Systems for the Exploration of Volume Rendered Confocal Data Sets

We present a participant study that compares biological data exploration tasks using volume renderings of laser confocal microscopy data across three environments that vary in level of immersion: a desktop, fishtank, and cave system. For the tasks, data, and visualization approach used in our study, we found that subjects qualitatively preferred and quantitatively performed better in the cave compared with the fishtank and desktop. Subjects performed real-world biological data analysis tasks that emphasized understanding spatial relationships including characterizing the general features in a volume, identifying colocated features, and reporting geometric relationships such as whether clusters of cells were coplanar. After analyzing data in each environment, subjects were asked to choose which environment they wanted to analyze additional data sets in - subjects uniformly selected the cave environment.

Problematic Internet use in British adolescents: An exploration of the addictive symptomatology

Research into online addictions has increased substantially over the last decade, particularly amongst youth. This study adapted the Problematic Internet Entertainment Use Scale for Adolescents [PIEUSA] for use with a British population. The adapted scale was used to (i) validate the instrument for English-speaking adolescent samples, (ii) estimate the prevalence of adolescent online problem users and describe their profile, and (iii) assess the accuracy of the scale"s classification of symptomatology. A survey was administered to 1097 adolescents aged between 11 and 18 years. The results indicated that (i) reliability of the adapted scale was excellent; factor validity showed unidimensionality, and construct validity was adequate. The findings also indicated that (ii) prevalence of online problem users was 5.2% and that they were more likely to younger males that engaged in online gaming for more than two hours most days. The majority of online problem users displayed negative addictive symptoms, especially"loss of control" and"conflict". The adapted scale showed (iii) very good sensitivity, specificity, and classification accuracy, and was able to clearly differentiate between problem and non-problem users. The results suggest certain differences between adolescent and adult online problem users based in the predominance of slightly different psychological components.