Query-driven visualization of time-varying adaptive mesh refinement data

The visualization and analysis of AMR-based simulations is integral to the process of obtaining new insight in scientific research. We present a new method for performing query-driven visualization and analysis on AMR data, with specific emphasis on time-varying AMR data. Our work introduces a new method that directly addresses the dynamic spatial and temporal properties of AMR grids that challenge many existing visualization techniques. Further, we present the first implementation of query-driven visualization on the GPU that uses a GPU-based indexing structure to both answer queries and efficiently utilize GPU memory. We apply our method to two different science domains to demonstrate its broad applicability.     

Semantic email: theory and applications

This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message consists of a structured query or update coupled with corresponding explanatory text. Semantic email opens the door to a wide range of automated, email-mediated applications with formally guaranteed properties. In particular, this paper introduces a broad class of semantic email processes. For example, consider the process of sending an email to a program committee, asking who will attend the PC dinner, automatically collecting the responses, and tallying them up. We define both logical and decision-theoretic models where an email process is modeled as a set of updates to a data set on which we specify goals via certain constraints or utilities. We then describe a set of inference problems that arise while trying to satisfy these goals and analyze their computational tractability. In particular, we show that for the logical model it is possible to automatically infer which email responses are acceptable w.r.t. a set of constraints in polynomial time, and for the decision-theoretic model it is possible to compute the optimal message-handling policy in polynomial time. In addition, we show how to automatically generate explanations for a process's actions, and identify cases where such explanations can be generated in polynomial time. Finally, we discuss our publicly available implementation of semantic email and outline research challenges in this realm.¹     

Reduction of defects and improvement in the performance of blue phosphor for thick‐dielectric electroluminescent displays using Color‐by‐Blue

Abstract— Defect‐free large‐area inorganic thick‐dielectric EL (TDEL) displays using Color by Blue (CBB) technology have been successfully developed. We have achieved the world's highest blue‐phosphor luminance of 900 cd/m² for a single‐pixel device by using CBB and by optimizing the e‐beam gun configuration and the flow rate of H₂S in the vacuum chamber. By analyzing the defects on panels with triple‐pattern phosphors and CBB panels, we also found that the number of defects on CBB panels can be drastically reduced compared with those on triple‐pattern panels. The defect‐free 17‐in. VGA CBB panels show better characteristics, a high peak luminance of 600 cd/m² and a high contrast ratio of 1000:1, compared with those of triple‐pattern panels.     

Glioblastoma Extracellular Vesicle-Specific Peptides Inhibit EV-Induced Neuronal Cytotoxicity

WHO Grade 4 IDH-wild type astrocytoma (GBM) is the deadliest brain tumor with a poor prognosis. Meningioma (MMA) is a more common “benign” central nervous system tumor but with significant recurrence rates. There is an urgent need for brain tumor biomarkers for early diagnosis and effective treatment options. Extracellular vesicles (EVs) are tiny membrane-enclosed vesicles that play essential functions in cell-to-cell communications among tumor cells. We aimed to identify epitopes of brain tumor EVs by phage peptide libraries. EVs from GBM plasma, MMA plasma, or brain tumor cell lines were used to screen phage-displayed random peptide libraries to identify high-affinity peptides. We purified EVs from three GBM plasma pools (23 patients), one MMA pool (10 patients), and four brain tumor cell lines. We identified a total of 21 high-affinity phage peptides (12 unique) specific to brain tumor EVs. The peptides shared high sequence homologies among those selected by the same EVs. Dose–response ELISA demonstrated that phage peptides were specific to brain tumor EVs compared to controls. Peptide affinity purification identified unique brain tumor EV subpopulations. Significantly, GBM EV peptides inhibit brain tumor EV-induced complement-dependent cytotoxicity (necrosis) in neurons. We conclude that phage display technology could identify specific peptides to isolate and characterize tumor EVs.     

The Variety of Variables in Computer-Aided Real-Time Programming

The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and we have developed an interactive support tool based on these extensions. Via a case study, this paper shows how the tool helps the programmer by supporting the many forms of variables used in the theory. These include simple state variables as in the untimed calculus, timed-trace variables that model the evolution of properties over time, and auxiliary variables that exist to support formal reasoning only.     

Hydrogen Peroxide and Calcium Chloride Added to Irrigation Water as a Strategy to Reduce Bacterial Populations and Improve Quality of Fresh Mushrooms

The quality and value of fresh mushrooms are often diminished by the presence of high bacterial populations that cause a brown, blotchy appearance. The objective of the present research was to evaluate the addition of hydrogen peroxide and/or calcium chloride to irrigation water as a means to reduce total bacterial populations on fresh mushrooms. Crops were grown using commercial mushroom growing practices except for the addition of 0.75% hydrogen peroxide and/or 0.3% calcium chloride irrigation water added to the crop starting 11 d after the casing layer was applied on top of mushroom compost. Irrigation water without the added treatments acted as the control. Mushrooms were aseptically sampled from the production beds for enumerating bacterial counts. Total aerobic bacterial populations were determined by standard microbiological plating procedures. Mushroom whiteness (L‐value) and color (delta E) after harvest and postharvest storage were measured using a Minolta chromameter. Harvested mushrooms were separated by treatment and weighed to record yield. Mushrooms irrigated with water (control) had 7.3 log colony‐forming units (CFU) of aerobic bacterial populations per gram of fresh mushroom tissue. Compared with the control, irrigation with 0.75% hydrogen peroxide and 0.3% calcium chloride reduced the bacterial populations on fresh mushrooms by 87% (6.4 log CFU/g). Irrigation with hydrogen peroxide and calcium chloride significantly enhanced mushroom whiteness after harvest as well as after 6 d of postharvest storage at 12 °C. The irrigation treatments did not have a significant effect on crop yields; hence, the addition of hydrogen peroxide and calcium chloride to irrigation water was demonstrated to have good potential as a practical strategy to reduce bacterial populations and to improve the quality of fresh mushrooms.     

Engine knock and combustion characteristics of a spark ignition engine operating with varying hydrogen and carbon monoxide proportions

Varying proportions of hydrogen and carbon monoxide (synthesis gas) have been investigated as a spark ignition (SI) engine fuel in this paper. It is important to understand how various synthesis gas compositions effect important SI combustion fundamentals, such as knock and burn duration, because in synthesis gas production applications, the compositions can vary significantly depending on the feedstock and production method.A single cylinder cooperative fuels research (CFR) engine was used to investigate the knock and combustion characteristics of three blends of synthesis gas (H₂/CO ratio); 1) 100/0, 2) 75/25, and 3) 50/50, by volume. These blends were tested at three compression ratios (6:1, 8:1, and 10:1), and three equivalence ratios (0.6, 0.7, and 0.8).It was revealed that the knock limited compression ratio (KLCR) of a H₂/CO mixture increases with increasing CO fraction, for a given spark timing. For a given equivalence ratio and spark timing, a 50%/50% H₂/CO mixture produced a KLCR of 8:1 compared to a 100% H₂ condition, which produced a KLCR of 6:1. The burn duration and ignition lag is also increased with increasing CO fraction. The results from this work are important for those considering using synthesis gas as a fuel in SI engines. It reveals that although CO is a slow burning fuel, higher CO fractions in synthesis gas can be beneficial, because of its increased resistance to knock, which gives it the potential of producing higher indicated efficiencies through the utilization of an engine with a higher compression ratio.