Výsledky vyhledávání - programmes Java

Gleipner: A benchmark for gadget chain detection in Java Deserialization Vulnerabilities

Autoři: Kreyssig, Bruno Bartel, Alexandre

Zdroj: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21

Témata: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Autoři: Abbasi, Rosa Schiffl, Jonas Darulova, Eva a další

Zdroj: International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY. 25(2):185-204

Témata: Deductive verification, Floating-point arithmetic, Transcendental functions

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

A journey among Java neutral program variants

Autoři: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino a další

Zdroj: Genetic Programming and Evolvable Machines. 20(4):531-580

Témata: Neutral program variant, Program transformation, Java, Code plasticity

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

Evidence on the Beneficial Impact of Food Voucher Programs in Java Island

Autoři: Nur Afini Muliandari Rus'an Nasrudin

Zdroj: Jurnal Ekonomi Pembangunan: Kajian Masalah Ekonomi dan Pembangunan, Pp 1-20 (2025)

Témata: food voucher, welfare, java, multi-arm intervention, Economics as a science, HB71-74

Popis souboru: electronic resource

Relation: https://journals2.ums.ac.id/index.php/jep/article/view/10693; https://doaj.org/toc/1411-6081; https://doaj.org/toc/2460-9331

Přístupová URL adresa: https://doaj.org/article/08d0293588d04fd886b9a548a7012d34

Youth Leadership Development through the Patriot Desa Program of West Java

Autoři: Asraar Kamal Azmi Hakimul Ikhwan Umi Listyaningsih

Zdroj: Populasi, Vol 32, Iss 2, Pp 69-85 (2024)

Témata: patriot desa, youth leadership, leadership program, youth leadership development, west java, Demography. Population. Vital events, HB848-3697, Social sciences (General), H1-99

Popis souboru: electronic resource

Relation: https://jurnal.ugm.ac.id/populasi/article/view/102693; https://doaj.org/toc/0853-0262; https://doaj.org/toc/2476-941X

Přístupová URL adresa: https://doaj.org/article/839653358b1446fd878295449120fa3d

Towards Practical and Automated Type-Based Program Analysis in Java

Autoři: Karimipour, Nima

Témata: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

Assessment of community sustainability on social forestry program implementation in Indonesia: Insights from agroforestry model in Java and Sumatra

Autoři: Rospita Odorlina Situmorang Sanudin Ary Widiyanto a další

Zdroj: Trees, Forests and People, Vol 23, Iss , Pp 101124- (2026)

Témata: Sustainability, Social forestry, Indonesia, Community forest organization, Governance, Livelihood, Forestry, SD1-669.5, Plant ecology, QK900-989

Popis souboru: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2666719325003504; https://doaj.org/toc/2666-7193

Přístupová URL adresa: https://doaj.org/article/2d24b055620e474893747438692b78ac

Examining communication strategy and implementation of the social forestry program of the Ministry of Environment and Forestry Indonesia in Bandung West Java

Autoři: Catur Nugroho Roro Retno Wulan Astri Wulandari a další

Zdroj: Cogent Social Sciences, Vol 11, Iss 1 (2025)

Témata: Communication strategy, communication barriers, social forestry, environmental communications, case study, Environmental Communication, Social Sciences

Popis souboru: electronic resource

Relation: https://doaj.org/toc/2331-1886

Přístupová URL adresa: https://doaj.org/article/29d5007cebf144e58fe122d3c402cc8b

Strengthening vector control programs through workforce capacity assessment in Central Java Province Indonesia

Autoři: Sidiq Setyo Nugroho Riris Andono Ahmad Eggi Arguni a další

Zdroj: Discover Public Health, Vol 23, Iss 1 (2026)

Témata: Indonesia, Vector control, Workforce development, Public health entomologists, Qualitative research, Public aspects of medicine, RA1-1270

Popis souboru: electronic resource

Relation: https://doaj.org/toc/3005-0774

Přístupová URL adresa: https://doaj.org/article/cf0c3886e6be42f9ba51f7349796fa64

Effectiveness of the Sports Training Program Monitor on extracurricular activities of high school students in Central Java

Autoři: Rivan Saghita Pratama Nasuka Setya Rahayu a další

Zdroj: Sport TK, Vol 14 (2025)

Témata: Extracurricular Sports, Monitoring, Senior High School, Students, Sports, GV557-1198.995

Popis souboru: electronic resource

Relation: https://revistas.um.es/sportk/article/view/590231; https://doaj.org/toc/2340-8812

Přístupová URL adresa: https://doaj.org/article/fefb40130a9d47e385de603303fa5355

Implementation of Double Track Program Policy in High School Based on East Java Governor Regulation No. 139 of 2018

Autoři: Zumrotun Nisaa Ul Jannah Choirul Saleh Ainul Hayat

Zdroj: Edukasia, Vol 6, Iss 1 (2025)

Témata: Policy Implementation, Double Track Program, Skills, Education, Islam, BP1-253

Popis souboru: electronic resource

Relation: https://jurnaledukasia.org/index.php/edukasia/article/view/1421; https://doaj.org/toc/2721-1150; https://doaj.org/toc/2721-1169

Přístupová URL adresa: https://doaj.org/article/15bc9c71c6264453bd23d274f15f511c

Evaluation of the pencak silat coaching program in East Java: A study using the CIPP model

Autoři: Heri Wahyudi Roy Januardi Irawan Achmad Widodo a další

Zdroj: Sport TK, Vol 14 (2025)

Témata: CIPP Model, Coaching, Evaluation, Pencak Silat, Sport Development, Sports, GV557-1198.995

Popis souboru: electronic resource

Relation: https://revistas.um.es/sportk/article/view/678531; https://doaj.org/toc/2340-8812

Přístupová URL adresa: https://doaj.org/article/c9e6920bc40e4485bd4b3d2eab22d8bc

Efficient execution of Java programs on GPU

Autoři: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Přispěvatelé: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Zdroj: urn:tid:203253558

Témata: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Popis souboru: application/pdf

Dostupnost: https://hdl.handle.net/1822/84091

Automatic Generation of Contracts for Concurrent Java Programs

Autoři: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a další

Přispěvatelé: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a další

Témata: paper, national, rank-X, rline-vvcs

Popis souboru: application/pdf

Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597

Dostupnost: http://hdl.handle.net/10362/162732

The 'Families First' Program to Prevent Child Abuse: Results of a Cluster Randomized Controlled Trial in West Java, Indonesia

Autoři: Ruiz-Casares, Mónica Thombs, Brett D. Mayo, Nancy E. a další

Zdroj: Prevention Science. Nov 2022 23(8):1457-1469.

Peer Reviewed: Y

Page Count: 13

Descriptors: Family Programs, Child Abuse, Prevention, Foreign Countries, Discipline, Intervention, Punishment

Geografický termín: Indonesia

Optimizing the Quality of Islamic Senior High School Graduates through Curriculum Management of Vocational Programs Based on Pesantrens in East Java, Indonesia

Autoři: St. Rodliyah Moh. Khusnuridlo Imron Fauzi a další

Zdroj: Cogent Education. 2024 11(1).

Peer Reviewed: Y

Page Count: 15

Descriptors: Islam, Religious Schools, High School Graduates, Curriculum Development, Educational Quality, Vocational Education, Foreign Countries, Curriculum Implementation, Boarding Schools, Administrators, Administrator Attitudes, Barriers, Student Attitudes, Industry, School Business Relationship, Curriculum Design, Institutional Characteristics, Participant Characteristics, Learning Processes, Skill Development, Labor Market, Employment Potential, Job Skills

Geografický termín: Indonesia

The Implementation of the Allocation and Distribution of School Operational Assistance Program for Compulsory Education Units in Kuningan Regency, West Java Province

Autoři: Bahri Sumaryana, Asep Karnaesih, Erlis a další

Zdroj: Journal of Social Studies Education Research. 2019 10(1):178-192.

Peer Reviewed: Y

Page Count: 15

Descriptors: Foreign Countries, Educational Finance, Resource Allocation, Compulsory Education, Program Implementation, Financial Support, Low Income Students, Economically Disadvantaged, Elementary Schools, Middle Schools, Junior High Schools

Geografický termín: Indonesia

The Legal Impact of Free Nutritious Food Programs Due to Mass Poisoning in East Java Region Reviewed from a Human Rights Perspective.

Autoři: Raamdhani, Fitri Ayu Cornelis, Vieta Imelda Astutik, Sri a další

Zdroj: Eduvest: Journal Of Universal Studies. Dec2025, Vol. 5 Issue 12, p10537-10554. 18p.

Témata: *HUMAN rights, *FOOD safety laws, *TOXIC substance exposure, *FOOD relief, *OBLIGATIONS (Law), *NEGLIGENCE

Geografický termín: JAWA Timur (Indonesia)

Student Responses to the Policy of KPID West Java Regarding Religious Programs in Television

Autoři: Manap Solihat Manap Melly Maulin P. Melly Calista Azzahra Calista

Zdroj: MediaTor, Vol 16, Iss 2, Pp 416-427 (2024)

Témata: religious program, student response, west java regional indonesian broadcasting commission, Communication. Mass media, P87-96

Popis souboru: electronic resource

Relation: https://journals.unisba.ac.id/index.php/mediator/article/view/2809; https://doaj.org/toc/1411-5883

Přístupová URL adresa: https://doaj.org/article/a49abb89c3004cfba220f017c6d7ffd8

Applying an interprofessional approach in a student-led health promotion program for hypertension among older adults in Java: a quasi-experimental study.

Autoři: Dewi, Enita Muhlisin, Abi Zahra, Riska Cahyani a další

Zdroj: International Journal of Health Promotion & Education. Dec2025, p1-13. 13p.

Témata: *HYPERTENSION, *HEALTH promotion, *INTERDISCIPLINARY education, *OLDER people, *FIELD research, *CULTURAL values, *INTERPROFESSIONAL relations

Geografický termín: INDONESIA, JAWA Tengah (Indonesia), JAVA (Indonesia)