Suchergebnisse - ((programmes OR programyes) OR ((programm OR program) OR program)) java*

Towards Practical and Automated Type-Based Program Analysis in Java

Autoren: Karimipour, Nima

Schlagwörter: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair

Autoren: Silva, Andre Fang, Sen Monperrus, Martin

Quelle: IEEE Transactions on Software Engineering. 51(8):2366-2380

Schlagwörter: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368761
https://doi.org/10.1109/TSE.2025.3581062

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

Autoren: Abbasi, Rosa Schiffl, Jonas Darulova, Eva et al.

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

Schlagwörter: Deductive verification, Floating-point arithmetic, Transcendental functions

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

A journey among Java neutral program variants

Autoren: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino et al.

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

Schlagwörter: Neutral program variant, Program transformation, Java, Code plasticity

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

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

Autoren: Kreyssig, Bruno Bartel, Alexandre

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

Schlagwörter: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711

Experiences of Gen Zs in Movement Competency Training Course: Basis for Contextualizing the Philippine PATH-Fit

Autoren: Ruben L. Tagare Daniel B. Saroca Jerrwin C. Aguinaldo et al.

Quelle: Journal of Education and Learning (EduLearn). 2026 20(1):113-125.

Peer Reviewed: Y

Page Count: 13

Descriptors: Foreign Countries, College Students, Higher Education, Young Adults, Physical Activities, Physical Fitness, Rural Areas, Student Attitudes, Student Experience, Program Evaluation

Geografische Kategorien: Philippines

Proteomic signatures of cervical mucus associated with fertility in Bali heifers (Bos javanicus): Implications for biomarker-based selection in artificial insemination programs.

Autoren: Yusuf, Muhammad Toleng, Abdul Latief Hasrin, Hasrin et al.

Quelle: Veterinary World. Jan2026, Vol. 19 Issue 1, p135-148. 14p.

Schlagworte: Fertility, Artificial insemination, Protein analysis, Biomarkers, Sperm-ovum interactions, Proteomics, Body fluids, Cattle

Geografische Kategorien: Bali Island (Indonesia), Indonesia

Ten-year follow-up of fracture risk in a systematic population-based screening program: the risk-stratified osteoporosis strategy evaluation (ROSE) randomised trial

Autoren: Petersen, Tanja Gram Abrahamsen, Bo Høiberg, Mikkel et al.

Weitere Verfasser: Petersen, Tanja Gram Abrahamsen, Bo Høiberg, Mikkel et al.

Quelle: EClinicalMedicine. 71

Schlagwörter: Medical and Health Sciences, Clinical Medicine, Orthopaedics, Medicin och hälsovetenskap, Klinisk medicin, Ortopedi

Zugangs-URL: https://doi.org/10.1016/j.eclinm.2024.102584

Applying Galperin Model to Teacher Professional Development: A Qualitative Case Study of a Peer Coaching Program

Autoren: Jaber Kamali Pourya Javahery

Quelle: International Journal of Training and Development. 2024 28(3):275-297.

Peer Reviewed: Y

Page Count: 23

Descriptors: Faculty Development, Peer Groups, Coaching (Performance), Program Implementation, Models, Experienced Teachers, Teacher Attitudes, Barriers, Well Being, Financial Needs, Program Evaluation, Cultural Influences

Effect of Personalized Email-Based Reminders on Participants’ Timeliness in an Online Education Program: Randomized Controlled Trial

Autoren: Bälter, Olle Jemstedt, Andreas Javan Abraham, Feben et al.

Quelle: JMIR Formative Research. 7

Schlagwörter: online learning, personal reminders, timeliness, self-regulated learning, adult education, education, students, learning, email, online, tool, intervention, program

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-64741
https://doi.org/10.2196/43977

Investigating Mathematical Knowledge for Teaching Early Childhood Education Teachers: A Starting Point for Designing a Professional Development Program

Autoren: Mery Noviyanti Sudirman Camilo Andre´s Rodri´guez-Nieto

Quelle: Educational Process: International Journal. Article e2025210 2025 16.

Peer Reviewed: Y

Page Count: 22

Descriptors: Foreign Countries, Early Childhood Teachers, Mathematics Teachers, Knowledge Base for Teaching, Faculty Development, Teacher Education Programs, Program Design, Knowledge Level, Teaching Experience, Teaching Methods

Geografische Kategorien: Indonesia

Automatic Generation of Contracts for Concurrent Java Programs

Autoren: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Weitere Verfasser: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Schlagwörter: paper, national, rank-X, rline-vvcs

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

Verfügbarkeit: 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

Autoren: Ruiz-Casares, Mónica Thombs, Brett D. Mayo, Nancy E. et al.

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

Geografische Kategorien: Indonesia

Efficient execution of Java programs on GPU

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

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

Quelle: urn:tid:203253558

Schlagwörter: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/84091

Understanding Software Merge Conflicts for Java Programs

Autoren: Shen, Bowen

Thesis Advisors: Computer Science and#38; Applications, Meng, Na, Butt, Ali, Servant Cortes, Francisco Javier, He, Fei, Tilevich, Eli

Schlagwörter: software engineering, merge conflict

Dateibeschreibung: ETD; application/pdf

Verfügbarkeit: https://hdl.handle.net/10919/129386

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

Autoren: Bahri Sumaryana, Asep Karnaesih, Erlis et al.

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

Geografische Kategorien: Indonesia

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

Autoren: St. Rodliyah Moh. Khusnuridlo Imron Fauzi et al.

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

Geografische Kategorien: Indonesia

PERANCANGAN SISTEM PENILAIAN OTOMATIS PROGRAM JAVA BERBASIS WEB PADA PERKULIAHAN PEMROGRAMAN

Autoren: Ade Sukendar

Quelle: Device. 13:216-222

Planning of Units and Program Quality Mapping in PKBM in West Java

Autoren: Komar, Oong Heryanto, Nunu Sukmana, Cucu

Quelle: JIV-Jurnal Ilmiah Visi; Vol. 18 No. 2 (2023): VISI : Jurnal Ilmiah Pendidik dan Tenaga Kependidikan Pendidikan Non Formal; 118-125
VISI : Jurnal Ilmiah Pendidik dan Tenaga Kependidikan Pendidikan Non Formal; Vol 18 No 2 (2023): VISI : Jurnal Ilmiah Pendidik dan Tenaga Kependidikan Pendidikan Non Formal; 118-125

Schlagwörter: Konsep PKBM, Quality Mapping Concept, 4. Education, Management Concept, Konsep Pemetaan Mutu, Konsep Pengelolaan, PKBM Concept

Dateibeschreibung: application/pdf

Zugangs-URL: https://journal.unj.ac.id/unj/index.php/jiv/article/view/40333

Ethical Programs : Hospitality and the Rhetorics of Software

Autoren: James J. Brown, Jr

Resource Type: eBook.

Schlagworte: Freedom of information, Databases--Social aspects, Internet--Moral and ethical aspects, Computer software--Social aspects

Categories: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Media Studies