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.

Diffusion-weighted MR imaging in musculoskeletal diseases: Current concepts.

MR imaging is currently regarded as a pivotal technique for the assessment of a variety of musculoskeletal conditions. Diffusion-weighted MR imaging (DWI) is a relatively recent sequence that provides information on the degree of cellularity of lesions. Apparent diffusion coefficient (ADC) value provides information on the movement of water molecules outside the cells. The literature contains many studies that have evaluated the role of DWI in musculoskeletal diseases. However, to date they yielded conflicting results on the use and the diagnostic capabilities of DWI in the area of musculoskeletal diseases. However, many of them have showed that DWI is a useful technique for the evaluation of the extent of the disease in a subset of musculoskeletal cancers. In terms of tissue characterization, DWI may be an adjunct to the more conventional MR imaging techniques but should be interpreted along with the signal of the lesion as observed on conventional sequences, especially in musculoskeletal cancers. Regarding the monitoring of response to therapy in cancer or inflammatory disease, the use of ADC value may represent a more reliable additional tool but must be compared to the initial ADC value of the lesions along with the knowledge of the actual therapy.

Pointwise estimates for the Bergman kernel of the weighted Fock space

We prove upper pointwise estimates for the Bergman kernel of the weighted Fock space of entire functions in $L^{2}(e^{-2\phi}) $ where $\phi$ is a subharmonic function with $\Delta\phi$ a doubling measure. We derive estimates for the canonical solution operator to the inhomogeneous Cauchy-Riemann equation and we characterize the compactness of this operator in terms of $\Delta\phi$.

Comparison of accelerated T1-weighted whole-brain structural-imaging protocols.

Imaging in neuroscience, clinical research and pharmaceutical trials often employs the 3D magnetisation-prepared rapid gradient-echo (MPRAGE) sequence to obtain structural T1-weighted images with high spatial resolution of the human brain. Typical research and clinical routine MPRAGE protocols with ~1mm isotropic resolution require data acquisition time in the range of 5-10min and often use only moderate two-fold acceleration factor for parallel imaging. Recent advances in MRI hardware and acquisition methodology promise improved leverage of the MR signal and more benign artefact properties in particular when employing increased acceleration factors in clinical routine and research. In this study, we examined four variants of a four-fold-accelerated MPRAGE protocol (2D-GRAPPA, CAIPIRINHA, CAIPIRINHA elliptical, and segmented MPRAGE) and compared clinical readings, basic image quality metrics (SNR, CNR), and automated brain tissue segmentation for morphological assessments of brain structures. The results were benchmarked against a widely-used two-fold-accelerated 3T ADNI MPRAGE protocol that served as reference in this study. 22 healthy subjects (age=20-44yrs.) were imaged with all MPRAGE variants in a single session. An experienced reader rated all images of clinically useful image quality. CAIPIRINHA MPRAGE scans were perceived on average to be of identical value for reading as the reference ADNI-2 protocol. SNR and CNR measurements exhibited the theoretically expected performance at the four-fold acceleration. The results of this study demonstrate that the four-fold accelerated protocols introduce systematic biases in the segmentation results of some brain structures compared to the reference ADNI-2 protocol. Furthermore, results suggest that the increased noise levels in the accelerated protocols play an important role in introducing these biases, at least under the present study conditions.

Beurling-Landau densities of weighted Fekete sets and correlation kernel estimates

Let $Q$ be a suitable real function on $C$. An $n$-Fekete set corresponding to $Q$ is a subset ${Z_{n1}},\dotsb, Z_{nn}}$ of $C$ which maximizes the expression $\Pi^n_i_{

The connection between distortion risk measures and ordered weighted averaging operators

Distortion risk measures summarize the risk of a loss distribution by means of a single value. In fuzzy systems, the Ordered Weighted Averaging (OWA) and Weighted Ordered Weighted Averaging (WOWA) operators are used to aggregate a large number of fuzzy rules into a single value. We show that these concepts can be derived from the Choquet integral, and then the mathematical relationship between distortion risk measures and the OWA and WOWA operators for discrete and finite random variables is presented. This connection offers a new interpretation of distortion risk measures and, in particular, Value-at-Risk and Tail Value-at-Risk can be understood from an aggregation operator perspective. The theoretical results are illustrated in an example and the degree of orness concept is discussed.

Question Waves: A multicast query routing algorithm for social search

This paper describes Question Waves, an algorithm that can be applied to social search protocols, such as Asknext or Sixearch. In this model, the queries are propagated through the social network, with faster propagation through more trustable acquaintances. Question Waves uses local information to make decisions and obtain an answer ranking. With Question Waves, the answers that arrive first are the most likely to be relevant, and we computed the correlation of answer relevance with the order of arrival to demonstrate this result. We obtained correlations equivalent to the heuristics that use global knowledge, such as profile similarity among users or the expertise value of an agent. Because Question Waves is compatible with the social search protocol Asknext, it is possible to stop a search when enough relevant answers have been found; additionally, stopping the search early only introduces a minimal risk of not obtaining the best possible answer. Furthermore, Question Waves does not require a re-ranking algorithm because the results arrive sorted

Diffusion-weighted magnetic resonance imaging: biomarker for treatment response in oncology

The authors report a case where a quantitative assessment of the apparent diffusion coefficient (ADC) of liver metastasis in a patient undergoing chemotherapy has shown to be an effective early marker for predicting therapeutic response, anticipating changes in tumor size. A lesion with lower initial ADC value and early increase in such value in the course of the treatment tends to present a better therapeutic response.

Susceptibility weighted imaging: differentiating between calcification and hemosiderin

Objective:To present a detailed explanation on the processing of magnetic susceptibility weighted imaging (SWI), demonstrating the effects of echo time and sensitive mask on the differentiation between calcification and hemosiderin.Materials and Methods:Computed tomography and magnetic resonance (magnitude and phase) images of six patients (age range 41– 54 years; four men) were retrospectively selected. The SWI images processing was performed using the Matlab’s own routine.Results:Four out of the six patients showed calcifications at computed tomography images and their SWI images demonstrated hyperintense signal at the calcification regions. The other patients did not show any calcifications at computed tomography, and SWI revealed the presence of hemosiderin deposits with hypointense signal.Conclusion:The selection of echo time and of the mask may change all the information on SWI images, and compromise the diagnostic reliability. Amongst the possible masks, the authors highlight that the sigmoid mask allows for contrasting calcifications and hemosiderin on a single SWI image.

Global coordination: weighted voting

In order to halt the depletion of global ecological capital, a number of different kinds of meetings between Governments of countries in the world has been scheduled. The need for global coordination of environmental policies has become ever more obvious, supported by more and more evidence of the running down of ecological capital. But there are no formal or binding arrangements in sight, as global environmental coordination suffers from high transaction costs (qualitative voting). The CO2 equivalent emissions, resulting in global warming, are driven by the unstoppable economic expansion in the global market economy, employing mainly fossil fuel generated energy, although at the same time lifting sharply the GDP per capita of several emerging countries. Only global environmental coordination on the successful model of the World Band and the IMF (quantitative voting) can stem the rising emissions numbers and stop further environmental degradation. However, the system of weighted voting in the WB and the IMF must be reformed by reducing the excessive voting power disparities, for instance by reducing all member country votes by the cube root expression.

The effect of a weighted-vest strength and balance training program on obstructed walking in postmenopausal women

SUMMARY Background: Age related declines in lower extremity strength have been associated with impaired mobility and changes in gait patterns, which increase the likelihood of falls. Since community dwelling adults encounter a wide range of locomotor challenges including uneven and obstmcted walking surfaces, we examined the effect of a strength 11 and balance exercise program on obstructed walking in postmenopausal women. Objectives: This study examined the effect of a weighted-vest strength and balance exercise program on adaptations of the stance leg during obstacle walking in postmenopausal women. Methods: Eighteen women aged 44-62 years who had not engaged in regular resistance training for the past year were recruited from the St. Catharines community to participate in this study. Eleven women volunteered for an aerobic (walking), strength, and balance training program 3 times per week for 12 weeks while 7 women volunteered as controls. Measurements included: force platform dynamic balance measure of the center of pressure (COP) and ground reaction forces (GRFs) in the stance leg while going over obstacles of different heights (0,5, 10,25 and 30 cm); and isokinetic strength measures of knee and ankle extension and flexion. Results: Of the 18 women, who began the trial, 16 completed it. The EX group showed a significant increase of 40% in ankle plantar flexion strength (P < 0.05). However, no improvements in measures of COP or GRFs were observed for either group. Failure to detect any changes in measures of dynamic balance may be due to small sample size. Conclusions: Postmenopausal women experience significant improvements in ankle strength with 12 weeks of a weighted-vest balance and strength training program, however, these changes do not seem to be associated with any improvement in measures of dynamic balance.