Shadow lines in the arithmetic of elliptic curves

Let E/Q be an elliptic curve and p a rational prime of good ordinary reduction. For every imaginary quadratic field K/Q satisfying the Heegner hypothesis for E we have a corresponding line in E(K)\otimes Q_p, known as a shadow line. When E/Q has analytic rank 2 and E/K has analytic rank 3, shadow lines are expected to lie in E(Q)\otimes Qp. If, in addition, p splits in K/Q, then shadow lines can be determined using the anticyclotomic p-adic height pairing. We develop an algorithm to compute anticyclotomic p-adic heights which we then use to provide an algorithm to compute shadow lines. We conclude by illustrating these algorithms in a collection of examples.

Intervenção judicial nas sociedades limitadas em face da liberdade de iniciativa

The judicial intervention in limited liability company goes through several issues of legislative and hermeneutics origin, based considerably on the small importance given to freedom of economic initiative by the participants in the process of formation and application of the law. In addition, Brazilian law, due to incompleteness, inconsistency or lack of valid grounds, put the judge in a procedural delicate situation. Being forced to judge, the judiciary faces severe uncomfortable interpretive situations, of which derive solutions of dubious constitutionality and affecting, significantly, the dynamics of business activity. In this context, and considering the limited liability company as an expression of free enterprise, corresponding to a lawful association of people in order to undertake economically, in exercise of his freedom of contracting and professional action, intended to be offered safe parameters of constitutionality for judicial intervention in limited liability company in the hypothesis of (i) transfer of corporate shares, (ii) attachment of corporate shares, (iii) dismissal of directors, (iv) appointment of judicial stakeholders, (v) exclusion of shareholders and (vi ) trespass. The hypothetical-deductive approach was adopted, building hypotheses to overcome the gaps and unconstitutionality of the law and subjecting them to tests, reviews, and comparisons with hypothetical facts and case law in order to determine the constitutional validity of the proposed solutions. The procedure aimed to reconcile the historical, comparative, dialectical and scientific methods. The roots of temporal institutes were researched as well as current solutions provided by national and compared law. From problematizations point, addressed by the constitutional interpretation of the law and jurisprudence, responses that bring out the unconstitutionality of certain conceptions were headed

An Improved Parameterization Technique for the Continuation Power Flow

Continuation methods have been long used in P-V curve tracing due to their efficiency in the resolution of ill-conditioned cases, with close to singular Jacobian matrices, such as the maximum loading point of power systems. Several parameterization techniques have been proposed to avoid matrix singularity and successfully solve those cases. This paper presents a simple geometric parameterization technique to overcome the singularity of the Jacobian matrix by the addition of a line equations located at the plane determined by a bus voltage magnitude and the loading factor. This technique enlarges the set of voltage variables that can be used to whole P-V curve tracing, without ill-conditioning problems and no need of parameter changes. Simulation results, obtained for large realistic Brazilian and American power systems, show that the robustness and efficiency of the conventional power flow are not only preserved but also improved.

Effect of an intervertebral disk spacer on stiffness after monocortical screw/polymethylmethacrylate fixation in simulated and cadaveric canine cervical vertebral columns.

OBJECTIVE To determine the biomechanical effect of an intervertebral spacer on construct stiffness in a PVC model and cadaveric canine cervical vertebral columns stabilized with monocortical screws/polymethylmethacrylate (PMMA). STUDY DESIGN Biomechanical study. SAMPLE POPULATION PVC pipe; cadaveric canine vertebral columns. METHODS PVC model-PVC pipe was used to create a gap model mimicking vertebral endplate orientation and disk space width of large-breed canine cervical vertebrae; 6 models had a 4-mm gap with no spacer (PVC group 1); 6 had a PVC pipe ring spacer filling the gap (PCV group 2). Animals-large breed cadaveric canine cervical vertebral columns (C2-C7) from skeletally mature dogs without (cadaveric group 1, n = 6, historical data) and with an intervertebral disk spacer (cadaveric group 2, n = 6) were used. All PVC models and cadaver specimens were instrumented with monocortical titanium screws/PMMA. Stiffness of the 2 PVC groups was compared in extension, flexion, and lateral bending using non-destructive 4-point bend testing. Stiffness testing in all 3 directions was performed of the unaltered C4-C5 vertebral motion unit in cadaveric spines and repeated after placement of an intervertebral cortical allograft ring and instrumentation. Data were compared using a linear mixed model approach that also incorporated data from previously tested spines with the same screw/PMMA construct but without disk spacer (cadaveric group 1). RESULTS Addition of a spacer increased construct stiffness in both the PVC model (P < .001) and cadaveric vertebral columns (P < .001) compared to fixation without a spacer. CONCLUSIONS Addition of an intervertebral spacer significantly increased construct stiffness of monocortical screw/PMMA fixation.

Euler characteristics and elliptic curves

Let E be a modular elliptic curve over ℚ, without complex multiplication; let p be a prime number where E has good ordinary reduction; and let F∞ be the field obtained by adjoining to ℚ all p-power division points on E. Write G∞ for the Galois group of F∞ over ℚ. Assume that the complex L-series of E over ℚ does not vanish at s = 1. If p ⩾ 5, we make a precise conjecture about the value of the G∞-Euler characteristic of the Selmer group of E over F∞. If one makes a standard conjecture about the behavior of this Selmer group as a module over the Iwasawa algebra, we are able to prove our conjecture. The crucial local calculations in the proof depend on recent joint work of the first author with R. Greenberg.

A reliable and valid questionnaire was developed to measure computer vision syndrome at the workplace

Objectives: To design and validate a questionnaire to measure visual symptoms related to exposure to computers in the workplace. Study Design and Setting: Our computer vision syndrome questionnaire (CVS-Q) was based on a literature review and validated through discussion with experts and performance of a pretest, pilot test, and retest. Content validity was evaluated by occupational health, optometry, and ophthalmology experts. Rasch analysis was used in the psychometric evaluation of the questionnaire. Criterion validity was determined by calculating the sensitivity and specificity, receiver operator characteristic curve, and cutoff point. Testeretest repeatability was tested using the intraclass correlation coefficient (ICC) and concordance by Cohen’s kappa (k). Results: The CVS-Q was developed with wide consensus among experts and was well accepted by the target group. It assesses the frequency and intensity of 16 symptoms using a single rating scale (symptom severity) that fits the Rasch rating scale model well. The questionnaire has sensitivity and specificity over 70% and achieved good testeretest repeatability both for the scores obtained [ICC 5 0.802; 95% confidence interval (CI): 0.673, 0.884] and CVS classification (k 5 0.612; 95% CI: 0.384, 0.839). Conclusion: The CVS-Q has acceptable psychometric properties, making it a valid and reliable tool to control the visual health of computer workers, and can potentially be used in clinical trials and outcome research.

Handgrip strength cut-off for cardiometabolic risk index among Colombian children and adolescents : the FUPRECOL study

Abstract Objective: Evidence shows an association between muscular strength (MS) and health among youth, however low muscular strength cut-points for the detection of high metabolic risk in Latin-American populations are scarce. The aim of this study was two-fold: to explore potential age- and sex-specific thresholds of MS, for optimal cardiometabolic risk categorization among Colombian children and adolescents; and to investigate if cardiometabolic risk differed by MS group by applying the receiver operating characteristic curve (ROC) cut point. Methods: This is a secondary analysis of a cross-sectional study (the FUPRECOL study), published elsewhere. The FUPRECOL study assessments were conducted during the 2014– 2015 school year. MS was estimated by a handle dynamometer on 1,950 children and adolescents from Colombia, using the MS relative to weight (handgrip strength/body mass). A metabolic risk score was computed from the following components: waist circumference, triglycerides, HDL-c, glucose, systolic and diastolic blood pressure. ROC analysis showed a significant discriminatory accuracy of MS in identifying the low/high metabolic risk in children and adolescents and both gender. Results: In children, handgrip strength/body mass level for a low metabolic risk were 0.359 and 0.376 in girls and boys, respectively. In adolescents, these points were 0.440 and 0.447 in girls and boys, respectively. Conclusion: In conclusion, the results suggest a hypothetical MS level relative to weight for having a low metabolic risk, which could be used to identify youths at risk.

A Taxonomy of image matching techniques for stereo vision

Stereo vision is a method of depth perception, in which depth information is inferred from two (or more) images of a scene, taken from different perspectives. Applications of stereo vision include aerial photogrammetry, autonomous vehicle guidance, robotics, industrial automation and stereomicroscopy. A key issue in stereo vision is that of image matching, or identifying corresponding points in a stereo pair. The difference in the positions of corresponding points in image coordinates is termed the parallax or disparity. When the orientation of the two cameras is known, corresponding points may be projected back to find the location of the original object point in world coordinates. Matching techniques are typically categorised according to the nature of the matching primitives they use and the matching strategy they employ. This report provides a detailed taxonomy of image matching techniques, including area based, transform based, feature based, phase based, hybrid, relaxation based, dynamic programming and object space methods. A number of area based matching metrics as well as the rank and census transforms were implemented, in order to investigate their suitability for a real-time stereo sensor for mining automation applications. The requirements of this sensor were speed, robustness, and the ability to produce a dense depth map. The Sum of Absolute Differences matching metric was the least computationally expensive; however, this metric was the most sensitive to radiometric distortion. Metrics such as the Zero Mean Sum of Absolute Differences and Normalised Cross Correlation were the most robust to this type of distortion but introduced additional computational complexity. The rank and census transforms were found to be robust to radiometric distortion, in addition to having low computational complexity. They are therefore prime candidates for a matching algorithm for a stereo sensor for real-time mining applications. A number of issues came to light during this investigation which may merit further work. These include devising a means to evaluate and compare disparity results of different matching algorithms, and finding a method of assigning a level of confidence to a match. Another issue of interest is the possibility of statistically combining the results of different matching algorithms, in order to improve robustness.

Cross-Border Insolvency Law

This new work provides a comprehensive and theoretically rich discussion of the law on cross-border insolvency. It engages with several current multi-billion dollar insolvencies such as those of Nortel Networks and Lehman Brothers to provide the reader with state of the art knowledge of the complex problems posed by transnational insolvency. As the number of transnational insolvencies grows due to prevailing economic conditions, practitioners are increasingly required to navigate the mass of legal rules applicable to cross-border insolvency situations. The associated challenges are heightened by the diversity of legal structures employed by modern business entities and a patchwork of costly, inefficient, and unpredictable national legal rules. The response has been a proliferation of international legal instruments such as the UNCITRAL Model Law and the the EU Insolvency Regulation, supplemented by judicial practice, adding further layers of complexity. Writing from an Australian perspective, the authors analyse this network of legal rules and subsequent case law. In addition, they explain the theoretical underpinnings of these rules in an accessible manner to build a solid foundation for practice, facilitate advanced reasoning, and enable the development of sophisticated arguments for law reform. Comparative case law from jurisdictions such as the United States and United Kingdom is also included. This book is highly relevant to insolvency practitioners faced with the recovery of assets located in different jurisdictions, transactional lawyers for whom knowledge of potential insolvency pitfalls is essential, and academics. It is invaluable for students at both undergraduate and postgraduate level seeking a sound understanding of this challenging area of law.

Estimation of gear tooth deflection by the finite element method

The finite element method (FEM) is used to determine for pitch-point, mid-point and tip loading, the deflection curve of a Image 1 diamentral pitch (DP) standard spur gear tooth corresponding to number of teeth of 14, 21, 26 and 34. In all these cases the deflection of the gear tooth at the point of loading obtained by FEM is in good agreement with the experimental value. The contraflexure in the deflection curve at the point of loading observed experimentally in the cases of pitch-point and mid-point loading, is predicted correctly by the FEM analysis.

Social selection and the evolution of cooperative groups: The example of the cellular slime moulds

In social selection the phenotype of an individual depends on its own genotype as well as on the phenotypes, and so genotypes, of other individuals. This makes it impossible to associate an invariant phenotype with a genotype: the social context is crucial. Descriptions of metazoan development, which often is viewed as the acme of cooperative social behaviour, ignore or downplay this fact. The implicit justification for doing so is based on a group-selectionist point of view. Namely, embryos are clones, therefore all cells have the same evolutionary interest, and the visible differences between cells result from a common strategy. The reasoning is flawed, because phenotypic heterogeneity within groups can result from contingent choices made by cells from a flexible repertoire as in multicellular development. What makes that possible is phenotypic plasticity, namely the ability of a genotype to exhibit different phenotypes. However, co-operative social behaviour with division of labour requires that different phenotypes interact appropriately, not that they belong to the same genotype, or have overlapping genetic interests. We sketch a possible route to the evolution of social groups that involves many steps: (a) individuals that happen to be in spatial proximity benefit simply by virtue of their number; (b) traits that are already present act as preadaptations and improve the efficiency of the group; and (c) new adaptations evolve under selection in the social context-that is, via interactions between individuals-and further strengthen group behaviour. The Dictyostelid or cellular slime mould amoebae (CSMs) become multicellular in an unusual way, by the aggregation of free-living cells. In nature the resulting group can be genetically homogeneous (clonal) or heterogeneous (polyclonal); in either case its development, which displays strong cooperation between cells (to the extent of so-called altruism) is not affected. This makes the CSMs exemplars for the study of social behaviour.

Solutions of cubic equations in quadratic fields

Let K be any quadratic field with O-K its ring of integers. We study the solutions of cubic equations, which represent elliptic curves defined over Q, in quadratic fields and prove some interesting results regarding the solutions by using elementary tools. As an application we consider the Diophantine equation r + s + t = rst = 1 in O-K. This Diophantine equation gives an elliptic curve defined over Q with finite Mordell-Weil group. Using our study of the solutions of cubic equations in quadratic fields we present a simple proof of the fact that except for the ring of integers of Q(i) and Q(root 2), this Diophantine equation is not solvable in the ring of integers of any other quadratic fields, which is already proved in [4].

Estimation of maximum sustainable yield (MSY) of hilsa (Tenualosa ilisha Ham.) in the Meghna river of Bangladesh

MSY per recruit of Tenualosa ilisha in the Meghna river was predicted as 112 g per recruit at the F(msy)=0.6/yr and at T(c)=0.6/yr. But Y/R=95 g per recruit was obtained at the existing fishing level, F=1.14/yr and at T(c)=0.6/yr. Existing F level was nearly double than the F(msy) level. Fishing pressure should be reduced immediately from F=1.14/yr to F(msy)=0.6/yr. F(msy)=1.14/yr was the same at first capture, T(c)=1.0, 1.2 and 1.4/yr, and MSY could be obtained as 142 g, 162 g and 176 g per recruit respectively. It is easier to change the first capture age (Tc) rather than changing off level. So, hilsa fishery manager may adopt F(msy)=1.14/yr while age at first capture must be increased from T(c)=0.6/yr (3 cm size group) to T(c)=1.4/yr (25 cm size group), by which 1.8 times production could be increased than the present production. MSY also possible to obtain as 201 g and 210 g per recruit at F(msy)=2.0/yr and 4.0/yr at T(c)=1.7/yr and 1.9/yr respectively. Under both the situations, hilsa production could be increased 2 times than the present production. To obtain the MSY=210 g per recruit the fishing level could be increased up to F=4.0/yr at T(c)=1.9/yr (34 cm size group). Economic point of view, hilsa fishery managers may choose to obtain the economic MSY as 201 g per recruit at F(msy)=2.0/yr and T(c)=1.7yr (31 cm size group) in the Meghna river of Bangladesh.

on a class of pseudorandom sequences from elliptic curves over finite fields

Following the idea of Xing et al., we investigate a general method for constructing families of pseudorandom sequences with low correlation and large linear complexity from elliptic curves over finite fields in this correspondence. With the help of the tool of exponential sums on elliptic curves, we study their periods, linear complexities, linear complexity profiles, distributions of r-patterns, periodic correlation, partial period distributions, and aperiodic correlation in detail. The results show that they have nice randomness.

Dielectric responses of graded cylindrical composites

The effective dielectric responses of linear composites with graded cylindrical particles are investigated under an external uniform electric field. As an example, with the Kummer function, we have obtained the analytical solutions of electric potentials of graded composites with a cylindrical inclusion particle of dielectric function profile epsilon(i) = cr(k)e(betar), where r is the inside distance of a point in cylindrical particle from the original point of cylindrical coordinates. In the dilute limit, the effective dielectric response is derived by means of the mean field method. For larger volume fraction, we have estimated the dielectric response of the graded composites with an effective medium approximation. Furthermore, from our results, we have discussed the effective responses of graded composites for power-law and exponential dielectric function profiles, respectively. (C) 2004 Elsevier B.V. All rights reserved.