Type extension and efficient AST manipulation

Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime structure of Oberon-2 is described and the low-level mechanism for dynamic type checking explained. It is shown that the superior type-safety of the language, when used for programming styles based on heterogeneous, pointer-linked data structures, has an entirely negligible cost in runtime performance.

Luna Language Report

Luna is an object-oriented language. It does not, as do many other object-oriented languages, have a conventional procedural language as a base. It is strongly typed and modular. The elegance of Luna is that it is entirely reference based, there are no static objects. Luna is similar to Oberon in that inheritance and subtyping is based on type extension.

Crustal structure in Southern California from array data

Crustal structure in Southern California is investigated using travel times from over 200 stations and thousands of local earthquakes. The data are divided into two sets of first arrivals representing a two-layer crust. The Pg arrivals have paths that refract at depths near 10 km and the Pn arrivals refract along the Moho discontinuity. These data are used to find lateral and azimuthal refractor velocity variations and to determine refractor topography.

In Chapter 2 the Pn raypaths are modeled using linear inverse theory. This enables statistical verification that static delays, lateral slowness variations and anisotropy are all significant parameters. However, because of the inherent size limitations of inverse theory, the full array data set could not be processed and the possible resolution was limited. The tomographic backprojection algorithm developed for Chapters 3 and 4 avoids these size problems. This algorithm allows us to process the data sequentially and to iteratively refine the solution. The variance and resolution for tomography are determined empirically using synthetic structures.

The Pg results spectacularly image the San Andreas Fault, the Garlock Fault and the San Jacinto Fault. The Mojave has slower velocities near 6.0 km/s while the Peninsular Ranges have higher velocities of over 6.5 km/s. The San Jacinto block has velocities only slightly above the Mojave velocities. It may have overthrust Mojave rocks. Surprisingly, the Transverse Ranges are not apparent at Pg depths. The batholiths in these mountains are possibly only surficial.

Pn velocities are fast in the Mojave, slow in Southern California Peninsular Ranges and slow north of the Garlock Fault. Pn anisotropy of 2% with a NWW fast direction exists in Southern California. A region of thin crust (22 km) centers around the Colorado River where the crust bas undergone basin and range type extension. Station delays see the Ventura and Los Angeles Basins but not the Salton Trough, where high velocity rocks underlie the sediments. The Transverse Ranges have a root in their eastern half but not in their western half. The Southern Coast Ranges also have a thickened crust but the Peninsular Ranges have no major root.

A prospective clinical trial to evaluate the microbial barrier of a needleless connector

Needleless connectors are being increasingly used for direct access to intravascular catheters. However, the potential for microbial contamination of these devices and subsequent infection risk is still widely debated. In this study the microbial contamination rate associated with three-way stopcock luers with standard caps attached was compared to those with Y-type extension set luers with Clearlink® needleless connectors attached. Fifty patients undergoing cardiothoracic surgery who required a central venous catheter (CVC) as part of their peri- and postoperative management were studied for microbial contamination of CVC luers following 72 hrs in situ. Each patient's CVC was randomly designated to have either the three-way stopcocks with caps (control patients) or Clearlink® Y-type extension sets (test patients). Prior to, and following each manipulation of the three-way stopcock luers or Clearlink® devices, a 70% (v/v) isopropyl alcohol swab was used for disinfection of the connections. The microbial contamination of 393 luers, 200 with standard caps and 193 with Clearlink® attached, was determined. The internal surfaces of 20 of 200 (10%) three-way stopcock luers with standard caps were contaminated with micro-organisms whereas only one of 193 (0.5%) luers with Clearlink® attached was contaminated (P < 0.0001). These results demonstrate that the use of the Clearlink® device with a dedicated disinfection regimen reduces the internal microbial contamination rate of CVC luers compared with standard caps. The use of such needle-free devices may therefore reduce the intraluminal risk of catheter-related bloodstream infection and thereby supplement current preventive guidelines. © 2006 The Hospital Infection Society.

Quête de sens professionnelle : l'intégration de l'identité narrative à une démarche de counseling de carrière

Le parcours professionnel de la travailleuse et du travailleur du marché du travail postindustriel se caractérise par de l’instabilité et une intensification des emplois occupés. La notion traditionnelle de la carrière comme entité continue et prévisible est révolue. Les valeurs de compétitivité et de rationalisation des coûts empreignent les environnements de travail. L’effet de ces nouvelles réalités sur la travailleuse et le travailleur réside dans le fait que ceux-ci risquent d’éprouver une perte de sens relativement à leur carrière. Perte de sens, d’abord, à l’égard de l’incohérence des différents emplois occupés à travers le temps et ensuite, perte de sens à l’égard de la dégradation des conditions de travail. Par conséquent, le parcours professionnel de la travailleuse et du travailleur d’aujourd’hui risque d’être sujet à une quête de sens double : 1) la recherche d’un fil conducteur, ou d’une cohérence, reliant ses expériences d’emploi passées, présente et anticipées; 2) la recherche d’un but, ou d’une finalité, susceptible de favoriser l’émergence d’un sentiment de plénitude existentielle et pouvant stimuler l’engagement de la personne. La conseillère ou le conseiller d’orientation qui accompagne la personne dans sa quête de sens professionnelle, peut s’appuyer sur la notion de l’identité narrative. L’identité narrative est le récit de vie que se raconte la personne afin d’intégrer un passé reconstruit, la perception du présent et l’avenir anticipé et qui lui permet de donner cohérence, but et sens à sa vie. L’entrevue de l’histoire de vie permet la construction de l’identité narrative. Elle consiste à demander à la personne de considérer sa vie comme un livre avec un titre, des chapitres et des résumés de l’intrigue. Toutefois, cette méthode a été utilisée en contexte de recherche en psychologie, mais non pas en tant que processus de counseling, et encore moins en counseling de carrière. Cet essai explore la possibilité d’adapter l’entrevue de l’histoire de vie à la pratique du counseling de carrière. Pour ce faire, la méthode de recherche spéculative (une analyse inférentielle de type extension externe) est appliquée. L’entrevue de l’histoire de vie est comparée à une démarche de counseling de carrière, celle de Bilan de compétences. Les rapports de similitude et de divergence sont dégagés entre les 2 domaines. Les éléments spécifiques à Bilan de compétences sont identifiés, puis intégrés dans l’entrevue de l’histoire de vie. Un tel transfert d’éléments implique nécessairement des modifications notables au modèle originel; il en résulte la proposition d’une démarche de counseling de carrière axée sur l’identité narrative, qui est décrite dans ses grandes lignes. En permettant à la personne de conceptualiser son parcours professionnel et personnel comme un récit avec une intrigue, il est argumenté que la démarche de counseling de carrière axée sur l’identité narrative pourrait aider la personne à trouver un fil conducteur à son parcours professionnel et à en déterminer une suite qui favorise son engagement. La pratique du counseling de carrière qui en résulte serait davantage exercée en termes de sens qu’en termes d’appariement personne-environnement. Enfin, comme la présente recherche a été réalisée à partir d’une méthode spéculative, il serait intéressant, lors d’une prochaine recherche, d’appliquer concrètement la démarche de counseling de carrière axée sur l’identité narrative à des processus d’orientation. D’une perspective théorique, il serait intéressant de poursuivre la réflexion amorcée ici en comparant le construit d’identité narrative à celui d’archétype, d’étudier leurs similitudes et leurs différences et enfin de spéculer sur les effets du construit d’archétype dans les décisions professionnelles et le comportement au travail de la personne.

Hidden Type Variables and Conditional Extension for More Expressive Generic Programs

Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations. This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure: 1. type variables that are not parameters of the class that declares them, and 2. extension that is dependent on the satisfiability of one or more constraints. We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type. This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented. Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply.

Axially symmetric soliton solutions in a Skyrme-Faddeev-type model with Gies`s extension

We construct static soliton solutions with non-zero Hopf topological charges to a theory which is the extended Skyrme-Faddeev model with a further quartic term in derivatives. We use an axially symmetric ansatz based on toroidal coordinates, and solve the resulting two coupled nonlinear partial differential equations in two variables by a successive over-relaxation method. We construct numerical solutions with the Hopf charge up to 4. The solutions present an interesting behavior under the changes of a special combination of the coupling constants of the quartic terms.

Influence of ridge type on mandibular distal extension removable partial denture.

The aim of this study was to use photoelastic models to analyze the distribution of stress caused by the incidence of loads on a mandibular distal extension removable partial denture, both on the abutment teeth and on differently shaped residual ridges: distal ascending, descending-ascending, horizontal and distal descending. The best type of retainer and location of the rest on the last abutment tooth were determined for the different types of ridge. Four models were made from photoelastic resin (PL-1 for the teeth and PL-2 for the alveolar ridge), one for each kind of ridge. For each model, 4 removable partial dentures (RPD) were made (16 RPD altogether): T-bar retainer and distal rest, T-bar retainer and mesial rest, circumferential retainer and distal rest, and circumferential retainer and mesial rest. The models were placed on a circular polariscope and a 100 N axial load (point load) was applied to premolars and molars of the RPD. The formation of photoelastic bands was photographed for qualitative analysis. Results showed that the horizontal ridge had better distribution of stress, while the distal descending ridge had greater concentration of stress. The circumferential retainer had greater areas of stress for all types of ridges except the horizontal ridge, where there was no influence related to retainer type. The distribution of stress was similar among the different types of ridges when the rest was mesial or distal to the last abutment tooth, except for the distal descending ridge, where there was greater concentration of stress when the rest was located distally to the last abutment tooth. Thus, it may be concluded that (1) the situation was least favorable for the distal descending ridge and most favorable for the horizontal ridge, (2) the T-bar retainer had more favorable stress distribution, except when the ridge was horizontal, in which case there was no influence in relation to the type of retainer, (3) the location of the rest showed similar behavior in all except the distal descending ridge.

Direct observation of extension and retraction of type IV pili

Type IV pili are thin filaments that extend from the poles of a diverse group of bacteria, enabling them to move at speeds of a few tenths of a micrometer per second. They are required for twitching motility, e.g., in Pseudomonas aeruginosa and Neisseria gonorrhoeae, and for social gliding motility in Myxococcus xanthus. Here we report direct observation of extension and retraction of type IV pili in P. aeruginosa. Cells without flagellar filaments were labeled with an amino-specific Cy3 fluorescent dye and were visualized on a quartz slide by total internal reflection microscopy. When pili were attached to a cell and their distal ends were free, they extended or retracted at rates of about 0.5 μm s−1 (29°C). They also flexed by Brownian motion, exhibiting a persistence length of about 5 μm. Frequently, the distal tip of a filament adsorbed to the substratum and the filament was pulled taut. From the absence of lateral deflections of such filaments, we estimate tensions of at least 10 pN. Occasionally, cell bodies came free and were pulled forward by pilus retraction. Thus, type IV pili are linear actuators that extend, attach at their distal tips, exert substantial force, and retract.

Ability to discriminate between healthy and low back pain sufferers using ultrasound during maximum lumbar extension

Objective To analyze the ability to discriminate between healthy individuals and individuals with chronic nonspecific low back pain (CNLBP) by measuring the relation between patient-reported outcomes and objective clinical outcome measures of the erector spinae (ES) muscles using an ultrasound during maximal isometric lumbar extension. Design Cross-sectional study with screening and diagnostic tests with no blinded comparison. Setting University laboratory. Participants Healthy individuals (n=33) and individuals with CNLBP (n=33). Interventions Each subject performed an isometric lumbar extension. With the variables measured, a discriminate analysis was performed using a value ≥6 in the Roland and Morris disability questionnaire (RMDQ) as the grouping variable. Then, a logistic regression with the functional and architectural variables was performed. A new index was obtained from each subject value input in the discriminate multivariate analysis. Main Outcome Measures Morphologic muscle variables of the ES muscle were measured through ultrasound images. The reliability of the measures was calculated through intraclass correlation coefficients (ICCs). The relation between patient-reported outcomes and objective clinical outcome measures was analyzed using a discriminate function from standardized values of the variables and an analysis of the reliability of the ultrasound measurement. Results The reliability tests show an ICC value >.95 for morphologic and functional variables. The independent variables included in the analysis explained 42% (P=.003) of the dependent variable variance. Conclusions The relation between objective variables (electromyography, thickness, pennation angle) and a subjective variable (RMDQ ≥6) and the capacity of this relation to identify CNLBP within a group of healthy subjects is moderate. These results should be considered by clinicians when treating this type of patient in clinical practice.

Is there enough evidence with evolocumab and alirocumab (antibodies to proprotein convertase substilisin-kexin type, PCSK9) on cardiovascular outcomes to use them widely?

Introduction: Statins alone often do not reduce LDL cholesterol levels sufficiently to given maximum cardiovascular benefit. Thus, additional drugs are required to reduce the levels of LDL cholesterol. Monoclonal antibodies to PCSK9 have recently been shown to decrease LDL cholesterol, but it is not known whether they improve cardiovascular outcomes. Areas covered: Evaluation of two clinical trials reporting cardiovascular outcomes with antibodies to PCSK9; the OSLER extension with evolocumab and the ODYSSEY LONG TERM trial with alirocumab. Expert opinion: In OSLER and ODYSSEY LONG TERM, there were very few cardiovascular outcomes, but the trials do suggest that evolocumab and alirocumab may reduce these outcomes. However, there are also some safety concerns with both of these antibodies. Large clinical outcome trials are underway with both evolocumab and alirocumab, which will probably clarify both the safety concerns and any cardiovascular benefits with these antibodies. In our opinion, these antibodies may be suitable for use in subjects with familial hypercholesterolemia, who are uncontrolled with their present medications, provided intensive safety and cardiovascular monitoring is being undertaken. However, evolocumab and alirocumab should be used with caution in other subjects, until outcome studies in higher numbers of subjects, have shown acceptable safety and cardiovascular profiles.

A Branch and Bound Algorithm for a Transportation Type Problem with Piecewise Linear Convex Objective Function

A branch and bound type algorithm is presented in this paper to the problem of finding a transportation schedule which minimises the total transportation cost, where the transportation cost over each route is assumed to be a piecewice linear continuous convex function with increasing slopes. The algorithm is an extension of the work done by Balachandran and Perry, in which the transportation cost over each route is assumed to beapiecewise linear discontinuous function with decreasing slopes. A numerical example is solved illustrating the algorithm.