Smart automotive technology adherence to the law: (de)constructing road rules for autonomous system development, verification and safety

Driving is an intuitive task that requires skill, constant alertness and vigilance for unexpected events. The driving task also requires long concentration spans, focusing on the entire task for prolonged periods, and sophisticated negotiation skills with other road users including wild animals. Modern motor vehicles include an array of smart assistive and autonomous driving systems capable of subsuming some, most, or in limited cases, all of the driving task. Building these smart automotive systems requires software developers with highly technical software engineering skills, and now a lawyer’s in-depth knowledge of traffic legislation as well. This article presents an approach for deconstructing the complicated legalese of traffic law and representing its requirements and flow. Our approach (de)constructs road rules in legal terminology and specifies them in ‘structured English logic’ that is expressed as ‘Boolean logic’ for automation and ‘Lawmaps’ for visualization. We demonstrate an example using these tools leading to the construction and validation of a ‘Bayesian Network model’. We strongly believe these tools to be approachable by programmers and the general public, useful in development of Artificial Intelligence to underpin motor vehicle smart systems, and in validation to ensure these systems are considerate of the law when making decisions.fals

Typical-Medium Theory of Mott-Anderson Localization

The Mott and the Anderson routes to localization have long been recognized as the two basic processes that can drive the metal-insulator transition (MIT). Theories separately describing each of these mechanisms were discussed long ago, but an accepted approach that can include both has remained elusive. The lack of any obvious static symmetry distinguishing the metal from the insulator poses another fundamental problem, since an appropriate static order parameter cannot be easily found. More recent work, however, has revisited the original arguments of Anderson and Mott, which stressed that the key diference between the metal end the insulator lies in the dynamics of the electron. This physical picture has suggested that the "typical" (geometrically averaged) escape rate from a given lattice site should be regarded as the proper dynamical order parameter for the MIT, one that can naturally describe both the Anderson and the Mott mechanism for localization. This article provides an overview of the recent results obtained from the corresponding Typical-Medium Theory, which provided new insight into the the two-fluid character of the Mott-Anderson transition.Comment: to be published in "Fifty Years of Anderson localization", edited by E. Abrahams (World Scientific, Singapore, 2010); 29 pages, 22 figures

Enzyme prodrug therapy achieves site-specific, personalized physiological responses to the locally produced nitric oxide

Nitric oxide (NO) is a highly potent but short-lived endogenous radical with a wide spectrum of physiological activities. In this work, we developed an enzymatic approach to the site-specific synthesis of NO mediated by biocatalytic surface coatings. Multilayered polyelectrolyte films were optimized as host compartments for the immobilized β-galactosidase (β-Gal) enzyme through a screen of eight polycations and eight polyanions. The lead composition was used to achieve localized production of NO through the addition of β-Gal–NONOate, a prodrug that releases NO following enzymatic bioconversion. The resulting coatings afforded physiologically relevant flux of NO matching that of the healthy human endothelium. The antiproliferative effect due to the synthesized NO in cell culture was site-specific: within a multiwell dish with freely shared media and nutrients, a 10-fold inhibition of cell growth was achieved on top of the biocatalytic coatings compared to the immediately adjacent enzyme-free microwells. The physiological effect of NO produced via the enzyme prodrug therapy was validated ex vivo in isolated arteries through the measurement of vasodilation. Biocatalytic coatings were deposited on wires produced using alloys used in clinical practice and successfully mediated a NONOate concentration-dependent vasodilation in the small arteries of rats. The results of this study present an exciting opportunity to manufacture implantable biomaterials with physiological responses controlled to the desired level for personalized treatment

The effects of sample position and gas flow pattern on the sintering of a 7xxx aluminum alloy

The effects of sample position and gas flow pattern on the sintering of a 7xxx aluminum alloy Al-7Zn-2.5Mg-1Cu in flowing nitrogen have been investigated both experimentally and numerically. The near-surface pore distribution and sintered density of the samples show a strong dependency on the sample separation distance over the range from 2 mm to 40 mm. The open porosity in each sample increases with increasing separation distance while the closed porosity remains essentially unchanged. A two-dimensional computational fluid dynamics (CFD) model has been developed to analyze the gas flow behavior near the sample surfaces during isothermal sintering. The streamlines, velocity profile, and volume flow rate in the cavity between each two samples are presented as a function of the sample separation distance at a fixed nitrogen flow rate of 6 L/min. The CFD modeling results provide essential details for understanding the near-surface pore distribution and density of the sintered samples. It is proposed that the different gas flow patterns near the sample surfaces result in variations of the oxygen content from the incoming nitrogen flow in the local sintering atmosphere, which affects the self-gettering process of the aluminum compacts during sintering. This leads to the development of different near-surface pore distributions and sintered densities

The role of extreme temperature in cause-specific acute cardiovascular mortality in Switzerland: a case-crossover study

Since the 2003 heatwave in Europe, evidence has been rapidly increasing on the association between extreme temperature and all-cause mortality. Little is known, however, about cause-specific cardiovascular mortality, effect modification by air pollution and aircraft noise, and which population groups are the most vulnerable to extreme temperature. We conducted a time-stratified case-crossover study in Zurich, Switzerland, including all adult cardiovascular deaths between 2000 and 2015 with precise individual exposure estimates at home location. We estimated the risk of 24,884 cardiovascular deaths associated with heat and cold using distributed non-linear lag models. We investigated potential effect modification of temperature-related mortality by fine particles, nitrogen dioxide, and night-time aircraft noise and performed stratified analyses across individual and social characteristics. We found increased risk of mortality for heat (odds ratio OR = 1.28 [95% confidence interval: 1.11-1.49] for 99th percentile of daily Tmean (24 degrees C) versus optimum temperature at 20 degrees C) and cold (OR = 1.15 [0.95-1.39], 5th percentile of daily Tmean (-3 degrees C) versus optimum temperature at 20 degrees C). Heat-related mortality was particularly strong for myocardial infarctions and hypertension related deaths, and among older women (>75 years). Analysis of effect modification also indicated that older women with lower socio-economic position and education are at higher risk for heat-related mortality. PM2.5 increased the risk of heat-related mortality for heart failure, but not all-cause cardiovascular mortality. This study provides useful information for preventing cause-specific cardiovascular temperature-related mortality in moderate climate zones comparable to Switzerland

Consistency of cosmic microwave background temperature measurements in three frequency bands in the 2500-square-degree SPT-SZ survey

We present an internal consistency test of South Pole Telescope (SPT) measurements of the cosmic microwave background (CMB) temperature anisotropy using three-band data from the SPT-SZ survey. These measurements are made from observations of ~2500 deg^2 of sky in three frequency bands centered at 95, 150, and 220 GHz. We combine the information from these three bands into six semi-independent estimates of the CMB power spectrum (three single-frequency power spectra and three cross-frequency spectra) over the multipole range 650 < l < 3000. We subtract an estimate of foreground power from each power spectrum and evaluate the consistency among the resulting CMB-only spectra. We determine that the six foreground-cleaned power spectra are consistent with the null hypothesis, in which the six cleaned spectra contain only CMB power and noise. A fit of the data to this model results in a chi-squared value of 236.3 for 235 degrees of freedom, and the probability to exceed this chi-squared value is 46%.Comment: 21 pages, 4 figures, current version matches version published in JCA

CMB Polarization B-mode Delensing with SPTpol and Herschel

We present a demonstration of delensing the observed cosmic microwave background (CMB) B-mode polarization anisotropy. This process of reducing the gravitational-lensing generated B-mode component will become increasingly important for improving searches for the B modes produced by primordial gravitational waves. In this work, we delens B-mode maps constructed from multi-frequency SPTpol observations of a 90 deg$^2$ patch of sky by subtracting a B-mode template constructed from two inputs: SPTpol E-mode maps and a lensing potential map estimated from the $\textit{Herschel}$ $500\,\mu m$ map of the CIB. We find that our delensing procedure reduces the measured B-mode power spectrum by 28% in the multipole range $300 < \ell < 2300$; this is shown to be consistent with expectations from theory and simulations and to be robust against systematics. The null hypothesis of no delensing is rejected at $6.9 \sigma$. Furthermore, we build and use a suite of realistic simulations to study the general properties of the delensing process and find that the delensing efficiency achieved in this work is limited primarily by the noise in the lensing potential map. We demonstrate the importance of including realistic experimental non-idealities in the delensing forecasts used to inform instrument and survey-strategy planning of upcoming lower-noise experiments, such as CMB-S4.Comment: 17 pages, 10 figures. Comments are welcome

Measurements of the Temperature and E-Mode Polarization of the CMB from 500 Square Degrees of SPTpol Data

We present measurements of the $E$-mode polarization angular auto-power spectrum ($EE$) and temperature-$E$-mode cross-power spectrum ($TE$) of the cosmic microwave background (CMB) using 150 GHz data from three seasons of SPTpol observations. We report the power spectra over the spherical harmonic multipole range $50 < \ell \leq 8000$, and detect nine acoustic peaks in the $EE$ spectrum with high signal-to-noise ratio. These measurements are the most sensitive to date of the $EE$ and $TE$ power spectra at $\ell > 1050$ and $\ell > 1475$, respectively. The observations cover 500 deg$^2$, a fivefold increase in area compared to previous SPTpol analyses, which increases our sensitivity to the photon diffusion damping tail of the CMB power spectra enabling tighter constraints on \LCDM model extensions. After masking all sources with unpolarized flux $>50$ mJy we place a 95% confidence upper limit on residual polarized point-source power of $D_\ell = \ell(\ell+1)C_\ell/2\pi <0.107\,\mu{\rm K}^2$ at $\ell=3000$, suggesting that the $EE$ damping tail dominates foregrounds to at least $\ell = 4050$ with modest source masking. We find that the SPTpol dataset is in mild tension with the $\Lambda CDM$ model ($2.1\,\sigma$), and different data splits prefer parameter values that differ at the $\sim 1\,\sigma$ level. When fitting SPTpol data at $\ell < 1000$ we find cosmological parameter constraints consistent with those for $Planck$ temperature. Including SPTpol data at $\ell > 1000$ results in a preference for a higher value of the expansion rate (H_0 = 71.3 \pm 2.1\,\mbox{km}\,s^{-1}\mbox{Mpc}^{-1} ) and a lower value for present-day density fluctuations ($\sigma_8 = 0.77 \pm 0.02$).Comment: Updated to match version accepted to ApJ. 34 pages, 17 figures, 6 table

A Measurement of the Cosmic Microwave Background Gravitational Lensing Potential from 100 Square Degrees of SPTpol Data

We present a measurement of the cosmic microwave background (CMB) gravitational lensing potential using data from the first two seasons of observations with SPTpol, the polarization-sensitive receiver currently installed on the South Pole Telescope (SPT). The observations used in this work cover 100 deg$^2$ of sky with arcminute resolution at 150 GHz. Using a quadratic estimator, we make maps of the CMB lensing potential from combinations of CMB temperature and polarization maps. We combine these lensing potential maps to form a minimum-variance (MV) map. The lensing potential is measured with a signal-to-noise ratio of greater than one for angular multipoles between $100< L <250$. This is the highest signal-to-noise mass map made from the CMB to date and will be powerful in cross-correlation with other tracers of large-scale structure. We calculate the power spectrum of the lensing potential for each estimator, and we report the value of the MV power spectrum between $100< L <2000$ as our primary result. We constrain the ratio of the spectrum to a fiducial $\Lambda$CDM model to be $A_{\rm MV}=0.92 \pm 0.14 {\rm\, (Stat.)} \pm 0.08 {\rm\, (Sys.)}$. Restricting ourselves to polarized data only, we find $A_{\rm POL}=0.92 \pm 0.24 {\rm\, (Stat.)} \pm 0.11 {\rm\, (Sys.)}$. This measurement rejects the hypothesis of no lensing at $5.9 \sigma$ using polarization data alone, and at $14 \sigma$ using both temperature and polarization data.Comment: 16 pages, 8 figure