Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an unlimited supply of propositional variables. It follows that satisfiability for CTL, as well as for ATL, with a single variable is EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a single variable is 2EXPTIME-complete,--i.e., for these logics, the satisfiability for formulas with only one variable is as hard as satisfiability for arbitrary formulas.Comment: Prefinal version of the published pape

Engineers and planners: Sustainable water management alliances

Copyright © 2011 ICE Publishing Ltd. Permission is granted by ICE Publishing to print one copy for personal use. Any other use of these PDF files is subject to reprint fees.In the future, increasing pressure will inevitably be placed on the spatial planning system to improve its consideration of water management issues. Emerging challenges include designing for climatic extremes, reducing flood risk, managing increasingly scarce water resources and improving water quality. These issues need to be balanced with a range of other spatial planning priorities and objectives, including meeting new housing needs, facilitating economic growth, and creating and maintaining quality places. The sheer complexity of the issues surrounding water management and the impacts upon spatial planning mean that partnership working is essential to achieve an integrated approach. Planners need the expertise, and crucially the understanding, of engineers and hydrologists. However, there can be considerable misunderstanding and miscommunication between disciplines, often concerning the institutional context in which the various parties operate. A plethora of policies, tools and assessments exist, which can make integrated water management an overwhelming prospect for the planner. This paper attempts to identify and address some of the issues faced, as well as examining how planners embed hydrological issues in decision making and how engineers could better facilitate this

Full Stokes imaging polarimetry using dielectric metasurfaces

Polarization is a degree of freedom of light carrying important information that is usually absent in intensity and spectral content. Imaging polarimetry is the process of determining the polarization state of light, either partially or fully, over an extended scene. It has found several applications in various fields, from remote sensing to biology. Among different devices for imaging polarimetry, division of focal plane polarization cameras (DoFP-PCs) are more compact, less complicated, and less expensive. In general, DoFP-PCs are based on an array of polarization filters in the focal plane. Here we demonstrate a new principle and design for DoFP-PCs based on dielectric metasurfaces with the ability to control polarization and phase. Instead of polarization filtering, the method is based on splitting and focusing light in three different polarization bases. Therefore, it enables full-Stokes characterization of the state of polarization, and overcomes the 50% theoretical efficiency limit of the polarization-filter-based DoFP-PCs.Comment: 20 pages, 4 figure

Genome-Wide Gene Amplification during Differentiation of Neural Progenitor Cells In Vitro

DNA sequence amplification is a phenomenon that occurs predictably at defined stages during normal development in some organisms. Developmental gene amplification was first described in amphibians during gametogenesis and has not yet been described in humans. To date gene amplification in humans is a hallmark of many tumors. We used array-CGH (comparative genomic hybridization) and FISH (fluorescence in situ hybridization) to discover gene amplifications during in vitro differentiation of human neural progenitor cells. Here we report a complex gene amplification pattern two and five days after induction of differentiation of human neural progenitor cells. We identified several amplified genes in neural progenitor cells that are known to be amplified in malignant tumors. There is also a striking overlap of amplified chromosomal regions between differentiating neural progenitor cells and malignant tumor cells derived from astrocytes. Gene amplifications in normal human cells as physiological process has not been reported yet and may bear resemblance to developmental gene amplifications in amphibians and insects

The Cumulative Effect of Transient Synchrony States on Motor Performance in Parkinson's Disease.

Bursts of beta frequency band activity in the basal ganglia of patients with Parkinson's disease (PD) are associated with impaired motor performance. Here we test in human adults whether small variations in the timing of movement relative to beta bursts have a critical effect on movement velocity and whether the cumulative effects of multiple beta bursts, both locally and across networks, matter. We recorded local field potentials from the subthalamic nucleus (STN) in 15 PD patients of both genders OFF-medication, during temporary lead externalization after deep brain stimulation surgery. Beta bursts were defined as periods exceeding the 75th percentile amplitude threshold. Subjects performed a visual cued joystick reaching task, with the visual cue being triggered in real time with different temporal relationships to bursts of STN beta activity. The velocity of actions made in response to cues prospectively triggered by STN beta bursts was slower than when responses were not time-locked to recent beta bursts. Importantly, slow movements were those that followed multiple bursts close to each other within a trial. In contrast, small differences in the delay between the last burst and movement onset had no significant impact on velocity. Moreover, when the overlap of bursts between the two STN was high, slowing was more pronounced. Our findings suggest that the cumulative, but recent, history of beta bursting, both locally and across basal ganglia networks, may impact on motor performance.SIGNIFICANCE STATEMENT Bursts of beta frequency band activity in the basal ganglia are associated with slowing of voluntary movement in patients with Parkinson's disease. We show that slow movements are those that follow multiple bursts close to each other and bursts that are coupled across regions. These results suggest that the cumulative, but recent, history of beta bursting, both locally and across basal ganglia networks, impacts on motor performance in this condition. The manipulation of burst dynamics may be a means of selectively improving motor impairment

Radio-frequency dressed state potentials for neutral atoms

Potentials for atoms can be created by external fields acting on properties like magnetic moment, charge, polarizability, or by oscillating fields which couple internal states. The most prominent realization of the latter is the optical dipole potential formed by coupling ground and electronically excited states of an atom with light. Here we present an experimental investigation of the remarkable properties of potentials derived from radio-frequency (RF) coupling between electronic ground states. The coupling is magnetic and the vector character allows to design state dependent potential landscapes. On atom chips this enables robust coherent atom manipulation on much smaller spatial scales than possible with static fields alone. We find no additional heating or collisional loss up to densities approaching $10^{15}$ atoms / cm$^3$ compared to static magnetic traps. We demonstrate the creation of Bose-Einstein condensates in RF potentials and investigate the difference in the interference between two independently created and two coherently split condensates in identical traps. All together this makes RF dressing a powerful new tool for micro manipulation of atomic and molecular systems

Mentoring programs for medical students - a review of the PubMed literature 2000 - 2008

Abstract Background Although mentoring is acknowledged as a key to successful and satisfying careers in medicine, formal mentoring programs for medical students are lacking in most countries. Within the framework of planning a mentoring program for medical students at Zurich University, an investigation was carried out into what types of programs exist, what the objectives pursued by such programs are, and what effects are reported. Methods A PubMed literature search was conducted for 2000 - 2008 using the following keywords or their combinations: mentoring, mentoring program, medical student, mentor, mentee, protégé, mentorship. Although a total of 438 publications were identified, only 25 papers met the selection criteria for structured programs and student mentoring surveys. Results The mentoring programs reported in 14 papers aim to provide career counseling, develop professionalism, increase students' interest in research, and support them in their personal growth. There are both one-to-one and group mentorships, established in the first two years of medical school and continuing through graduation. The personal student-faculty relationship is important in that it helps students to feel that they are benefiting from individual advice and encourages them to give more thought to their career choices. Other benefits are an increase in research productivity and improved medical school performance in general. Mentored students also rate their overall well-being as higher. - The 11 surveys address the requirements for being an effective mentor as well as a successful mentee. A mentor should empower and encourage the mentee, be a role model, build a professional network, and assist in the mentee's personal development. A mentee should set agendas, follow through, accept criticism, and be able to assess performance and the benefits derived from the mentoring relationship. Conclusion Mentoring is obviously an important career advancement tool for medical students. In Europe, more mentoring programs should be developed, but would need to be rigorously assessed based on evidence of their value in terms of both their impact on the career paths of juniors and their benefit for the mentors. Medical schools could then be monitored with respect to the provision of mentorships as a quality characteristic.</p

Electrical control over single hole spins in nanowire quantum dots

Single electron spins in semiconductor quantum dots (QDs) are a versatile platform for quantum information processing, however controlling decoherence remains a considerable challenge. Recently, hole spins have emerged as a promising alternative. Holes in III-V semiconductors have unique properties, such as strong spin-orbit interaction and weak coupling to nuclear spins, and therefore have potential for enhanced spin control and longer coherence times. Weaker hyperfine interaction has already been reported in self-assembled quantum dots using quantum optics techniques. However, challenging fabrication has so far kept the promise of hole-spin-based electronic devices out of reach in conventional III-V heterostructures. Here, we report gate-tuneable hole quantum dots formed in InSb nanowires. Using these devices we demonstrate Pauli spin blockade and electrical control of single hole spins. The devices are fully tuneable between hole and electron QDs, enabling direct comparison between the hyperfine interaction strengths, g-factors and spin blockade anisotropies in the two regimes