The suffix-free-prefix-free hash function construction and its indifferentiability security analysis

In this paper, we observe that in the seminal work on indifferentiability analysis of iterated hash functions by Coron et al. and in subsequent works, the initial value (IV) of hash functions is fixed. In addition, these indifferentiability results do not depend on the Merkle–Damgård (MD) strengthening in the padding functionality of the hash functions. We propose a generic n -bit-iterated hash function framework based on an n -bit compression function called suffix-free-prefix-free (SFPF) that works for arbitrary IV s and does not possess MD strengthening. We formally prove that SFPF is indifferentiable from a random oracle (RO) when the compression function is viewed as a fixed input-length random oracle (FIL-RO). We show that some hash function constructions proposed in the literature fit in the SFPF framework while others that do not fit in this framework are not indifferentiable from a RO. We also show that the SFPF hash function framework with the provision of MD strengthening generalizes any n -bit-iterated hash function based on an n -bit compression function and with an n -bit chaining value that is proven indifferentiable from a RO.

Basic personal values underlie and give coherence to political values: A cross national study in 15 countries

Do the political values of the general public form a coherent system? What might be the source of coherence? We view political values as expressions, in the political domain, of more basic personal values. Basic personal values (e.g., security, achievement, benevolence, hedonism) are organized on a circular continuum that reflects their conflicting and compatible motivations. We theorize that this circular motivational structure also gives coherence to political values. We assess this theorizing with data from 15 countries, using eight core political values (e.g., free enterprise, law and order) and ten basic personal values. We specify the underlying basic values expected to promote or oppose each political value. We offer different hypotheses for the 12 non-communist and three post-communist countries studied, where the political context suggests different meanings of a basic or political value. Correlation and regression analyses support almost all hypotheses. Moreover, basic values account for substantially more variance in political values than age, gender, education, and income. Multidimensional scaling analyses demonstrate graphically how the circular motivational continuum of basic personal values structures relations among core political values. This study strengthens the assumption that individual differences in basic personal values play a critical role in political thought.

Multi-rotor with suspended load: System dynamics and control toolbox

There is an increasing demand for Unmanned Aerial Systems (UAS) to carry suspended loads as this can provide significant benefits to several applications in agriculture, law enforcement and construction. The load impact on the underlying system dynamics should not be neglected as significant feedback forces may be induced on the vehicle during certain flight manoeuvres. The constant variation in operating point induced by the slung load also causes conventional controllers to demand increased control effort. Much research has focused on standard multi-rotor position and attitude control with and without a slung load. However, predictive control schemes, such as Nonlinear Model Predictive Control (NMPC), have not yet been fully explored. To this end, we present a novel controller for safe and precise operation of multi-rotors with heavy slung load in three dimensions. The paper describes a System Dynamics and Control Simulation Toolbox for use with MATLAB/SIMULINK which includes a detailed simulation of the multi-rotor and slung load as well as a predictive controller to manage the nonlinear dynamics whilst accounting for system constraints. It is demonstrated that the controller simultaneously tracks specified waypoints and actively damps large slung load oscillations. A linear-quadratic regulator (LQR) is derived and control performance is compared. Results show the improved performance of the predictive controller for a larger flight envelope, including aggressive manoeuvres and large slung load displacements. The computational cost remains relatively small, amenable to practical implementations.

The culture wars of climate change

Of late, there has been a growth in cultural expression about climate change – with the rise of climate fiction (‘cli-fi’); art and photography responding to changes in nature; musical anthems about climate change; plays and dramas about climate change; and environmental documentaries, and climate cinema. Drawing comparisons to past controversies over cultural funding, this paper considers the cultural wars over climate change. This article considers a number of cultural fields. Margaret Atwood made an important creative and critical contribution to the debate over climate change. The work examines Ian McEwan's novel, Solar, a tragi-comedy about authorship, invention, intellectual property, and climate science. After writing a history of Merchants of Doubt, Naomi Oreskes and Erik Conway have experimented with fiction – as well as history. This article focuses upon artistic works about climate change. It analyses James Balog’s work with the Extreme Ice Survey, which involved photography of glaciers under retreat in a warming world. The work was turned into a documentary called Chasing Ice. It also considers the artistic project of 350.org 'to transform the human rights and environmental issues connected to climate change into powerful art that gets people to stop, think and act.' The paper examines musical storytelling in respect of climate change. The paper explores dramatic works about climate change including Steve Waters' The Contingency Plan, Stephen Emmott's Ten Billion, and Andrew Bovell's When the Rain Stops Falling and Hannie Rayson’s Extinction. The paper also examines the role of documentary film-making. It also considers the cinematographic film, Beasts of the Southern Wild. Such a survey will enable a consideration of the larger question of whether creative art about climate change matters; and whether it is deserving of public funding.

The use of embodiments in distributed collaborative business process modelling

Remote networked collaboration with business model documentation has many communication problems. The aim of this project is to solve some of these communication problems by using digital 3D representations of human visual cues. Results from this project increased our understanding of the role and effects of visual cues in remote collaboration, specifically for validating business process models. Technology designs to support such cues across a distance have been proposed in this thesis with qualitative and quantitative methods of analysis being combined to analyse the impact of these cues on the communication, coordination and performance of a team collaborating remotely.

Novel window coupler for the detection of partial discharge activity in GIS

This work investigates the feasibly in using a low noise “C” Band block down-converter as a Ultra High Frequency window coupler for the detection of partial discharge activity from free conducting practices and a protrusion on the high voltage conductor in Gas Insulated Switchgear. The investigated window coupler has a better sensitivity than the internal Ultra High Frequency couplers fitted to the system. The investigated window couplers however are sensitive to changes in the frequency content of the discharge signals and appear to be less sensitive to negative discharges signals produced by a protrusion than the positive discharge signals.

BPMVM Evaluation Experiment Materials

All the materials used for our two experimental studies for evaluating the BPMVM modeller.

A process mining-based investigation of adverse events in care processes

This paper proposes the Clinical Pathway Analysis Method (CPAM) approach that enables the extraction of valuable organisational and medical information on past clinical pathway executions from the event logs of healthcare information systems. The method deals with the complexity of real-world clinical pathways by introducing a perspective-based segmentation of the date-stamped event log. CPAM enables the clinical pathway analyst to effectively and efficiently acquire a profound insight into the clinical pathways. By comparing the specific medical conditions of patients with the factors used for characterising the different clinical pathway variants, the medical expert can identify the best therapeutic option. Process mining-based analytics enables the acquisition of valuable insights into clinical pathways, based on the complete audit traces of previous clinical pathway instances. Additionally, the methodology is suited to assess guideline compliance and analyse adverse events. Finally, the methodology provides support for eliciting tacit knowledge and providing treatment selection assistance.

Monitoring care processes in the gynecologic oncology department

The care processes of healthcare providers are typically considered as human-centric, flexible, evolving, complex and multi-disciplinary. Consequently, acquiring an insight in the dynamics of these care processes can be an arduous task. A novel event log based approach for extracting valuable medical and organizational information on past executions of the care processes is presented in this study. Care processes are analyzed with the help of a preferential set of process mining techniques in order to discover recurring patterns, analyze and characterize process variants and identify adverse medical events.

Targeting EMT in cancer: opportunities for pharmacological intervention

•EMT is important for embryonic development, wound healing, and placentation. •Some cancers appear to exploit this process for increased metastatic potential. •Therefore, this pathway is of great therapeutic interest in the treatment of cancer. The spread of cancer cells to distant organs represents a major clinical challenge in the treatment of cancer. Epithelial–mesenchymal transition (EMT) has emerged as a key regulator of metastasis in some cancers by conferring an invasive phenotype. As well as facilitating metastasis, EMT is thought to generate cancer stem cells and contribute to therapy resistance. Therefore, the EMT pathway is of great therapeutic interest in the treatment of cancer and could be targeted either to prevent tumor dissemination in patients at high risk of developing metastatic lesions or to eradicate existing metastatic cancer cells in patients with more advanced disease. In this review, we discuss approaches for the design of EMT-based therapies in cancer, summarize evidence for some of the proposed EMT targets, and review the potential advantages and pitfalls of each approach

High threshold of β1 integrin inhibition required to block collagen I-induced membrane type-1 matrix metalloproteinase (MT1-MMP) activation of matrix metalloproteinase 2 (MMP-2)

Background Matrix metalloproteinase-2 (MMP-2) is an endopeptidase that facilitates extracellular matrix remodeling and molecular regulation, and is implicated in tumor metastasis. Type I collagen (Col I) regulates the activation of MMP-2 through both transcriptional and post-transcriptional means; however gaps remain in our understanding of the involvement of collagen-binding ?1 integrins in collagen-stimulated MMP-2 activation. Methods Three ?1 integrin siRNAs were used to elucidate the involvement of ?1 integrins in the Col I-induced MMP-2 activation mechanism. ?1 integrin knockdown was analyzed by quantitative RT-PCR, Western Blot and FACS analysis. Adhesion assay and collagen gel contraction were used to test the biological effects of ?1 integrin abrogation. MMP-2 activation levels were monitored by gelatin zymography. Results All three ?1 integrin siRNAs were efficient at ?1 integrin knockdown and FACS analysis revealed commensurate reductions of integrins ?2 and ?3, which are heterodimeric partners of ?1, but not ?V, which is not. All three ?1 integrin siRNAs inhibited adhesion and collagen gel contraction, however only the siRNA showing the greatest magnitude of ?1 knockdown inhibited Col I-induced MMP-2 activation and reduced the accompanying upregulation of MT1-MMP, suggesting a dose response threshold effect. Re-transfection with codon-swapped ?1 integrin overcame the reduction in MMP-2 activation induced by Col-1, confirming the ?1 integrin target specificity. MMP-2 activation induced by TPA or Concanavalin A (Con A) was not inhibited by ?1 integrin siRNA knockdown. Conclusion Together, the data reveals that strong abrogation of ?1 integrin is required to block MMP-2 activation induced by Col I, which may have implications for the therapeutic targeting of ?1 integrin.