a computer program
frailtypack: a computer program for the analysis of correlated failure time data using penalized likelihood estimation.
... frailtypack: a computer program for the analysis of correlated failure time data using penalized likelihood estimation... HAL is a multi-disciplinary open access archive for the deposit [r] ...
38
A computer program to aid in the evaluation of development controls.
... general locational characteristics of activities to be pro- grammed and allowing the development controls, in this case, district zoning and non-location specific zon[r] ...
138
User’s manual for SAFIR 2019 A computer program for analysis of structures subjected to fire
... the program, the analysis of a structure exposed to fire may consist of several ...elements, a section subject to warping and where the warping function table and torsional stiffness of the cross ...
98
SPIP: A computer program implementing the Interaction Picture method for simulation of light-wave propagation in optical fibre
... In the previous relationship it is common to consider an esti- mate for the relative local error and a relative tolerance “tol”. It is the choice we adopt in the spip program. For robustness the step-size ...
17
PHMPL: a computer program for hazard estimation using a penalized likelihood method with interval-censored and left-truncated data.
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
20
User manual for SAFIR: a computer program for analysis of structures at elevated temperature conditions
... Publisher’s version / Version de l'éditeur: Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été ...
75
User’s manual for SAFIR 2016c A computer program for analysis of structures subjected to fire
... is a special purpose computer program for the analysis of structures under ambient and elevated temperature ...The program, which is based on the Finite Element Method (FEM), can be used to ...
74
Vision: a computer program to evaluate the thermal performance of super windows, final report
... Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées. Si vous ...
83
User's manual of a computer program for postflashover burning of thermoplastic materials
... Publisher’s version / Version de l'éditeur: Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été ...
22
Determination of Standard Levels for Components of Health-Related Physical Fitness Using Computer Program
... design a computer program to assess the elements of health-related fitness for secondary students and determine their levels in the light of the proposed application ...to a large number of ...
7
Bayesian optimization as a probabilistic meta-program
... inference program that can be employed on a black-box model program with no accompanying source code or inspection ...not a black box; due to the richness of the description language, a ...
68
A program to operate a remote terminal for a small research computer
... Publisher’s version / Version de l'éditeur: Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été ...
104
VerifyThis 2018: A Program Verification Competition
... Fig. 1. Gap Buffer implementation in pseudo-code. that every access to the array is within bounds. We en- couraged to verify insert() with a precondition l < r first and to ignore the call to grow() . An ...
8
A program logic for union bounds
... propose a probabilistic Hoare logic aHL based on the union bound, a tool from basic prob- ability ...enables a clean separation between reasoning about probabilities and reasoning about events, which ...
16
Computer program development specification for the air traffic control subsystem of the Man-Vehicle Systems Research Facility.
... active aircraft in the simulation including: (i) Aircraft ID data such as aircraft type, flight number, airline name, and other such data typically found in the fli[r] ...
100
A blockmodel study of a computer software firm
... FUNCTIONAL RELATION Type of Relation Reporting Dependence for Information Feedback on Performance Resource Dependence Problem Referral Goals Information primary secondary secondary prima[r] ...
60
Distributed Loop Computer-Networks: A Survey
... HAL Id: hal-03013440 https://hal.inria.fr/hal-03013440 Submitted on 18 Nov 2020 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they ...
9
Building a History Program in tue 1990s.
... Honours program. We hâve recently revamped our Graduate Program in order to take into considération the needs of local community members who hâve full time jobs in the school System or in local héritage ...
1
Learning to program in a constructionist way
... is a language originally aimed at bring- ing structured programming in the lands of Lisp (mainly by adding lexical ...has a wide and energetic community of ...to a book, “Structure and Interpretation ...
15
Program extraction in a logical framework setting
... Unite´ de recherche INRIA Lorraine, Technoˆpole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, IRI[r] ...
24