Auswahl der wissenschaftlichen Literatur zum Thema „PIRB (Program)“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "PIRB (Program)" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "PIRB (Program)"
Simon, Marielle, Catherine Turcotte und Renée Forgette-Giroux. „Impacts du pirs en milieu scolaire“. Canadian Journal of Program Evaluation 21, Nr. 1 (März 2006): 155–74. http://dx.doi.org/10.3138/cjpe.021.008.
Der volle Inhalt der QuelleCane, Karen, Merrin Spackman und H. A. Eagles. „Puroindoline genes and their effects on grain quality traits in southern Australian wheat cultivars“. Australian Journal of Agricultural Research 55, Nr. 1 (2004): 89. http://dx.doi.org/10.1071/ar03108.
Der volle Inhalt der QuelleFong, Jennifer. „An evaluation of an education abroad program on the intercultural learning and cross-cultural adaptability skills of university undergraduates“. Higher Education Evaluation and Development 14, Nr. 2 (30.06.2020): 55–68. http://dx.doi.org/10.1108/heed-01-2020-0002.
Der volle Inhalt der QuelleHuertas-García, Ana B., Carlos Guzmán, Facundo Tabbita und Juan B. Alvarez. „Allelic Variation of Puroindolines Genes in Iranian Common Wheat Landraces“. Agriculture 12, Nr. 8 (10.08.2022): 1196. http://dx.doi.org/10.3390/agriculture12081196.
Der volle Inhalt der QuelleMatus-Cádiz, M. A., C. J. Pozniak und P. Hucl. „Puroindoline allele diversity in Canadian and northern US hard spring wheat varieties differing in kernel hardness“. Canadian Journal of Plant Science 88, Nr. 5 (01.09.2008): 873–83. http://dx.doi.org/10.4141/cjps07168.
Der volle Inhalt der QuelleJohnson, Robert L. „Consultation with the specialist“. Pediatrics In Review 16, Nr. 5 (01.05.1995): 197–99. http://dx.doi.org/10.1542/pir.16.5.197.
Der volle Inhalt der QuelleSklaire, Martin W., und Thomas K. McInerny. „The Role of the Pediatrician in School Health“. Pediatrics In Review 12, Nr. 3 (01.09.1990): 69–70. http://dx.doi.org/10.1542/pir.12.3.69.
Der volle Inhalt der QuelleDe Sousa, Luciana Alves, Gabriel Mascarenhas Maciel, Fernando Cezar Juliatti, Igor Forigo Beloti, Ana Carolina Silva Siquieroli und Andressa Alves Clemente. „Genetic dissimilarity between biofortified lettuce genotypes for leaf carotenoid levels“. Comunicata Scientiae 11 (24.08.2020): e3348. http://dx.doi.org/10.14295/cs.v11i.3348.
Der volle Inhalt der QuelleHenny, Lexi, Lauriana C. Gaudet, Kevin M. Lupo, Kenya Goods, Shadya Sanders und Yanda Zhang. „Recommendations for Interinstitutional and Interdisciplinary Research Informed by a PIRE Graduate Student Cohort Perspective“. Bulletin of the American Meteorological Society 103, Nr. 5 (Mai 2022): E1270—E1281. http://dx.doi.org/10.1175/bams-d-21-0057.1.
Der volle Inhalt der QuelleVeraksa, Aleksander N., Anastasia N. Sidneva, Margarita S. Aslanova und Valeria A. Plotnikova. „Effectiveness of Different Teaching Resources for Forming the Concept of Magnitude in Older Preschoolers with Varied Levels of Executive Functions“. Psychology in Russia: State of the Art, Nr. 4 (2022): 62–82. http://dx.doi.org/10.11621/pir.2022.0405.
Der volle Inhalt der QuelleDissertationen zum Thema "PIRB (Program)"
Graça, Sirley Maclaine da. „O Programa Bolsa Família e o seu impacto no PIB dos municípios sergipanos (2004 - 2012)“. Universidade Federal de Sergipe, 2015. https://ri.ufs.br/handle/riufs/4554.
Der volle Inhalt der QuelleEsta dissertação aborda sobre o Programa Bolsa Família, enquadrado como política pública de distribuição de renda institucionalizada no ano de 2004, esse tem como objetivo ajudar famílias que tem filhos com idade entre zero e quinze anos ou gestantes que estejam em situação de pobreza ou de extrema pobreza. Considerando que o PBF contribui para a distribuição de renda nas regiões mais pobres do Brasil, a exemplo dos municípios sergipanos, o presente estudo busca responder se há impacto de transferência de renda direta do PBF no PIB (Produto Interno Bruto) dos municípios sergipanos. Tem-se na realização deste estudo a aplicação de um modelo que verifica dentre as variáveis: valores repassados aos municípios com referencia ao Programa Bolsa Família - VPBF, receitas com royalties, quota parte do ICMS, valor adicionado – agropecuária, indústria, serviços, transferências recebidas referentes aos benefícios pagos pelo INSS (aposentadoria e pensão por morte), número da população e a variável independente (a ser explicada) - PIB de cada município, qual a que mais impacta no PIB dos municípios sergipanos. A análise consiste na utilização da técnica de análise de dados em painel, com combinação de análise transversal com série de tempos, considerando as citadas variáveis. Os resultados obtidos, considerando as variáveis aplicadas demonstram que o PBF não tem impacto significativo no PIB dos municípios estudados. Sugere-se para trabalhos futuros a proposta de realizar um estudo econométrico separado por regiões considerando suas especificidades econômicas.
Henry, Julien. „Static analysis of program by Abstract Interpretation and Decision Procedures“. Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM037/document.
Der volle Inhalt der QuelleStatic program analysis aims at automatically determining whether a program satisfies some particular properties. For this purpose, abstract interpretation is a framework that enables the computation of invariants, i.e. properties on the variables that always hold for any program execution. The precision of these invariants depends on many parameters, in particular the abstract domain, and the iteration strategy for computing these invariants. In this thesis, we propose several improvements on the abstract interpretation framework that enhance the overall precision of the analysis.Usually, abstract interpretation consists in computing an ascending sequence with widening, which converges towards a fixpoint which is a program invariant; then computing a descending sequence of correct solutions without widening. We describe and experiment with a method to improve a fixpoint after its computation, by starting again a new ascending/descending sequence with a smarter starting value. Abstract interpretation can also be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. Satisfiability modulo theories (SMT), whose efficiency has been considerably improved in the last decade, allows sparse representations of paths and sets of paths. We propose to combine this SMT representation of paths with various state-of-the-art iteration strategies to further improve the overall precision of the analysis.We propose a second coupling between abstract interpretation and SMT in a program verification framework called Modular Path Focusing, that computes function and loop summaries by abstract interpretation in a modular fashion, guided by error paths obtained with SMT. Our framework can be used for various purposes: it can prove the unreachability of certain error program states, but can also synthesize function/loop preconditions for which these error states are unreachable.We then describe an application of static analysis and SMT to the estimation of program worst-case execution time (WCET). We first present how to express WCET as an optimization modulo theory problem, and show that natural encodings into SMT yield formulas intractable for all current production-grade solvers. We propose an efficient way to considerably reduce the computation time of the SMT-solvers by conjoining to the formulas well chosen summaries of program portions obtained by static analysis.We finally describe the design and the implementation of Pagai,a new static analyzer working over the LLVM compiler infrastructure,which computes numerical inductive invariants using the various techniques described in this thesis.Because of the non-monotonicity of the results of abstract interpretation with widening operators, it is difficult to conclude that some abstraction is more precise than another based on theoretical local precision results. We thus conducted extensive comparisons between our new techniques and previous ones, on a variety of open-source packages and benchmarks used in the community
Bettonte, Gabriella. „Quantum approaches for Worst-Case Execution-Times analysis of programs“. Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG026.
Der volle Inhalt der QuelleQuantum computing is gaining popularity in the computer science community. The awareness of the potential of quantum computing started in 1981, when Richard Feynman first speculated about building a quantum computer. However, until recently, the field has known much skepticism about its long-term practical capabilities to solve problems. In particular, researchers are still facing the challenge of building scalable and reliable quantum computers. Lately, many companies have obtained encouraging results and built quantum machines with enough qubits to start conducting interesting experiments. We chose the worst-case execution-time (WCET) evaluation as the application of our research on quantum computing, as it is crucial for various real-time applications. WCET analysis guarantees that a program's execution time matches all the scheduling and timing constraints. In quantum algorithms history, attention was often given to problems with a particular mathematical structure. The WCETs evaluation, as an opposite, is not a particularly quantum-friendly problem, and it has already proven efficient classical solutions. Hence, it is worth exploring the impact of quantum computing on those kinds of problems, with the spirit of finding new and concrete fields to which quantum computing could bring its potential. If not, research on such specific fields will help to set the boundaries of which applications could benefit from quantum computing. This thesis presents different quantum approaches to perform WCETs evaluations of programs under simplified assumptions
Tarroni, Stefano. „Valutazione dell'adeguatezza del programma di gestione dell'invecchiamento negli stabilimenti a rischio di incidente rilevante: un caso di studio“. Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.
Den vollen Inhalt der Quelle findenLuo, Hu. „Quantified PIRT and uncertainty quantification for computer code validation“. Thesis, 2012. http://hdl.handle.net/1957/35475.
Der volle Inhalt der QuelleGraduation date: 2013
Access restricted to the OSU Community, at author's request, from Dec. 5, 2012 - Dec. 5, 2013
Bücher zum Thema "PIRB (Program)"
de, Assumpção Eracilda, und Costa Marinês Ulbriki, Hrsg. Resgate histórico do PIEB. Frederico Westphalen: Editora da Uri, 2005.
Den vollen Inhalt der Quelle findende, Assumpção Eracilda, und Costa Marinês Ulbriki, Hrsg. Resgate histórico do PIEB. Frederico Westphalen: Editora da Uri, 2005.
Den vollen Inhalt der Quelle findenBorbolla, Francisco Manuel Acuña, Jorge Ramos Hernández und Mario Ortiz Villacorta Lacave. Nuestro destino común: El Programa Integral de Repavimentación de Tijuana (PIRE). Tijuana, Baja California, Mexico]: XIX Ayuntamiento de Tijuana, 2010.
Den vollen Inhalt der Quelle findenBorbolla, Francisco Manuel Acuña, Jorge Ramos Hernández und Mario Ortiz Villacorta Lacave. Nuestro destino común: El Programa Integral de Repavimentación de Tijuana (PIRE). Tijuana, Baja California, Mexico]: XIX Ayuntamiento de Tijuana, 2010.
Den vollen Inhalt der Quelle findenGiorgio La Pira e il "piano latte": La funzione sociale della Centrale. Firenze: Polistampa, 2010.
Den vollen Inhalt der Quelle findenIndonesia. Direktorat Jenderal Pengerahan dan Pembinaan., Hrsg. Laporan penyusunan rancangan program penempatan transmigrasi KKLK, sisipan, dan swakarsa di 14 propinsi daerah transmigrasi: Transmigrasi PIR khusus. [Jakarta]: Departemen Transmigrasi, Direktorat Jenderal Pengerahan dan Pembinaan, 1990.
Den vollen Inhalt der Quelle findenVictoria, Castro R., und Universidad de Chile. Programa Interdisciplinario de Estudios en Biodiversidad., Hrsg. Ciencia indígena de los Andes del norte de Chile: Programa Interdisciplinario de Estudios en Biodiversidad (PIEB), Universidad de Chile. [Santiago de Chile]: Editorial Universitaria, S.A., 2004.
Den vollen Inhalt der Quelle findenIndonesia. Direktorat Jenderal Penyiapan Pemukiman. Direktorat Bina Program., Hrsg. Rencana kerangka satuan kawasan pengembangan (RKSKP) (PIR-TRANS) lokasi Timpeh, WPP XVII/SKP G, Kota Baru, Propinsi Sumatera Barat: Program tahun 1988/1989 : final report. [Jakarta]: Departemen Transmigrasi, Direktorat Jenderal Penyiapan Pemukiman, Direktorat Bina Program, 1988.
Den vollen Inhalt der Quelle findenPureza, José Manuel, Maria Raquel Freire und Paula Duarte Lopes. A Multidimensionalidade da Paz: Dinâmicas de Política Internacional e Resolução de Conflitos. Imprensa da Universidade de Coimbra, 2020. http://dx.doi.org/10.14195/978-989-26-1262-1.
Der volle Inhalt der QuelleVarela Villegas, Rodrigo, und Carlos Arango. Actividad emprendedora. Colombia un país en reactivación: 2021-2022. Universidad Icesi, 2022. http://dx.doi.org/10.18046/eui/gem.2022.
Der volle Inhalt der QuelleBuchteile zum Thema "PIRB (Program)"
Huang, Xiaobing, Tian Zhao und Yu Cao. „PIR“. In Web Design and Development, 748–71. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-8619-9.ch035.
Der volle Inhalt der QuelleSina D., Ilyass. „Microcrédits aux plus pauvres et sécurité sociale a Pira (Bénin)“. In Aux carrefours de la langue, de la littérature, de la didactique et de la société : la recherche francophone en action, 171–83. Observatoire européen du plurilinguisme, 2021. http://dx.doi.org/10.3917/oep.agbef.2021.01.0171.
Der volle Inhalt der QuelleCholet, Théo. „Annuaire français de relations internationales“. In Annuaire français de relations internationales, 181–94. Éditions Panthéon-Assas, 2024. http://dx.doi.org/10.3917/epas.ferna.2024.01.0181.
Der volle Inhalt der QuelleGarcia Junior, Nelson Calsavara. „A POLÍTICA ECONÔMICA DO GOVERNO LULA: UMA ANÁLISE DO I PLANO DE ACELERAÇÃO DO CRESCIMENTO“. In Perspectivas e reflexões em Sociologia, 10–24. Bookerfield Editora, 2021. http://dx.doi.org/10.53268/bkf21091601.
Der volle Inhalt der QuelleFischer, G., und J. U. Rahfeld. „Escherichia coli parvulin“. In Guidebook to Molecular Chaperones and Protein-Folding Catalysts, 434–35. Oxford University PressOxford, 1997. http://dx.doi.org/10.1093/oso/9780198599494.003.00171.
Der volle Inhalt der QuelleDi Carvalho, Maria Angélica, Michelly Casagrande Stragliotto, José Alves dos Santos Júnior und Dáfilla Yara Oliveira de Brito. „AVANÇOS NA HIBRIDAÇÃO E POLINIZAÇÃO CONTROLADA: IMPULSIONANDO O SETOR DE FLORESTAS PLANTADAS NO BRASIL“. In Tópicos Especiais em Engenharia Florestal - Volume 1, 9–21. Editora Científica Digital, 2024. http://dx.doi.org/10.37885/240416456.
Der volle Inhalt der QuelleM, Santhiya, Siva Rathnam M, Radha Krishnan T und Nishanth S. „Smart Forest Fire Identification and Notification System Using Iot Based Wireless Sensor Networks“. In Intelligent Systems and Computer Technology. IOS Press, 2020. http://dx.doi.org/10.3233/apc200203.
Der volle Inhalt der QuelleCamberos Castro, Mario, und Joaquín Bracamontes Nevárez. „La crisis del COVID-19 y su impacto en la economía de México y Sonora: la efectividad de la política social de la 4T para combatirla“. In Política social en tiempos de la Cuarta Transformación. Continuidad o cambio de paradigma, 289–308. Ediciones Comunicación Científica, 2023. http://dx.doi.org/10.52501/cc.081.12.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "PIRB (Program)"
Hassanien, Sherif, Len Leblanc, Javier Cuervo und Karmun Cheng. „Pipeline Integrity Reliability Analysis Levels“. In 2016 11th International Pipeline Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/ipc2016-64423.
Der volle Inhalt der QuelleNie, Wenjing. „Research on PIR Technology Program“. In 2022 2nd International Conference on Electronic Information Technology and Smart Agriculture (ICEITSA). IEEE, 2022. http://dx.doi.org/10.1109/iceitsa57468.2022.00055.
Der volle Inhalt der QuelleOthman, Hisham, Khoi Vu, Atri Bera, Cody Newlun und James Ellison. „Probabilistic Integrated Resource Planning (pIRP).“ In Proposed for presentation at the DOE Energy Storage Program Peer Review held October 11-13, 2022 in Albuquerque, NM. US DOE, 2022. http://dx.doi.org/10.2172/2005435.
Der volle Inhalt der QuelleCalderón, Roberto, Jorge Augusto Arredondo, Erasmo Cadenas und Fernando Mayagoitia. „Vivienda net-zero en Mexicali, B.C, un camino hacia las políticas energéticas en desarrollos habitacionales sustentables“. In International Conference Virtual City and Territory. Mexicali: Universidad Autónoma de Baja California, 2010. http://dx.doi.org/10.5821/ctv.7634.
Der volle Inhalt der QuelleKawada, Ken-ichi, Ikken Sato, Yoshiharu Tobita, Werner Pfrang, Laurence Buffe und Emmanuelle Dufour. „Development of PIRT (Phenomena Identification and Ranking Table) for SAS-SFR (SAS4A) Validation“. In 2014 22nd International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/icone22-30679.
Der volle Inhalt der QuelleJurado Paz, Irina Margarita. „Articulación de la proyección social con la gestión universitaria en innovación social. Una mirada hacia la realidad del entorno y la contribución hacia él“. In INNODOCT 2018. València: Editorial Universitat Politècnica de València, 2018. http://dx.doi.org/10.4995/inn2018.2018.8831.
Der volle Inhalt der QuelleFong, Jeffrey T., N. Alan Heckert, James J. Filliben und Steven R. Doctor. „Three Approaches to Quantification of NDE Uncertainty and a Detailed Exposition of the Expert Panel Approach Using the Sheffield Elicitation Framework“. In ASME 2018 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/pvp2018-84771.
Der volle Inhalt der QuelleWhite, Jeff J., James N. Carroll und Howard E. Haines. „Emissions From Snowmobile Engines Using Bio-based Fuels and Lubricants“. In Small Engine Technology Conference & Exposition. 10-2 Gobancho, Chiyoda-ku, Tokyo, Japan: Society of Automotive Engineers of Japan, 1997. http://dx.doi.org/10.4271/978483.
Der volle Inhalt der QuelleChoi, Yong-Joon. „Technical Maturity Assessment of Risk-Informed Safety Analysis Tools“. In 2020 International Conference on Nuclear Engineering collocated with the ASME 2020 Power Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/icone2020-16700.
Der volle Inhalt der QuelleEstrella Engelmann, Jaime. „FUENTES DE FINANCIAMIENTO NACIONALES E INTERNACIONALES PARA INVESTIGACIÓN“. In V Congreso de Investigación Desarrollo en Innovación de la Universidad Internacional de Ciencia y Tecnología. Universidad Internacional de Ciencia y Tecnología, 2021. http://dx.doi.org/10.47300/978-9962-5599-8-6-01.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "PIRB (Program)"
Casper, Gary, Stefanie Nadeau und Thomas Parr. Acoustic amphibian monitoring, 2019 data summary: Pictured Rocks National Lakeshore. National Park Service, Dezember 2022. http://dx.doi.org/10.36967/2295509.
Der volle Inhalt der QuelleBorregaard, Nicola. Programa País de Eficiencia Energética: ¡Con la energía de todos! Inter-American Development Bank, November 2006. http://dx.doi.org/10.18235/0007742.
Der volle Inhalt der QuelleAlcázar, Lorena, und Alan Sánchez. El gasto público en infancia y niñez en América Latina y el Caribe: ¿Cuánto y cuán efectivo? Inter-American Development Bank, Mai 2016. http://dx.doi.org/10.18235/0007693.
Der volle Inhalt der QuelleDo Canto, Odilon Antônio Marcuzzo. Incentivos para apoyar la innovación en el sector privado: La experiencia brasileña. Inter-American Development Bank, April 2007. http://dx.doi.org/10.18235/0007787.
Der volle Inhalt der QuelleMac Dowell, Maria Cristina, André Martínez Fritscher, Renata Motta Café, Ana Lúcia Dezolt und Luis Felipe De Oliveira Silva Araújo. Impulsionando as receitas locais por meio da modernização da gestão fiscal: o caso do PNAFM III. Inter-American Development Bank, Juli 2024. http://dx.doi.org/10.18235/0013034.
Der volle Inhalt der QuelleDe Groote, Roberto. Extensionismo tecnológico en Centroamérica, Panamá y República Dominicana. Inter-American Development Bank, Juli 2016. http://dx.doi.org/10.18235/0007695.
Der volle Inhalt der QuelleLema, Daniel, Marcos Gallacher, César Bustamante, Gonzalo Muñoz, Carmine Paolo De Salvo, Sergio Ardila und Gonzalo Rondinone. Políticas agrícolas en México: una visión agregada y un análisis de programas clave. Banco Interamericano de Desarrollo, August 2022. http://dx.doi.org/10.18235/0004439.
Der volle Inhalt der QuelleArias Ortiz, Elena, Fernando Vargas, Maren Vairo, Luis Rubalcaba, Diego Aboal, Paula Garda, Alejandro Rasteletti und Gustavo Crespi. La innovación y la nueva economía de servicios en América Latina y el Caribe: Retos e implicaciones de política. Inter-American Development Bank, Oktober 2015. http://dx.doi.org/10.18235/0006495.
Der volle Inhalt der QuelleRohwerder, Brigitte. Equitable Support for Livelihoods and Food. Institute of Development Studies, Juli 2023. http://dx.doi.org/10.19088/core.2023.008.
Der volle Inhalt der QuelleRohwerder, Brigitte. Apoyo equitativo para la obtención de medios de sustento y alimentos. Institute of Development Studies, August 2023. http://dx.doi.org/10.19088/core.2023.009.
Der volle Inhalt der Quelle