Trace Spaces: an Efficient New Technique for State-Space Reduction

State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put in parallel, without changing the semantics. It is thus not necessary to consider all execution paths in the interleaving semantics of a concurrent program, but rather some equivalence classes. The purpose of this paper is to describe a new algorithm to compute such equivalence classes, and a representative per class, which is based on ideas originating in algebraic topology. We introduce a geometric semantics of concurrent languages, where programs are interpreted as directed topological spaces, and study its properties in order to devise an algorithm for computing dihomotopy classes of execution paths. In particular, our algorithm is able to compute a control-flow graph for concurrent programs, possibly containing loops, which is "as reduced as possible" in the sense that it generates traces modulo equivalence. A preliminary implementation was achieved, showing promising results towards efficient methods to analyze concurrent programs, with very promising results compared to partial-order reduction techniques

To See or Not to See: Do Front of Pack Nutrition Labels Affect Attention to Overall Nutrition Information?

Citation: Bix, L., Sundar, R. P., Bello, N. M., Peltier, C., Weatherspoon, L. J., & Becker, M. W. (2015). To See or Not to See: Do Front of Pack Nutrition Labels Affect Attention to Overall Nutrition Information? Plos One, 10(10), 20. doi:10.1371/journal.pone.0139732Background Front of pack (FOP) nutrition labels are concise labels located on the front of food packages that provide truncated nutrition information. These labels are rapidly gaining prominence worldwide, presumably because they attract attention and their simplified formats enable rapid comparisons of nutritional value. Methods Eye tracking was conducted as US consumers interacted with actual packages with and without FOP labels to (1) assess if the presence of an FOP label increases attention to nutrition information when viewers are not specifically tasked with nutrition-related goals; and (2) study the effect of FOP presence on consumer use of more comprehensive, traditional nutrition information presented in the Nutritional Facts Panel (NFP), a mandatory label for most packaged foods in the US. Results Our results indicate that colored FOP labels enhanced the probability that any nutrition information was attended, and resulted in faster detection and longer viewing of nutrition information. However, for cereal packages, these benefits were at the expense of attention to the more comprehensive NFP. Our results are consistent with a potential short cut effect of FOP labels, such that if an FOP was present, participants spent less time attending the more comprehensive NFP. For crackers, FOP labels increased time spent attending to nutrition information, but we found no evidence that their presence reduced the time spent on the nutrition information in the NFP. Conclusions The finding that FOP labels increased attention to overall nutrition information by people who did not have an explicit nutritional goal suggests that these labels may have an advantage in conveying nutrition information to a wide segment of the population. However, for some food types this benefit may come with a short-cut effect; that is, decreased attention to more comprehensive nutrition information. These results have implications for policy and warrant further research into the mechanisms by which FOP labels impact use of nutrition information by consumers for different foods

Shoot regeneration and genetic transformation by Agrobacterium tumefaciens of Hydrangea macrophylla Ser. leaf discs

A reproducible procedure was developed for genetic transformation of Hydrangea macrophylla Ser. cv. Blaumeise by Agrobacterium tumefaciens following the development of an efficient regeneration system using leaf discs excised from 12 to 15 weeks old meristem-derived vitroplants. Explants were cultivated on solid B5 medium complemented with maltose 110 mM, BAP 10 μM and NAA 0.5 μM. A low light regime of 17 μmol m−2 s−1 improved regeneration frequency up to 86%. For transformation, leaf discs were inoculated and co-cultivated with two disarmed A. tumefaciens strains, EHA 101 and LBA 4404, both carrying the binary vector pFAJ3000 which contained the nptII selectable gene and the GUS reporter gene. A pre-culture period of 3 days and a short co-cultivation duration (1 day) improved the efficiency of transformation. Inoculation of only 10 min with agitation including (or not) vacuum infiltration was sufficient. If selection on kanamycin containing medium was applied after a 2 weeks culture period on shoot regeneration medium, the percentage of explants forming kanamycin-resistant shoots increased from 3.3 to 13.3%. Integration and expression of the introduced transgene were confirmed by histochemical GUS assay, PCR and Southern blot analysis. Flowering of transgenic plants in glasshouse occurred 10 months after acclimatization

Apportionment of primary and secondary organic aerosols in Southern California during the 2005 Study of Organic Aerosols in Riverside (SOAR-1)

Ambient sampling was conducted in Riverside, California during the 2005 Study of Organic Aerosols in Riverside to characterize the composition and sources of organic aerosol using a variety of state-of-the-art instrumentation and source apportionment techniques. The secondary organic aerosol (SOA) mass is estimated by elemental carbon and carbon monoxide tracer methods, water soluble organic carbon content, chemical mass balance of organic molecular markers, and positive matrix factorization of high-resolution aerosol mass spectrometer data. Estimates obtained from each of these methods indicate that the organic fraction in ambient aerosol is overwhelmingly secondary in nature during a period of several weeks with moderate ozone concentrations and that SOA is the single largest component of PM1 aerosol in Riverside. Average SOA/OA contributions of 70−90% were observed during midday periods, whereas minimum SOA contributions of ~45% were observed during peak morning traffic periods. These results are contrary to previous estimates of SOA throughout the Los Angeles Basin which reported that, other than during severe photochemical smog episodes, SOA was lower than primary OA. Possible reasons for these differences are discussed

Optimal control measures for a susceptible-carrier-infectious-recovered-susceptible malware propagation model

Purposing to lessen malware propagation, this paper proposes optimal control measures for a susceptible-carrier-infectious-recovered-susceptible (SCIRS) epidemiological model formed by a system of ordinary differential equations. By taking advantage of real-world data related to the number of reported cybercrimes in Japan from 2012 to 2017, an optimal control problem is formulated to minimize the number of infected devices in a cost-effective way. The existence and uniqueness of the results related to the optimality system are proved. Overall, numerical simulations show the usefulness of the proposed control strategies in reducing the spread of malware infections.- Fundação para a Ciência e Tecnologia, Grant/Award Number: UID/MAT/04106/2019 and UID/CEC/00319/201

Resting state cortico-cerebellar functional connectivity networks: a comparison of anatomical and self-organizing map approaches.

The cerebellum plays a role in a wide variety of complex behaviors. In order to better understand the role of the cerebellum in human behavior, it is important to know how this structure interacts with cortical and other subcortical regions of the brain. To date, several studies have investigated the cerebellum using resting-state functional connectivity magnetic resonance imaging (fcMRI; Krienen and Buckner, 2009; O'Reilly et al., 2010; Buckner et al., 2011). However, none of this work has taken an anatomically-driven lobular approach. Furthermore, though detailed maps of cerebral cortex and cerebellum networks have been proposed using different network solutions based on the cerebral cortex (Buckner et al., 2011), it remains unknown whether or not an anatomical lobular breakdown best encompasses the networks of the cerebellum. Here, we used fcMRI to create an anatomically-driven connectivity atlas of the cerebellar lobules. Timecourses were extracted from the lobules of the right hemisphere and vermis. We found distinct networks for the individual lobules with a clear division into "motor" and "non-motor" regions. We also used a self-organizing map (SOM) algorithm to parcellate the cerebellum. This allowed us to investigate redundancy and independence of the anatomically identified cerebellar networks. We found that while anatomical boundaries in the anterior cerebellum provide functional subdivisions of a larger motor grouping defined using our SOM algorithm, in the posterior cerebellum, the lobules were made up of sub-regions associated with distinct functional networks. Together, our results indicate that the lobular boundaries of the human cerebellum are not necessarily indicative of functional boundaries, though anatomical divisions can be useful. Additionally, driving the analyses from the cerebellum is key to determining the complete picture of functional connectivity within the structure

The reflective learning continuum: reflecting on reflection

The importance of reflection to marketing educators is increasingly recognized. However, there is a lack of empirical research which considers reflection within the context of both the marketing and general business education literature. This paper describes the use of an instrument which can be used to measure four identified levels of a reflection hierarchy: habitual action, understanding, reflection and intensive reflection and two conditions for reflection: instructor to student interaction and student to student interaction. Further we demonstrate the importance of reflective learning in predicting graduates’ perception of program quality. Although the focus was on assessment of MBA level curricula, the findings have great importance to marketing education and educators