Fluorescence of poly(di-n-alkylsilane)s in room-temperature solution

A comprehensive study of the electronic absorption and emission spectra and the fluorescence quantum yield and lifetime of seven poly(di-n-alkylsilane)s and of three isotopically labelled poly(di-n-hexylsilane)s in hydrocarbon solution at room temperature is reported. Also reported are fluorescence polarization and carbon tetrachloride quenching of fluorescence of poly(di-n-hexylsilane). The observed fluorescence spectra, quantum yield, and polarization depend on the selected excitation energy in a very characteristic fashion, whereas the fluorescence lifetime does not; however, it depends on the selected emission energy. These characteristic dependencies are qualitatively accounted for by the previously proposed segment distribution model if one assumes that the photophysical behavior at higher excitation energies is strongly affected by the presence of a low-lying weakly allowed state in short-segment chromophores and the behavior at lower excitation energies is dictated by the selective excitation of emitting long-segment chromophores.     

Verification of randomized consensus algorithms under round-rigid adversaries

International Journal on Software Tools for Technology Transfer - Randomized fault-tolerant distributed algorithms pose a number of challenges for automated verification: (i) parameterization in...     

UR: SMART–A tool for analyzing social media content

Information Systems and e-Business Management - The digital transformation, with its ongoing trend towards electronic business, confronts companies with increasingly growing amounts of data which...     

Ongoing verification of a multiphysics community code: FLASH

When developing a complex, multi‐authored code, daily testing on multiple platforms and under a variety of conditions is essential. It is therefore necessary to have a regression test suite that is easily administered and configured, as well as a way to easily view and interpret the test suite results. We describe the methodology for verification of FLASH, a highly capable multiphysics scientific application code with a wide user base. The methodology uses a combination of unit and regression tests and an in‐house testing software that is optimized for operation under limited resources. Although our practical implementations do not always comply with theoretical regression‐testing research, our methodology provides a comprehensive verification of a large scientific code under resource constraints.Copyright © 2013 John Wiley & Sons, Ltd.     

Visual search tree profiling

Understanding how the search space is explored for a given constraint problem – and how it changes for different models, solvers or search strategies – is crucial for efficient solving. Yet programmers often have to rely on the crude aggregate measures of the search that are provided by solvers, or on visualisation tools that can show the search tree, but do not offer sophisticated ways to navigate and analyse it, particularly for large trees. We present an architecture for profiling a constraint programming search that is based on a lightweight instrumentation of the solver. The architecture combines a visualisation of the search tree with various tools for convenient navigation and analysis of the search. These include identifying repeated subtrees, high-level abstraction and navigation of the tree, and the comparison of two search trees. The resulting system is akin to a traditional program profiler, which helps the user to focus on the parts of the execution where an improvement to their program would have the greatest effect.     

Privacy Preserving Geo-Linkage in the Big Urban Data Era

Big data technologies and a range of Government open data initiatives provide the basis for discovering new insights into cities; how they are planned, how they managed and the day-to-day challenges they face in health, transport and changing population profiles. The Australian Urban Research Infrastructure Network (AURIN – www.aurin.org.au) project is one example of such a big data initiative that is currently running across Australia. AURIN provides a single gateway providing online (live) programmatic access to over 2000 data sets from over 70 major and typically definitive data-driven organizations across federal and State government, across industry and across academia. However whilst open (public) data is useful to bring data-driven intelligence to cities, more often than not, it is the data that is not-publicly accessible that is essential to understand city challenges and needs. Such sensitive (unit-level) data has unique requirements on access and usage to meet the privacy and confidentiality demands of the associated organizations. In this paper we highlight a novel geo-privacy supporting solution implemented as part of the AURIN project that provides seamless and secure access to individual (unit-level) data from the Department of Health in Victoria. We illustrate this solution across a range of typical city challenges in localized contexts around Melbourne. We show how unit level data can be combined with other data in a privacy-protecting manner. Unlike other secure data access and usage solutions that have been developed/deployed, the AURIN solution allows any researcher to access and use the data in a manner that meets all of the associated privacy and confidentiality concerns, without obliging them to obtain ethical approval or any other hurdles that are normally put in place on access to and use of sensitive data. This provides a paradigm shift in secure access to sensitive data with geospatial content.     

Signage Versus Environmental Affordances: Is the Explicit Information Strong Enough to Guide Human Behavior During a Wayfinding Task?

This study aims to explore how people behave when they have to find a location within a complex building and are confronted with situations where directional signage (i.e., explicit information) is in opposition to environmental affordances that naturally direct users towards a specific path, creating a situation with conflicting information (e.g., a brighter corridor vs. a darker corridor but with a directional sign indicating to follow the darker one). A virtual reality–based methodology was used and a between‐subject design was considered. Thus, participants were given the tasks of finding three publicly accessible central points in a virtual hotel and confronted with a two forced‐choice task of local scenes in which environmental variables (i.e., corridor width and brightness) and signage varied systematically, in two experimental conditions (i.e., neutral and signage). For the signage condition, signs were inserted to explicitly point in the opposite direction than that implicitly suggested by the environmental affordances, creating situations with conflicting information. Results indicate that environmental variables were able to direct people indoors acting as environmental affordances. Users preferred to follow the wider and brighter paths. However, when directional signage pointed in the opposite direction of the paths preferred by the participants, most of them complied with signage.