Relevant bibliographies by topics / Derivation de programme

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Derivation de programme'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Derivation de programme.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Derivation de programme"

1

PREOBRAZHENSKII, Boris G. "An analysis of tools to assess the effectiveness of government development programmes at the meso-level." Regional Economics: Theory and Practice 19, no. 7 (July 15, 2021): 1204–30. http://dx.doi.org/10.24891/re.19.7.1204.

Full text
Abstract:
Subject. This article analyzes the effectiveness of government-sponsored schemes. Objectives. The article aims to analyze the use of tools to assess the effectiveness of public programmes in the management of regional development and assess the preference for the use of certain analytical tools. Methods. For the study, I used a comparative analysis, and the systems, logical and structural, and descriptive approaches. Results. The article classifies the prerequisites for monitoring the implementation of public programmes, performs a content analysis of methodological approaches to assessing the effectiveness of State (regional) programmes, and presents an interpretation of the results of their comparison. Conclusions. A comprehensive assessment of the quality of programme implementation management should correspond to the development goals of the modern management paradigm; when evaluating the effectiveness and efficiency of programme implementation, it is necessary to take into account the individual nature of meso-economic systems. Adjusting the trajectory of programme implementation involves taking into account the principle of derivation when making preventive decisions at different levels of the management hierarchy.
APA, Harvard, Vancouver, ISO, and other styles
2

Reynolds, T. M., and J. Aldis. "Median parameters for Down's syndrome screening should be calculated using a moving time-window method." Annals of Clinical Biochemistry: International Journal of Laboratory Medicine 45, no. 6 (September 9, 2008): 567–70. http://dx.doi.org/10.1258/acb.2008.008057.

Full text
Abstract:
Background In Down's syndrome screening, the change in analyte concentrations in maternal serum with advancing gestational age is compensated for by converting concentration to multiples of the median (MoM) by using a mathematical equation describing the expected relationship. However, owing to assay drifts and shift, the equation may be incorrect, leading to deviation of the observed MoM distribution from the ideal MoM distribution. The NHS Fetal Anomaly Screening Programme has produced standards limiting acceptable deviation, and has provided the Down's Syndrome Screening Quality Assurance Service (DQASS) to monitor it. DQASS recommends monitoring by cumulative sum plot. Methods Down's screening data for 61,368 consecutive samples (12 October 2004 to 31 December 2007) was evaluated using different median assignment techniques. Results A change in the paradigm for median equation derivation is described, which significantly improves the probability that medians will be correct at any point in time. Conclusion Software developers need to change the way medians are derived in their programmes.
APA, Harvard, Vancouver, ISO, and other styles
3

Ingwe, Richard, Joseph K. Ukwayi, and Edward U. Utam. "Federal Revenue Sharing, Marginalisation and Sub-National Inter-Regional Inequality in Human Capital Development in South-Eastern and Southern Nigeria." Quaestiones Geographicae 32, no. 2 (June 1, 2013): 51–68. http://dx.doi.org/10.2478/quageo-2013-0013.

Full text
Abstract:
Abstract Regional development planning/management responds to needs for preventing inequality among regions within nations characterised by multi-culturality and variation among regions, through the planning/management of appropriate programmes and policies. This paper examines inequality in the development of two of Nigeria’s states in the geographical South-East and the political South-South. Among other issues, historical conflicts among various ethno-cultural groups constituting Nigeria and culminating in violence (e.g. the 1967-1970 civil war fought against the programme of Ibo (a socio-cultural group) seceding from Nigeria’s federation to found Biafra) are reviewed. Despite Nigeria’s tragic civil war, inequality persists. We examine inequality resulting from systematic implementation of policies/programmes of Nigeria’s federal government institutions that marginalise Cross River State. Using the methods of comparative analysis and a descriptive case study, we show the consequences of marginalisation policies implemented by the federal government alone or in collaboration with (i.e. in support of) Akwa Ibom State for the development of human capital in Cross River State. The specific acts of marginalisation referred to here include: the ceding of the Bakassi Peninsula - a part of Cross River State - to the Republic of Cameroon in 2005, and more recently (2009) another ceding of 76 oil wells, hitherto the property of Cross River State, to Akwa Ibom State. We argue that, strengthened by marginalising/polarising policies (higher revenue allocation based on derivation principle of oil production), Akwa Ibom’s ongoing implementation of free education policy promises to facilitate its achievement of millennium development goals in basic education by 2015, beyond which it might reach disproportionately higher levels of tertiary educational attainment by 2024 and after. By contrast, the contrived dwindling of oil revenue accruing to Cross River State deprives it of funding for competitive human capital development programme(s). We recommend that Cross River State employs serious monitoring of marginalising schemes against its people considering recent traumatising experience, and plan/implement human capital development programmes aimed to improve its competitiveness under the context of intra-regional inequality.
APA, Harvard, Vancouver, ISO, and other styles
4

Weatherell, C. A., D. J. Elliott, H. J. Fallowfield, and T. P. Curtis. "Variable photosynthetic characteristics in waste stabilisation ponds." Water Science and Technology 48, no. 2 (July 1, 2003): 219–26. http://dx.doi.org/10.2166/wst.2003.0124.

Full text
Abstract:
Algae play several key roles in waste stabilisation ponds. A model has been developed to predict algal concentration in waste stabilisation ponds, in which the relationship between photosynthesis and underwater light availability is central. One equation was selected from several alternative expressions that describe this relationship. The selected equation consisted of four photosynthetic parameters. A field sampling programme was designed to investigate the relationships between the photosynthetic parameters and the pond environment. Although initial regression analyses were unsuccessful, distinct diurnal variations were revealed in two key photosynthetic parameters, related to an inverse variation in chlorophyll a concentration. This led to the derivation of a dynamic feedback hypothesis which challenges the classic assumption in algal modelling of constant photosynthetic parameters.
APA, Harvard, Vancouver, ISO, and other styles
5

Oorts, Koen, Erik Smolders, Steve P. McGrath, Cornelis A. M. van Gestel, Michael J. McLaughlin, and Sandra Carey. "Derivation of ecological standards for risk assessment of molybdate in soil." Environmental Chemistry 13, no. 1 (2016): 168. http://dx.doi.org/10.1071/en15086.

Full text
Abstract:
Environmental context In order to assess the potential risks of elevated molybdenum concentrations in soil due to anthropogenic activities, toxicity thresholds must be known and environmental criteria defined. Setting such criteria for metals is not straightforward because of varying natural background concentrations and differences in toxicity between typical laboratory and field conditions and across soil types. Toxicity data and models were derived that account for these parameters so that soil quality criteria can be derived based on total molybdenum concentrations in soil. Abstract An extensive testing programme on the toxicity of sodium molybdate dihydrate in soil was initiated to comply with the European REACH Regulation. The molybdate toxicity was assayed with 11 different bioassays, 10 different soils, soil chemical studies on aging reactions, and toxicity tests before and after 1-year equilibration in field conditions. Differences in molybdate toxicity among soils were best explained by soil pH and clay content. A correction factor of 2.0 was selected to account for the difference in molybdate toxicity between laboratory and field conditions due to leaching and aging processes. Toxicity thresholds were determined as the HC5–50 (median hazardous concentration for 5% of the species, i.e. median 95% protection level) derived from the species sensitivity distribution of ecotoxicity data after bioavailability corrections. Uncertainty analysis illustrated that the HC5–50 provides a robust and ecologically relevant predicted no-effect concentration (PNEC) for risk characterisation. The 10th and 90th percentiles for site-specific PNEC values in European agricultural soil are 10.7 and 168mgMokg–1 dry weight respectively based on a large survey of metal concentrations and soil properties in arable land soils. Total soil Mo concentrations in these soils are below corresponding PNEC values at most locations, suggesting no regional risks of molybdate to soil organisms at this scale. The information presented can be used in the EU risk-assessment framework as well as for national and international regulatory purposes for the setting of soil quality criteria based on total molybdenum concentrations, soil pH and clay content.
APA, Harvard, Vancouver, ISO, and other styles
6

Hastika Ardiwidjaja, Nunung. "SDG’S IMPLEMENTATION IN LOCAL GOVERNMENT." Book Chapters of The 1st Jakarta International Conference on Social Sciences and Humanities (JICoSSH) 3 (March 2, 2019): 323–28. http://dx.doi.org/10.33822/jicossh.v3i0.24.

Full text
Abstract:
Since dispersion enactment in Indonesia, two third of citizen well being and prosperity are depend on the performance of Local Government, from environment sanitation, such as waste management, to education quality and health services. It all depends on the quality of Local Government public services. SDGs (Sustainable Development Goals) is (a) a new development agreement, substitution for MDGs. This agreement effective since 2015 until 2030; (b) a 35 pages document that have been approved by 190 country; (c) contain 17 goals, and 169 development target. SDGs procedure processes are based on inspiration and aspiration of Local Government. Through city association and Local Government in large-scale level, Local Government has been actively participating in SDGs formulation and validation. Therefore to Local Government, the capital and kabupaten government role are important for SDGs. Because there are some facts and validation that justify that. Few of SDGs focus become development underlying principle that consistent with nine main concern programme known as Nawacita, such as human development, education and social welfare, sustainable economics, energy and climate change. SDGs are prolongation from MDGs targets, especially in derivation of mother mortality, derivation of child mortality, derivation of AIDS/HIV, water supply and sanitation coverage. The four unfinished target, cannot be forgotten and neglected, because the targets are also align with some of SDGs goals and target. These are some of the things that Local Government can perform: Action plan, execution committee, institutional, funding, accountability mechanism, and socialization. In the end, Local Government be able to design an accurate and rapid policy thus for impartial Indonesia, a better citizen well being. And also to urge a better government effort to precede with SDGs agenda and utilize civilian to strengthen all the advocacy effort that have been done.
APA, Harvard, Vancouver, ISO, and other styles
7

Baggish, A. L., D. M. Lloyd-Jones, J. Blatt, A. M. Richards, J. Lainchbury, M. O'Donoghue, R. Sakhuja, A. A. Chen, and J. L. Januzzi. "A clinical and biochemical score for mortality prediction in patients with acute dyspnoea: derivation, validation and incorporation into a bedside programme." Heart 94, no. 8 (February 28, 2008): 1032–37. http://dx.doi.org/10.1136/hrt.2007.128132.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Younes, Maged, and Cynthia Sonich-Mullin. "Concepts of the International Programme on Chemical Safety in the Assessment of Risks to Human Health from Exposure to Chemicals." International Journal of Toxicology 16, no. 4-5 (July 1997): 461–76. http://dx.doi.org/10.1080/109158197227071.

Full text
Abstract:
The International Programme on Chemical Safety (IPCS) is a cooperative program of the World Health Organization, the International Labour Organization, and the United Nations Environment Programme. The main objectives of its risk assessment work are to provide, on a global basis, consensus assessments of priority chemicals (including pesticides) and to promote the development, validation, use, and harmonization of sound methodologies for risk assessment. The IPCS provides a number of comprehensive risk assessment documents, the most prominent of which are the Environmental Health Criteria monographs. In addition, evaluations of chemicals in food, air, and drinking water are conducted, and health-and environment-based guidelines for exposure are developed. In deriving guidance values for exposure to chemicals, the risk assessment paradigm of the National Academy of Sciences is followed. The development of guidance values for exposure is based on the calculation of a total intake from all sources. The process involves the identification of the critical effects and the pivotal studies, the derivation of a no (or lowest) observed adverse effect level, the application of (preferably data-derived) uncertainty factors, and the partitioning of the overall tolerable intake among all possible routes of exposure. Work on risk assessment methodologies is directed toward the promotion of scientifically sound approaches to evaluating risks to human health and the environment from exposure to chemicals. Special focus is placed on a project of harmonization of risk assessment methodologies.
APA, Harvard, Vancouver, ISO, and other styles
9

Morrish, L., M. P. Cartmell, and A. J. Taylor. "Geometry and kinematics of multicable spreader lifting gear." Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science 211, no. 3 (March 1, 1997): 185–94. http://dx.doi.org/10.1243/0954406971521764.

Full text
Abstract:
This paper presents a novel theoretical study of the geometry and derived kinematics of a typical multicable suspension system as encountered on a rubber tyred gantry (RTG) crane. Machines of this sort are used extensively in the international container handling business but, to date, little has been known about the precise motions of cable suspended spreaders other than general intuitions about fore—aft, lateral and rotational oscillations. Such motions are initiated by driver-controlled motion of the gantry itself (by torques applied to the driving wheels) and by across-the-vehicle motions of the trolley from which the spreader and container payload are suspended. The work reported here shows the complete derivation for spreader coordinates, relative to the trolley, for any translational and/or rotational displacement. Conventional geometrical and trigonometrical principles are used throughout the development. This research forms an integral part of a larger programme of work to propose strategies for accurate spreader motion control based on non-linear dynamic models.
APA, Harvard, Vancouver, ISO, and other styles
10

Dostal, Jan, and Jan Kuzel. "ANALYTICAL METHODS FOR CALCULATING FAN AERODYNAMICS." Acta Polytechnica 55, no. 6 (December 31, 2015): 373. http://dx.doi.org/10.14311/ap.2015.55.0373.

Full text
Abstract:
This paper presents results obtained between 2010 and 2014 in the field of fan aerodynamics at the Department of Composite Technology at the VZLÚ aerospace research and experimental institute in Prague – Letnany. The need for rapid and accurate methods for the preliminary design of blade machinery led to the creation of a mathematical model based on the basic laws of turbomachine aerodynamics. The mathematical model, the derivation of which is briefly described below, has been encoded in a computer programme, which enables the theoretical characteristics of a fan of the designed geometry to be determined rapidly. The validity of the mathematical model is assessed continuously by measuring model fans in the measuring unit, which was developed and manufactured specifically for this purpose. The paper also presents a comparison between measured characteristics and characteristics determined by the mathematical model as the basis for a discussion on possible causes of measured deviations and calculation deviations.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Derivation de programme"

1

Boca, Paul Philip. "A framework for presenting transformational derivations." Thesis, Queen Mary, University of London, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.286065.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Blanc, Pascale. "Détection de propriétes de repos globales dans des systèmes répartis avec désequencement de messages : application au problème de terminaison." Paris 6, 1990. http://www.theses.fr/1990PA066039.

Full text
Abstract:
Cette these traite de la conception et de la verification d'algorithmes de detection de proprietes globales. En particulier, differents algorithmes de detection de la terminaison distribuee sont presentes. Dans la premiere partie de la these, nous presentons une methode pour detecter des proprietes de repos globales d'une application repartie lorsque le desequencement des messages est possible. Une propriete de repos globale est une propriete qui, lorsqu'elle devient vraie pour un etat, reste vraie pour tous les etats suivants. La methode que nous proposons est basee sur l'introduction de deux techniques, l'observation et la collecte, qui permettent de transformer une application afin qu'elle puisse detecter ses proprietes de repos globales. L'observation definit les variables et les messages necessaires pour la caracterisation de l'etat de l'application vis-a-vis de la propriete de repos que l'on veut rechercher. La collecte definit les variables et les messages necessaires pour le rassemblement des informations caracteristiques. Pour prouver que l'application transformee est correcte, c'est-a-dire qu'elle detecte a bon escient ses proprietes de repos globale, l'utilisation d'une preuve par invariant est proposee. En utilisant ces methodes, une classe d'algorithmes distribues est definie, les algorithmes a enquete. Dans la deuxieme partie de la these, nous developpons des algorithmes a enquete qui resolvent le probleme de la terminaison d'une application repartie. La terminaison est une propriete de repos globale d'une application repartie. Elle est verifiee lorsque tous les processus qui composent l'application ont termine leur calcul local et qu'il n'y a plus de message en transit qui pourrait relancer ces calculs. Pour traiter le desequencement des messages, deux solutions sont presentees, l'une basee sur l'envoi d'accuses de reception de messages, l'autre sur le comptage de me
APA, Harvard, Vancouver, ISO, and other styles
3

ZAMBRANO, NANCY. "Une methode de derivation de programmes imperatifs a partir de specifications algebrico-operationnelles." Paris 11, 1995. http://www.theses.fr/1995PA112291.

Full text
Abstract:
Le but du travail est la proposition d'une methode systematique pour le developpement de logiciel fiable en partant de specifications algebriques. Nous introduisons un style intermediaire de specification que nous appelons specifications algebrico-operationnelles. Ce style permet la specification des operations au moyen des pre- et post-conditions qui sont obtenues par des techniques de transformations successives des axiomes de la specification algebrique. Cette specification intermediaire est le point de depart pour obtenir le code en appliquant un processus systematique et le code est derive des termes algebriques des pre- et post-conditions. Notre specification algebrico-operationnelle permet de separer en deux etapes le processus d'obtention du code. La premiere etape consiste en l'obtention de la specification algebrico-operationnelle a partir des specifications algebriques des types abstraits. La deuxieme etape a trait a l'implementation en partant des specifications operationnelles obtenue dans la phase precedente. Nous cherchons a produire des programmes imperatifs, c'est-a-dire, des programmes dont le code est exprime dans des langages de programmation de type imperatif. Le point crucial dans ce processus est l'introduction des caracteristiques des programmes imperatifs, telles que la suite d'instructions, l'affectation, les appels de fonctions et de procedures, etc. , ceci en partant des termes algebriques exprimees dans le style fonctionnel. Une des originalites de notre methode est de conduire a la production de code imperatif, et non seulement fonctionnel, ainsi que la facon de produire le code. Notre methode de developpement de logiciel etablit donc un lien effectif entre les specifications et les programmes imperatifs
APA, Harvard, Vancouver, ISO, and other styles
4

NICOLAS, VALERIE-ANNE. "Preuves de proprietes de classes de programmes par derivation systematique de jeux de test." Rennes 1, 1998. http://www.theses.fr/1998REN10134.

Full text
Abstract:
Le probleme aborde dans cette these concerne la production automatique de donnees de test permettant de prouver des proprietes de programmes. Nous nous situons ainsi a mi-chemin entre le domaine du test et celui de la verification de programmes. Les travaux dans le domaine du test ont conduit a des outils semi-automatiques d'utilisation simple, mais qui reposent sur des hypotheses difficilement verifiables en pratique. Dans le domaine de la verification, des outils bases sur des methodes formelles ont ete developpes, mais ils necessitent un utilisateur expert dans les techniques de preuve utilisees par l'outil. Cette situation est due aux problemes d'indecidabilite engendres par la puissance des formalismes traites. La these que nous presentons est qu'il est possible de developper des methodes formelles automatiques pour prouver des proprietes de programmes, a condition de considerer des formalismes restreints. Notre principale contribution est une nouvelle approche pour la verification de programmes, integrant les techniques de test et d'analyse statique. Nous proposons une methode formelle de generation de jeux de test finis complets permettant de prouver qu'un programme verifie une propriete donnee. Cette methode utilise le texte du programme et de la propriete, qui doivent appartenir a certaines classes de programmes (ou de proprietes). Ces classes sont representees par des hierarchies de schemas, qui peuvent etre vues comme modelisant des hypotheses de test. Pour une propriete donnee, notre methode est completement automatique et ne necessite donc aucune competence particuliere de l'utilisateur. Tout programme appartenant au schema et passant le jeu de test avec succes verifie la propriete testee. Nous avons implante cette methode dans un prototype (traitant un langage fonctionnel restreint), pour le cas de proprietes s'exprimant en termes de longueur de liste.
APA, Harvard, Vancouver, ISO, and other styles
5

Emme, Michael John. "Derivation and application of a model of lens meaning." Thesis, University of British Columbia, 1991. http://hdl.handle.net/2429/32277.

Full text
Abstract:
The twofold purpose of this study was to ground a model of Lens Meaning in the literature of the Fine Arts and Social Sciences and to use that term as a referent in evaluating three Media Studies curricula. Lens Meaning is a term derived from a variety of sources, particularly Peirce (1955), whose semiotic theory described three systems of signs used as terms on one axis of a matrix or model by which Lens Meaning can be described. These terms are: "index", "icon", and "symbol". DeLauretis' (1984) expanded understanding of another system of signs described by Peirce, interpretants, is the foundation for the three terms on the other axis of the matrix. Those terms, which describe interpretation or response, are: "emotional", "energetic", and "habit changing". These, and other terms identified in the literature, provided a conceptual model that might be applied to the analysis and evaluation of programs of Media Studies, and similar documents. Three Media Studies programs were selected for study: from Western Australia, Ontario, and Scotland. Application of the model permitted conclusions to be drawn on the extent to which current issues of an ideological and sociopolitical nature were addressed by these programs. It was concluded that the model achieved the purposes required of it and that it may be of further utility for educators.
Education, Faculty of
Curriculum and Pedagogy (EDCP), Department of
Graduate
APA, Harvard, Vancouver, ISO, and other styles
6

Ordaz-Losavio, Francisca. "Derivation systematique de programmes ada comportant des traitements d'exception a partir des psecifications algebriques de type de donnees." Paris 11, 1991. http://www.theses.fr/1991PA112278.

Full text
Abstract:
Ce travail presente une methodologie de construction de programmes basee sur la decomposition de types abstraits de donnees, specifies algebriquement; celle-ci utilise en particulier le traitement d'exceptions comme technique de programmation. Les programmes ecrits en ada, sont developpes dans le cadre de la construction assistee de programmes. Differentes strategies (schemas de programmes) guident le processus de construction. Dans des travaux anterieurs, le concept de schema de decomposition, appele dans le cadre actuel schema concret de decomposition, etait adapte au langage de programmation cible et limite a un type de donnee particulier. Nous presentons ici une generalisation du schema concret de decomposition en introduisant la notion de schema abstrait de decomposition. Nous decrivons tous les objets aux differents stades de developpement: les specifications algebriques des types abstraits de donnees, les schemas concrets de decomposition associes, les paquetages ada implementant les types abstraits. Les programmes ada illustrant les differentes strategies utilisees, construits en suivant la methode proposee, sont egalement presentes. Un environnement de developpement de programmes supportant la methodologie, le systeme m-apex, a ete realise. Nous presentons un scenario d'un exemple de developpement d'un programme dans cet environnement. Tous les programmes ada ont ete testes
APA, Harvard, Vancouver, ISO, and other styles
7

Pérgola, Gabriel Campos. "Seguro contra risco de downside de uma carteira: uma proposta híbrida frequentista-Bayesiana com uso de derivativos." reponame:Repositório Institucional do FGV, 2013. http://hdl.handle.net/10438/10468.

Full text
Abstract:
Submitted by Gabriel Campos Pérgola (gabrielpergola@gmail.com) on 2013-02-04T12:56:43Z No. of bitstreams: 1 DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5)
Rejected by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br), reason: Prezado Gabriel, Não recebemos os arquivo em PDF. Att. Suzi 3799-7876 on 2013-02-05T18:53:00Z (GMT)
Submitted by Gabriel Campos Pérgola (gabrielpergola@gmail.com) on 2013-02-05T19:00:17Z No. of bitstreams: 2 DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5) DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5)
Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2013-02-05T19:07:12Z (GMT) No. of bitstreams: 2 DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5) DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5)
Made available in DSpace on 2013-02-05T19:09:04Z (GMT). No. of bitstreams: 2 DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5) DissertationGabrielPergola2013.pdf: 521205 bytes, checksum: 85369078a82b0d5cc02f8248961e9214 (MD5) Previous issue date: 23-01-13
Portfolio insurance allows a manager to limit downside risk while allowing participation in upside markets. The purpose of this dissertation is to introduce a framework to portfolio insurance optimization from a hybrid frequentist-Bayesian approach. We obtain the joint distribution of regular returns from a frequentist statistical method, once the outliers have been identified and removed from the data sample. The joint distribution of extreme returns, in its turn, is modelled by a Bayesian network, whose topology reflects the events that can significantly impact the portfolio performance. Once we link the regular and extreme distributions of returns, we simulate future scenarios for the portfolio value. The insurance subportfolio is then optimized by the Differential Evolution algorithm. We show the framework in a step by step example for a long portfolio including stocks participating in the Bovespa Index (Ibovespa), using market data from 2008 to 2012.
Seguros de carteiras proporcionam aos gestores limitar o risco de downside sem renunciar a movimentos de upside. Nesta dissertação, propomos um arcabouço de otimização de seguro de carteira a partir de um modelo híbrido frequentista-Bayesiano com uso de derivativos. Obtemos a distribuição conjunta de retornos regulares através de uma abordagem estatística frequentista, uma vez removidos os outliers da amostra. A distribuição conjunta dos retornos extremos, por sua vez, é modelada através de Redes Bayesianas, cuja topologia contempla os eventos que o gestor considera crítico ao desempenho da carteira. Unindo as distribuições de retornos regulares e extremos, simulamos cenários futuros para a carteira. O seguro é, então, otimizado através do algoritmo Evolução Diferencial. Mostramos uma aplicação passo a passo para uma carteira comprada em ações do Ibovespa, utilizando dados de mercado entre 2008 e 2012.
APA, Harvard, Vancouver, ISO, and other styles
8

Kizito, Rita Ndagire. "Realistic Mathematics Education (RME) as an instruction design perspective for introducing the relationship between the derivative and integral via distance education." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/71611.

Full text
Abstract:
Thesis (PhD)--Stellenbosch University, 2012.
Includes bibliography
ENGLISH ABSTRACT: The rationale for this study emerged from a realization that conventional instructional design approaches for introducing Calculus concepts, based on the logical sequencing and structuring of the concepts, did not adequately attend to or address students’ ways of thinking. This was particularly important in a distance education environment where learners depend on instructional texts to make sense of what is being presented, often without support from tutors. The instructional design theory of Realistic Mathematics Education (RME) offered a promising approach for designing learning sequences based on actual investigations of the ways in which students think. This study’s focus was on trialling the process of RME theory-based design using the Fundamental Theorem of Calculus as an example. Curve sketching was prominent in this exercise. Applying RME required developing a hypothetical learning trajectory (HLT) while attempting to adhere to methodological guidelines of design research. In this project, the instructional designer’s conceptualization and interpretation of the derivative-integral construct has had the most immediate implications for the study. The line of inquiry has been largely didactic, in that it was framed by a need to establish ways of introducing the teaching of a mathematical concept following instructional design principles. Throughout the project, the instructional design space has been contested, broken down, rebuilt and, ultimately, enriched by the contributions of the expert teachers and the engagement of participating students. The series of design experiments have revealed knowledge about student reasoning in this learning domain in relation to four main areas of quantifying change, curve sketching, general mathematical reasoning and symbol use. The primary contribution of this research has been a deeper understanding of the extent to which RME can be used as an instruction design theory for planning and introducing a distance teaching Calculus unit. From the study, it is clear that successful adoption of the RME theory is influenced and facilitated by a number of factors, including: careful selection of the concepts and mathematical structures to be presented; a team of experts (mathematicians and mathematics subject didacticians) to research, test and develop the learning activities; opportunities for student interactions; and time and resources for effective RME adoption. More involved research is required to get to the stage of the evolution of a local instructional theory around introducing the derivative-integral relationship as expressed in the Fundamental Theorem of Calculus.
AFRIKAANSE OPSOMMING: Die rasionaal van hierdie studie het uit die besef ontstaan dat konvensionele onderrigontwerpbenaderings vir die bekendstelling van Calculus konsepte, gebaseer op die logiese ordening en strukturering van die konsepte, nie voldoende beantwoord aan die eise van hoe studente dink nie. Dit was van spesifieke belang in die geval van afstandonderwys waar hierdie studente sin moet maak van wat aangebied word, dikwels sonder die ondersteuning van tutors. Die onderrigontwerpteorie van Realistiese Wiskundeonderwys (RWO) bied belowende moontlikhede om leertrajekte te ontwerp wat gebaseer is op werklike ondersoeke van hoe studente dink. Hierdie studie se fokus was om die RWO-gebaseerde teoretiese ontwerp se proses wat die Fundamentele Stelling van Calculus as voorbeeld gebruik, uit te toets. Krommesketsing was prominent in hierdie oefening. Die toepassing van RWO het vereis dat 'n leertrajek ontwikkel moet word terwyl aan die metodologiese vereistes van die ontwikkelingsondersoekbenadering getrou gebly word. In hierdie projek het die onderrigontwerper se konseptualisering en interpretasie van die afgeleide-integraalkonstruk onmiddellike implikasies gehad vir die studie. Die lyn van ondersoek was grootliks didakties van aard. Desnieteenstaande was die instruksionele ontwerpruimte voortdurend beding, afgebreek, herbou en uiteindelik verryk deur die bydraes van die bedrewe onderwysers en die betrokkenheid van die deelnemende studente. Die reeks ontwerpeksperimente het kennis blootgelê van hoe studente in hierdie veld redeneer met betrekking tot die volgende vier hoof areas: kwantifisering van verandering, krommesketsing, algemene wiskundige beredenering en die gebruik van simbole. Die primêre bydrae van hierdie navorsing is die dieper verstaan van die mate waarin RWO gebruik kan word as 'n instruksionele ontwerpteorie vir die beplanning en bekendstelling van 'n Calculus eenheid in afstandsonderrig.Dit is duidelik vanuit die studie dat suksesvolle aanneming van die RWO teorie afhanklik is van 'n aantal faktore: 'n noukeurige seleksie van die konsepte en wiskundige strukture wat aangebied moet word; 'n span van bedrewe wiskundiges en wiskunde vakdidaktici om die leeraktiwiteite na te vors, uit te toets en te ontwikkel; geleenthede vir studente-interaksies, en tyd en bronne vir effektiewe RWO aanpassing. Verdere toegespitsde navorsing hierop is nodig om die fase te bereik van die ontluiking van 'n lokale onderrigteorie oor die bekendstelling van die afgeleide-integraal verwantskap soos uitgedruk in terme van die Fundamentele Stelling van Calculus.
APA, Harvard, Vancouver, ISO, and other styles
9

Torres, M?rio S?rgio Scaramuzzi. "Avalia??o sistem?tica de abordagens de deriva??o de produto." Universidade Federal do Rio Grande do Norte, 2011. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18030.

Full text
Abstract:
Made available in DSpace on 2014-12-17T15:47:57Z (GMT). No. of bitstreams: 1 MarioSST_DISSERT.pdf: 2743049 bytes, checksum: da23e766aa49e7926f3ad6450145c626 (MD5) Previous issue date: 2011-02-17
Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico
Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study
Abordagens de deriva??o de produto s?o respons?veis por automatizar o processo de engenharia de aplica??o de linhas de produto de software. O conhecimento de configura??o, que ? respons?vel por relacionar o espa?o do problema com o espa?o da solu??o, desempenha um papel fundamental nas abordagens de deriva??o de produto. Cada ferramenta adota estrat?gias e t?cnicas diferentes para gerenciar o processo de deriva??o de produto e h? uma car?ncia de estudos experimentais para avaliar as diferentes abordagens. Esta disserta??o de mestrado tem como objetivo comparar sistematicamente abordagens de deriva??o autom?tica de produtos, atrav?s do desenvolvimento de estudos emp?ricos. Os estudos s?o desenvolvidos sob duas perspectivas: (i) qualitativa atrav?s da an?lise de caracter?sticas das ferramentas; e (ii) quantitativa atrav?s da quantifica??o de propriedades espec?ficas de artefatos de deriva??o produzidos para as ferramentas. Um conjunto de crit?rios e m?tricas tamb?m ? proposto com o objetivo de oferecer suporte para as an?lises qualitativas e quantitativas. Duas linhas de produto, uma para o dom?nio de sistemas web e outra para o contexto de aplica??es de dispositivos m?veis, s?o alvos do nosso estudo
APA, Harvard, Vancouver, ISO, and other styles
10

Šrajer, Roman. "Syntaktická analýza řízených gramatik." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236933.

Full text
Abstract:
This thesis studies regulated grammars, their fundamentals and expressing power regarding Chomsky hierarchy of languages. Programmed grammars are investigated in more depth considering a few types of leftmost derivations. A variant of deterministic syntax analysis of programmed grammars is introduced. This analysis works similarly as LL(k) parsing. Transformations of matrix grammars into programmed grammars without changing their expressing power are introduced. The syntax analysis by regularly controlled grammars partly using programmed grammars are presented. In the end, cooperating distributed grammars with left permitting grammars as components are mentioned. Their deterministic syntax analysis uses predictive table or exhaustive exploration of the whole state space.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Derivation de programme"

1

Shimeall, Timothy J. Analytical derivation of sotfware failure regions. Monterey, Calif: Naval Postgraduate School, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Shimeall, Timothy J. REACHER--a reachability condition derivation tool. Monterey, California: Naval Postgraduate School, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kitahara, Hisatsugu. Elementary operations and optimal derivations. Cambridge, Mass: MIT Press, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

T, Shaw William. Modelling financial derivatives with Mathematica: Mathematical models and benchmark algorithms. Cambridge: Cambridge University Press, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

London, Justin. Modeling Derivatives in C++. New York: John Wiley & Sons, Ltd., 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

C++ design patterns and derivatives pricing. 2nd ed. Cambridge, UK ; New York: Cambridge University Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Modeling derivatives applications in MATHLAB, C++, and Excel. Upper Saddle River, N.J: FT Press, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Duffy, Daniel J. Financial Instrument Pricing Using C++. New York: John Wiley & Sons, Ltd., 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Duffy, Daniel J. Financial instrument pricing using C++. Chichester, England: John Wiley & Sons, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Derivation de programme"

1

Möller, Bernhard. "Derivation of graph and pointer algorithms." In Formal Program Development, 123–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57499-9_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wand, Mitchell. "From interpreter to compiler: A representational derivation." In Programs as Data Objects, 306–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16446-4_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Goyal, Deepak. "Transformational Derivation of an Improved Alias Analysis Algorithm." In Automatic Program Development, 49–70. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-6585-9_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gregory, Steve. "Derivation of concurrent algorithms in Tempo." In Logic Program Synthesis and Transformation, 46–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-60939-3_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

von Karger, Burghard. "Formal Derivation of a Protocol in CSP." In Mathematical Methods in Program Development, 201–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pettorossi, Alberto, Maurizio Proietti, and Sophie Renault. "Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism." In Automatic Program Development, 130–77. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-6585-9_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Johansson, Anna-Lena. "Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies." In Logic Program Synthesis and Transformation, 100–112. London: Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-3234-9_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chaudhari, Dipak L., and Om Damani. "Combining Top-Down and Bottom-Up Techniques in Program Derivation." In Logic-Based Program Synthesis and Transformation, 244–58. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27436-2_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Baillot, Patrick, and Alexis Ghyselen. "Types for Complexity of Parallel Computation in Pi-Calculus." In Programming Languages and Systems, 59–86. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_3.

Full text
Abstract:
AbstractType systems as a technique to analyse or control programs have been extensively studied for functional programming languages. In particular some systems allow to extract from a typing derivation a complexity bound on the program. We explore how to extend such results to parallel complexity in the setting of the pi-calculus, considered as a communication-based model for parallel computation. Two notions of time complexity are given: the total computation time without parallelism (the work) and the computation time under maximal parallelism (the span). We define operational semantics to capture those two notions, and present two type systems from which one can extract a complexity bound on a process. The type systems are inspired both by size types and by input/output types, with additional temporal information about communications.
APA, Harvard, Vancouver, ISO, and other styles
10

Errington, Jacob, Junyoung Jang, and Brigitte Pientka. "Harpoon: Mechanizing Metatheory Interactively." In Automated Deduction – CADE 28, 636–48. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_38.

Full text
Abstract:
AbstractBeluga is a proof checker that provides sophisticated infrastructure for implementing formal systems with the logical framework LF and proving metatheoretic properties as total, recursive functions transforming LF derivations. In this paper, we describe Harpoon, an interactive proof engine built on top of Beluga. It allows users to develop proofs interactively using a small, fixed set of high-level actions that safely transform a subgoal. A sequence of actions elaborates into a (partial) proof script that serves as an intermediate representation describing an assertion-level proof. Last, a proof script translates into a Beluga program which can be type-checked independently. Harpoon is available on GitHub. We have used Harpoon to replay a wide array of examples covering all features supported by Beluga. In particular, we have used it for normalization proofs, including the recently proposed POPLMark reloaded challenge.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Derivation de programme"

1

Fogg, A. "Seismic Inversion for Near Surface Applications and the Derivation of Geomechanical Properties." In 81st EAGE Conference and Exhibition 2019 Workshop Programme. European Association of Geoscientists & Engineers, 2019. http://dx.doi.org/10.3997/2214-4609.201901921.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Carrer, D., B. Geiger, J. L. Roujean, O. Hautecoeur, and C. Meurey. "Operational derivation of surface albedo and downwelling shortwave radiation based on MSG observations in the frame of the SAF programme on land surface analysis." In 2007 IEEE International Geoscience and Remote Sensing Symposium. IEEE, 2007. http://dx.doi.org/10.1109/igarss.2007.4423449.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lambkin, David, Ian Wade, and Robin Stephens. "Estimating Operational Weather Downtime: A Comparison of Analytical Methods." In ASME 2019 38th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/omae2019-95367.

Full text
Abstract:
Abstract Weather downtime (WDT) is a logistical and financial risk when planning operations or offering services. Such risk is typically identified and managed in advance using statistical predictions based on historical weather data. Estimates of programme and cost for offshore construction work may vary, not because of the nature of a task, or the environment at the location, or the capability and price of a vessel, but because estimates of WDT have been calculated in different ways. Estimates of WDT are required in order to develop a realistic programme for complex and long duration projects. Therefore, a good understanding of the analytical options and a feel for the implications of the many and varied approaches is key to finding optimal solutions regarding WDT assessments. In this paper we consider a number of variants to the two principal approaches (namely ‘Weather Windows’ and ‘Simulation Based’ WDT analysis) to the derivation of WDT statistics. WDT estimates calculated using the same environmental input data, but alternative approaches are presented. The presentation highlights the potential variation in downtime statistics that can result from the alternative analyses, aiming to improve awareness of the application of such statistics when estimating project programme and cost at the planning stages.
APA, Harvard, Vancouver, ISO, and other styles
4

Bax, SRB, C. Breedy, K. Dimopoulos, A. Kempny, A. Devaraj, S. Walsh, J. Joseph, et al. "S55 Derivation and validation of a simple longitudinal score which strongly predicts mortality in interstitial lung disease (ild) associated pulmonary hypertension (ild-ph)." In British Thoracic Society Winter Meeting 2017, QEII Centre Broad Sanctuary Westminster London SW1P 3EE, 6 to 8 December 2017, Programme and Abstracts. BMJ Publishing Group Ltd and British Thoracic Society, 2017. http://dx.doi.org/10.1136/thoraxjnl-2017-210983.61.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Poller, L., J. M. Thomson, and D. A. Taberner. "THE IMPLEMENTATION OF THE WHO INTERNATIONAL NORMALISED RATIO (INR) SYSTEM OF PROTHROMBIN TIME STANDARDISATION." In XIth International Congress on Thrombosis and Haemostasis. Schattauer GmbH, 1987. http://dx.doi.org/10.1055/s-0038-1643259.

Full text
Abstract:
The implementation of the INR system has been assessed in a group of laboratories from over fifty countries. These centres participate in the World Health Organisation International Quality Control Programme in Blood Coagulation. Prothrombin times are performed on various lyophilised human coumarinised plasmas using both the local thromboplastin reagent and British Comparative Thromboplastin (BCT) reference preparation. During 1985 and 1986 a programme of education has been undertaken whereby instructions in the derivation of INR values have been given. The calculation of INR has been shown by means of a worked example and a chart for the conversion of the prothrombin ratio with BCT to INR was included. Prior to this, prothrombin results were expressed as British Corrected Ratios (BCR) with a minority of centres using INR. In 1984 the CV varied between 23.7% - 36.8% for results with local reagents, but between 8.2% - 14.3% with BCT. This suggested that conversion into INR/ BCR was unsatisfactory. The table shows the impact of the continuing educational programme.The number of laboratories expressing results as INR has steadily increased and the CV is now approaching that obtained with BCT. The improvement in CV suggests that the general application of the INR system will help improve inter-laboratory standardisation of oral anticoagulant control and should be encouraged.
APA, Harvard, Vancouver, ISO, and other styles
6

Smith, Mike C., Ondrej Muránsky, Colin Austin, Philip J. Bendeich, and Lyndon Edwards. "Optimised Modelling of Weld Metal Constitutive Behaviour in the Net TG4 International Weld Simulation and Measurement Benchmark." In ASME 2012 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/pvp2012-78405.

Full text
Abstract:
The NeT TG4 benchmark specimen consists of a three pass type 316L TIG slot weld in a AISI type 316L plate. Phase one of the finite element simulation round robin performed on TG4 by the NeT network made the assumption that the weld metal exhibits the same mechanical behaviour as parent material. A comprehensive series of material characterisation tests on weld metal has now been completed, and these have allowed the derivation of a number of mixed isotropic-kinematic material models specifically for weld metal. The derived models have been used to improve the predicted stresses in the TG4 benchmark specimen. This paper first reviews the weld metal materials testing programme, and then discusses the optimum material hardening model fitting strategy to use for austenitic weld metal. The derived material models are tested by using them to predict residual stresses in the TG4 benchmark, and validating the predictions against the extensive database of measured residual stresses, and distortions.
APA, Harvard, Vancouver, ISO, and other styles
7

Kazerouni, L., B. Rajan, and R. K. Shyamasundar. "Derivation of Systolic Programs." In 1994 International Conference on Parallel Processing Vol. 3. IEEE, 1994. http://dx.doi.org/10.1109/icpp.1994.86.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cuvilliez, Sam, Alec McLennan, Kevin Mottershead, Jonathan Mann, and Matthias Bruchhausen. "INCEFA-PLUS Project: Lessons Learned From the Project Data and Impact on Existing Fatigue Assessment Procedures." In ASME 2020 Pressure Vessels & Piping Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/pvp2020-21106.

Full text
Abstract:
Abstract The INCEFA+ project (INcreasing Safety in nuclear power plants by Covering gaps in Environmental Fatigue Assessment) is a five year project supported by the European Commission HORIZON2020 programme, which will conclude in June 2020. This project aims to generate and analyse Environmental Assisted Fatigue (EAF) experimental data (approximately 230 fatigue data points generated on austenitic stainless steel), and focuses on the effect of several key parameters such as mean strain, hold times and surface finish, and how they interact with environmental effects (air or PWR environment). This work focuses on the analysis of the data obtained during the INCEFA+ project. More specifically, this paper discusses how the outcome of this analysis can be used to evaluate existing fatigue assessment procedures that incorporate environmental effects in a similar way to NUREG/CR-6909. A key difference between these approaches and the NUREG/CR-6909 is the reduction of conservatisms resulting from the joint implementation of the adjustment sub-factor related to surface finish effect (as quantified in the design air curve derivation) and a Fen penalization factor for fatigue assessment of a location subjected to a PWR primary environment. The analysis presented in this paper indicates that the adjustment (sub-)factor on life associated with the effect of surface finish in air (as described in the derivation of the design air curve in NUREG/CR-6909) leads to substantial conservatisms when it is used to predict fatigue lifetimes in PWR environments for rough specimens. The corresponding margins can be explicitly quantified against the design air curve used for EAF assessment, but may also depend on the environmental correction Fen factor expression that is used to take environmental effects into account.
APA, Harvard, Vancouver, ISO, and other styles
9

Denman, Richard, David A. Naumann, Walter Potter, and Gary Richter. "Derivation of programs for freshmen." In the twenty-fifth SIGCSE symposium. New York, New York, USA: ACM Press, 1994. http://dx.doi.org/10.1145/191029.191077.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zhang, Yuchen, and Yanhong A. Lin. "Automating derivation of incremental programs." In the third ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/289423.289480.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Derivation de programme"

1

Marzullo, Keith, Fred B. Schneider, and Navin Budhiraja. Derivation of Sequential, Real-Time, Process-Control Programs. Fort Belvoir, VA: Defense Technical Information Center, July 1991. http://dx.doi.org/10.21236/ada238877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Paige, Robert. Workshop on the Derivation of Parallel Programs and Architectures - Closing Report. Fort Belvoir, VA: Defense Technical Information Center, November 1991. http://dx.doi.org/10.21236/ada252742.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Derivation de programme' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography