Models and Strategies for Variants of the Job Shop Scheduling Problem

Recently, a variety of constraint programming and Boolean satisfiability approaches to scheduling problems have been introduced. They have in common the use of relatively simple propagation mechanisms and an adaptive way to focus on the most constrained part of the problem. In some cases, these methods compare favorably to more classical constraint programming methods relying on propagation algorithms for global unary or cumulative resource constraints and dedicated search heuristics. In particular, we described an approach that combines restarting, with a generic adaptive heuristic and solution guided branching on a simple model based on a decomposition of disjunctive constraints. In this paper, we introduce an adaptation of this technique for an important subclass of job shop scheduling problems (JSPs), where the objective function involves minimization of earliness/tardiness costs. We further show that our technique can be improved by adding domain specific information for one variant of the JSP (involving time lag constraints). In particular we introduce a dedicated greedy heuristic, and an improved model for the case where the maximal time lag is 0 (also referred to as no-wait JSPs).Comment: Principles and Practice of Constraint Programming - CP 2011, Perugia : Italy (2011

Kinetic DTI of the cervical spine: diffusivity changes in healthy subjects

Introduction The study aims to assess the influence of neck extension on water diffusivity within the cervical spinal cord. Methods IRB approved the study in 22 healthy volunteers. All subjects underwent anatomical MR and diffusion tensor imaging (DTI) at 1.5 T. The cervical cord was imaged in neutral (standard) position and extension. Segmental vertebral rotations were analyzed on sagittal T2-weighted images using the SpineView® software. Spinal cord diffusivity was measured in cross-sectional regions of interests at multiple levels (C1–C5). Results As a result of non-adapted coil geometry for spinal extension, 10 subjects had to be excluded. Image quality of the remaining 12 subjects was good without any deteriorating artifacts. Quantitative measurements of vertebral rotation angles and diffusion parameters showed good intra-rater reliability (ICC= 0.84–0.99). DTI during neck extension revealed significantly decreased fractional anisotropy (FA) and increased radial diffusivity (RD) at the C3 level and increased apparent diffusion coefficients (ADC) at the C3 and C4 levels (p < 0.01 Bonferroni corrected). The C3/C4 level corresponded to the maximal absolute change in segmental vertebral rotation between the two positions. The increase in RD correlated positively with the degree of global extension, i.e., the summed vertebral rotation angle between C1 and C5 (R= 0.77, p= 0.006). Conclusion Our preliminary results suggest that DTI can quantify changes in water diffusivity during cervical spine extension. The maximal differences in segmental vertebral rotation corresponded to the levels with significant changes in diffusivity (C3/C4). Consequently, kinetic DTI measurements may open new perspectives in the assessment of neural tissue under biomechanical constraint

Core-Guided and Core-Boosted Search for CP

Peer reviewe

Associations of lumbar scoliosis with presentation of suspected early axial spondyloarthritis

Objective: Scoliosis may impact the mechanical loading and cause secondary changes of the sacroiliac joints and lumbar spine. Our goal was to look how lumbar scoliosis modify the clinical and imaging-study in patients with recent-onset inflammatory back pain (IBP) suggesting axial spondyloarthritis (axSpA).Methods: Baseline weight-bearing lumbar-spine radiographs obtained in the DESIR cohort of patients aged 18-50 years and having IBP for at least 3 months but less than 3 years suggesting axSpA were studied. After training on scoliosis detection based on Cobb's angle>10 degrees plus Nash-Moe grade >= 1, readers blinded to patient data measured spine lumbar scoliosis, sacral horizontal angle, lumbosacral angle and lumbar lordosis on the radiograph of the lumbar and scored sacroiliitis on the radiograph of the pelvis. Baseline MRIs T1 and STIR of the lumbar spine and sacroiliac joints were evaluated for respectively degenerative changes and signs of axSpA.Results: Of the 360 patients (50.8% females) 88.7% had lumbar pain and 69.3% met ASAS criteria for axSpA. Mean Cobb's angle was 3.2 degrees +/- 5.0 degrees and 28 (7.7%) patients had lumbar scoliosis. No statistical differences were observed for radiographic sacroiliitis, MRI sacroiliitis, modified Stoke Ankylosing Spondylitis Spinal Score, Pfirmmann score, high-intensity zone, protrusion, extrusion, MODIC score between patients with and without scoliosis. In both groups, degenerative changes by MRI were rare and predominated at L4-L5 and L5-S1.Conclusion: In patients with early IBP suggesting axSpA, lumbar scoliosis was not associated with inflammatory or degenerative changes. (C) 2019 Elsevier Inc. All rights reserved.Imaging- and therapeutic targets in neoplastic and musculoskeletal inflammatory diseas

Metamorphic testing of constraint solvers

Constraint solvers are complex pieces of software and are notoriously difficult to debug. In large part this is due to the difficulty of pinpointing the source of an error in the vast searches these solvers perform, since the effect of an error may only come to light long after the error is made. In addition, an error does not necessarily lead to the wrong result, further complicating the debugging process. A major source of errors in a constraint solver is the complex constraint propagation algorithms that provide the inference that controls and directs the search. In this paper we show that metamorphic testing is a principled way to test constraint solvers by comparing two different implementations of the same constraint. Specifically, specialised propagators for the constraint are tested against the general purpose table constraint propagator. We report on metamorphic testing of the constraint solver Minion. We demonstrate that the metamorphic testing method is very effective for finding artificial bugs introduced by random code mutation

The longitudinal changes of BOLD response and cerebral hemodynamics from acute to subacute stroke. A fMRI and TCD study

<p>Abstract</p> <p>Background</p> <p>By mapping the dynamics of brain reorganization, functional magnetic resonance imaging MRI (fMRI) has allowed for significant progress in understanding cerebral plasticity phenomena after a stroke. However, cerebro-vascular diseases can affect blood oxygen level dependent (BOLD) signal. Cerebral autoregulation is a primary function of cerebral hemodynamics, which allows to maintain a relatively constant blood flow despite changes in arterial blood pressure and perfusion pressure. Cerebral autoregulation is reported to become less effective in the early phases post-stroke.</p> <p>This study investigated whether any impairment of cerebral hemodynamics that occurs during the acute and the subacute phases of ischemic stroke is related to changes in BOLD response.</p> <p>We enrolled six aphasic patients affected by acute stroke. All patients underwent a Transcranial Doppler to assess cerebral autoregulation (Mx index) and fMRI to evaluate the amplitude and the peak latency (time to peak-TTP) of BOLD response in the acute (i.e., within four days of stroke occurrence) and the subacute (i.e., between five and twelve days after stroke onset) stroke phases.</p> <p>Results</p> <p>As patients advanced from the acute to subacute stroke phase, the affected hemisphere presented a BOLD TTP increase (p = 0.04) and a deterioration of cerebral autoregulation (Mx index increase, p = 0.046). A similar but not significant trend was observed also in the unaffected hemisphere. When the two hemispheres were grouped together, BOLD TTP delay was significantly related to worsening cerebral autoregulation (Mx index increase) (Spearman's rho = 0.734; p = 0.01).</p> <p>Conclusions</p> <p>The hemodynamic response function subtending BOLD signal may present a delay in peak latency that arises as patients advance from the acute to the subacute stroke phase. This delay is related to the deterioration of cerebral hemodynamics. These findings suggest that remodeling the fMRI hemodynamic response function in the different phases of stroke may optimize the detection of BOLD signal changes.</p

Biomarkers of stroke recovery: consensus-based core recommendations from the Stroke Recovery and Rehabilitation Roundtable

The most difficult clinical questions in stroke rehabilitation are ‘‘What is this patient’s potential for recovery?’’ and ‘‘What is the best rehabilitation strategy for this person, given her/his clinical profile?’’ Without answers to these questions, clinicians struggle to make decisions regarding the content and focus of therapy, and researchers design studies that inadvertently mix participants who have a high likelihood of responding with those who do not. Developing and implementing biomarkers that distinguish patient subgroups will help address these issues and unravel the factors important to the recovery process. The goal of the present paper is to provide a consensus statement regarding the current state of the evidence for stroke recovery biomarkers. Biomarkers of motor, somatosensory, cognitive and language domains across the recovery timeline post-stroke are considered; with focus on brain structure and function, and exclusion of blood markers and genetics. We provide evidence for biomarkers that are considered ready to be included in clinical trials, as well as others that are promising but not ready and so represent a developmental priority. We conclude with an example that illustrates the utility of biomarkers in recovery and rehabilitation research, demonstrating how the inclusion of a biomarker may enhance future clinical trials. In this way, we propose a way forward for when and where we can include biomarkers to advance the efficacy of the practice of, and research into, rehabilitation and recovery after stroke