Search Results - (((( vida java program ) OR ( vody java program ))) OR ( nova java program ))

GRID superscalar: a programming model for the Grid

Authors: Sirvent Pardell, Raül

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

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

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing

File Description: application/pdf

Access 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

Authors: Hanazumi, Simone

Thesis Advisors: Melo, Ana Cristina Vieira de

Subject Terms: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal

File Description: application/pdf

Availability: 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

Authors: 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

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

Subject Terms: Especificação de programas, Java, Objetivos de teste, Verificação formal, Formal verification, Program specification, Test purposes

Availability: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

Land use dynamics in urban and rural areas of East Java (2015-2025).

Authors: Masudi, Ach Fauzan Mandala, Marga Indarto, Indarto et al.

Source: Ecological Engineering & Environmental Technology (EEET); 2025, Vol. 26 Issue 12, p250-262, 13p

Subject Terms: LAND use, URBANIZATION, RURAL development, REMOTE-sensing images, RANDOM forest algorithms, LANDSCAPE changes, SUSTAINABLE development

Geographic Terms: SURABAYA (Indonesia), JAWA Timur (Indonesia)

ISEV2025 Abstract Book.

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

Inovação em TIC e Sistemas de Gestão da Aprendizagem: uma Análise Sistemática e Perspectivas para a Segurança Pública. (Portuguese)

Alternate Title: Innovation in ICT and Learning Management Systems: a Systematic Analysis and Perspectives for Public Security. (English)
Innovación en TIC y Sistemas de Gestión del Aprendizaje: un Análisis Sistemático y Perspectivas para la Seguridad Pública. (Spanish)

Authors: Melo, Wender Lemes de Fuchigami, Hélio Yochihiro

Source: GeSec: Revista de Gestao e Secretariado; 2025, Vol. 16 Issue 8, p1-26, 26p

Medusae (Cnidaria) of Reunion Island (South West Indian Ocean): Diversity, Abundance and Distribution.

Authors: Bourmaud, Chloé A.-F. Slobodov, Sergey Guilhaumon, François et al.

Source: Diversity (14242818); Oct2025, Vol. 17 Issue 10, p694, 43p

Subject Terms: JELLYFISHES, CNIDARIA, ISLANDS, HYDROZOA, ANIMAL diversity, SPECIES diversity, DISPERSAL (Ecology), MEDUSOZOA

Geographic Terms: REUNION

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

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

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

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

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

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

Motherhood in accounting: An approach from the work-life balance perspective.

Alternate Title: La maternidad en la contabilidad: Un abordaje desde la perspectiva work-life balance. (Spanish)
Maternidade na contabilidade: Uma abordagem sob a perspectiva work-life balance. (Portuguese)

Authors: Dalmutt Kruger, Silvana Andrade dos Santos, Edicreia Hillen, Cristina

Source: Contextus: Revista Contemporanea de Economia e Gestao; 2025 Special Issue, Vol. 22, p1-13, 25p

Subject Terms: GRADUATE education, WORK-life balance, SPEECH perception, RESEARCH personnel, SOCIAL change

Evaluation of SARS-CoV-2 Detection Efficiency by qRT-PCR Assays, Mainly on New Variants in East Java.

Authors: Vida Loka, Ega Reviera Juniastuti Megasari, Ni Luh Ayu et al.

Source: Trends in Sciences; Sep2025, Vol. 22 Issue 9, p1-13, 13p

Subject Terms: SARS-CoV-2, COVID-19, REVERSE transcriptase polymerase chain reaction, SARS-CoV-2 Omicron variant, COMMUNICABLE diseases

Processo de privatização e de capitalização da oferta do itinerário de formação técnica e profissional do novo ensino médio na rede estadual paulista. (Portuguese)

Alternate Title: Privatization and capitalization process of the offer of the technical and professional training itinerary of the new high school in the paulista state network. (English)
Proceso de privatización y capitalización de la oferta del itinerario de formación técnica y profesional de la nueva escuela secundaria de la red estatal paulista. (Spanish)

Authors: Piolli, Evaldo Sala, Mauro

Source: Revista HISTEDBR on-line; 2025, Vol. 25, p1-20, 20p

Subject Terms: PRIVATIZATION, TECHNICAL education, EDUCATIONAL change, MONETIZATION, SECONDARY education, PROFESSIONAL education, PUBLIC-private sector cooperation

Geographic Terms: SAO Paulo (Brazil : State), BRAZIL

Behavioral barriers in the inclusion of neglected and underutilized species into mainstream diets.

Authors: Atakan, Pelin Günden, Cihat Yercan, Murat et al.

Source: Frontiers in Sustainable Food Systems; 2025, p1-17, 17p

Subject Terms: CONSUMER behavior, PROSPECT theory, CROPS, BIODIVERSITY, NUDGE theory, AGROBIODIVERSITY

Respostas do microplâncton marinho durante os Eventos Anóxicos Oceânicos (OAEs) do Cretáceo. (Portuguese)

Alternate Title: Marine microplankton responses during the Cretaceous Oceanic Anoxic Events (OAEs). (English)

Authors: Rodrigues Bruno, Mauro Daniel De Jesus Francisco Tungo, Edna Luft-Souza, Fernanda et al.

Source: Geologia USP: Série Científica; jun2025, Vol. 25 Issue 2, p3-32, 30p

Subject Terms: CRETACEOUS Period, FOSSIL microorganisms, ANOXIC waters, BIOGEOCHEMICAL cycles, PALEOGEOGRAPHY, ANALYTICAL geochemistry, BIOLOGICAL evolution, MARINE phytoplankton

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)

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

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

Subject Terms: EXHIBITIONS, CULTURAL diplomacy, CULTURAL policy, INTERNATIONAL relations, SOCIAL space

Geographic Terms: JAPAN

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

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

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

Exploration of the diversity of local green fodder of goats in North Biak District, Biak Numfor Regency.

Authors: Tethool, Rina M. E. S. Santoso, Budi Saragih, Evi Waritan

Source: Journal of Tropical Animal & Veterinary Science / Jurnal Ilmu Peternakan dan Veteriner Tropis. Sep2025, Vol. 15 Issue 3, p98-106. 11p.

Applets para la enseñanza de las matemáticas financieras. (Spanish)

Alternate Title: Applets for teaching financial mathematics. (English)
Applets para o ensino da matemática financeira. (Portuguese)

Authors: Jiménez Sánchez, Jorge Iván

Source: Revista Lasallista de Investigación; jul-dic2022, Vol. 19 Issue 2, p17-35, 19p

Subject Terms: COVID-19 pandemic, YOUNG adults, MATHEMATICAL finance, WEBSITES, INFORMATION & communication technologies, TEACHING methods, MATHEMATICS education, JAVA applets, TEACHERS, PAYMENT, SCHOOL dropouts

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

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

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

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

TELEVIZIJSKE ODDAJE IN PRISPEVKI O RAZSTAVAH MUZEJA NEEVROPSKIH KULTUR GORIČANE. (Slovenian)

Alternate Title: Television Programmes and their Segments on the Exhibitions of the Museum of NonEuropean Cultures in Goričane. (English)

Authors: Furlan, Nadja Valentinčič

Source: Glasnik Slovenskega Etnološkega Društva; 2024, Vol. 64 Issue 2, p28-42, 15p

Subject Terms: POSTCOLONIALISM, MUSEUM exhibits, SOCIAL forces, TELEVISION programmers & programming, INDIGENOUS peoples