Stacked graphs--geometry & aesthetics

In February 2008, the New York Times published an unusual chart of box office revenues for 7500 movies over 21 years. The chart was based on a similar visualization, developed by the first author, that displayed trends in music listening. This paper describes the design decisions and algorithms behind these graphics, and discusses the reaction on the Web. We suggest that this type of complex layered graph is effective for displaying large data sets to a mass audience. We provide a mathematical analysis of how this layered graph relates to traditional stacked graphs and to techniques such as ThemeRiver, showing how each method is optimizing a different “energy function”. Finally, we discuss techniques for coloring and ordering the layers of such graphs. Throughout the paper, we emphasize the interplay between considerations of aesthetics and legibility.      

Perceptual issues in the use of head-mounted visual displays

OBJECTIVE: We provide a review and analysis of much of the published literature on visual perception issues that impact the design and use of head-mounted displays (HMDs). BACKGROUND: Unlike the previous literature on HMDs, this review draws heavily from the basic vision literature in order to help provide insight for future design solutions for HMDs. METHOD: Included in this review are articles and books found cited in other works as well as articles and books obtained from an Internet search. RESULTS: Issues discussed include the effect of brightness and contrast on depth of field, dark focus, dark vergence, and perceptual constancy; the effect of accommodation-vergence synergy on perceptual constancy, eyestrain, and discomfort; the relationship of field of view to the functioning of different visual pathways and the types of visual-motor tasks mediated by them; the relationship of binocular input to visual suppression; and the importance of head movements, head tracking, and display update lag. CONCLUSION: This paper offers a set of recommendations for the design and use of HMDs. APPLICATION: Consideration of the basic vision literature will provide insight for future design solutions for HMDs.     

Human, rhesus macaque, and feline sequences highly similar to mouse mammary tumor virus sequences

Sequences highly similar (>95%) to the mouse mammary tumor virus (MMTV) env gene have been amplified from human DNA samples, including DNA samples from patients with breast cancer (BC) and persons who did not have BC. The sequences from human DNA were distinct from the MMTV sequences used as controls in these PCR reactions, indicating that these results are not simply due to contamination. In addition to both, mouse and human-related sequences were also amplified from some monkey and cat genomic DNA samples. These products were shown to be distinct from, but highly related to, the MMTV env gene, whereas, testing of other sources (lambda phage, snake, cockroach, sea urchin, chicken, or dog) demonstrated no specific amplification. A sequence 90% similar to the MMTV group antigen gene (gag) was amplified from cat DNA. These results indicate that DNA from vertebrate species other than rodents, including some but not all humans, monkeys, and cats, can contain sequences closely related to MMTV.     

Continuously extruded micro‐textured polypropylene films

The continuous extrusion of micro‐textured isotactic polypropylene (i‐PP) film and its tribological properties are reported. As analyzed by scanning electron microscopy, a rectangular‐semicircular micro‐patterned die successfully produced extruded cast‐films with hill‐like micro‐texture. Such films displayed static and kinetic coefficients of friction (COF_s and COF_k) values of 0.247 ± 0.028 and 0.245 ± 0.003, respectively, for a steel fixture sliding along the micro‐texture of the film. The equivalent COF_s and COF_k values for non‐textured (NT) films were 0.369 ± 0.036 and 0.340 ± 0.024, respectively, confirming that textured films displayed a reduction in COF of about 30%. For textured and NT films sliding on textured films, the COF_k values were even lower at 0.161 ± 0.013 and 0.113 ± 0.004, which represents about 20–40% reduction as compared with that for the NT‐NT counterparts. Films coated with a silicone lubricant displayed COF_s and COF_k values of 0.334 ± 0.042 and 0.099 ± 0.012, respectively, for NT films sliding over lubricated NT films, and 0.426 ± 0.031 and 0.063 ± 0.006, respectively, for textured films sliding over lubricated textured films. The COF_k values for textured/non‐lubricated films approach those of NT/lubricated films, indicating that micro‐textured polypropylene films may be used in environmentally sensitive applications where lubricants and fluorinated additives may not be used for reducing friction. POLYM. ENG. SCI., 54:2147–2154, 2014. © 2013 Society of Plastics Engineers     

Temporal property verification as a program analysis task

We describe a reduction from temporal property verification to a program analysis problem. First we present a proof system that, unlike the standard formulation, is more amenable to reasoning about infinite-state systems: disjunction is treated by partitioning, rather than enumerating, the state space and temporal operators are characterized with special sets of states called frontiers. We then describe a transformation that, with the use of procedures and nondeterminism, enables off-the-shelf program analysis tools to naturally perform the reasoning necessary for proving temporal properties (e.g. backtracking, eventuality checking, tree counterexamples for branching-time properties, abstraction refinement, etc.). Using examples drawn from the PostgreSQL database server, Apache web server, and Windows OS kernel, we demonstrate the practical viability of our work.     

Multitasking on a Single Device: Arousal and the Frequency,Anticipation, and Prediction of Switching Between Media Content on a Computer

This study measured arousal responses to multitasking by recording switches between content on personal computers over a day. Results showed that switches occurred every 19 seconds, more often than has been reported in previous research. Arousal was highest at the point of a switch with declines in skin conductance afterward. Switches were also preceded by a 12‐second period of increasing skin conductance. 2 new methods were used, one an original application that recorded screen shots, and another that measured changes in skin conductance during the day using a wrist sensor. Results are discussed in light of increasing use of single devices displaying multiple types of content, rather than multitasking that occurs when attention is divided between content on multiple devices.     

Solids transport models comparison and fine‐tuning for horizontal,low concentration flow in single‐phase carrier fluid

We determined and fine‐tuned the solids transport models appropriate for predicting the single‐phase carrier fluid velocity to transport solid particles in conduits for horizontal, low concentration flow. A database with 538 experimental data points was compiled. A literature review was performed to determine the data ranges, forces, and mechanisms used to develop 44 models, and their velocity predictions were compared against the database using statistics. Using the dimensionless forms of the models and the data, the model parameters were adjusted to improve their accuracy and identify the dominant forces. At low concentrations: for liquid/solid flow from a bed of solids and gas/solid flow from the bottom of pipelines, the particle weight, and inertial and viscous forces dominate; for gas/solid flow from a bed of solids, the particle weight, and inertial, viscous, and adhesive forces play a role; and gaps exist in the data for large‐diameter pipes and high‐density gases. © 2013 American Institute of Chemical Engineers AIChE J, 60: 76–122, 2014     

Summarization for termination: no return!

We propose a program analysis method for proving termination of recursive programs. The analysis is based on a reduction of termination to two separate problems: reachability of recursive programs, and termination of non-recursive programs. Our reduction works through a program transformation that modifies the call sites and removes return edges. In the new, non-recursive program, a procedure call may non-deterministically enter the procedure body (which means that it will never return) or apply a summary statement.     

Investigation of a Novel Condensation Aerosol Generator: Solute and Solvent Effects

Part I of this article presents results of an experimental study on gas-phase nucleation for three model solutes and their solvent, propylene glycol (PG), with variables being solute concentration and the nature of the solute substance. A single manifestation of an aerosol generator, which forms condensation aerosols by cooling of hot vapor issuing from an electrically heated, pumped capillary, is described and used for all experiments. The effects of solute concentration and solute type were studied for deoxycorticosterone (DOC), benzil (BZ), and phenyl salicylate (PhS). Suppression of homogeneous nucleation and occurrence of heterogeneous condensation of the solvent was observed at different solute concentrations for BZ, PhS, and DOC. The nature and concentration of the solute dissolved in the solvent was shown to determine the final particle size distribution of the condensed aerosol. In the case of the least volatile solute, DOC, solute aerosol and total aerosol size distributions were identical at low solute concentrations. A transitional concentration region then existed in which a bimodal solute aerosol was formed, followed at high concentrations by increasing separation of the solvent-dominated aerosol size distribution and that of the solute. In Part II of this article, the effect of DOC dissolution in different solvents was studied at fixed solute concentration. The effects of six glycol solvents--i.e., PG, ethylene glycol (EG), dipropylene glycol (DPG), diethylene glycol (DEG), triethylene glycol (TEG), and tetraethylene glycol (TetEG)--and three nonglycol solvents--i.e., dimethyl sulfoxide (DMSO), formamide (FORM), and oleyl alcohol (OA)--were studied, as these affected the resultant aerosol sizes. Suppression of total aerosol mass median aerodynamic diameter (MMAD) was observed on dissolution of 0.5% w/w DOC in each solvent, although suppression occurred to different extents. It was shown that the boiling point or volatility of the solvent used to dissolve the less volatile DOC had an effect on the final particle size distribution of the condensed aerosol and whether the aerodynamic size distributions for the solute and the total aerosol were the same or different.