Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems

On-time completion is an important temporal QoS (Quality of Service) dimension and one of the fundamental requirements for high-confidence workflow systems. In recent years, a workflow temporal verification framework, which generally consists of temporal constraint setting, temporal checkpoint selection, temporal verification, and temporal violation handling, has been the major approach for the high temporal QoS assurance of workflow systems. Among them, effective temporal checkpoint selection, which aims to timely detect intermediate temporal violations along workflow execution plays a critical role. Therefore, temporal checkpoint selection has been a major topic and has attracted significant efforts. In this paper, we will present an overview of work-flow temporal checkpoint selection for temporal verification. Specifically, we will first introduce the throughput based and response-time based temporal consistency models for business and scientific cloud workflow systems, respectively. Then the corresponding benchmarking checkpoint selection strategies that satisfy the property of “necessity and sufficiency” are presented. We also provide experimental results to demonstrate the effectiveness of our checkpoint selection strategies, and finally points out some possible future issues in this research area.

Challenges and opportunities for siRNA-based cancer treatment

As one of the life-threatening diseases involving multi-step genetic and epigenetic disorders, cancer has long been a dynamic research area for siRNA-based therapy as half of the current siRNA-based clinical trials are involved in oncology. However, despite consistent enthusiasm in the academic world, siRNA-based cancer treatment still faces obstacles and difficulties in clinical development. In this article, we discuss key challenges facing siRNA-based cancer treatment revealed from recent clinical and preclinical studies, including chemical modification, tumour penetration, endosomal escape, target selection and off-target effects. In addition, opportunities and avenues for translating siRNA technology from bench to oncologic clinics are explored.

Privacy preserving social network data publication

The introduction of online social networks (OSN) has transformed the way people connect and interact with each other as well as share information. OSN have led to a tremendous explosion of network-centric data that could be harvested for better understanding of interesting phenomena such as sociological and behavioural aspects of individuals or groups. As a result, online social network service operators are compelled to publish the social network data for use by third party consumers such as researchers and advertisers. As social network data publication is vulnerable to a wide variety of reidentification and disclosure attacks, developing privacy preserving mechanisms are an active research area. This paper presents a comprehensive survey of the recent developments in social networks data publishing privacy risks, attacks, and privacy-preserving techniques. We survey and present various types of privacy attacks and information exploited by adversaries to perpetrate privacy attacks on anonymized social network data. We present an in-depth survey of the state-of-the-art privacy preserving techniques for social network data publishing, metrics for quantifying the anonymity level provided, and information loss as well as challenges and new research directions. The survey helps readers understand the threats, various privacy preserving mechanisms, and their vulnerabilities to privacy breach attacks in social network data publishing as well as observe common themes and future directions.

Evolution of 3D printed soft actuators

Developing soft actuators and sensors by means of 3D printing has become an exciting research area. Compared to conventional methods, 3D printing enables rapid prototyping, custom design, and single-step fabrication of actuators and sensors that have complex structure and high resolution. While 3D printed sensors have been widely reviewed in the literature, 3D printed actuators, on the other hand, have not been adequately reviewed thus far. This paper presents a comprehensive review of the existing 3D printed actuators. First, the common processes used in 3D printing of actuators are reviewed. Next, the existing mechanisms used for stimulating the printed actuators are described. In addition, the materials used to print the actuators are compared. Then, the applications of the printed actuators including soft-manipulation of tissues and organs in biomedicine and fragile agricultural products, regenerative design, smart valves, microfluidic systems, electromechanical switches, smart textiles, and minimally invasive surgical instruments are explained. After that, the reviewed 3D printed actuators are discussed in terms of their advantages and disadvantages considering power density, elasticity, strain, stress, operation voltage, weight, size, response time, controllability, and biocompatibility. Finally, the future directions of 3D printed actuators are discussed.

Evaluation of process capability indices of linear profiles

Purpose: In profile monitoring, which is a growing research area in the field of statistical process control, the relationship between response and explanatory variables is monitored over time. The purpose of this paper is to focus on the process capability analysis of linear profiles. Process capability indices give a quick indication of the capability of a manufacturing process. Design/methodology/approach: In this paper, the proportion of the non-conformance criteria is employed to estimate process capability index. The paper has considered the cases where specification limits is constant or is a function of explanatory variable X. Moreover, cases where both equal and random design schemes in profile data acquisition is required (as the explanatory variable) is considered. Profiles with the assumption of deterministic design points are usually used in the calibration applications. However, there are other applications where design points within a profile would be i.i.d. random variables from a given distribution. Findings: Simulation studies using simple linear profile processes for both fixed and random explanatory variable with constant and functional specification limits are considered to assess the efficacy of the proposed method. Originality/value: There are many cases in industries such as semiconductor industries where quality characteristics are in form of profiles. There is no method in the literature to analyze process capability for theses processes, however recently quite a few methods have been presented in monitoring profiles. Proposed methods provide a framework for quality engineers and production engineers to evaluate and analyze capability of the profile processes. © Emerald Group Publishing Limited.

DeepSoft: a vision for a deep model of software

Although software analytics has experienced rapid growth as a research area, it has not yet reached its full potential for wide industrial adoption. Most of the existing work in software analytics still relies heavily on costly manual feature engineering processes, and they mainly address the traditional classification problems, as opposed to predicting future events. We present a vision for \emph{DeepSoft}, an \emph{end-to-end} generic framework for modeling software and its development process to predict future risks and recommend interventions. DeepSoft, partly inspired by human memory, is built upon the powerful deep learning-based Long Short Term Memory architecture that is capable of learning long-term temporal dependencies that occur in software evolution. Such deep learned patterns of software can be used to address a range of challenging problems such as code and task recommendation and prediction. DeepSoft provides a new approach for research into modeling of source code, risk prediction and mitigation, developer modeling, and automatically generating code patches from bug reports.

Research data in marketing journals

Our objective is to assess the geocentricity of research data in a selection of continentally based leading academic marketing journals. The assessment considers a six-year period, namely 2000-2005. The content analysis consisted of 811 published contributions. The empirical findings may be illustrative to other academic journals in the field of marketing. The assessment is summarised on an aggregated level and per journal title. The journal sample consists of the Australasian Marketing Journal (AMJ), the European Journal of Marketing (EJM) and the Journal of Marketing (JM) – a cross-continental assessment. We contend that the selected journals should not be considered to be dramatically different in any particular sense in the area of academic marketing journals. On the contrary, together they may be quite representative of several others as well.

Understanding residential house prices : examining the contribution of social area analysis

A complete understanding of residential housing markets, particularly in relation to variations in house prices both within and between suburbs, continues to present challenges to property researchers and forecasters. Factors affecting changes in housing demand are not yet completely understood, and accordingly market changes cannot always be confidently predicted. Most urban cities contain precincts that have high or low house values at the same time, regardless of characteristics such as distance to the city centre, location of transport or topography. Exactly why these variations in suburb values occur is often unclear, although local residents are able to easily identify differences between the status of each suburb, especially when one area is clearly perceived as superior to another. Consequently, houses in premium suburbs are sold for substantially more than houses in other areas, primarily due to this perceived higher demand. An understanding of reasons behind varying levels of buyer demand has always been difficult to fully encapsulate in housing studies, even though clear links have been observed between housing affordability and the type of inhabitant that would live in a particular area. This study confirms that traditional economic indicators can not always observe the degree of purchaser and vendor willingness in the residential property market, as per the International Valuation Standards Committee definition of market value, and substantial consideration must also be given to characteristics of individual buyers and sellers within the marketplace. No longer can the focus be narrowly focussed just on endogenous factors such as interest rates and inflation levels.
Accordingly, this research draws the disciplines of demography and housing research closer together and looks to social indicators for an insight into the level of house prices. To establish this link, a two-stage process is adopted where social area analysis initially identifies the characteristics of suburbs within an urban area. This information is then used to examine variations in suburb values, resulting in a clearer understanding of the relationship between demographic variables and house prices. This research analysed changes in the value of established residential house prices in Melbourne, Australia as well as the relationship with social structure. The added dimension of time highlighted change, with data drawn from 1996 and 2001. The results confirmed the existence of strong linkages between social constructs and established house prices. Whilst acknowledging that the overall level of house values is influenced by external economic and political factors, differences between suburb values can be explained by demographic variables. The results confirm that increased emphasis must be placed upon demography when seeking to understand variations in residential property values between urban areas.

Book review : The making of the European Union : foundations, institutions and future trends

Whilst there are many books on the European Union (EU), this recently published book by four scholars is a comprehensive and important addition to the research on Europe. As the title of the book suggests, the EU is impacted by historical events and is shaped by future trends. The authors of this book include eight chapters on the EU that range from an analysis of the EU's development from a free trading area to having a common currency to how the EU is changing in terms of diversity and consumer trends. The book contains the most recent figures that are available on the EU and these figures are presented in useful tables to explain developments in the EU. This book stands out from the existing books on the EU by combining a cultural and historical analysis together with current discourse on the EU. The book is easy to read and is very suitable for both scholars, public policy practitioners and general readers who want a holistic book that incorporates a diverse range of topics on the EU.

Leatherback turtles satellite-tagged in European waters

The North Atlantic is considered a stronghold for the critically endangered leatherback sea turtle. However, limited information exists regarding the movements of individuals to and from the seas off Europe’s northwesterly fringe, an area where leatherbacks have been historically sighted for the past 200 yr. Here, we used satellite telemetry to record the movements and behaviour of 2 individuals bycaught in fisheries off the southwest coast of Ireland. The turtle T1 (tagged 1 September 2005; female; tracked 375 d) immediately travelled south via Madeira and the Canaries, before residing in West African waters for 3 mo. In spring, T1 migrated north towards Newfoundland where transmissions ceased. T2 (29 June 2006; male; 233 d) travelled south for a short period before spending 66 d west of the Bay of Biscay, an area previously asserted as a high-use area for leatherbacks. This prolonged high latitude summer residence corresponded with a mesoscale feature evident from satellite imagery, with the implication that this turtle had found a rich feeding site. A marked change in dive behaviour was apparent as the turtle exited this feature and provided useful insights on leatherback diving behaviour. T2 headed south in October 2006, and performed the deepest-ever dive recorded by a reptile (1280 m) southwest of Cape Verde. Unlike T1, T2 swam southwest towards Brazil before approaching the major nesting beaches of French Guiana and Surinam. Importantly, these tracks document the movement of leatherbacks from one of the remotest foraging grounds in the North Atlantic.