Context matters: The structure of task goals affects accuracy in multiple-target visual search

Career visual searchers such as radiologists and airport security screeners strive to conduct accurate visual searches, but despite extensive training, errors still occur. A key difference between searches in radiology and airport security is the structure of the search task: Radiologists typically scan a certain number of medical images (fixed objective), and airport security screeners typically search X-rays for a specified time period (fixed duration). Might these structural differences affect accuracy? We compared performance on a search task administered either under constraints that approximated radiology or airport security. Some displays contained more than one target because the presence of multiple targets is an established source of errors for career searchers, and accuracy for additional targets tends to be especially sensitive to contextual conditions. Results indicate that participants searching within the fixed objective framework produced more multiple-target search errors; thus, adopting a fixed duration framework could improve accuracy for career searchers.     

Exploration of Linked Anomalies in Sensor Data for Suspicious Behavior Detection

We present a visual analytics system to understand the operation data of a company, GAStech, from IEEE VAST Challenge 2016. The data include proximity data recording the locations and movements of employees, and heating, ventilation, and air conditioning (HVAC) data recording the environmental conditions in the building. Analyzing the data to detect the suspicious behaviors of some disgruntled employees is of special interest. Our system provides coordinated multiple views to visualize the proximity data and the HVAC data over time. Visual hints and comparisons are designed for users to identify abnormal patterns and compare them. Furthermore, the system automatically detects and correlates the anomalies in the data. We provide use cases to demonstrate the effectiveness of our system.     

Effect of Enameling on the Strength and Dynamic Fatigue of Soda–Lime–Silica Float Glass

The effect of a glass enamel coating on the strength and fatigue behavior of float glass was investigated. Commercially available enamel that was comprised of Cu₂Cr₂O₄ pigment particles in a bismuth-zinc borosilicate glass matrix was applied to a soda–lime–silica float glass via screen printing, followed by fusion at elevated temperature. Strengths of the enameled specimens were evaluated in biaxial flexure using a ring-on-ring (ROR) test geometry, and the data were analyzed using a conventional two-parameter Weibull distribution. Enameling was found to significantly degrade the strength of the float glass. There was no statistical difference in the characteristic strengths of samples enameled on the air side (66 MPa) compared with samples enameled on the tin side (61 MPa) of the float glass. Fractographic analysis revealed that the failures in the enameled float glass samples initiated at pores and pigment aggregates in the enamel, whereas failures in float glass samples initiated solely from surface flaws. Dynamic fatigue tests were performed on enameled float glass and indented float glass samples to determine the effect of the enamel on the stress corrosion behavior of the enameled components. There was no statistically significant difference between the stress corrosion exponents for the float glass and enameled float glass specimens.     

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution

The class ${\mathcal{SLUR}}$ (Single Lookahead Unit Resolution) was introduced in Schlipf et al. (Inf Process Lett 54:133–137, 1995) as an umbrella class for efficient (poly-time) SAT solving, with linear-time SAT decision, while the recognition problem was not considered. ?epek et al. (2012) and Balyo et al. (2012) extended this class in various ways to hierarchies covering all of CNF (all clause-sets). We introduce a hierarchy ${\mathcal{SLUR}}_k$ which we argue is the natural “limit” of such approaches. The second source for our investigations is the class ${\mathcal{UC}}$ of unit-refutation complete clause-sets, introduced in del Val (1994) as a target class for knowledge compilation. Via the theory of “hardness” of clause-sets as developed in Kullmann (1999), Kullmann (Ann Math Artif Intell 40(3–4):303–352, 2004) and Ansótegui et al. (2008) we obtain a natural generalisation ${\mathcal{UC}}_k$ , containing those clause-sets which are “unit-refutation complete of level k”, which is the same as having hardness at most k. Utilising the strong connections to (tree-)resolution complexity and (nested) input resolution, we develop basic methods for the determination of hardness (the level k in ${\mathcal{UC}}_k$ ). A fundamental insight now is that ${\mathcal{SLUR}}_k = {\mathcal{UC}}_k$ holds for all k. We can thus exploit both streams of intuitions and methods for the investigations of these hierarchies. As an application we can easily show that the hierarchies from ?epek et al. (2012) and Balyo et al. (2012) are strongly subsumed by ${\mathcal{SLUR}}_k$ . Finally we consider the problem of “irredundant” clause-sets in ${\mathcal{UC}}_k$ . For 2-CNF we show that strong minimisations are possible in polynomial time, while already for (very special) Horn clause-sets minimisation is NP-complete. We conclude with an extensive discussion of open problems and future directions. We envisage the concepts investigated here to be the starting point for a theory of good SAT translations, which brings together the good SAT-solving aspects from ${\mathcal{SLUR}}$ together with the knowledge-representation aspects from ${\mathcal{UC}}$ , and expands this combination via notions of “hardness”.     

Structure–property relationships of poly(urethane urea)s with ultra‐low monol content poly(propylene glycol) soft segments. I. Influence of soft segment molecular weight and hard segment content

Structure–property relationships in poly(urethane urea)s synthesized with ultra‐low monol content poly(propylene glycol) soft segments were investigated as soft segment molecular weight (2000, 4000, and 8000 g/mol) and hard segment content (6.3 and 9.0 wt %) were varied. Morphological features such as interdomain spacing and interphase thickness were quantified and revealed with small‐angle X‐ray scattering (SAXS) and atomic force microscopy (AFM). The thermal and mechanical behavior was assessed with a dynamic mechanical analyzer (DMA) and by differential scanning calorimetry (DSC) and stress‐strain tests. Hard segment content, over the limited range studied, had little effect on the morphology and soft segment thermal and mechanical properties. The molecular weight of the soft segments had considerably more influence on the morphology and mechanical properties. Increasing soft segment molecular weight resulted in greater interdomain spacings, as shown by SAXS, and a noticeable change in the structure, as shown by AFM. Additionally, as soft segment molecular weight decreased the soft segment glass transition broadened and rose to higher temperatures. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 84: 229–243, 2002; DOI 10.1002/app.10168     

A comparison of atomic force microscope friction and phase imaging for the characterization of an immiscible polystyrene/poly(methyl methacrylate) blend film

Three different forms of atomic force microscope (AFM) measurement, topography, friction force and phase imaging, have been used to investigate the surface morphology and local composition of an immiscible polystyrene (PS)/poly(methyl methacrylate) (PMMA) blend film. This sample forms discrete, micron-size domains in a continuous matrix, which is attributed to the segregation of PMMA in PS. When the samples were imaged in air, contrast in friction and phase images was caused by variations in sample topography only. When the samples were imaged under water, however, both friction and phase imaging yielded non-topographic contrast between domains. We ascribe the contrast in both of these imaging modes to preferential softening of the hydrophilic, PMMA-rich domains and to stronger tip-sample adhesive forces, highlighting the AFM's utility for probing local elastic properties and for compositional mapping of soft polymer samples.     

Lymphatic fatty acids from rats fed human milk and formula containing coconut oil

Human milk and infant formula containing coconut/soy oil were infused into the duodenum of rats to determine the incorporation of capric, lauric, myristic and palmitic acids into lymphatic triacylglycerol (TAG). The proportion of capric and lauric acids in the lymphatic TAG reflected the fatty acid composition of the diet. Based on positional analysis, it appears that more than 50% of the capric and lauric acids could have been absorbed from the intestine assn-2 monoacylglycerols. In the rats fed human milk, 50% of palmitic acid in lymphatic TAG was in thesn-2 position. Because of the nonrandom distribution of palmitic acid in the lymphatic TAG, the nonspecific lipase in human milk, i.e., bile salt-stimulated lipase, did not appear to be a factor in milk lipid digestion.     

LoVis: Local Pattern Visualization for Model Refinement

Linear models are commonly used to identify trends in data. While it is an easy task to build linear models using pre‐selected variables, it is challenging to select the best variables from a large number of alternatives. Most metrics for selecting variables are global in nature, and thus not useful for identifying local patterns. In this work, we present an integrated framework with visual representations that allows the user to incrementally build and verify models in three model spaces that support local pattern discovery and summarization: model complementarity, model diversity, and model representivity. Visual representations are designed and implemented for each of the model spaces. Our visualizations enable the discovery of complementary variables, i.e., those that perform well in modeling different subsets of data points. They also support the isolation of local models based on a diversity measure. Furthermore, the system integrates a hierarchical representation to identify the outlier local trends and the local trends that share similar directions in the model space. A case study on financial risk analysis is discussed, followed by a user study.     

Fear Appeals,Message Processing Cues,and Credibility in the Websites of Violent,Ideological, and Nonideological Groups

Ideological groups use the Internet to deliver their messages unhindered by the constraints of traditional media. We examined how ideological groups promote their worldview through their websites. Using the elaboration likelihood model (ELM), this research used trained coders to examine the websites of nonideological groups (n = 37), nonviolent ideological groups (n = 36), and violent ideological groups (n = 32) for credibility, persuasion processing cues, and interactivity factors. Results of this study found that the websites of violent ideological groups use more fear appeals, were less interactive, and were the least credible of the 3 groups. All 3 groups used more central cues than peripheral suggesting they focused on evidence for their arguments rather than emotion.     

Maceral and rank influences on the morphology of coal char

Concentrates of vitrinite and inertinite macerals have been pyrolysed in a flame under conditions representative of the initial stages of pulverized coal combustion. Char was distinguished from soot by size analysis and the char yield correlated with the proximate analysis. The char morphology was studied by optical microscopy and quantitative measurements of porosity and pore size were made using image analysis. Vitrinite and inertinite produce chars of characteristic morphology. The softening behaviour of inertinite varies with coal rank and can be related to the optical reflectance. The porosity of vitrinite chars approaches that of inertinite chars at high rank.