The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

Survival of rat functional dental pulp cells in vascularized tissue engineering chambers

Regenerative endodontics aims to preserve, repair or regenerate the dental pulp tissue. Dental pulp stem cells, have a potential use in dental tissue generation. However, specific requirements to drive the dental tissue generation are still obscured. We established an in vivo model for studying the survival of dental pulp cells (DPC) and their potential to generate dental pulp tissue. DPC were mixed with collagen scaffold with or without slow release bone morphogenic protein 4 (BMP-4) and fibroblast growth factor 2 (FGF2). The cell suspension was transplanted into a vascularized tissue engineering chamber in the rat groin. Tissue constructs were harvested after 2, 4, 6, and 8 weeks and processed for histomorphological and immunohistochemical analysis. After 2 weeks newly formed tissue with new blood vessel formation were observed inside the chamber. DPC were found around dentin, particularly around the vascular pedicle and also close to the gelatin microspheres. Cell survival, was confirmed up to 8 weeks after transplantation. Dentin Sialophosphoprotein (DSPP) positive matrix production was detected in the chamber, indicating functionality of dental pulp progenitor cells. This study demonstrates the potential of our tissue engineering model to study rat dental pulp cells and their behavior in dental pulp regeneration, for future development of an alternative treatment using these techniques.

Correlates of objectively measured physical activity in preadolescent youth

Objective The purpose of this study was to identify the psychosocial and environmental correlates of objectively measured physical activity behavior in a diverse sample of sixth-grade students. Design Cross-sectional. Participants and Setting One hundred ninety-eight sixth-grade students from 4 public middle schools in Columbia, South Carolina. The study group was 52.0% female, 55.1% African-American, with a mean age of 11.4 +/- 0.6 years. Main Outcome Measures Time spent in moderate physical activity (MPA) and vigorous physical activity (VPA) was assessed using a uniaxial accelerometer (CSA WAM 7164) (Computer Science and Applications Inc., Shalimar, FL). Determinant variables included: age, gender, race/ethnicity (demographic); physical activity self-efficacy, social norms related to physical activity, and beliefs regarding physical activity outcomes (psychosocial); and perceived physical activity habits of parents and peers, involvement in community physical activity organizations, involvement in community-based sports programs, access to fitness/sporting equipment at home, and self-reported hours spent watching television or playing video games (environmental). Results For boys, physical activity self-efficacy, social norms related to physical activity, and involvement in community physical activity organizations were salient predictors of MPA and VPA. Among girls, only physical activity self-efficacy emerged as a clear predictor of objectively measured physical activity. Conclusions These findings are consistent with previous studies using self-reported physical activity and suggest that interventions to increase physical. activity in preadolescent youth should endeavor to boost physical activity self-efficacy by offering a wide selection of enjoyable, developmentally-appropriate physical activity options.

Validity of the previous day physical activity recall (PDPAR) in fifth-grade children

This study evaluated the validity of the Previous Day Physical Activity Recall (PDPAR) self-report instrument in quantifying after-school physical activity behavior in fifth-grade children. Thirty-eight fifth-grade students (mean age, 10.8 +/- 0.1; 52.6% female; 26.3% African American) from two urban elementary schools completed the PDPAR after wearing a CSA WAM 7164 accelerometer for a day. The mean within-subject correlation between self-reported MET level and total counts for each 30-min block was 0.57 (95% C.I., 0.51-0.62). Self-reported mean MET level during the after-school period and the number of 30-min blocks with activity rated at greater than or equal to 6 METs were significantly correlated with the CSA outcome variables. Validity coefficients for these variables ranged from 0.35 to 0.43 (p <.05). Correlations between the number of 30-min blocks with activity rated at greater than or equal to 3 METs and the CSA variables were positive but failed to reach statistical significance (r = 0.19-0.23). The PDPAR provides moderately valid estimates of relative participation in vigorous activity and mean MET level in fifth-grade children. Caution should be exercised when using the PDPAR to quantify moderate physical activity in preadolescent children.

Security properties analysis in a TPM-based protocol

Security protocols are designed in order to provide security properties (goals). They achieve their goals using cryptographic primitives such as key agreement or hash functions. Security analysis tools are used in order to verify whether a security protocol achieves its goals or not. The analysed property by specific purpose tools are predefined properties such as secrecy (confidentiality), authentication or non-repudiation. There are security goals that are defined by the user in systems with security requirements. Analysis of these properties is possible with general purpose analysis tools such as coloured petri nets (CPN). This research analyses two security properties that are defined in a protocol that is based on trusted platform module (TPM). The analysed protocol is proposed by Delaune to use TPM capabilities and secrets in order to open only one secret from two submitted secrets to a recipient

Psychosocial correlates of physical activity in white and African-American girls

Purpose To evaluate the relative utility of the Theory of Reasoned Action (TRA) and the Theory of Planned Behavior (TPB) in explaining intentions and physical activity behavior in white and African-American eighth-grade girls. Methods One-thousand-thirty white and 1114 African-American eighth-grade girls (mean age 13.6 ± 0.7 years) from 31 middle schools in South Carolina completed a 3-day physical activity recall and a questionnaire assessing attitudes, subjective norms, perceived behavioral control, self-efficacy, and intentions related to regular participation in moderate-to-vigorous physical activity (MVPA). Results Among Whites, 17% of the variance in intentions was contributed by subjective norms and attitude, with intentions accounting for 8% of the variance in MVPA. The addition of perceived behavioral control and self-efficacy to the TRA significantly improved the prediction of intentions and MVPA accounting for 40% and 10% of the variance, respectively. Among African-Americans, subjective norms and attitude accounted for 13% of the variance in intentions, with intentions accounting for only 3% of the variance in MVPA. The addition of perceived behavioral control and self-efficacy to the TRA significantly improved the prediction of intentions and MVPA accounting for 28% and 5% of the variance, respectively. Conclusions The results provided limited empirical support for the TPB among white adolescent girls; however, our findings suggest that the planned behavior framework has limited utility among African-American adolescent girls. The relatively weak link between intentions and MVPA observed in both population groups suggest that constructs external to the TPB may be more important mediators of physical activity behavior in adolescent girls.

Determination of strain-rate-dependent mechanical behavior of living and fixed osteocytes and chondrocytes using atomic force microscopy and inverse finite element analysis

The aim of this paper is to determine the strain-rate-dependent mechanical behavior of living and fixed osteocytes and chondrocytes, in vitro. Firstly, Atomic Force Microscopy (AFM) was used to obtain the force-indentation curves of these single cells at four different strain-rates. These results were then employed in inverse finite element analysis (FEA) using Modified Standard neo-Hookean Solid (MSnHS) idealization of these cells to determine their mechanical properties. In addition, a FEA model with a newly developed spring element was employed to accurately simulate AFM evaluation in this study. We report that both cytoskeleton (CSK) and intracellular fluid govern the strain-rate-dependent mechanical property of living cells whereas intracellular fluid plays a predominant role on fixed cells’ behavior. In addition, through the comparisons, it can be concluded that osteocytes are stiffer than chondrocytes at all strain-rates tested indicating that the cells could be the biomarker of their tissue origin. Finally, we report that MSnHS is able to capture the strain-rate-dependent mechanical behavior of osteocyte and chondrocyte for both living and fixed cells. Therefore, we concluded that the MSnHS is a good model for exploration of mechanical deformation responses of single osteocytes and chondrocytes. This study could open a new avenue for analysis of mechanical behavior of osteocytes and chondrocytes as well as other similar types of cells.

Pedestrian dynamics in real and simulated world

The paper examines the knowledge of pedestrian movements, both in real scenarios, and from more recent years, in the virtual 4 simulation realm. Aiming to verify whether it is possible to learn from the study of virtual environments how people will behave in real 5 environments, it is vital to understand what is already known about behavior in real environments. Besides the walking interaction among 6 pedestrians, the interaction between pedestrians and the built environment in which they are walking also have greatest relevance. Force-based 7 models were compared with the other three major microscopic models of pedestrian simulation to demonstrate a more realistic and capable 8 heuristic approach is needed for the study of the dynamics of pedestrians.

Exploring the usefulness of structural–functional approaches to analyse governance of planning systems

Existing planning theories tend to be limited in their analytical scope and often fail to account for the impact of many interactions between the multitudes of stakeholders involved in strategic planning processes. Although many theorists rejected structural–functional approaches from the 1970s, this article argues that many of structural–functional concepts remain relevant and useful to planning practitioners. In fact, structural–functional approaches are highly useful and practical when used as a foundation for systemic analysis of real-world, multi-layered, complex planning systems to support evidence-based governance reform. Such approaches provide a logical and systematic approach to the analysis of the wider governance of strategic planning systems that is grounded in systems theory and complementary to existing theories of complexity and planning. While we do not propose its use as a grand theory of planning, this article discusses how structural–functional concepts and approaches might be applied to underpin a practical analysis of the complex decision-making arrangements that drive planning practice, and to provide the evidence needed to target reform of poorly performing arrangements.

Incorporating human-factors in car-following models : a review of recent developments and research needs

Over the past decades there has been a considerable development in the modeling of car-following (CF) behavior as a result of research undertaken by both traffic engineers and traffic psychologists. While traffic engineers seek to understand the behavior of a traffic stream, traffic psychologists seek to describe the human abilities and errors involved in the driving process. This paper provides a comprehensive review of these two research streams. It is necessary to consider human-factors in {CF} modeling for a more realistic representation of {CF} behavior in complex driving situations (for example, in traffic breakdowns, crash-prone situations, and adverse weather conditions) to improve traffic safety and to better understand widely-reported puzzling traffic flow phenomena, such as capacity drop, stop-and-go oscillations, and traffic hysteresis. While there are some excellent reviews of {CF} models available in the literature, none of these specifically focuses on the human factors in these models. This paper addresses this gap by reviewing the available literature with a specific focus on the latest advances in car-following models from both the engineering and human behavior points of view. In so doing, it analyses the benefits and limitations of various models and highlights future research needs in the area.

Seed germination may explain differences in invasiveness and prevalence : a case study using cat's claw creeper (Dolichandra unguis-cati)

High germination rates and rapid germination behavior in response to different environmental cues are traits that may be associated with invasiveness. Cat’s claw creeper (Dolichandra unguis-cati (L.) Lohmann (syn. Macfadyena unguis-cati (L.) Gentry), a Weed of National Significance has two forms, a long-pod (LP) form and a short-pod (SP) from. The LP form occurs in only a few localities in southeast Queensland while the SP form is widely distributed in Queensland and New South Wales. The aims of this investigation were: to evaluate whether there are significant differences in germination traits between the two forms of cat’s claw creeper; and if there are any significant differences, to find out whether the differences in germination can be related to prevalence and invasiveness levels for the two forms. Long pod and short pod seeds collected in 2009, 2010, 2011, 2012 and 2013 from various localities in Qld were germinated in growth chambers in early 2013. The growth chambers were set to 10/20 ºC, 15/25 ºC and 20/30 ºC temperature cycles. Seeds from 2009-2012 of either form did not germinate, while for the fresh seeds (2013), SP exhibited significantly higher total germination percentage and rates than LP. Assuming that the two forms were introduced in Australia at around the same period, these results could explain why SP is widely distributed (and therefore more invasive) in Qld and NSW while LP is only confined to a few localities in southeast Qld.

Density of trap states in a polymer field-effect transistor

We report a more accurate method to determine the density of trap states in a polymer field-effect transistor. In the approach, we describe in this letter, we take into consideration the sub-threshold behavior in the calculation of the density of trap states. This is very important since the sub-threshold regime of operation extends to fairly large gate voltages in these disordered semiconductor based transistors. We employ the sub-threshold drift-limited mobility model (for sub-threshold response) and the conventional linear mobility model for above threshold response. The combined use of these two models allows us to extract the density of states from charge transport data much more accurately. We demonstrate our approach by analyzing data from diketopyrrolopyrrole based co-polymer transistors with high mobility. This approach will also work well for other disordered semiconductors in which sub-threshold conduction is important.

Expertise in the illustrative context of BPM

As Business Process Management (BPM) is evolving and organisations are becoming more process oriented, the need for Expertise in BPM amongst practitioners has increased. Proactively managing Expertise in BPM is essential to unlock the potential of BPM as a management paradigm and competitive advantage. Whilst great attention is being paid by the BPM community to the technological aspects of BPM, relatively little research or work has been done concerning the expertise aspect of BPM. There is a substantial body of knowledge on expertise itself, however there is no common framework in existence at the time of writing, describing the fundamental attributes characterising Expertise in the illustrative context of BPM. There are direct implications of the understanding and characterisation of Expertise in the context of BPM as a key strategic component and success factor of BPM itself, as well as for those involved in BPM. Expertise in the context of BPM needs to be characterised to understand it, and be able to proactively manage it. Given the relative infancy of research into Expertise in the context of BPM, an exploration of the relevance and importance of Expertise in the context of BPM was considered essential, to ensure the study itself was of value to the BPM field. The aims of this research are firstly to address the two research questions 'why is expertise important and relevant in the context of BPM?', and 'how can Expertise in the context of BPM be characterised?', and secondly, the development of a comprehensive and validated A-priori model characterising Expertise in the illustrative context of BPM. The study is theory-guided. It has been undertaken via an extensive literature review across relevant literature domains, and a revelatory case study utilising several methods: informal discussions, an open-ended survey, and participant observation. An a-priori model was then developed which comprised of several Constructs and Sub-constructs, and several overall aspects of Expertise in BPM. This was followed by the conduct of interviews in the validation phase of the revelatory case study. The primary contributions of this study are to the fields of expertise, BPM and research. Contributions to the field of expertise include a comprehensive review of expertise literature in general and synthesised critique on expertise research, characterisation of expertise in an illustrative context as a system, and a comprehensive narrative of the dynamics and interrelationships of the core attributes characterising expertise. Contributions to the field of BPM include firstly, the establishment of the importance of understanding Expertise in the context of BPM, including a comprehensive overview of the role the relevance and importance of Expertise in the context of BPM, through explanation of the effect of Expertise in BPM. Secondly, a model characterising Expertise in the context of BPM, which can be used by BPM practitioners to clearly articulate and illuminate the state of Expertise in BPM in organisations. Contributions to the field of research include an extended view of Systems Theory developed, reflecting the importance of the system context in systems thinking, and a narrative on ontological innovation through the positioning of ontology as a meta-model of Expertise in the context of BPM.

Prevalence of bullying and its relationship with trauma symptoms in young Iranian students

Objective Bullying and peer victimization in school are serious concerns for students, parents, psychologists, and school officials around the world. This descriptive study examined bullying/victimization among Iranian students and the relationship between bullying and trauma symptoms. Methods This study was a cross-sectional research and descriptive correlative study. Descriptive statistics and Pearson correlation were used to analyze the data. The Revised Olweus Bully/Victim Questionnaire and Trauma symptoms checklist for children (TSCC-A) were administered to 591(325males and 266 females) students aged 10 to 14 year. Results The results revealed that 38.4 % of students reported bullying behavior. In addition, victims had the highest level of depression, anxiety, and anger compared to uninvolved students. Bullies were not related to trauma symptoms. Conclusion Conclusions include detailed recommendations for further empirical studies.

Physical activity in Latino men and women: Facilitators, barriers, and interventions

Latinos report less leisure time physical activity (PA) than non–Latino Whites and suffer disproportionately from diseases related to sedentary lifestyle, yet remain underserved and understudied. Gaining a better understanding of PA behavior in Latinos is critical to intervene on this significant public health issue. This article discusses the growing literature on the facilitators and barriers of PA in Latino men and women and reviews recent interventions to promote activity. Apart from acculturation influences, facilitators of PA in Latinos are similar to those of non–Latino Whites, with most research focusing on self-efficacy and social support. Barriers for Latinas, however, are more culturally distinct, such as a focus on caregiving and cultural standards for body shape. Barriers unique to Latino men largely have not been studied. Researchers have adopted a variety of approaches to increase PA, including using promotores and incorporating culturally appropriate activities, and have had mixed success. However, the community and randomized controlled trials almost exclusively included only women. Studies reviewed here suggest that interventions should target culturally specific barriers beyond language to successfully increase PA in Latinos and highlight a need for formative research and design of interventions for Latino men.