A subexponential construction of graph coloring for multiparty computation

We show the first deterministic construction of an unconditionally secure multiparty computation (MPC) protocol in the passive adversarial model over black-box non-Abelian groups which is both optimal (secure against an adversary who possesses any t

Quantifying uncertainty in parameter estimates for stochastic models of collective cell spreading using approximate Bayesian computation

Wound healing and tumour growth involve collective cell spreading, which is driven by individual motility and proliferation events within a population of cells. Mathematical models are often used to interpret experimental data and to estimate the parameters so that predictions can be made. Existing methods for parameter estimation typically assume that these parameters are constants and often ignore any uncertainty in the estimated values. We use approximate Bayesian computation (ABC) to estimate the cell diffusivity, D, and the cell proliferation rate, λ, from a discrete model of collective cell spreading, and we quantify the uncertainty associated with these estimates using Bayesian inference. We use a detailed experimental data set describing the collective cell spreading of 3T3 fibroblast cells. The ABC analysis is conducted for different combinations of initial cell densities and experimental times in two separate scenarios: (i) where collective cell spreading is driven by cell motility alone, and (ii) where collective cell spreading is driven by combined cell motility and cell proliferation. We find that D can be estimated precisely, with a small coefficient of variation (CV) of 2–6%. Our results indicate that D appears to depend on the experimental time, which is a feature that has been previously overlooked. Assuming that the values of D are the same in both experimental scenarios, we use the information about D from the first experimental scenario to obtain reasonably precise estimates of λ, with a CV between 4 and 12%. Our estimates of D and λ are consistent with previously reported values; however, our method is based on a straightforward measurement of the position of the leading edge whereas previous approaches have involved expensive cell counting techniques. Additional insights gained using a fully Bayesian approach justify the computational cost, especially since it allows us to accommodate information from different experiments in a principled way.

Morphogenetic analysis of architectural elements within the townscape

When a new form is inserted in an existing townscape, its consonance within the urban fabric is dependent on the level of attention paid to the evaluation and management of its architectural elements. However, despite the established principles and methods of urban morphology that enable the systematic analysis of the built environment, a formula for ensuring that new development relates to its context so as to achieve congruent outcomes is still lacking. This paper proposes a new method of evaluating and measuring architectural elements within evolving urban forms, with particular emphasis on a three-dimensional study of buildings. In a case study, detailed mapping of both current and past forms provides the basis for evincing predominant characteristics that have changed over time. Using this method, it is possible to demonstrate objectively how the townscape has been affected through changes in its architectural configuration.

Melanoma cell colony expansion parameters revealed by approximate Bayesian computation

In vitro studies and mathematical models are now being widely used to study the underlying mechanisms driving the expansion of cell colonies. This can improve our understanding of cancer formation and progression. Although much progress has been made in terms of developing and analysing mathematical models, far less progress has been made in terms of understanding how to estimate model parameters using experimental in vitro image-based data. To address this issue, a new approximate Bayesian computation (ABC) algorithm is proposed to estimate key parameters governing the expansion of melanoma cell (MM127) colonies, including cell diffusivity, D, cell proliferation rate, λ, and cell-to-cell adhesion, q, in two experimental scenarios, namely with and without a chemical treatment to suppress cell proliferation. Even when little prior biological knowledge about the parameters is assumed, all parameters are precisely inferred with a small posterior coefficient of variation, approximately 2–12%. The ABC analyses reveal that the posterior distributions of D and q depend on the experimental elapsed time, whereas the posterior distribution of λ does not. The posterior mean values of D and q are in the ranges 226–268 µm2h−1, 311–351 µm2h−1 and 0.23–0.39, 0.32–0.61 for the experimental periods of 0–24 h and 24–48 h, respectively. Furthermore, we found that the posterior distribution of q also depends on the initial cell density, whereas the posterior distributions of D and λ do not. The ABC approach also enables information from the two experiments to be combined, resulting in greater precision for all estimates of D and λ.

The Wuzhen Theatre, Zhejiang, China: An architectural review

Designed by Taiwanese architect Kris Yao of Artech Architects for the Wuzhen Tourism Development Company, the Wuzhen Theatre is situated in Wuzhen, a historic scenic water town located in east China's Zhejiang Province. This theatre stands as an architectural beacon for Wuzhen, and is to be considered an important place on the global atlas of theatre and China's epicentre of theatre, culture and arts.

Start making sense: Applying a salutogenic model to architectural design for psychiatric care

Purpose This paper aims to look into the significance of architectural design in psychiatric care facilities. There is a strong correlation between perceptual dysfunction and psychiatric illness, and also between the patient and his environment. As such, even minor design choices can be of great consequence in a psychiatric facility. It is of critical importance, therefore, that a psychiatric milieu is sympathetic and does not exacerbate the psychosis. Design/methodology/approach This paper analyses the architectural elements that may influence mental health, using an architectural extrapolation of Antonovsky’s salutogenic theory, which states that better health results from a state of mind which has a fortified sense of coherence. According to the theory, a sense of coherence is fostered by a patient’s ability to comprehend the environment (comprehensibility), to be effective in his actions (manageability) and to find meaning (meaningfullness). Findings Salutogenic theory can be extrapolated in an architectural context to inform design choices when designing for a stress-sensitive client base. Research limitations/implications In the paper an architectural extrapolation of salutogenic theory is presented as a practical method for making design decisions (in praxis) when evidence is not available. As demonstrated, the results appear to reflect what evidence is available, but real evidence is always desirable over rationalist speculation. The method suggested here cannot prove the efficacy or appropriateness of design decisions and is not intended to do so. Practical implications The design of mental health facilities has long been dominated by unsubstantiated policy and normative opinions that do not always serve the client population. This method establishes a practical theoretical model for generating architectural design guidelines for mental health facilities. Originality/value The paper will prove to be helpful in several ways. First, salutogenic theory is a useful framework for improving health outcomes, but in the past the theory has never been applied in a methodological way. Second, there have been few insights into how the architecture itself can improve the functionality of a mental health facility other than improve the secondary functions of hospital services.

Designing 'other' citizens into the city: Investigating perceptions of architectural opportunities for wildlife habitat in the Brisbane CBD

Traditional perceptions of the human-animal relationship in the urban context typically see the spatial rejection of wildlife from the built environment and limiting of biodiversity conservation programs to areas of natural reserve. As urban growth places further spatial demands on natural habitat and contributes to continued global biodiversity loss, the recently introduced conservation approach of reconciliation ecology makes a call promoting ecological stewardship through embedding wildlife habitat within human dominated areas. Coinciding with this, the architectural sphere has seen a recent trend of design investigation addressing artificial animal habitat as features of the built environment. Although these precedents are currently a niche and scattered trend they show potential to address the human-animal dualism challenging the framework of reconciliation ecology. This research explores the role design plays in influencing perceptions of urban wildlife habitat, particularly considering the need to create and communicate value around wildlife biodiversity as a component of urban cultural place-making and ecological literacy. The study purpose sets out to establish a set of approaches and cultural preferences with which to direct further classification and development of this architectural trend. Brisbane is utilised as a case study city, as a locale containing proximities of relatively high wildlife and human populations in an urban setting and an established legislative biodiversity heritage and ethic. Through use of a qualitative and quantitative questionnaire targeting Brisbane residents, the research methodology established that although respondents perceptions generally aligned with traditional prejudice against wildlife around human buildings, artificial habitat intervention would be supported within the CBD provided it allowed for adequate distancing of humans from wildlife and conformed with contextual surroundings, or otherwise addressed habitat through redevelopment at an urban scale. As such further research directions for artificial habitat should focus on integration of artificial habitat as a component of façade design or green infrastructure programs.

Correlation between architectural variables and torque in the erector spinae muscle during maximal isometric contraction

This study analysed whether a significant relationship exists between the torque and muscle thickness and pennation angle of the erector spinae muscle during a maximal isometric lumbar extension with the lumbar spine in neutral position. This was a cross-sectional study in which 46 healthy adults performed three repetitions for 5 s of maximal isometric lumbar extension with rests of 90 s. During the lumbar extensions, bilateral ultrasound images of the erector spinae muscle (to measure pennation angle and muscle thickness) and torque were acquired. Reliability test analysis calculating the internal consistency (Cronbach's alpha) of the measure, correlation between pennation angle, muscle thickness and torque extensions were examined. Through a linear regression the contribution of each independent variable (muscle thickness and pennation angle) to the variation of the dependent variable (torque) was calculated. The results of the reliability test were: 0.976–0.979 (pennation angle), 0.980–0.980 (muscle thickness) and 0.994 (torque). The results show that pennation angle and muscle thickness were significantly related to each other with a range between 0.295 and 0.762. In addition, multiple regression analysis showed that the two variables considered in this study explained 68% of the variance in the torque. Pennation angle and muscle thickness have a moderate impact on the variance exerted on the torque during a maximal isometric lumbar extension with the lumbar spine in neutral position.

Numerical computation of an Evans function for travelling waves

We demonstrate a geometrically inspired technique for computing Evans functions for the linearised operators about travelling waves. Using the examples of the F-KPP equation and a Keller–Segel model of bacterial chemotaxis, we produce an Evans function which is computable through several orders of magnitude in the spectral parameter and show how such a function can naturally be extended into the continuous spectrum. In both examples, we use this function to numerically verify the absence of eigenvalues in a large region of the right half of the spectral plane. We also include a new proof of spectral stability in the appropriate weighted space of travelling waves of speed c≥sqrt(2δ) in the F-KPP equation.

Scalable Bayesian Computation for intractable likelihoods in image analysis

The inverse temperature hyperparameter of the hidden Potts model governs the strength of spatial cohesion and therefore has a substantial influence over the resulting model fit. The difficulty arises from the dependence of an intractable normalising constant on the value of the inverse temperature, thus there is no closed form solution for sampling from the distribution directly. We review three computational approaches for addressing this issue, namely pseudolikelihood, path sampling, and the approximate exchange algorithm. We compare the accuracy and scalability of these methods using a simulation study.

Scalable and flexible large display arrays: A novel approach to the architectural enhancement of a prototype large display array

Large Display Arrays (LDAs) use Light Emitting Diodes (LEDs) in order to inform a viewing audience. A matrix of individually driven LEDs allows the area represented to display text, images and video. LDAs have undergone rapid development over the past 10 years in both the modular and semi-flexible formats. This thesis critically analyses the communication architecture and processor functionality of current LDAs and presents an alternative method, that is, Scalable Flexible Large Display Arrays (SFLDAs). SFLDAs are more adaptable to a variety of applications because of enhancements in scalability and flexibility. Scalability is the ability to configure SFLDAs from 0.8m2 to 200m2. Flexibility is increased functionality within the processors to handle changes in configuration and the use of a communication architecture that standardises two-way communication throughout the SFLDA. While common video platforms such as Digital Video Interface (DVI), Serial Digital Interface (SDI), and High Definition Multimedia Interface (HDMI) are considered as solutions for the communication architecture of SFLDAs, so too is modulation, fibre optic, capacitive coupling and Ethernet. From an analysis of these architectures, Ethernet was identified as the best solution. The use of Ethernet as the communication architecture in SFLDAs means that both hardware and software modules are capable of interfacing to the SFLDAs. The Video to Ethernet Processor Unit (VEPU), Scoreboard, Image and Control Software (SICS) and Ethernet to LED Processor Unit (ELPU) have been developed to form the key components in designing and implementing the first SFLDA. Data throughput rate and spectrophotometer tests were used to measure the effectiveness of Ethernet within the SFLDA constructs. The result of testing and analysis of these architectures showed that Ethernet satisfactorily met the requirements of SFLDAs.

Enriching architectural design education through interactive displays and local community engagement

Designers have a social responsibility to deal with the needs, issues, and problems that their clients and communities are confronted with. Students of design require opportunities to reflect on their role as social facilitators to develop an attitude towards community engagement through different phases and aspects of their careers. However, current design courses are challenged by compressed timeframes and fragmented scenarios of different academic requirements that do not actively teach community engagement. This paper outlines a participatory and technological approach that was employed to address these issues within the teaching of Architecture and Urban Design at the Queensland University of Technology, Brisbane, Australia. A multi-phase community based research project with actual stakeholders was implemented over a two-year period. Approximately 150 students in the final year of the Bachelor of Design-Architecture; 10 students in the Master of Architecture and 15 students in the Master of Design-Urban Design have informed and influenced each others’ learning through the teaching and research nexus facilitated by this project. The technical approach was implemented in form of a bespoke digital platform that supported the display and discussion of digital media on a series of interactive touch walls. The platform allowed students to easily upload their final designs onto large interactive surfaces, where visitors could explore the media and provide comments. Through the use of this technical platform and the introduction of neogeography, students have been able to broaden their level of interaction and support their learning experience through external structured and unstructured feedback from the local community. Students have not only been exposed to community representatives, but they also have been working in parallel on a specific case study providing each other, across different years and courses, material for reflection and data to structure their design activities.

Architectural changes of the biceps femoris after concentric or eccentric training

Purpose To determine i) the architectural adaptations of the biceps femoris long head (BFlf) following concentric or eccentric strength training interventions; ii) the time course of adaptation during training and detraining. Methods Participants in this randomized controlled trial (control [n=28], concentric training group [n=14], eccentric training group [n=14], males) completed a 4-week control period, followed by 6 weeks of either concentric- or eccentric-only knee flexor training on an isokinetic dynamometer and finished with 28 days of detraining. Architectural characteristics of BFlf were assessed at rest and during graded isometric contractions utilizing two-dimensional ultrasonography at 28 days pre-baseline, baseline, days 14, 21 and 42 of the intervention and then again following 28 days of detraining. Results BFlf fascicle length was significantly longer in the eccentric training group (p<0.05, d range: 2.65 to 2.98) and shorter in the concentric training group (p<0.05, d range: -1.62 to -0.96) after 42 days of training compared to baseline at all isometric contraction intensities. Following the 28-day detraining period, BFlf fascicle length was significantly reduced in the eccentric training group at all contraction intensities compared to the end of the intervention (p<0.05, d range: -1.73 to -1.55). There was no significant change in fascicle length of the concentric training group following the detraining period. Conclusions These results provide evidence that short term resistance training can lead to architectural alterations in the BFlf. In addition, the eccentric training-induced lengthening of BFlf fascicle length was reversed and returned to baseline values following 28 days of detraining. The contraction mode specific adaptations in this study may have implications for injury prevention and rehabilitation.

Architectural experience in the everyday context

Informed by phenomenology and grounded theory this research identifies the general community's contextual sense-making in relation to their everyday experience of buildings producing a comprehensive theoretical framework that acknowledges a person's relationship with a building as dynamic and unfolding, as opposed to static and constant; and as emotive and existential as well as conceptual and perceptual. In this regard, the research makes an original contribution to environmental psychology, architecture and design and through this discipline knowledge to the design of more habitable buildings, and interior and urban environments.