The geometry of spontaneous spiking in neuronal networks

The mathematical theory of pattern formation in electrically coupled networks of excitable neurons forced by small noise is presented in this work. Using the Freidlin-Wentzell large deviation theory for randomly perturbed dynamical systems and the elements of the algebraic graph theory, we identify and analyze the main regimes in the network dynamics in terms of the key control parameters: excitability, coupling strength, and network topology. The analysis reveals the geometry of spontaneous dynamics in electrically coupled network. Specifically, we show that the location of the minima of a certain continuous function on the surface of the unit n-cube encodes the most likely activity patterns generated by the network. By studying how the minima of this function evolve under the variation of the coupling strength, we describe the principal transformations in the network dynamics. The minimization problem is also used for the quantitative description of the main dynamical regimes and transitions between them. In particular, for the weak and strong coupling regimes, we present asymptotic formulas for the network activity rate as a function of the coupling strength and the degree of the network. The variational analysis is complemented by the stability analysis of the synchronous state in the strong coupling regime. The stability estimates reveal the contribution of the network connectivity and the properties of the cycle subspace associated with the graph of the network to its synchronization properties. This work is motivated by the experimental and modeling studies of the ensemble of neurons in the Locus Coeruleus, a nucleus in the brainstem involved in the regulation of cognitive performance and behavior

Type-based allocation analysis for co-recursion in lazy functional languages

This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this system against an instrumented variant of Launch-bury’s semantics for lazy evaluation which serves as a formal cost model.Our soundness proof requires an intermediate semantics employing indi-rections. Our proof of correspondence between these semantics that weprovide is thus a crucial part of this work.The analysis has been implemented as an automatic inference system.We demonstrate its effectiveness using several example programs thatpreviously could not be automatically analysed.Postprin

Optimum electrode configurations for fast ion separation in microfabricated surface ion traps

For many quantum information implementations with trapped ions, effective shuttling operations are important. Here we discuss the efficient separation and recombination of ions in surface ion trap geometries. The maximum speed of separation and recombination of trapped ions for adiabatic shuttling operations depends on the secular frequencies the trapped ion experiences in the process. Higher secular frequencies during the transportation processes can be achieved by optimising trap geometries. We show how two different arrangements of segmented static potential electrodes in surface ion traps can be optimised for fast ion separation or recombination processes. We also solve the equations of motion for the ion dynamics during the separation process and illustrate important considerations that need to be taken into account to make the process adiabatic

Sources, seasonality, and trends of southeast US aerosol: an integrated analysis of surface, aircraft, and satellite observations with the GEOS-Chem chemical transport model

We use an ensemble of surface (EPA CSN, IMPROVE, SEARCH, AERONET), aircraft (SEAC4RS), and satellite (MODIS, MISR) observations over the southeast US during the summer–fall of 2013 to better understand aerosol sources in the region and the relationship between surface particulate matter (PM) and aerosol optical depth (AOD). The GEOS-Chem global chemical transport model (CTM) with 25 × 25 km2 resolution over North America is used as a common platform to interpret measurements of different aerosol variables made at different times and locations. Sulfate and organic aerosol (OA) are the main contributors to surface PM2.5 (mass concentration of PM finer than 2.5 μm aerodynamic diameter) and AOD over the southeast US. OA is simulated successfully with a simple parameterization, assuming irreversible uptake of low-volatility products of hydrocarbon oxidation. Biogenic isoprene and monoterpenes account for 60 % of OA, anthropogenic sources for 30 %, and open fires for 10 %. 60 % of total aerosol mass is in the mixed layer below 1.5 km, 25 % in the cloud convective layer at 1.5–3 km, and 15 % in the free troposphere above 3 km. This vertical profile is well captured by GEOS-Chem, arguing against a high-altitude source of OA. The extent of sulfate neutralization (f = [NH4+]/(2[SO42−] + [NO3−]) is only 0.5–0.7 mol mol−1 in the observations, despite an excess of ammonia present, which could reflect suppression of ammonia uptake by OA. This would explain the long-term decline of ammonium aerosol in the southeast US, paralleling that of sulfate. The vertical profile of aerosol extinction over the southeast US follows closely that of aerosol mass. GEOS-Chem reproduces observed total column aerosol mass over the southeast US within 6 %, column aerosol extinction within 16 %, and space-based AOD within 8–28 % (consistently biased low). The large AOD decline observed from summer to winter is driven by sharp declines in both sulfate and OA from August to October. These declines are due to shutdowns in both biogenic emissions and UV-driven photochemistry. Surface PM2.5 shows far less summer-to-winter decrease than AOD and we attribute this in part to the offsetting effect of weaker boundary layer ventilation. The SEAC4RS aircraft data demonstrate that AODs measured from space are consistent with surface PM2.5. This implies that satellites can be used reliably to infer surface PM2.5 over monthly timescales if a good CTM representation of the aerosol vertical profile is available

Search for supersymmetry with a dominant R-parity violating LQDbar couplings in e+e- collisions at centre-of-mass energies of 130GeV to 172 GeV

A search for pair-production of supersymmetric particles under the assumption that R-parity is violated via a dominant LQDbar coupling has been performed using the data collected by ALEPH at centre-of-mass energies of 130-172 GeV. The observed candidate events in the data are in agreement with the Standard Model expectation. This result is translated into lower limits on the masses of charginos, neutralinos, sleptons, sneutrinos and squarks. For instance, for m_0=500 GeV/c^2 and tan(beta)=sqrt(2) charginos with masses smaller than 81 GeV/c^2 and neutralinos with masses smaller than 29 GeV/c^2 are excluded at the 95% confidence level for any generation structure of the LQDbar coupling.Comment: 32 pages, 30 figure

Toward a 21st-century health care system: Recommendations for health care reform

The coverage, cost, and quality problems of the U.S. health care system are evident. Sustainable health care reform must go beyond financing expanded access to care to substantially changing the organization and delivery of care. The FRESH-Thinking Project (www.fresh-thinking.org) held a series of workshops during which physicians, health policy experts, health insurance executives, business leaders, hospital administrators, economists, and others who represent diverse perspectives came together. This group agreed that the following 8 recommendations are fundamental to successful reform: 1. Replace the current fee-for-service payment system with a payment system that encourages and rewards innovation in the efficient delivery of quality care. The new payment system should invest in the development of outcome measures to guide payment. 2. Establish a securely funded, independent agency to sponsor and evaluate research on the comparative effectiveness of drugs, devices, and other medical interventions. 3. Simplify and rationalize federal and state laws and regulations to facilitate organizational innovation, support care coordination, and streamline financial and administrative functions. 4. Develop a health information technology infrastructure with national standards of interoperability to promote data exchange. 5. Create a national health database with the participation of all payers, delivery systems, and others who own health care data. Agree on methods to make de-identified information from this database on clinical interventions, patient outcomes, and costs available to researchers. 6. Identify revenue sources, including a cap on the tax exclusion of employer-based health insurance, to subsidize health care coverage with the goal of insuring all Americans. 7. Create state or regional insurance exchanges to pool risk, so that Americans without access to employer-based or other group insurance could obtain a standard benefits package through these exchanges. Employers should also be allowed to participate in these exchanges for their employees' coverage. 8. Create a health coverage board with broad stakeholder representation to determine and periodically update the affordable standard benefit package available through state or regional insurance exchanges

Psychology and aggression

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68264/2/10.1177_002200275900300301.pd

Cross-ancestry genome-wide association analysis of corneal thickness strengthens link between complex and Mendelian eye diseases

Central corneal thickness (CCT) is a highly heritable trait associated with complex eye diseases such as keratoconus and glaucoma. We perform a genome-wide association meta-analysis of CCT and identify 19 novel regions. In addition to adding support for known connective tissue-related pathways, pathway analyses uncover previously unreported gene sets. Remarkably, >20% of the CCT-loci are near or within Mendelian disorder genes. These included FBN1, ADAMTS2 and TGFB2 which associate with connective tissue disorders (Marfan, Ehlers-Danlos and Loeys-Dietz syndromes), and the LUM-DCN-KERA gene complex involved in myopia, corneal dystrophies and cornea plana. Using index CCT-increasing variants, we find a significant inverse correlation in effect sizes between CCT and keratoconus (r =-0.62, P = 5.30 × 10-5) but not between CCT and primary open-angle glaucoma (r =-0.17, P = 0.2). Our findings provide evidence for shared genetic influences between CCT and keratoconus, and implicate candidate genes acting in collagen and extracellular matrix regulation

Search for Bs0B^{0}_{s} oscillations using inclusive lepton events

A search for Bs oscillations is performed using a sample of semileptonic b-hadron decays collected by the ALEPH experiment during 1991-1995. Compared to previous inclusive lepton analyses, the prop er time resolution and b-flavour mistag rate are significantly improved. Additional sensitivity to Bs mixing is obtained by identifying subsamples of events having a Bs purity which is higher than the average for the whole data sample. Unbinned maximum likelihood amplitude fits are performed to derive a lower limit of Dms>9.5 ps-1 at 95% CL. Combining with the ALEPH Ds based analyses yields Dms>9.6 ps-1 at 95% CL.A search for B0s oscillations is performed using a sample of semileptonic b-hadron decays collected by the ALEPH experiment during 1991-1995. Compared to previous inclusive lepton analyses, the proper time resolution and b-flavour mistag rate are significantly improved. Additional sensitivity to B0s mixing is obtained by identifying subsamples of events having a B0s purity which is higher than the average for the whole data sample. Unbinned maximum likelihood amplitude fits are performed to derive a lower limit of Deltam_s>9.5ps^-1 at 95% CL. Combining with the ALEPH D-s based analyses yields Deltam_s>9.6ps^-1 at 95% CL