1,591 research outputs found
Evaluation of two interaction techniques for visualization of dynamic graphs
Several techniques for visualization of dynamic graphs are based on different
spatial arrangements of a temporal sequence of node-link diagrams. Many studies
in the literature have investigated the importance of maintaining the user's
mental map across this temporal sequence, but usually each layout is considered
as a static graph drawing and the effect of user interaction is disregarded. We
conducted a task-based controlled experiment to assess the effectiveness of two
basic interaction techniques: the adjustment of the layout stability and the
highlighting of adjacent nodes and edges. We found that generally both
interaction techniques increase accuracy, sometimes at the cost of longer
completion times, and that the highlighting outclasses the stability adjustment
for many tasks except the most complex ones.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
A coalgebraic view of bar recursion and bar induction
We reformulate the bar recursion and induction principles in terms of recursive and wellfounded coalgebras. Bar induction was originally proposed by Brouwer as an axiom to recover certain classically valid theorems in a constructive setting. It is a form of induction on non- wellfounded trees satisfying certain properties. Bar recursion, introduced later by Spector, is the corresponding function defnition principle.
We give a generalization of these principles, by introducing the notion of barred coalgebra: a process with a branching behaviour given by a functor, such that all possible computations terminate.
Coalgebraic bar recursion is the statement that every barred coalgebra is recursive; a recursive coalgebra is one that allows defnition of functions by a coalgebra-to-algebra morphism. It is a framework to characterize valid forms of recursion for terminating functional programs. One application of the principle is the tabulation of continuous functions: Ghani, Hancock and Pattinson defned a type of wellfounded trees that represent continuous functions on streams. Bar recursion allows us to prove that every stably continuous function can be tabulated to such a tree where by stability we mean that the modulus of continuity is also continuous.
Coalgebraic bar induction states that every barred coalgebra is well-founded; a wellfounded coalgebra is one that admits proof by induction
On the practical utility of a continuum traffic flow model on curvy highways in adverse weather conditions
The macroscopic continuum traffic flow models are being investigated to predict and ameliorate traffic more efficiently. These models are beneficial implementation tools to comprehend and complement the shortfalls in traffic evolution. Despite the significant enhancements in devising the traffic dynamics, the practical utilization of these macroscopic models is not being fully explored. In this study, the Non-Homogeneous Stimulus-Response Model (NHSRM) (Imran et al., 2023) is investigated for its application in forecasting traffic flow on a curvy highway during various weather conditions. The weather impact, in the specific, dry, light rainfall, moderate rainfall, and heavy rainfall on the travel time, velocity, and density spatiotemporal evolution on a curvy highway is analyzed. The flow during different weather conditions is investigated over two curved roads with 120 m, and 500 m radii. As evident from the results, significant velocity breakdowns during heavy rainfall impact the upstream traffic which contributes to congestion development. The average velocity of traffic depletes significantly, and the congestion formation upstream is significant. While the travel time of particular highway segments elevates sharply during heavy rainfall. A comprehensive understanding of the insights, and the critically associated with the parameters of the model, in particular, on the choice of the maximum velocity of the highway has been presented for NHSRM
Increasing Performance through Assessed Training (A Human Recourse Management Strategy)
This research finds out the way of increasing employee’s performance through training. There are many organizations which give their workers training but do not get any enhancement in their performance. Performances of a worker are directly correlated with his/her capabilities and know how to do the job. This study develops a strategy for improving the capabilities of workers which leads to increase their performance. The research proposes that just after an organization want to increase the performance of its workers, it must find out the area where they have weaknesses. After finding out the weaknesses, organizations have to assess how that weakness should be made solved. In the third stage they have to give specific training their weaknesses. This will enhance the capabilities of workers and their performance will be increased. Keywords: Weakness, Weakness needs Assessments, Training and Performanc
The Performance of RANS Models for Prediction of Flows in Meandering Channels
This research work presents the prediction capability of Reynolds Averaged Navior-Stoke,s equationsbased k- & k- turbulence models. Two solvers (SSIIM and FLUENT) were used in this research work. Theperformance of the two turbulence models was gauged for one flow case. Mesh dependency check was also done.Once it was proved that both the models produce approximately same results, the k- model was then tested for itssuitability for studying various flow aspects of meandering channels. Two different meandering channel geometrieswith the same sinuosity (centre line planform geometry), main channel meander width/floodplain width ratio andsame main channel aspect ratio were used. However main channel width varied in two cases. Both bankfull andoverbank flows were considered. The bend radius to main channel width ratio (r/bc) of the wider main channel was1.0 whereas it was 1.8 for narrow channel. The model predicted the depth averaged velocities (DAV), water surfaceprofiles, velocity vectors in planforms at different levels with good accuracy. It captured all the salient features ofthe flow for inbank, low overbank and high overbank flows. From this study it can be concluded that k- modelcan be used with confidence in these types of meandering channels
Improved salinity tolerance in early growth stage of maize through salicylic acid foliar application
Soil salinity threatens agricultural production worldwide by constraining plant growth and final crop yield. The early stages are most sensitive to salinity, in response to which salicylic acid (SA) has demonstrated beneficial effects in various plant species. Based on this, a maize (Zea mays L.) pot experiment was set up combining three levels of soil salinity (0, 6 and 12 dS m–1), obtained through NaCl addition, with three levels of SA (0, 300 and 600 mM), applied by leaf spraying 20 days after seedling emergence. Fifteen days later, the following traits were assessed: morphology (plant height, leaf number), growth (root and shoot dry weight), leaf water status [relative water content (RWC), elec-trolyte leakage (EL)], pigments (chlorophyll a and b, carotenoids, anthocyanin), antioxidant enzymes (peroxidase, catalase, ascor-bate peroxidase, vitamin C), oxidative stress markers (H2O2, mal-ondialdehyde), osmo-regulating compounds (free amino acids, soluble proteins and sugars, proline), hormones [indole-3-acetic acid, gibberellic acid (GA), abscisic acid (ABA), ethylene], ele-ment (Na, K, Ca, Mg and Cl) concentration and content in roots, stem and leaves. Salinity severely affected maize growth (–26% total dry weight), impaired leaf water status (–31% RWC), reduced photosynthetic pigments, enhanced all antioxidant enzymes and oxidative stress markers, two osmo-regulating compounds (soluble sugars and proline) out of four, and all hormones except GA. SA was shown effective in containing most of the stress effects, while supporting plant defences by upgrading anti-oxidant activities (reduced oxidative stress markers), increasing cell membrane stability (–24% EL) and leaf water status (+20% RWC), and reducing plant stress signalling (–10% ABA and –20% ethylene). Above all, SA contrasted the massive entry of noxious ions (Na+ and Cl–), in favour of K+, Ca2+ and Mg2+ accumulation. Lastly, salicylic acid was shown beneficial for maize growth and physiology also under non-saline condition, suggesting a potential use in normal field conditions
Tit for tat: Abusive supervision and knowledge hiding - The role of psychological contract breach and psychological ownership
The extant literature has focused on individuals' knowledge-sharing behavior and its driving factors, which stimulate the knowledge transmission and exchange in organizations. However, little research has focused on factors that inhibit knowledge sharing and encourage individuals to hide their knowledge. Therefore, based on social exchange and displaced aggression theories, the study proposed and checked a model that examined the effect of abusive supervision on knowledge hiding (KH) via a psychological contract breach (PCB). The Psychological ownership was regarded as a boundary condition on abusive supervision and KH relationship. Using a time-lagged method, we recruited 344 full-time employees enrolled in an executive development program in a large university in China. The findings show that PCB mediates the association between abusive supervision and KH. Similarly, psychological ownership moderates the association between abusive supervision and KH. Employees with high psychological ownership minimized the effect of abusive supervision on KH. Based on study findings, contributions to theory and practice, limitations, and future directions are discussed
International longitudinal registry of patients with atrial fibrillation and treated with rivaroxaban: RIVaroxaban Evaluation in Real life setting (RIVER)
Background
Real-world data on non-vitamin K oral anticoagulants (NOACs) are essential in determining whether evidence from randomised controlled clinical trials translate into meaningful clinical benefits for patients in everyday practice. RIVER (RIVaroxaban Evaluation in Real life setting) is an ongoing international, prospective registry of patients with newly diagnosed non-valvular atrial fibrillation (NVAF) and at least one investigator-determined risk factor for stroke who received rivaroxaban as an initial treatment for the prevention of thromboembolic stroke. The aim of this paper is to describe the design of the RIVER registry and baseline characteristics of patients with newly diagnosed NVAF who received rivaroxaban as an initial treatment.
Methods and results
Between January 2014 and June 2017, RIVER investigators recruited 5072 patients at 309 centres in 17 countries. The aim was to enroll consecutive patients at sites where rivaroxaban was already routinely prescribed for stroke prevention. Each patient is being followed up prospectively for a minimum of 2-years. The registry will capture data on the rate and nature of all thromboembolic events (stroke / systemic embolism), bleeding complications, all-cause mortality and other major cardiovascular events as they occur. Data quality is assured through a combination of remote electronic monitoring and onsite monitoring (including source data verification in 10% of cases). Patients were mostly enrolled by cardiologists (n = 3776, 74.6%), by internal medicine specialists 14.2% (n = 718) and by primary care/general practice physicians 8.2% (n = 417). The mean (SD) age of the population was 69.5 (11.0) years, 44.3% were women. Mean (SD) CHADS2 score was 1.9 (1.2) and CHA2DS2-VASc scores was 3.2 (1.6). Almost all patients (98.5%) were prescribed with once daily dose of rivaroxaban, most commonly 20 mg (76.5%) and 15 mg (20.0%) as their initial treatment; 17.9% of patients received concomitant antiplatelet therapy. Most patients enrolled in RIVER met the recommended threshold for AC therapy (86.6% for 2012 ESC Guidelines, and 79.8% of patients according to 2016 ESC Guidelines).
Conclusions
The RIVER prospective registry will expand our knowledge of how rivaroxaban is prescribed in everyday practice and whether evidence from clinical trials can be translated to the broader cross-section of patients in the real world
- …
