Home OALib Journal OALib PrePrints Submit Ranking News My Lib FAQ About Us Follow Us+
 Title Keywords Abstract Author All
Search Results: 1 - 10 of 100 matches for " "
 Page 1 /100 Display every page 5 10 20 Item
 Computer Science , 2013, Abstract: A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A challenge in using a package is to ensure that a client follows the implicit protocol of the package when calling its methods. Violations of the protocol can cause a runtime error or latent invariant violations. These protocols can extend across different, potentially unboundedly many, objects, and are specified informally in the documentation. As a result, ensuring that a client does not violate the protocol is hard. We introduce dynamic package interfaces (DPI), a formalism to explicitly capture the protocol of a package. The DPI of a package is a finite set of rules that together specify how any set of interacting objects of the package can evolve through method calls and under what conditions an error can happen. We have developed a dynamic tool that automatically computes an approximation of the DPI of a package, given a set of abstraction predicates. A key property of DPI is that the unbounded number of configurations of objects of a package are summarized finitely in an abstract domain. This uses the observation that many packages behave monotonically: the semantics of a method call over a configuration does not essentially change if more objects are added to the configuration. We have exploited monotonicity and have devised heuristics to obtain succinct yet general DPIs. We have used our tool to compute DPIs for several commonly used Java packages with complex protocols, such as JDBC, HashSet, and ArrayList.
 High Energy Physics - Phenomenology , 2007, Abstract: This note documents the use of the POWHEG-hvq package, a generator for heavy flavour hadroproduction at next-to-leading order in QCD, that can be easily interfaced to shower Monte Carlo programs, in such a way that NLO and shower accuracy are both maintained.
 Physics , 1996, DOI: 10.1086/118187 Abstract: A first version of the Twin Astrographic Catalog (TAC) of positions for 705,679 stars within $-18^{\circ} \le \delta \le 90^{\circ}$ has been produced. The sky coverage of the TAC is complete to over 90\% in that area. The limiting magnitude is about B=11.5. Positions are based on $4912$ plates taken with the U.S. Naval Observatory Twin Astrograph (blue, yellow lens) at epochs 1977--1986. The TAC is supplemented by proper motions which are obtained from a combination with a re--reduced Astrographic Catalog (AC). Some AC zones are available now and a complete northern hemisphere is expected by fall 1996. Proper motions of almost all TAC stars will be generated as the AC work progresses. The average precision of a catalog position is 90 mas per coordinate at epoch of observation. A large fraction of that error is introduced by the currently available reference stars. The inherent precision of the TAC data is considerably better. The precision of the proper motions is currently 2.5 to 4 mas/yr. Magnitude--dependent systematic errors have been found and preliminarily corrected. The final reduction of this plate material will be performed with the Hipparcos catalog in 1997. The TAC is about 3 times more precise than the PPM or ACRS in the northern hemisphere at current epochs and contains about 3 times more stars. The TAC has a higher star density than the Tycho catalog and provides independent, high precision positions for a large fraction of the Tycho stars at an epoch about 10 years earlier than the Tycho mean epoch. The TAC version 1.0 data are released as the AC zones become available. For latest information, look at the US Naval Observatory World Wide Web page http://aries.usno.navy.mil/ad/tac.html.
 Physics , 2011, DOI: 10.1016/j.cpc.2011.05.020 Abstract: The QCDMAPT program package facilitates computations in the framework of dispersive approach to Quantum Chromodynamics. The QCDMAPT_F version of this package enables one to perform such computations with Fortran, whereas the previous version was developed for use with Maple system. The QCDMAPT_F package possesses the same basic features as its previous version. Namely, it embodies the calculated explicit expressions for relevant spectral functions up to the four-loop level and the subroutines for necessary integrals.
 Jean Michel Mathematics , 2013, Abstract: I describe the current state of the development version of the CHEVIE package, which deals with Coxeter groups, reductive algebraic groups, complex reflection groups, Hecke algebras, braid monoids, etc... Examples are given, showing the code to check some results of Lusztig.
 BMC Bioinformatics , 2012, DOI: 10.1186/1471-2105-13-103 Abstract: We present an implementation to perform CUR matrix decompositions, in the form of a freely available, open source R-package called rCUR. This package will help users to perform CUR-based analysis on large-scale data, such as those obtained from different high-throughput technologies, in an interactive and exploratory manner. We show two examples that illustrate how CUR-based techniques make it possible to reduce significantly the number of probes, while at the same time maintaining major trends in data and keeping the same classification accuracy.The package rCUR provides functions for the users to perform CUR-based matrix decompositions in the R environment. In gene expression studies, it gives an additional way of analysis of differential expression and discriminant gene selection based on the use of statistical leverage scores. These scores, which have been used historically in diagnostic regression analysis to identify outliers, can be used by rCUR to identify the most informative data points with respect to which to express the remaining data points.
 Quantitative Biology , 2013, Abstract: Stochasticity is an indispensable aspect of biochemical processes at the cellular level. Studies on how the noise enters and propagates in biochemical systems provided us with nontrivial insights into the origins of stochasticity, in total however they constitute a patchwork of different theoretical analyses. Here we present a flexible and generally applicable noise decomposition tool, that allows us to calculate contributions of individual reactions to the total variability of a system's output. With the package it is therefore possible to quantify how the noise enters and propagates in biochemical systems. We also demonstrate and exemplify using the JAK-STAT signalling pathway that it is possible to infer noise contributions resulting from individual reactions directly from experimental data. This is the first computational tool that allows to decompose noise into contributions resulting from individual reactions.
 Physics , 1995, Abstract: "GRAMA" is a Mathematica package for doing symbolic tensor computations and complicated algebraic manipulations in 10-dimensional (D=10) simple (N=1) supergravity. The main new ingredients of this package inside the general Mathematica environment are the computation of complicated products of Dirac matrices and the treatment of covariant derivatives: spinorial and vectorial. In principle, with small modifications, GRAMA can also be used for calculations in 4-dimensional supergravity. With the help of this package we were able to obtain the equations of motion and the Lagrangian for the 10-D supergravity including superstring corrections (see hep-th/9507033) - a calculation that would be otherwise impossible to perform. "GRAMA" is designed as a community- and user-friendly program.
 Revista de Enfermagem UFPE On Line , 2009, Abstract: Objective: elaborating the Database of the Nursing Special Language of the Intensive Care Unit of the Hospital Universitário Lauro Wanderley of the University Federal of Paraíba, based on Model of Seven Axes from ICNP Version 1.0. Methods: descriptive exploratory investigation, developed in the stages following: assessment of collection of special nursing terms take out nursing registrations of Intensive Care Unit of the HULW/UFPB; establishment of the tree of special nursing terms, for axes of ICNP Version 1.0, and the classification of terms respects as constants and not constants set according to the axes of the ICNP Version 1.0. Results: the terms identified were classified as constants and not constants in ICNP Version 1.0. After the review was began the establishment of trees in this clinical area e and finally there was the construction of the bank consisted of 213 terms constants and 78 non-constants terms. Conclusion: it was concludes that the objective of the study was achieved and it is expected that their use contributes to the nursing unit’s use their own vocabulary in the practice, valuing the systematic registration of nursing actions and favoring the continuity of care.
 Thorsten Ohl Physics , 1992, Abstract: This manual describes version 1.0 of the Monte Carlo event generator KROWIG for deep inelastic lepton hadron scattering at HERA. KROWIG combines the implementation of QED radiative corrections in KRONOS with the QCD parton showers and cluster fragmentation of HERWIG.
 Page 1 /100 Display every page 5 10 20 Item