Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

A flexible tool for integrated planning of active distribution networks

This paper presents a flexible and integrated planning tool for active distribution network to maximise the benefits of having high level s of renewables, customer engagement, and new technology implementations. The tool has two main processing parts: “optimisation” and “forecast”. The “optimization” part is an automated and integrated planning framework to optimize the net present value (NPV) of investment strategy for electric distribution network augmentation over large areas and long planning horizons (e.g. 5 to 20 years) based on a modified particle swarm optimization (MPSO). The “forecast” is a flexible agent-based framework to produce load duration curves (LDCs) of load forecasts for different levels of customer engagement, energy storage controls, and electric vehicles (EVs). In addition, “forecast” connects the existing databases of utility to the proposed tool as well as outputs the load profiles and network plan in Google Earth. This integrated tool enables different divisions within a utility to analyze their programs and options in a single platform using comprehensive information.

Green Falcon IV: An Unmanned Aerial System and an integrated Wireless Sensor Network for remote sensing tasks

This report summarises the development of an Unmanned Aerial System and an integrated Wireless Sensor Network (WSN), suitable for the real world application in remote sensing tasks. Several aspects are discussed and analysed to provide improvements in flight duration, performance and mobility of the UAV, while ensuring the accuracy and range of data from the wireless sensor system.

Significance of a short-term test drive for prospective plug-in electric vehicle consumers: An exploratory study

The test drive is a well-known step in car buying. In the emerging plug-in electric vehicle (PEV) market, however, the influence of a pre-purchase test drive on a consumer's inclination to purchase is unknown. Policy makers and industry participants both are eager to understand what factors motivate vehicle consumers at the point-of-sale. A number of researchers have used choice models to shed light on consumer perceptions of PEVs, and others have investigated consumer change in disposition toward a PEV over the course of a trial, wherein test driving a PEV may take place over a number of consecutive days, weeks or months. However, there is little written on the impact of a short-term test drive - a typical experience at dealerships or public "ride-and-drive" events. The impact of a typical test drive, often measured in minutes of driving, is not well understood. This paper first presents a synthesis of the literature on the effect of PEV test drives as they relate to consumer disposition toward PEVs. An analysis of data obtained from an Australian case study whereby attitudinal and stated preference data were collected pre- and post- test drive at public "ride-and-drive" event held Brisbane, Queensland in March 2014 using a custom-designed iPad application. Motorists' perceptions and choice preferences around PEVs were captured, revealing the relative importance of their experience behind the wheel. Using the Australian context as a case-study, this paper presents an exploratory study of consumers' stated preferences toward PEVs both before and after a short test drive.

Scopophobia/Scopophilia: electric light and the anxiety of the gaze in postwar American architecture

In the years of reconstruction and economic boom that followed the Second World War, the domestic sphere encountered new expectations regarding social behaviour, modes of living, and forms of dwelling. This book brings together an international group of scholars from architecture, design, urban planning, and interior design to reappraise mid-twentieth century modern life, offering a timely reassessment of culture and the economic and political effects on civilian life. This collection contains essays that examine the material of art, objects, and spaces in the context of practices of dwelling over the long span of the postwar period. It asks what role material objects, interior spaces, and architecture played in quelling or fanning the anxieties of modernism’s ordinary denizens, and how this role informs their legacy today. Table of Contents [Book] Introduction Robin Schuldenfrei Part 1: Psychological Constructions: Anxiety of Isolation and Exposure 1. Taking Comfort in the Age of Anxiety: Eero Saarinen’s Womb Chair Cammie McAtee 2. The Future is Possibly Past: The Anxious Spaces of Gaetano Pesce Jane Pavitt 3. Scopophobia/Scopophilia: Electric Light and the Anxiety of the Gaze in American Postwar Domestic Architecture Margaret Petty Part 2: Ideological Objects: Design and Representation 4. The Allegory of the Socialist Lifestyle: The Czechoslovak Pavilion at the Brussels Expo, its Gold Medal and the Politburo Ana Miljacki 5. Assimilating Unease: Moholy-Nagy and the Wartime-Postwar Bauhaus in Chicago Robin Schuldenfrei 6. The Anxieties of Autonomy: Peter Eisenman from Cambridge to House VI Sean Keller Part 3: Societies of Consumers: Materialist Ideologies and Postwar Goods 7. "But a home is not a laboratory": The Anxieties of Designing for the Socialist Home in the German Democratic Republic 1950—1965 Katharina Pfützner 8. Architect-designed Interiors for a Culturally Progressive Upper-Middle Class: The Implicit Political Presence of Knoll International in Belgium Fredie Floré 9. Domestic Environment: Italian Neo-Avant-Garde Design and the Politics of Post-Materialism Mary Louise Lobsinger Part 4: Class Concerns and Conflict: Dwelling and Politics 10. Dirt and Disorder: Taste and Anxiety in the Working Class Home Christine Atha 11. Upper West Side Stories: Race, Liberalism, and Narratives of Urban Renewal in Postwar New York Jennifer Hock 12. Pawns or Prophets? Postwar Architects and Utopian Designs for Southern Italy Anne Parmly Toxey. Coda: From Homelessness to Homelessness David Crowley

Heritability of the network architecture of intrinsic brain functional connectivity

The brain's functional network exhibits many features facilitating functional specialization, integration, and robustness to attack. Using graph theory to characterize brain networks, studies demonstrate their small-world, modular, and "rich-club" properties, with deviations reported in many common neuropathological conditions. Here we estimate the heritability of five widely used graph theoretical metrics (mean clustering coefficient (γ), modularity (Q), rich-club coefficient (ϕnorm), global efficiency (λ), small-worldness (σ)) over a range of connection densities (k=5-25%) in a large cohort of twins (N=592, 84 MZ and 89 DZ twin pairs, 246 single twins, age 23±2.5). We also considered the effects of global signal regression (GSR). We found that the graph metrics were moderately influenced by genetic factors h2 (γ=47-59%, Q=38-59%, ϕnorm=0-29%, λ=52-64%, σ=51-59%) at lower connection densities (≤15%), and when global signal regression was implemented, heritability estimates decreased substantially h2 (γ=0-26%, Q=0-28%, ϕnorm=0%, λ=23-30%, σ=0-27%). Distinct network features were phenotypically correlated (|r|=0.15-0.81), and γ, Q, and λ were found to be influenced by overlapping genetic factors. Our findings suggest that these metrics may be potential endophenotypes for psychiatric disease and suitable for genetic association studies, but that genetic effects must be interpreted with respect to methodological choices.

Heritability of brain network topology in 853 twins and siblings

Anatomical brain networks change throughout life and with diseases. Genetic analysis of these networks may help identify processes giving rise to heritable brain disorders, but we do not yet know which network measures are promising for genetic analyses. Many factors affect the downstream results, such as the tractography algorithm used to define structural connectivity. We tested nine different tractography algorithms and four normalization methods to compute brain networks for 853 young healthy adults (twins and their siblings). We fitted genetic structural equation models to all nine network measures, after a normalization step to increase network consistency across tractography algorithms. Probabilistic tractography algorithms with global optimization (such as Probtrackx and Hough) yielded higher heritability statistics than 'greedy' algorithms (such as FACT) which process small neighborhoods at each step. Some global network measures (probtrackx-derived GLOB and ST) showed significant genetic effects, making them attractive targets for genome-wide association studies.

Journalism, media & communication network: Final report 2015

The JoMeC Network project had three key objectives. These were to: 1. Benchmark the pedagogical elements of journalism, media and communication (JoMeC) programs at Australian universities in order to develop a set of minimum academic standards, to be known as Threshold Learning Outcomes (TLOs), which would applicable to the disciplines of Journalism, Communication and/or Media Studies, and Public Relations; 2. Build a learning and teaching network of scholars across the JoMeC disciplines to support collaboration, develop leadership potential among educators, and progress shared priorities; 3. Create an online resources hub to support learning and teaching excellence and foster leadership in learning and teaching in the JoMeC disciplines. In order to benchmark the pedagogical elements of the JoMeC disciplines, the project started with a comprehensive review of the disciplinary settings of journalism, media and communication-related programs within Higher Education in Australia plus an analysis of capstone units (or subjects) offered in JoMeC-related degrees. This audit revealed a diversity of degree titles, disciplinary foci, projected career outcomes and pedagogical styles in the 36 universities that offered JoMeC-related degrees in 2012, highlighting the difficulties of classifying the JoMeC disciplines collectively or singularly. Instead of attempting to map all disciplines related to journalism, media and communication, the project team opted to create generalised TLOs for these fields, coupled with detailed TLOs for bachelor-level qualifications in three selected JoMeC disciplines: Journalism, Communication and/or Media Studies, and Public Relations. The initial review’s outcomes shaped the methodology that was used to develop the TLOs. Given the complexity of the JoMeC disciplines and the diversity of degrees across the network, the project team deployed an issue-framing process to create TLO statements. This involved several phases, including discussions with an issue-framing team (an advisory group of representatives from different disciplinary areas); research into accreditation requirements and industry-produced materials about employment expectations; evaluation of learning outcomes from universities across Australia; reviews of scholarly literature; as well as input from disciplinary leaders in a variety of forms. Draft TLOs were refined after further consultation with industry stakeholders and the academic community via email, telephone interviews, and meetings and public forums at conferences. This process was used to create a set of common TLOs for JoMeC disciplines in general and extended TLO statements for the specific disciplines of Journalism and Public Relations. A TLO statement for Communication and/or Media Studies remains in draft form. The Australian and New Zealand Communication Association (ANZCA) and Journalism Education and Research Association of Australian (JERAA) have agreed to host meetings to review, revise and further develop the TLOs. The aim is to support the JoMeC Network’s sustainability and the TLOs’ future development and use.

Edge of Danger: electric light and the negotiation of public and private domestic space in Philip Johnson's Glass and Guest House

In the first half of the twentieth century the dematerializing of boundaries between enclosure and exposure problematized traditional expectations of the domestic environment. At the same time, as a space of escalating technological control, the modern domestic interior also offered new potential to redefine the meaning and means of habitation. The inherent tension between these opposing forces is particularly evident in the introduction of new electric lighting technology and applications into the modern domestic interior in the mid-twentieth century. Addressing this nexus of technology and domestic psychology, this article examines the critical role of electric lighting in regulating and framing both the public and private occupation of Philip Johnson's New Canaan estate. Exploring the dialectically paired transparent Glass House and opaque Guest House, this study illustrates how Johnson employed electric light to negotiate the visual environment of the estate as well as to help sustain a highly aestheticized domestic lifestyle. Contextualized within the existing literature, this analysis provides a more nuanced understanding of the New Canaan estate as an expression of Johnson's interests as a designer as well as a subversion of traditional suburban conventions.

System-level analysis of network interfaces for hierarchical MPSoCs

Network Interfaces (NIs) are used in Multiprocessor System-on-Chips (MPSoCs) to connect CPUs to a packet switched Network-on-Chip. In this work we introduce a new NI architecture for our hierarchical CoreVA-MPSoC. The CoreVA-MPSoC targets streaming applications in embedded systems. The main contribution of this paper is a system-level analysis of different NI configurations, considering both software and hardware costs for NoC communication. Different configurations of the NI are compared using a benchmark suite of 10 streaming applications. The best performing NI configuration shows an average speedup of 20 for a CoreVA-MPSoC with 32 CPUs compared to a single CPU. Furthermore, we present physical implementation results using a 28 nm FD-SOI standard cell technology. A hierarchical MPSoC with 8 CPU clusters and 4 CPUs in each cluster running at 800MHz requires an area of 4.56mm2.

Fluorescent Fields: electric lighting and the rationalization of the modern corporate workplace

This study investigates the implications of the introduction of electric lighting systems, building technologies, and theories of worker efficiency on the deep spatial and environmental transformations that occurred within the corporate workplace during the twentieth century. Examining the shift from daylighting strategies to largely artificially lit workplace environments, this paper argues that electric lighting significantly contributed to the architectural rationalization of both office work and the modern office environment. Contesting the historical and critical marginalization of lighting within the discourse of the modern built environment, this study calls for a reassessment of the role of artificial lighting in the development of the modern corporate workplace. Keywords: daylighting, fluorescent lighting, rationalization, workplace design

Deeper and wider fully convolutional network coupled with conditional random fields for scene labeling

Deep convolutional neural networks (DCNNs) have been employed in many computer vision tasks with great success due to their robustness in feature learning. One of the advantages of DCNNs is their representation robustness to object locations, which is useful for object recognition tasks. However, this also discards spatial information, which is useful when dealing with topological information of the image (e.g. scene labeling, face recognition). In this paper, we propose a deeper and wider network architecture to tackle the scene labeling task. The depth is achieved by incorporating predictions from multiple early layers of the DCNN. The width is achieved by combining multiple outputs of the network. We then further refine the parsing task by adopting graphical models (GMs) as a post-processing step to incorporate spatial and contextual information into the network. The new strategy for a deeper, wider convolutional network coupled with graphical models has shown promising results on the PASCAL-Context dataset.

Teacher peer support in social network sites

This paper describes the types of support that teachers are accessing through the Social Network Site (SNS) 'Facebook'. It describes six ways in which teachers support one another within online groups. It presents evidence from a study of a large, open group of teachers online over a twelve week period, repeated with multiple groups a year later over a one week period. The findings suggest that large open groups in SNSs can be a useful source of pragmatic advice for teachers but that these groups are rarely a place for reflection on or feedback about teaching practice.