Suchergebnisse - (((( vida java program ) OR ( moda java program ))) OR ( nova java program ))~

Programa Becarios de Posgrado de Investigación en Diseño VI y VII Plenarios de Becarios 2025: Anexo 2-2025. (Spanish)

Quelle: Cuadernos del Centro de Estudios de Diseño y Comunicación; 2026/2027, Vol. 29 Issue 291, p243-262, 20p

Schlagwörter: DESIGN, URBAN planning, SCHOLARSHIPS, RESEARCH & development projects, UNIVERSITIES & colleges, SCHOLARLY communication, ACADEMIC conferences, WOMEN photographers

GRID superscalar: a programming model for the Grid

Autoren: Sirvent Pardell, Raül

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.tdx.cat/TDX-1118110-124150
http://hdl.handle.net/10803/6015
https://dx.doi.org/10.5821/dissertation-2117-93329

Geração de propriedades sobre programas Java a partir de objetivos de teste

Generation of Java program properties from test purposes

Autoren: Hanazumi, Simone

Thesis Advisors: Melo, Ana Cristina Vieira de

Schlagwörter: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal

Dateibeschreibung: application/pdf

Verfügbarkeit: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

Geração de propriedades sobre programas Java a partir de objetivos de teste

Generation of Java program properties from test purposes

Autoren: Simone Hanazumi

Thesis Advisors: Ana Cristina Vieira de Melo, Patricia Duarte de Lima Machado, Ricardo Luis de Azevedo da Rocha, Valdivino Alexandre Santiago Junior, Flavio Soares Correa da Silva

Quelle: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Schlagwörter: Especificação de programas, Java, Objetivos de teste, Verificação formal, Formal verification, Program specification, Test purposes

Verfügbarkeit: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

ISEV2025 Abstract Book.

Quelle: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

Efforts To Prevent Anemia Through Education On Worms And Checking Hemoglobin (Hb) Levels Of Students At Cikiwul 1 State Elementary School, Bantar Gebang, Bekasi City, West Java

Autoren: Diah Lestari Bagya Mujianto Dewi Inderiati et al.

Quelle: International Journal Of Community Service. 5:415-422

Effect of sex ratio and different egg storage duration on fertility, hatchability, and normality of Kedu chicken eggs.

Autoren: Mustofa, Fatmawati Zahra, Shinta N. Setiatin, Enny T. et al.

Quelle: Journal of Advanced Veterinary Research. 2026, Vol. 16 Issue 1, p67-71. 5p.

Isolation and phylogenetic characterization of Sarcocystis singaporensis isolates from Surabaya python snakes (Malayopython reticulatus) as a biological control agent for rats.

Autoren: Aksono, Eduardus Bimo Sunarso, Agus Yunus, Muchammad et al.

Quelle: Open Veterinary Journal. 2026, Vol. 16 Issue 1, p147-156. 10p.

Schlagworte: Biological pest control agents, Sarcocystis, Phylogeny, Pythons, Rat diseases, DNA sequencing, Blood testing

Geografische Kategorien: Surabaya (Indonesia)

Comparative evaluation of five commercial broiler feeds on carcass traits in Indonesia.

Autoren: Sarjana, Teysar A. Shihah, Hanna D. Muryani, Rina et al.

Quelle: Journal of Advanced Veterinary Research. 2025, Vol. 15 Issue 6, p913-918. 6p.

Phenotypic Resistance of Salmonella enterica to Antibiotics in Imported Meats in Tema Metropolis, Ghana.

Autoren: Adzitey, Frederick Anachinaba, Innocent Allan Susilo, Agus et al.

Quelle: World's Veterinary Journal. Dec2025, Vol. 15 Issue 4, p960-967. 8p.

Meta-Analysis: The effect of post-hatch delayed feed access on the physiological conditions of broiler chickens during the golden period.

Autoren: Sarjana, Teysar A. Putri, Enjinore E. Sugiharto, Sugiharto et al.

Quelle: Journal of Advanced Veterinary Research. 2025, Vol. 15 Issue 5, p696-708. 13p.

Política externa e diplomacia cultural: um overview sobre a difusão do café brasileiro nos EUA e no Japão. (Portuguese)

Alternate Title: Foreign policy and cultural diplomacy: an overview on the dissemination of brazilian coffee in the USA and Japan. (English)
Política exterior y diplomacia cultural: una panorama sobre la difusión del café brasileño en EE.UU. y Japón. (Spanish)

Autoren: DA SILVA, EUGÊNIA PEREIRA SERAFIM, MILENA PAVAN

Quelle: Revista Espaço de Diálogo e de Desconexão; dez2024, Vol. 16 Issue 2, p15-23, 9p

Schlagwörter: EXHIBITIONS, CULTURAL diplomacy, CULTURAL policy, INTERNATIONAL relations, SOCIAL space

Geografische Kategorien: JAPAN

Analysis Techniques for Software Maintenance

Autoren: Pérez Rubio, Sergio

Thesis Advisors: Silva Galiana, Josep Francesc, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Schlagwörter: Análisis de programas, Mantenimiento de software, Diseño por contrato, Pruebas de regresión, Segmentación de programas, Software maintenance, Program analysis, Program slicing, Regression testing, Design-by-contract, LENGUAJES Y SISTEMAS INFORMATICOS

Verfügbarkeit: http://hdl.handle.net/10251/193146

Differential expression of TLR and CXCR genes in mammary HC11 cells challenged with Bacillus cereus and Bacillus subtilis: Implications for mastitis resistance.

Autoren: Dilla Yanthi, Nova Anggraeni, Anneke Said, Syahruddin et al.

Quelle: Veterinary World. Apr2025, Vol. 18 Issue 4, p1014-1024. 11p.

Schlagworte: Gram-positive bacterial infections, Interleukin-1, Gene expression, Bacillus cereus, Cell receptors, Mastitis, Chemokine receptors, Bovine mastitis

The Effectiveness of the Peer Empowerment Program: A School-Based Intervention in Adolescents.

Alternate Title: La eficacia del programa de empoderamiento entre pares: una intervención escolar en adolescentes. (Spanish)

Autoren: Rachmawati, Praba Diyan Krisnana, Ilya Kurnia, Iqlima Dwi et al.

Quelle: Gaceta Médica de Caracas; 2026 Supplement, Vol. 134, pS60-S67, 8p

One stop shop V: taxonomic update with molecular phylogeny for important phytopathogenic genera: 101–125 (2024).

Autoren: Jayawardena, Ruvishika S. Hyde, Kevin D. Aumentado, Herbert D. R. et al.

Quelle: Fungal Diversity; Jan2025, Vol. 130 Issue 1, p263-429, 167p

Plantas con uso potencial en el sur del Departamento de Caquetá, Colombia. (Spanish)

Alternate Title: Plants with potential use in the Southern Department of Caquetá, Colombia. (English)

Autoren: Rivera, Laura L. Barrera, Jaime A. Castro, Sandra Y.

Quelle: Boletín Latinoamericano y del Caribe de Plantas Medicinales y Aromáticas; ene2025, Vol. 24 Issue 1, p125-141, 17p

Schlagwörter: SECONDARY forests, NUMBERS of species, NATIVE species, ECONOMIC expansion, CITIES & towns

Global Trends in the Availability of Dietary Data in Low and Middle-Income Countries.

Autoren: de Quadros, Victoria Padula Balcerzak, Agnieszka Allemand, Pauline et al.

Quelle: Nutrients. Jul2022, Vol. 14 Issue 14, pN.PAG-N.PAG. 29p.

Evaluation of Polymerase Chain Reaction Conditions and Primer Specificity for Plasmodium vivax 18S rRNA gene Detection Across Different Parasite Life Stages.

Alternate Title: Evaluación de las condiciones de la reacción en cadena de la polimerasa y de la especificidad de los cebadores para la detección del gen ARNr 18S del Plasmodium vivax en diferentes etapas del ciclo de vida del parásito. (Spanish)

Autoren: Noviar, Ganjar Rahmah, Alda Rahayu, Indra Lesmana et al.

Quelle: Gaceta Médica de Caracas; 2026 Supplement, Vol. 134, pS125-S134, 10p

Analisis Sebaran Genangan Banjir Pada Muara DAS Lamong Dengan Menggunakan Program SFINCS (Super-Fast Inundation of Coasts). (Indonesian)

Alternate Title: Flood Inundation Mapping in the Downstream Area of the Lamong Watershed Using SFINCS (Super-Fast Inundation of Coasts). (English)

Autoren: Adilah, Ahmad Daffa Dermawan, Very Sajali, M. Amar

Quelle: Jurnal Teknologi dan Rekayasa Sumber Daya Air; 2026, Vol. 6 Issue 1, p521-532, 12p