Program LMTART for Electronic Structure Calculations
A computer program LMTART for electronic structure calculations using full potential linear muffin-tin orbital method is described
arxiv.orgrank this link
Refine results · kind
program
776 indexed results
Program schemes with binary write-once arrays and the complexity classes they capture
We study a class of program schemes, NPSB, in which, aside from basic assignments, non-deterministic guessing and while loops, we
arxiv.orgrank this link
Program Universe and Recent Cosmological Results
Recent improvements in astronomical observations lead to the conclusion that the Hubble constant lies between 60 and 80 Mpc km$^{-1}$
arxiv.orgrank this link
A Program for Baryon Generation and Its Applications to Baryon Fragmentation in DIS
In an earlier paper, we discuss the ``popcorn'' model for baryon production in quark and gluon jets, and present an
arxiv.orgrank this link
Asiago eclipsing binaries program. II. V570 Per
The orbit and physical parameters of the double-lined eclipsing binary V570 Per, discovered by the Hipparcos satellite, are derived with
arxiv.orgrank this link
A Survey of Reverse Engineering and Program Comprehension
Reverse engineering has been a standard practice in the hardware community for some time. It has only been within the
arxiv.orgrank this link
Bose-Einstein Correlations - A Program for the 21th. century
It is argued that Bose-Einstein correlations constitute one of the most important and characteristic effects of strong interactions. The progress
arxiv.orgrank this link
Calculations of neutrino spectra with a program based on the GEANT library
The methods of neutrino spectra calculations with GEANT library and the peculiarities of such calculations for different neutrino beams are
arxiv.orgrank this link
CBS - a Program for Close Binary System Light Curve Analysis
CBS is a new program for binary system light curve analysis, it generates synthetic light curves for a binary system,
arxiv.orgrank this link
Collecting Graphical Abstract Views of Mercury Program Executions
A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a
arxiv.orgrank this link
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
We present a program synthesis method based on unfold/fold transformation rules which can be used for deriving terminating definite logic
arxiv.orgrank this link
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure
This paper presents a method of computing a revision of a function-free normal logic program. If an added rule is
arxiv.orgrank this link
Declarative program development in Prolog with GUPU
We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases
arxiv.orgrank this link
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop
arxiv.orgrank this link
DIANA, a program for Feynman Diagram Evaluation
A C-program DIANA (DIagram ANAlyser) for the automatic Feynman diagram evaluation is presented.
arxiv.orgrank this link
Event-based Program Analysis with DeWiz
Due to the increased complexity of parallel and distributed programs, debugging of them is considered to be the most difficult
arxiv.orgrank this link
Extraction of the Eliashberg electron-phonon interaction function from tunneling data. The method and the program
Mathematical correct method for extraction of the complex superconducting energy gap parameter and electron- phonon interaction function from the tunnel
arxiv.orgrank this link
FeynHiggsFast: a program for a fast calculation of masses and mixing angles in the Higgs Sector of the MSSM
FeynHiggsFast is a Fortran code for the calculation of the masses and the mixing angle of the neutral CP-even Higgs
arxiv.orgrank this link
Future Kaon Program at KEK/J-PARC
The current program of kaon-decay experiments at the KEK 12GeV Proton Synchrotron (KEK-PS) and the prospects for the future kaon
arxiv.orgrank this link
Generic and Efficient Program Monitoring by trace analysis
Program execution monitoring consists of checking whole executions for given properties in order to collect global run-time information. Monitoring is
arxiv.orgrank this link
Hands-On Universe: A Global Program for Education and Public Outreach in Astronomy
Hands-On Universe (HOU) is an educational program that enables students to investigate the Universe while applying tools and concepts from
arxiv.orgrank this link
HeatK: A Mathematica Program for Computing Heat Kernel Coefficients
Heat kernel coefficients encode the short distance behavior of propagators in the presence of background fields, and are thus useful
arxiv.orgrank this link
HIGLU: A Program for the Calculation of the Total Higgs Production Cross Section at Hadron Colliders via Gluon Fusion including QCD Corrections
A program for the calculation of the total Higgs production cross section via gluon fusion at hadron colliders including next--to--leading
arxiv.orgrank this link
In Celebration of the Fixed Target Program with the Tevatron
This document is an abridgement of the commemorative book prepared on the occasion of the symposium "In Celebration of the
arxiv.orgrank this link