Case studies of job access and reverse commute program: 2009-2010

This report presents perceptual, mobility and employment outcomes self-reported by 573 users of 26 transportation services funded by the Job Access and Reverse Commute (JARC) program. The respondents were predominantly low income with 42 percent reporting 2008 personal incomes less than $10,000 and two-thirds of the respondents earning$20,000 or less for the same year. Nearly half the respondents have no household vehicles. Nearly three in five respondents reported that their travel has become reliable and convenient after using the services. Workers using the services have benefitted from overall reductions in the cost of commuting to work. Close to 94 percent rated the service as being important or very important in keeping their jobs. Respondents also self-reported that the services allowed them to access a job with better pay or better working conditions, and to improve their skills. Both median hourly wages and median weekly earnings are reported to have increased since using the service for those workers who use the service to commute to work and were employed in the one-month period prior to starting use of the service. Alternative reasons may exist for these wage changes, including overall changes in the economic conditions of the locations where the services operate, as well as changes in the personal conditions of the workers that are unrelated to the JARC program in the period between starting use of the service and the time of the survey, such as graduation from job-training or school, residential relocation and so on. Because of the lack of a probability sample of services, the results cannot be generalized to the entire JARC program. Detailed case studies of the 26 services yield insights into the types of benefits that are being provided overall in these cases and the planning and programmatic environment within which they operate

Simulating Brownian suspensions with fluctuating hydrodynamics

Fluctuating hydrodynamics has been successfully combined with several computational methods to rapidly compute the correlated random velocities of Brownian particles. In the overdamped limit where both particle and fluid inertia are ignored, one must also account for a Brownian drift term in order to successfully update the particle positions. In this paper, we present an efficient computational method for the dynamic simulation of Brownian suspensions with fluctuating hydrodynamics that handles both computations and provides a similar approximation as Stokesian Dynamics for dilute and semidilute suspensions. This advancement relies on combining the fluctuating force-coupling method (FCM) with a new midpoint time-integration scheme we refer to as the drifter-corrector (DC). The DC resolves the drift term for fluctuating hydrodynamics-based methods at a minimal computational cost when constraints are imposed on the fluid flow to obtain the stresslet corrections to the particle hydrodynamic interactions. With the DC, this constraint need only be imposed once per time step, reducing the simulation cost to nearly that of a completely deterministic simulation. By performing a series of simulations, we show that the DC with fluctuating FCM is an effective and versatile approach as it reproduces both the equilibrium distribution and the evolution of particulate suspensions in periodic as well as bounded domains. In addition, we demonstrate that fluctuating FCM coupled with the DC provides an efficient and accurate method for large-scale dynamic simulation of colloidal dispersions and the study of processes such as colloidal gelation

Classification Among Hidden Markov Models

An important task in AI is one of classifying an observation as belonging to one class among several (e.g. image classification). We revisit this problem in a verification context: given k partially observable systems modeled as Hidden Markov Models (also called labeled Markov chains), and an execution of one of them, can we eventually classify which system performed this execution, just by looking at its observations? Interestingly, this problem generalizes several problems in verification and control, such as fault diagnosis and opacity. Also, classification has strong connections with different notions of distances between stochastic models. In this paper, we study a general and practical notion of classifiers, namely limit-sure classifiers, which allow misclassification, i.e. errors in classification, as long as the probability of misclassification tends to 0 as the length of the observation grows. To study the complexity of several notions of classification, we develop techniques based on a simple but powerful notion of stationary distributions for HMMs. We prove that one cannot classify among HMMs iff there is a finite separating word from their stationary distributions. This provides a direct proof that classifiability can be checked in PTIME, as an alternative to existing proofs using separating events (i.e. sets of infinite separating words) for the total variation distance. Our approach also allows us to introduce and tackle new notions of classifiability which are applicable in a security context

On Regularity of Unary Probabilistic Automata

The quantitative verification of Probabilistic Automata (PA) is undecidable in general. Unary PA are a simpler model where the choice of action is fixed. Still, the quantitative verification problem is open and known to be as hard as Skolem\u27s problem, a problem on linear recurrence sequences, whose decidability is open for at least 40 years. In this paper, we approach this problem by studying the languages generated by unary PAs (as defined below), whose regularity would entail the decidability of quantitative verification. Given an initial distribution, we represent the trajectory of a unary PA over time as an infinite word over a finite alphabet, where the n-th letter represents a probability range after n steps. We extend this to a language of trajectories (a set of words), one trajectory for each initial distribution from a (possibly infinite) set. We show that if the eigenvalues of the transition matrix associated with the unary PA are all distinct positive real numbers, then the language is effectively regular. Further, we show that this result is at the boundary of regularity, as non-regular languages can be generated when the restrictions are even slightly relaxed. The regular representation of the language allows us to reason about more general properties, e.g., robustness of a regular property in a neighbourhood around a given distribution

Characterization of Antibody Bipolar Bridging Mediated by the Human Cytomegalovirus Fc receptor gp68

The human cytomegalovirus glycoprotein gp68 functions as an Fc receptor for host IgGs and can form antibody bipolar bridging (ABB) complexes in which gp68 binds the Fc region of an antigen-bound IgG. Here we show that gp68-mediated endocytosis transports ABB complexes into endosomes, after which the complex is routed to lysosomes, presumably for degradation. These results suggest gp68 contributes to evasion of IgG-mediated immune responses by mediating destruction of host IgG and viral antigens

Brown-York Energy and Radial Geodesics

We compare the Brown-York (BY) and the standard Misner-Sharp (MS) quasilocal energies for round spheres in spherically symmetric space-times from the point of view of radial geodesics. In particular, we show that the relation between the BY and MS energies is precisely analogous to that between the (relativistic) energy E of a geodesic and the effective (Newtonian) energy E_{eff} appearing in the geodesic equation, thus shedding some light on the relation between the two. Moreover, for Schwarzschild-like metrics we establish a general relationship between the BY energy and the geodesic effective potential which explains and generalises the recently observed connection between negative BY energy and the repulsive behaviour of geodesics in the Reissner-Nordstrom metric. We also comment on the extension of this connection between geodesics and the quasilocal BY energy to regions inside a horizon.Comment: v3: 7 pages, shortened and revised version to appear in CQ

Resonance ionization spectroscopy of thorium isotopes - towards a laser spectroscopic identification of the low-lying 7.6 eV isomer of Th-229

In-source resonance ionization spectroscopy was used to identify an efficient and selective three step excitation/ionization scheme of thorium, suitable for titanium:sapphire (Ti:sa) lasers. The measurements were carried out in preparation of laser spectroscopic investigations for an identification of the low-lying Th-229m isomer predicted at 7.6 +- 0.5 eV above the nuclear ground state. Using a sample of Th-232, a multitude of optical transitions leading to over 20 previously unknown intermediate states of even parity as well as numerous high-lying odd parity auto-ionizing states were identified. Level energies were determined with an accuracy of 0.06 cm-1 for intermediate and 0.15 cm-1 for auto-ionizing states. Using different excitation pathways an assignment of total angular momenta for several energy levels was possible. One particularly efficient ionization scheme of thorium, exhibiting saturation in all three optical transitions, was studied in detail. For all three levels in this scheme, the isotope shifts of the isotopes Th-228, Th-229, and Th-230 relative to Th-232 were measured. An overall efficiency including ionization, transport and detection of 0.6 was determined, which was predominantly limited by the transmission of the mass spectrometer ion optics

A discontinuous finite element baroclinic marine model on unstructured prismatic meshes: I. Space discretization

We describe the space discretization of a three-dimensional baroclinic finite element model, based upon a discontinuous Galerkin method, while the companion paper (Comblen et al. 2010a) describes the discretization in time. We solve the hydrostatic Boussinesq equations governing marine flows on a mesh made up of triangles extruded from the surface toward the seabed to obtain prismatic three-dimensional elements. Diffusion is implemented using the symmetric interior penalty method. The tracer equation is consistent with the continuity equation. A Lax–Friedrichs flux is used to take into account internal wave propagation. By way of illustration, a flow exhibiting internal waves in the lee of an isolated seamount on the sphere is simulated. This enables us to show the advantages of using an unstructured mesh, where the resolution is higher in areas where the flow varies rapidly in space, the mesh being coarser far from the region of interest. The solution exhibits the expected wave structure. Linear and quadratic shape functions are used, and the extension to higher-order discretization is straightforward

Optical investigation of thermoelectric topological crystalline insulator Pb0.77_{0.77}Sn0.23_{0.23}Se

Pb$_{0.77}$Sn$_{0.23}$Se is a novel alloy of two promising thermoelectric materials PbSe and SnSe that exhibits a temperature dependent band inversion below 300 K. Recent work has shown that this band inversion also coincides with a trivial to nontrivial topological phase transition. To understand how the properties critical to thermoelectric efficiency are affected by the band inversion, we measured the broadband optical response of Pb$_{0.77}$Sn$_{0.23}$Se as a function of temperature. We find clear optical evidence of the band inversion at $160\pm15$ K, and use the extended Drude model to accurately determine a $T^{3/2}$ dependence of the bulk carrier lifetime, associated with electron-acoustic phonon scattering. Due to the high bulk carrier doping level, no discriminating signatures of the topological surface states are found, although their presence cannot be excluded from our data.Comment: 11 pages, 6 figure

Rapport sur le suivi morphosédimentaire du sillon de Talbert pour l'année 2011

La présente étude s'inscrit dans la continuité du suivi topo-morphologique du Sillon de Talbert initié en 2003 à la demande de la commune de Pleubian et du Conservatoire du Littoral. L'objectif est d'analyser les modalités d'évolution de la flèche depuis l'enlèvement de l'enrochement en 2004 (Stéphan et al., 2007, 2008, 2009 ; Fichaut et al., 2010). Dans le cadre de ce rapport, nous présentons les principaux changements morphologiques survenus entre les levés topographiques effectués aux mois de septembre 2010 et septembre 2011 à l'échelle du Sillon. La méthode que nous avons employée pour reconstituer la topographie de l'estran respecte le protocole de mesure détaillé dans nos précédents rapports. Elle s'appuie sur l'acquisition de mesures topographiques au DGPS (type Trimble) à partir d'une station fixe installée sur la borne IGN située sur le sémaphore de Créac'h Maout, dont les coordonnées géodésiques sont accessibles sur le site de l'IGN (www.ign.fr/ rubrique Géodésie). Du 20 au 24 septembre 2010, nous avons effectué un relevé topographique intégral du Sillon, depuis la plage située à l'ouest de l'épi du Chouk, jusqu'à l'extrémité de la flèche. A cette occasion, 13653 points ont été relevés. Les points invariables (au nombre de 4142) ont été ajoutés afin de construire le modèle numérique et d'effectuer le bilan morpho-sédimentaire annuel. Le modèle numérique a été réalisé selon le principe du Krigeage avec intégration de lignes de rupture de pente. 405 lignes de rupture de pente ont été levées sur le terrain et intégrées au modèle numérique