On the flow-level stability of data networks without congestion control: the case of linear networks and upstream trees

In this paper, flow models of networks without congestion control are considered. Users generate data transfers according to some Poisson processes and transmit corresponding packet at a fixed rate equal to their access rate until the entire document is received at the destination; some erasure codes are used to make the transmission robust to packet losses. We study the stability of the stochastic process representing the number of active flows in two particular cases: linear networks and upstream trees. For the case of linear networks, we notably use fluid limits and an interesting phenomenon of "time scale separation" occurs. Bounds on the stability region of linear networks are given. For the case of upstream trees, underlying monotonic properties are used. Finally, the asymptotic stability of those processes is analyzed when the access rate of the users decreases to 0. An appropriate scaling is introduced and used to prove that the stability region of those networks is asymptotically maximized

Learning in large learning spaces:the academic engagement of a diverse group of students

Teaching larger groups of students is a growing phenomenon in HE and this brings with it, its own challenges not least for the students themselves but also their lecturers. Demographic factors as well as the experiences that characterise us as individuals will impact upon our ability to learn. The pilot study reported here considered the “academic engagement” of a diverse group of students where their course is delivered in large learning environments. As a pilot study, the paper concludes with the identification of two areas which are worthy of further research. Firstly, the study highlighted that mature students were more likely to engage in learning strategies that are associated with surface learning – the binary opposite to which practitioners often strive to achieve. Secondly, the research suggests that students who appear to know their tutors well indicate a preference for study approaches that are likely to develop deeper learning

Formal Verification of Hardware Synthesis

Original manuscript: January 21, 2013We report on the implementation of a certified compiler for a high-level hardware description language (HDL) called Fe-Si (FEatherweight SynthesIs). Fe-Si is a simplified version of Bluespec, an HDL based on a notion of guarded atomic actions. Fe-Si is defined as a dependently typed deep embedding in Coq. The target language of the compiler corresponds to a synthesisable subset of Verilog or VHDL. A key aspect of our approach is that input programs to the compiler can be defined and proved correct inside Coq. Then, we use extraction and a Verilog back-end (written in OCaml) to get a certified version of a hardware design.United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0110

A Rapid Screening Psychometric Test

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66666/2/10.1177_000992286900800506.pd

Granular discharge and clogging for tilted hoppers

We measure the flux of spherical glass beads through a hole as a systematic function of both tilt angle and hole diameter, for two different size beads. The discharge increases with hole diameter in accord with the Beverloo relation for both horizontal and vertical holes, but in the latter case with a larger small-hole cutoff. For large holes the flux decreases linearly in cosine of the tilt angle, vanishing smoothly somewhat below the angle of repose. For small holes it vanishes abruptly at a smaller angle. The conditions for zero flux are discussed in the context of a {\it clogging phase diagram} of flow state vs tilt angle and ratio of hole to grain size

A glassy contribution to the heat capacity of hcp 4^4He solids

We model the low-temperature specific heat of solid $^4$He in the hexagonal closed packed structure by invoking two-level tunneling states in addition to the usual phonon contribution of a Debye crystal for temperatures far below the Debye temperature, $T < \Theta_D/50$. By introducing a cutoff energy in the two-level tunneling density of states, we can describe the excess specific heat observed in solid hcp $^4$He, as well as the low-temperature linear term in the specific heat. Agreement is found with recent measurements of the temperature behavior of both specific heat and pressure. These results suggest the presence of a very small fraction, at the parts-per-million (ppm) level, of two-level tunneling systems in solid $^4$He, irrespective of the existence of supersolidity.Comment: 11 pages, 4 figure

Defects and glassy dynamics in solid He-4: Perspectives and current status

We review the anomalous behavior of solid He-4 at low temperatures with particular attention to the role of structural defects present in solid. The discussion centers around the possible role of two level systems and structural glassy components for inducing the observed anomalies. We propose that the origin of glassy behavior is due to the dynamics of defects like dislocations formed in He-4. Within the developed framework of glassy components in a solid, we give a summary of the results and predictions for the effects that cover the mechanical, thermodynamic, viscoelastic, and electro-elastic contributions of the glassy response of solid He-4. Our proposed glass model for solid He-4 has several implications: (1) The anomalous properties of He-4 can be accounted for by allowing defects to freeze out at lowest temperatures. The dynamics of solid He-4 is governed by glasslike (glassy) relaxation processes and the distribution of relaxation times varies significantly between different torsional oscillator, shear modulus, and dielectric function experiments. (2) Any defect freeze-out will be accompanied by thermodynamic signatures consistent with entropy contributions from defects. It follows that such entropy contribution is much smaller than the required superfluid fraction, yet it is sufficient to account for excess entropy at lowest temperatures. (3) We predict a Cole-Cole type relation between the real and imaginary part of the response functions for rotational and planar shear that is occurring due to the dynamics of defects. Similar results apply for other response functions. (4) Using the framework of glassy dynamics, we predict low-frequency yet to be measured electro-elastic features in defect rich He-4 crystals. These predictions allow one to directly test the ideas and very presence of glassy contributions in He-4.Comment: 33 pages, 13 figure

The Effect of Convection on Disorder in Primary Cellular and Dendritic Arrays

Directional solidification studies have been carried out to characterize the spatial disorder in the arrays of cells and dendrites. Different factors that cause array disorder are investigated experimentally and analyzed numerically. In addition to the disorder resulting from the fundamental selection of a range of primary spacings under given experimental conditions, a significant variation in primary spacings is shown to occur in bulk samples due to convection effects, especially at low growth velocities. The effect of convection on array disorder is examined through directional solidification studies in two different alloy systems, Pb-Sn and Al-Cu. A detailed analysis of the spacing distribution is carried out, which shows that the disorder in the spacing distribution is greater in the Al-Cu system than in Pb-Sn system. Numerical models are developed which show that fluid motion can occur in both these systems due to the negative axial density gradient or due the radial temperature gradient which is always present in Bridgman growth. The modes of convection have been found to be significantly different in these systems, due to the solute being heavier than the solvent in the Al-Cu system and lighter than it in the Pb-Sn system. The results of the model have been shown to explain experimental observations of higher disorder and greater solute segregation in a weakly convective Al-Cu system than those in a highly convective Pb-Sn system

Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV

Results are presented from a search for a W' boson using a dataset corresponding to 5.0 inverse femtobarns of integrated luminosity collected during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV. The W' boson is modeled as a heavy W boson, but different scenarios for the couplings to fermions are considered, involving both left-handed and right-handed chiral projections of the fermions, as well as an arbitrary mixture of the two. The search is performed in the decay channel W' to t b, leading to a final state signature with a single lepton (e, mu), missing transverse energy, and jets, at least one of which is tagged as a b-jet. A W' boson that couples to fermions with the same coupling constant as the W, but to the right-handed rather than left-handed chiral projections, is excluded for masses below 1.85 TeV at the 95% confidence level. For the first time using LHC data, constraints on the W' gauge coupling for a set of left- and right-handed coupling combinations have been placed. These results represent a significant improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe

Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV

A search for a Higgs boson decaying into two photons is described. The analysis is performed using a dataset recorded by the CMS experiment at the LHC from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross section of the standard model Higgs boson decaying to two photons. The expected exclusion limit at 95% confidence level is between 1.4 and 2.4 times the standard model cross section in the mass range between 110 and 150 GeV. The analysis of the data excludes, at 95% confidence level, the standard model Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The largest excess of events above the expected standard model background is observed for a Higgs boson mass hypothesis of 124 GeV with a local significance of 3.1 sigma. The global significance of observing an excess with a local significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is estimated to be 1.8 sigma. More data are required to ascertain the origin of this excess.Comment: Submitted to Physics Letters