Deadlock detection of Java Bytecode

This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Effect Of Ethanolic Extract From Elaeophorbia drupifera Leaves On The Gastrointestinal Smooth Muscle Of The Rabbi

The crude extract from E. drupifera leaves was prepared using standard methods. The rabbit intestine was removed and separated into three segments (duodenum, jejunum and ileum). About 3-4cm of each segment was mounted in an organ bath containing Tyrode solution at 37 ± 1oC. The spontaneous and rhythmic contractions were recorded and the effects of the crude extract (2-g/ml) on the tissue responses were investigated. The effect of Ca2+ concentration and temperature of the bathing fluid were also studied. From the results, the extract (2-300g/ml) increased the amplitudes of contractions in a dose-dependent manner. However, regional differences occurred in the responsiveness of the tissue preparations. The ED50 values were found to be 25.12, 44.67 and 15.85 μg/ml for the duodenum, jejunum and ileum respectively. Certain conditions such as calcium availability and increase in bath temperature favoured the action of the extract on the tissue preparations. Drugs like mepyramine or methysergide failed to influence the action of the extract. However, the extract-induced contractions were prevented or blocked by noradrenaline or atropine sulphate. The contractions were however ameliorated by the addition of acetyleholine or neostigmine to the bath solution. From the results, it is likely that the extract causes increased contractions of the tissue preparation via acetylcholine-like agent, which stimulates the muscarinic cholinoceptors. Key words: E. drupifera, extract, leaves, intestinal contractions, increase, cholinergic. Nigerian Journal of Physiological Sciences Vol.19(1&2) 2004: 60-6

Conductance interaction identification by means of Boltzmann distribution and mutual information analysis in conductance-based neuron models

Conductance interaction identification by means of Boltzmann distribution and mutual information analysis in conductance-based neuron models

Group Strategyproof Pareto-Stable Marriage with Indifferences via the Generalized Assignment Game

We study the variant of the stable marriage problem in which the preferences of the agents are allowed to include indifferences. We present a mechanism for producing Pareto-stable matchings in stable marriage markets with indifferences that is group strategyproof for one side of the market. Our key technique involves modeling the stable marriage market as a generalized assignment game. We also show that our mechanism can be implemented efficiently. These results can be extended to the college admissions problem with indifferences

Policy-based management for body-sensor networks

Accepted versio

RELATIONSHIP BETWEEN FORCES EXERTED ON THE BALL BY THE FINGERS AND BACKSPIN OF THE BALL DURING BASEBALL PITCHING

The purpose of this study was to investigate how the fingers generate the force to rotate the ball, with high-speed 3D videography. Velocities of the ball and finger joints, angles of finger joints, backspin rate, and forces exerted on the ball were calculated for fourteen varsity baseball players. Subjects were divided into two groups, i.e. G1 with large backspin rate and G2 with less backspin rate. There were differences in the patterns of joint angles of the proximal and distal interphalangeal joints, the direction of forces and the position of fingers relative to the ball between G1 and G2. A typical subject from G1 developed the FNOR (the force from the finger tip to the center of ball) downward to resist centrifugal force and FTAN (perpendicular to FTAN) forward to accelerate the ball, while a typical subject from G2 exerted these forces in the reversed manner to G1. It seemed that the difference in force application resulted from the difference in the position of the fingertips on the ball

KINEMATICAL ANALYSIS OF 110M HURDLES - FOCUSING ON THE STEP LENGTH

The adaptations to each of the four steps are required for good performance in 110m hurdles (McDonald, 2002). However, the motions related with both running velocity and step length are not studied yet. Thus the purpose of this study was to investigate kinematic characteristics of 110m hurdlers with reference to step length

An exploratory qualitative study of health professional perspectives on clinical outcomes in UK orthotic practice

Background: Despite potential savings to the National Health Service, the collection of data on outcomes of NHS orthotic services is patchy. Indeed, several reports into orthotic services in the UK have reported a lack of data relating to outcomes of care and highlighted the need to routinely measure outcomes to demonstrate efficacy of services. Whilst a previous study provided an overview of the use of outcome measures in orthotic practice and identified some barriers to their use, further questions emerged. Hence, this qualitative study aimed to explore orthotists’ opinions and personal experiences on the influences on outcomes, how appropriate and relevant outcomes can be measured and also how barriers to the use of outcome measures can be overcome. Methods: Following a review of the literature, an initial advisory group informed semi-structured questions. These were used to create dialogue in a focus group of 12 orthotists. Data from the focus group was transcribed verbatim and analysed using thematic analysis, creating themes and subthemes for discussion. Results: The setting of realistic and agreed goals through managing expectations, compromise and patient education/information were seen as factors that could inform and improve outcomes. Barriers to the collection of outcome measures were associated with inadequate technology to manage the data, lack of time to complete them, lack of training in them and difficulties selecting appropriate outcome measures for patients with complex problems managed by different health professionals. The participants discussed ways of addressing these barriers, such as the use of ‘snapshots’ and delegation of data collection. Conclusions: This study has revealed that measuring outcomes is considered to be an important activity. In order to achieve good outcomes, it is important to address patient expectations, discuss and establish joint goals for care at the outset and inform and include patients in the decision-making process. The identified barriers to measuring outcomes can be overcome with the solutions revealed by these participants. Hence, this study has contributed to current knowledge which has relevance for clinical practice and may provide the theoretical basis for future research

Foothill: A Quasiconvex Regularization for Edge Computing of Deep Neural Networks

Deep neural networks (DNNs) have demonstrated success for many supervised learning tasks, ranging from voice recognition, object detection, to image classification. However, their increasing complexity might yield poor generalization error that make them hard to be deployed on edge devices. Quantization is an effective approach to compress DNNs in order to meet these constraints. Using a quasiconvex base function in order to construct a binary quantizer helps training binary neural networks (BNNs) and adding noise to the input data or using a concrete regularization function helps to improve generalization error. Here we introduce foothill function, an infinitely differentiable quasiconvex function. This regularizer is flexible enough to deform towards $L_1$ and $L_2$ penalties. Foothill can be used as a binary quantizer, as a regularizer, or as a loss. In particular, we show this regularizer reduces the accuracy gap between BNNs and their full-precision counterpart for image classification on ImageNet.Comment: Accepted in 16th International Conference of Image Analysis and Recognition (ICIAR 2019