615 resultados para Multi-prover interactive proofs


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Distributed Network Protocol v3.0 (DNP3) is one of the most widely used protocols, to control national infrastructure. Widely used interactive packet manipulation tools, such as Scapy, have not yet been augmented to parse and create DNP3 frames (Biondi 2014). In this paper we extend Scapy to include DNP3, thus allowing us to perform attacks on DNP3 in real-time. Our contribution builds on East et al. (2009), who proposed a range of possible attacks on DNP3. We implement several of these attacks to validate our DNP3 extension to Scapy, then executed the attacks on real world equipment. We present our results, showing that many of these theoretical attacks would be unsuccessful in an Ethernet-based network.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The degradation efficiencies and behaviors of caffeic acid (CaA), p-coumaric acid (pCoA) and ferulic acid (FeA) in aqueous sucrose solutions containing the mixture of these hydroxycinnamic acids (HCAs) mixtures were studied by the Fenton oxidation process. Central composite design and multi-response surface methodology were used to evaluate and optimize the interactive effects of process parameters. Four quadratic polynomial models were developed for the degradation of each individual acid in the mixture and the total HCAs degraded. Sucrose was the most influential parameter that significantly affected the total amount of HCA degraded. Under the conditions studied there was < 0.01% loss of sucrose in all reactions. The optimal values of the process parameters for a 200 mg/L HCA mixture in water (pH 4.73, 25.15 °C) and sucrose solution (13 mass%, pH 5.39, 35.98 °C) were 77% and 57% respectively. Regression analysis showed goodness of fit between the experimental results and the predicted values. The degradation behavior of CaA differed from those of pCoA and FeA, where further CaA degradation is observed at increasing sucrose and decreasing solution pH. The differences (established using UV/Vis and ATR-FTIR spectroscopy) were because, unlike the other acids, CaA formed a complex with Fe(III) or with Fe(III) hydrogen-bonded to sucrose, and coprecipitated with lepidocrocite, an iron oxyhydroxide.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the health care industry, Job Satisfaction (JS) is linked with work performance, psychological well-being and employee turnover. Although research into JS among health professionals has a long history worldwide, there has been very little analysis in Vietnam. No study has addressed JS of preventive medicine workers in Vietnam, and there is no reliable and valid instrument in Vietnamese language and context for evaluation of JS in this group. This project was conducted to fill these gaps. The findings contribute evidence regarding factors that influence JS in this sector of the health industry that should be applied to personnel management policies and practices in Vietnam.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The study examined the health-related behaviours of Saudi people following a recent cardiac event and identified the factors that influence these behaviours using McLeroy et al.'s (1988) Ecological Model of Health Behaviours as a guiding framework. The study was one of the first in Saudi Arabia to examine the health-related behaviours of Saudi people following a recent cardiac event. The study findings emphasise the importance of a program that integrates secondary prevention practices, educational approaches and targeted supportive services in cardiac care in Saudi Arabia.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Through a consideration of audience experience of embodiment in contemporary dance performance, this project used kinesthetic empathy as a theoretical construct to inform choreographic decision-making. The research outcome challenged the traditional performer/audience relationship through an interactive dance performance work entitled Planets. This acted as a platform that allowed both audience and performer to collaboratively listen to, process and form movement in a shared kinesthetic state. This connection was enabled through the distribution of interactive art objects, which responded to the shifting proximity between performer and audience. The performance was thus experienced through following a shared goal as instigated by the interactive technology. Through practice-led research, knowledge from kinesthetic empathy, embodied cognition and the mirror neuron system were used to develop the project’s aim in encouraging interactive audiences to engage in movement. This aim influenced studio explorations of movement through an enquiry into the kinesthetic self in dance. Investigations used movement quality, tension, mobility and acceleration to access a familiar movement vocabulary appropriate for a broad interactive audience. This informed the role of the researcher as performer. Planets was developed as a collaborative project between Michael Smith and interactive visual designer Andy Bates and performed over three nights at the Ars Electronica Festival 2014 in Linz, Austria. Supported by documented footage from Planets and audience responses to the performances, this paper draws together the theoretical underpinnings behind the development of the work and includes the experiential perspective of the performer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Railway capacity determination and expansion are very important topics. In prior research, the competition between different entities such as train services and train types, on different network corridors however have been ignored, poorly modelled, or else assumed to be static. In response, a comprehensive set of multi-objective models have been formulated in this article to perform a trade-off analysis. These models determine the total absolute capacity of railway networks as the most equitable solution according to a clearly defined set of competing objectives. The models also perform a sensitivity analysis of capacity with respect to those competing objectives. The models have been extensively tested on a case study and their significant worth is shown. The models were solved using a variety of techniques however an adaptive E constraint method was shown to be most superior. In order to identify only the best solution, a Simulated Annealing meta-heuristic was implemented and tested. However a linearization technique based upon separable programming was also developed and shown to be superior in terms of solution quality but far less in terms of computational time.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we propose a novel approach to multi-action recognition that performs joint segmentation and classification. This approach models each action using a Gaussian mixture using robust low-dimensional action features. Segmentation is achieved by performing classification on overlapping temporal windows, which are then merged to produce the final result. This approach is considerably less complicated than previous methods which use dynamic programming or computationally expensive hidden Markov models (HMMs). Initial experiments on a stitched version of the KTH dataset show that the proposed approach achieves an accuracy of 78.3%, outperforming a recent HMM-based approach which obtained 71.2%.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The maximum principle for the space and time–space fractional partial differential equations is still an open problem. In this paper, we consider a multi-term time–space Riesz–Caputo fractional differential equations over an open bounded domain. A maximum principle for the equation is proved. The uniqueness and continuous dependence of the solution are derived. Using a fractional predictor–corrector method combining the L1 and L2 discrete schemes, we present a numerical method for the specified equation. Two examples are given to illustrate the obtained results.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cite as: Perrin, Dimitri (2008) Multi-layered model of individual HIV infection progression and mechanisms of phenotypical expression. PhD thesis, Dublin City University.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a feasibility study on structural damage alarming and localization of long-span cable-supported bridges using multi-novelty indices formulated by monitoring-derived modal parameters. The proposed method which requires neither structural model nor damage model is applicable to structures of arbitrary complexity. With the intention to enhance the tolerance to measurement noise/uncertainty and the sensitivity to structural damage, an improved novelty index is formulated in terms of auto-associative neural networks (ANNs) where the output vector is designated to differ from the input vector while the training of the ANNs needs only the measured modal properties of the intact structure under in-service conditions. After validating the enhanced capability of the improved novelty index for structural damage alarming over the commonly configured novelty index, the performance of the improved novelty index for damage occurrence detection of large-scale bridges is examined through numerical simulation studies of the suspension Tsing Ma Bridge (TMB) and the cable-stayed Ting Kau Bridge (TKB) incurred with different types of structural damage. Then the improved novelty index is extended to formulate multi-novelty indices in terms of the measured modal frequencies and incomplete modeshape components for damage region identification. The capability of the formulated multi-novelty indices for damage region identification is also examined through numerical simulations of the TMB and TKB.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tumour microenvironment greatly influences the development and metastasis of cancer progression. The development of three dimensional (3D) culture models which mimic that displayed in vivo can improve cancer biology studies and accelerate novel anticancer drug screening. Inspired by a systems biology approach, we have formed 3D in vitro bioengineered tumour angiogenesis microenvironments within a glycosaminoglycan-based hydrogel culture system. This microenvironment model can routinely recreate breast and prostate tumour vascularisation. The multiple cell types cultured within this model were less sensitive to chemotherapy when compared with two dimensional (2D) cultures, and displayed comparative tumour regression to that displayed in vivo. These features highlight the use of our in vitro culture model as a complementary testing platform in conjunction with animal models, addressing key reduction and replacement goals of the future. We anticipate that this biomimetic model will provide a platform for the in-depth analysis of cancer development and the discovery of novel therapeutic targets.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this study was to examine the main and interactive effects of four dimensions of professional commitment on strain (i.e., depression, anxiety, perceived health status, and job dissatisfaction) for a sample of 176 law professionals. The study utilized a two-wave design in which professional commitment and strain were measured at Time 1 and strain was measured again at Time 2 (T2), 2 months later. A significant two-way interaction indicated that high affective commitment was related to less T2 job dissatisfaction only for lawyers with low accumulated costs. A significant four-way interaction indicated that high affective professional commitment was only related to fewer symptoms of T2 anxiety for lawyers with high normative professional commitment and both low limited alternatives and accumulated costs. A similar pattern of results emerged in regard to T2 perceived health status. The theoretical and practical implications of these results for career counselors are discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Menopausal transition can be challenging for many women. This study tested the effectiveness of an intervention delivered in different modes in decreasing menopausal symptoms in midlife women. The Women's Wellness Program (WWP) intervention was delivered to 225 Australian women aged between 40 and 65 years through three modes (i.e., on-line independent, face-to-face with nurse consultations, and on-line with virtual nurse consultations). All women in the study were provided with a 12-week Program Book outlining healthy lifestyle behaviors while women in the consultation groups were supported by a registered nurse who provide tailored health education and assisted with individual goal setting for exercise, healthy eating, smoking and alcohol consumption. Pre- and post-intervention data were collected on menopausal symptoms (Greene Climacteric Scale), health related quality of life (SF12), and modifiable lifestyle factors. Linear mixed-effect models showed an average 0.87 and 1.23 point reduction in anxiety (p < 0.01) and depression scores (p < 0.01) over time in all groups. Results also demonstrated reduced vasomotor symptoms (β = −0.19, SE = 0.10, p = 0.04) and sexual dysfunction (β = −0.17, SE = 0.06, p < 0.01) in all participants though women in the face-to-face group generally reported greater reductions than women in the other groups. This lifestyle intervention embedded within a wellness framework has the potential to reduce menopausal symptoms and improve quality of life in midlife women thus potentially enhancing health and well-being in women as they age. Of course, study replication is needed to confirm the intervention effects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Organizations executing similar business processes need to understand the differences and similarities in activities performed across work environments. Presently, research interest is directed towards the potential of visualization for the display of process models, to support users in their analysis tasks. Although recent literature in process mining and comparison provide several methods and algorithms to perform process and log comparison, few contributions explore novel visualization approaches. This paper analyses process comparison from a design perspective, providing some practical visualization techniques as anal- ysis solutions (/to support process analysis). The design of the visual comparison has been tackled through three different points of view: the general model, the projected model and the side-by-side comparison in order to support the needs of business analysts. A case study is presented showing the application of process mining and visualization techniques to patient treatment across two Australian hospitals.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This research draws on theories of emergence to inform the creation of an artistic and direct visualization. This is an interactive artwork and drawing tool for creative participant experiences. Emergence is characteristically creative and many different models of emergence exist. It is therefore possible to effect creativity through the application of emergence mechanisms from these different disciplines. A review of theories of emergence and examples of visualization in the arts, is provided. An art project led by the author is then discussed in this context. This project, Iterative Intersections, is a collaboration with community artists from Cerebral Palsy League. It has resulted in a number of creative outcomes including the interactive art application, Of me with me. Analytical discussion of this work shows how its construction draws on aspects of experience design, fractal and emergent theory to effect perceptual emergence and creative experience as well as to facilitate self-efficacy.