Space Saving by Dynamic Algebraization

Dynamic programming is widely used for exact computations based on tree decompositions of graphs. However, the space complexity is usually exponential in the treewidth. We study the problem of designing efficient dynamic programming algorithm based on tree decompositions in polynomial space. We show how to construct a tree decomposition and extend the algebraic techniques of Lokshtanov and Nederlof such that the dynamic programming algorithm runs in time $O^*(2^h)$, where $h$ is the maximum number of vertices in the union of bags on the root to leaf paths on a given tree decomposition, which is a parameter closely related to the tree-depth of a graph. We apply our algorithm to the problem of counting perfect matchings on grids and show that it outperforms other polynomial-space solutions. We also apply the algorithm to other set covering and partitioning problems.Comment: 14 pages, 1 figur

Stability criteria for a pyramidal shaped asperity ploughing through a plastically deforming substrate

In two body abrasion processes hard asperities plough through a soft surface. If the asperities can resist the forces that act on it, scratches will develop in the soft material. If the asperities cannot withstand these forces, they will break off and not cause direct abrasion damage. The same is the case for galling, where lumps develop on one of the surfaces because of material transfer. These lumps will abrade the counter surface, if the lumps are strong enough to withstand the forces that act on it. In order to describe these phenomena, simple criteria are desired to describe the mechanical stability of asperities and lumps.\ud \ud In this work, an analytical model is presented for the mechanical stability of asperities. In the analysis, a pyramidal asperity shape will be assumed. Given the pyramidal asperity shape, several cases will be studied: the load is carried by a pyramid with a triangular base, a pyramid with a triangular base and an extended backside and the case where a crack has developed. Based on these models stability criteria of ploughing pyramidal asperities will be developed. Important results of the model will be discussed in the context of abrasion and adhesive wear processes

Dissociative recombination and electron-impact de-excitation in CH photon emission under ITER divertor-relevant plasma conditions

For understanding carbon erosion and redeposition in nuclear fusion devices, it is important to understand the transport and chemical break-up of hydrocarbon molecules in edge plasmas, often diagnosed by emission of the CH A^2\Delta - X^2\Pi Ger\"o band around 430 nm. The CH A-level can be excited either by electron-impact or by dissociative recombination (D.R.) of hydrocarbon ions. These processes were included in the 3D Monte Carlo impurity transport code ERO. A series of methane injection experiments was performed in the high-density, low-temperature linear plasma generator Pilot-PSI, and simulated emission intensity profiles were benchmarked against these experiments. It was confirmed that excitation by D.R. dominates at T_e < 1.5 eV. The results indicate that the fraction of D.R. events that lead to a CH radical in the A-level and consequent photon emission is at least 10%. Additionally, quenching of the excited CH radicals by electron impact de-excitation was included in the modeling. This quenching is shown to be significant: depending on the electron density, it reduces the effective CH emission by a factor of 1.4 at n_e=1.3*10^20 m^-3, to 2.8 at n_e=9.3*10^20 m^-3. Its inclusion significantly improved agreement between experiment and modeling

The (co-)occurrence of problematic video gaming, substance use, and psychosocial problems in adolescents

Aims. The current study explored the nature of problematic (addictive) video gaming and the association with game type, psychosocial health, and substance use. Methods. Data were collected using a paper and pencil survey in the classroom setting. Three samples were aggregated to achieve a total sample of 8478 unique adolescents. Scales included measures of game use, game type, the Video game Addiction Test (VAT), depressive mood, negative self-esteem, loneliness, social anxiety, education performance, and use of cannabis, alcohol and nicotine (smoking). Results. Findings confirmed problematic gaming is most common amongst adolescent gamers who play multiplayer online games. Boys (60%) were more likely to play online games than girls (14%) and problematic gamers were more likely to be boys (5%) than girls (1%). High problematic gamers showed higher scores on depressive mood, loneliness, social anxiety, negative self-esteem, and self-reported lower school performance. Nicotine, alcohol, and cannabis using boys were almost twice more likely to report high PVG than non-users. Conclusions. It appears that online gaming in general is not necessarily associated with problems. However, problematic gamers do seem to play online games more often, and a small subgroup of gamers – specifically boys – showed lower psychosocial functioning and lower grades. Moreover, associations with alcohol, nicotine, and cannabis use are found. It would appear that problematic gaming is an undesirable problem for a small subgroup of gamers. The findings encourage further exploration of the role of psychoactive substance use in problematic gaming

Does a Perturbation Based Gait Intervention Enhance Gait Stability in Fall Prone Stroke Survivors?:A Pilot Study

A recent review indicated that perturbation based training (PBT) interventions are effective in reducing falls in older adults and patients with Parkinson's disease. It is unknown whether this type of intervention is effective in stroke survivors. We determined whether PBT can enhance gait stability in stroke survivors. Ten chronic stroke survivors who experienced falls in the past six months participated in the PBT. Participants performed 10 training sessions over a six-week period. The gait training protocol was progressive and each training contained, unexpected gait perturbations and expected gait perturbations. Evaluation of gait stability was performed by determining steady-state gait characteristics and daily-life gait characteristics. We previously developed fall prediction models for both gait assessment methods. We evaluated whether predicted fall risk was reduced after PBT according to both models. Steady-state gait characteristics significantly improved and consequently predicted fall risk was reduced after the PBT. Daily-life gait characteristics, however, did not change and thus predicted fall risk based on daily-life gait remained unchanged after the PBT. A PBT resulted in more stable gait on a treadmill and thus lower predicted fall risk. However, the more stable gait on the treadmill did not transfer to a more stable gait in daily life

The importance of thermal dissociation in CO2 microwave discharges investigated by power pulsing and rotational Raman scattering

The input power of a CO2 microwave plasma is modulated at kHz rate in scans of duty cycle at constant average power to investigate gas heating dynamics and its relation to dissociation efficiency. Rotational temperature profiles obtained from rotational Raman scattering reveal peak temperatures of up to 3000 K, while the edge temperature remains cold (500 K). During the plasma \u27OFF\u27-period, the gas cools down convectively, but remains overall too hot to allow for strong overpopulation of vibrational modes (2200 K in the core). Fast optical imaging monitors plasma volume variations and shows that power density scales with peak power. As dissociation scales with observed peak rotational temperature, it is concluded that thermal processes dominate. A simple 0D model is constructed which explains how higher power density favors dissociation over radial energy transport. Thermal decomposition is reviewed in relation to quenching oxygen radicals with vibrationally excited CO2, to reflect on earlier reported record efficiencies of 90%.</p

Plasma activation of N-2, CH4 and CO2: an assessment of the vibrational non-equilibrium time window

Vibrational excitation potentially enhances the energy efficiency of plasma dissociation of stable molecules and may open new routes for energy storage and process electrification. Electron, vibrational and rotational temperatures were measured by in situ Thomson and Raman scattering in order to assess the opportunities and limitations of the essential vibration-translation non-equilibria in N-2, CO2 and CH4 plasma. Electron temperatures of 1.1-2.8 eV were measured in N-2 and CH4. These are used to confirm predominant energy transfer to vibrations after an initial phase of significant electronic excitation and ionization. The vibrational temperatures initially exceed rotational temperatures by almost 8000 K in N-2, by 900 K in CO2, and by 300 K in CH4. Equilibration is observed at the 0.1 ms timescale. Based on the vibrational temperatures, the vibrational loss rates for different channels are estimated. In N-2, vibrational quenching via N atoms is identified as the dominant equilibration mechanism. Atomic nitrogen population reaches a mole fraction of more than 1%, as inferred from the afterglow emission decay, and explains a gas heating rate of 25 K mu s(-1). CH4 equilibration at 1200 K is predominantly caused by vibrational-translational relaxation in CH4-CH4 collisions. As for CO2, vibrational-translational relaxation via parent molecules is responsible for a large fraction of the observed heating, whereas product-mediated VT relaxation is not significantly contributing. It is suggested that electronic excitation, followed by dissociation or quenching contributes to the remaining heat generation. In conclusion, the time window to profit from vibrational excitation under the present conditions is limiting practical application.</p

Plexus anesthesia versus general anesthesia in patients for carotid endarterectomy with patch angioplasty:Protocol for a systematic review with meta-analyses and Trial Sequential Analysis of randomized clinical trials

Introduction: Traditional carotid endarterectomy is considered to be the standard technique for prevention of a new stroke in patients with a symptomatic carotid stenosis. Use of plexus anesthesia or general anesthesia in traditional carotid endarterectomy is, to date, not unequivocally proven to be superior to one other. A systematic review is needed for evaluation of benefits and harms to determine which technique, plexus anesthesia or general anesthesia is more effective for traditional carotid endarterectomy in patients with symptomatic carotid stenosis. Methods and outcomes: The review will be conducted according to this protocol following the recommendations of the ‘Cochrane Handbook for Systematic Reviews’ and reported according to Preferred Reporting Items for Systematic Reviews and Meta-Analyses. Randomized Clinical Trials comparing plexus anesthesia versus general anesthesia in traditional carotid endarterectomy will be included. Primary outcomes will be postoperative death and/ or stroke (<30 days) and serious adverse events. Secondary outcomes will be non-serious adverse events. We will primarily base our conclusions on meta-analyses of trials with overall low risk of bias. We will use Trial Sequential Analysis to assist the evaluation of imprecision in Grading of Recommendations Assessment, Development and Evaluation. However, if pooled point-estimates of all trials are similar to pooled point-estimates of trials with overall low risk of bias and there is lack of a statistical significant interaction between estimates from trials with overall high risk of bias and trials with overall low risk of bias we will consider the Trial Sequential Analysis adjusted confidence interval precision of the estimate achieved in all trials as the result of our meta-analyses. Ethics and dissemination: The proposed systematic review will collect and analyze secondary data from already performed studies therefore ethical approval is not required. The results of the systematic review will be disseminated by publication in a peer-review journal and submitted for presentation at relevant conferences

Separate, measure and conquer: faster polynomial-space algorithms for Max 2-CSP and counting dominating sets

We show a method resulting in the improvement of several polynomial-space, exponential-time algorithms. The method capitalizes on the existence of small balanced separators for sparse graphs, which can be exploited for branching to disconnect an instance into independent components. For this algorithm design paradigm, the challenge to date has been to obtain improvements in worst-case analyses of algorithms, compared with algorithms that are analyzed with advanced methods, such as Measure and Conquer. Our contribution is the design of a general method to integrate the advantage from the separator-branching into Measure and Conquer, for an improved running time analysis. We illustrate the method with improved algorithms for Max (r,2) -CSP and #Dominating Set. For Max (r,2) -CSP instances with domain size r and m constraints, the running time improves from r m/6 to r m/7.5 for cubic instances and from r 0.19⋅m to r 0.18⋅m for general instances, omitting subexponential factors. For #Dominating Set instances with n vertices, the running time improves from 1.4143 n to 1.2458 n for cubic instances and from 1.5673 n to 1.5183 n for general instances. It is likely that other algorithms relying on local transformations can be improved using our method, which exploits a non-local property of graphs