5,294 research outputs found
Multiscale analysis of a spatially heterogeneous microscopic traffic model
The microscopic Optimal Velocity (OV) model is posed on an inhomogeneous ring-road, consisting of two spatial regimes which differ by a scaled OV function. Parameters are chosen throughout for which all uniform flows are linearly stable. The large time behaviour of this discrete system is stationary and exhibits three types of macroscopic traffic pattern, each consisting of plateaus joined together by sharp interfaces. At a coarse level, these patterns are determined by simple flow and density balances, which in some cases have non-unique solutions. The theory of characteristics for the classical Lighthill–Whitham PDE model is then applied to explain which pattern the OV model selects. A global analysis of a second-order PDE model is then performed in an attempt to explain some qualitative details of interface structure. Finally, the full microscopic model is analysed at the linear level to explain features which cannot be described by the present macroscopic approache
Predicting missing quality of life data that were later recovered : an empirical comparison of approaches
Peer reviewedPostprin
Confirmatory factor analysis of the Test of Performance Strategies (TOPS) among adolescent athletes
The aim of the present study was to examine the factorial validity of the Test of Performance Strategies (TOPS; Thomas et al., 1999) among adolescent athletes using confirmatory factor analysis. The TOPS was designed to assess eight psychological strategies used in competition (i.e. activation, automaticity, emotional control, goal-setting, imagery, negative thinking, relaxation and self-talk,) and eight used in practice (the same strategies except negative thinking is replaced by attentional control). National-level athletes (n = 584) completed the 64-item TOPS during training camps. Fit indices provided partial support for the overall measurement model for the competition items (robust comparative fit index = 0.92, Tucker-Lewis index = 0.88, root mean square error of approximation = 0.05) but minimal support for the training items (robust comparative fit index = 0.86, Tucker-Lewis index = 0.81, root mean square error of approximation = 0.06). For the competition items, the automaticity, goal-setting, relaxation and self-talk scales showed good fit, whereas the activation, emotional control, imagery and negative thinking scales did not. For the practice items, the attentional control, emotional control, goal-setting, imagery and self-talk scales showed good fit, whereas the activation, automaticity and relaxation scales did not. Overall, it appears that the factorial validity of the TOPS for use with adolescents is questionable at present and further development is required
Functional imaging in living plants-cell biology meets physiology.
The study of plant cell physiology is currently experiencing a profound transformation. Novel techniques allow dynamic in vivo imaging with subcellular resolution, covering a rapidly growing range of plant cell physiology. Several basic biological questions that have been inaccessible by the traditional combination of biochemical, physiological and cell biological approaches now see major progress. Instead of grinding up tissues, destroying their organisation, or describing cell- and tissue structure, without a measure for its function, novel imaging approaches can provide the critical link between localisation, function and dynamics. Thanks to a fast growing collection of available fluorescent protein variants and sensors, along with innovative new microscopy technologies and quantitative analysis tools, a wide range of plant biology can now be studied in vivo, including cell morphology & migration, protein localization, topology & movement, protein-protein interaction, organelle dynamics, as well as ion, ROS & redox dynamics. Within the cell, genetic targeting of fluorescent protein probes to different organelles and subcellular locations has started to reveal the stringently compartmentalized nature of cell physiology and its sophisticated spatiotemporal regulation in response to environmental stimuli. Most importantly, such cellular processes can be monitored in their natural 3D context, even in complex tissues and organs – a condition not easily met in studies on mammalian cells. Recent new insights into plant cell physiology by functional imaging have been largely driven by technological developments, such as the design of novel sensors, innovative microscopy & imaging techniques and the quantitative analysis of complex image data. Rapid further advances are expected which will require close interdisciplinary interaction of plant biologists with chemists, physicists, mathematicians and computer scientists. High-throughput approaches will become increasingly important, to fill genomic data with ‘life’ on the scale of cell physiology. If the vast body of information generated in the -omics era is to generate actual mechanistic understanding of how the live plant cell works, functional imaging has enormous potential to adopt the role of a versatile standard tool across plant biology and crop breeding. We welcome original research papers, methodological papers, reviews and mini reviews, with particular attention to contributions in which novel imaging techniques enhance our understanding of plant cell physiology and permits to answer questions that cannot be easily addressed with other techniques
Actinopolyspora algeriensis sp. nov., a novel halophilic actinomycete isolated from a Saharan soil
A halophilic actinomycete strain designated H19T, was isolated from a Saharan soil in the Bamendil region (Ouargla province, South Algeria) and was characterized taxonomically by using a polyphasic approach. The morphological and chemotaxonomic characteristics of the
strain were consistent with those of members of the genus
Actinopolyspora, and 16S rRNA gene sequence analysis confirmed that strain H19T was a novel species of the genus
Actinopolyspora. DNA–DNA hybridization value between strain H19T and the nearest Actinopolyspora species, A. halophila, was clearly below the 70 % threshold. The genotypic and phenotypic data showed that the organism represents a novel species of the genus Actinopolyspora for which the name Actinopolyspora algeriensis sp. nov. is proposed, with the type strain H19T (= DSM 45476T = CCUG 62415T)
Incremental bounded model checking for embedded software
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain
Recommended from our members
Performance-based building and innovation: Balancing client and industry needs
One reason for the interest in performance-based building is that it is commonly advocated as a powerful way of enhancing innovation performance by articulating building performance outcomes, and by offering relevant procurement actors the discretion to innovate to meet these performance requirements more effectively and/or efficiently. The paper argues that the current approach to performance-based building assumes that relevant actors have the capacity, ability and motivation to innovate from a business perspective. It is proposed that the prevailing conceptualization of PBB is too restrictive and should be broadened explicitly to accommodate the required business logic that must be in place before actors will innovate. The relevant performance-based building and innovation literature is synthesized to support the assertion. The paper concludes with an innovation-focused definition of performance-based building
- …