Výsledky vyhledávání - (programmes OR (((programm OR program) OR program) OR program)) java*

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

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

Autoři: Silva, Andre Fang, Sen Monperrus, Martin

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

Témata: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

Popis souboru: print

Přístupová URL adresa: 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

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

Ethical Programs : Hospitality and the Rhetorics of Software

Autoři: James J. Brown, Jr

Resource Type: eBook.

Témata: Freedom of information, Databases--Social aspects, Internet--Moral and ethical aspects, Computer software--Social aspects

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

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

Autoři: Mery Noviyanti Sudirman Camilo Andre´s Rodri´guez-Nieto

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

Geografický termín: Indonesia

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

Autoři: Ruben L. Tagare Daniel B. Saroca Jerrwin C. Aguinaldo a další

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

Geografický termín: Philippines

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

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

Autoři: Jaber Kamali Pourya Javahery

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

Autoři: Bälter, Olle Jemstedt, Andreas Javan Abraham, Feben a další

Zdroj: JMIR Formative Research. 7

Témata: online learning, personal reminders, timeliness, self-regulated learning, adult education, education, students, learning, email, online, tool, intervention, program

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-64741
https://doi.org/10.2196/43977

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

Autoři: Petersen, Tanja Gram Abrahamsen, Bo Høiberg, Mikkel a další

Přispěvatelé: Petersen, Tanja Gram Abrahamsen, Bo Høiberg, Mikkel a další

Zdroj: EClinicalMedicine. 71

Témata: Medical and Health Sciences, Clinical Medicine, Orthopaedics, Medicin och hälsovetenskap, Klinisk medicin, Ortopedi

Přístupová URL adresa: https://doi.org/10.1016/j.eclinm.2024.102584

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

Autoři: Yusuf, Muhammad Toleng, Abdul Latief Hasrin, Hasrin a další

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

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

Geografický termín: Bali Island (Indonesia), Indonesia

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

Health 4.0: the added value of healthcare loyalty programs

Autoři: Vieira, Maria João Simões

Témata: Health 4.0, Industry 4.0, Digital transformation, Business process management, BPMN, Patient loyalty, Information systems

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10773/45963

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

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

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

Pediatric Endurance and Limb Strengthening Program With and Without Electrical Muscle Stimulation Among Children With Cerebral Palsy

Přispěvatelé: Maryam Iqbal, Student

Zdroj: Pediatric Endurance and Limb Strengthening Program With and Without Electrical Muscle Stimulation Among Children With Cerebral Palsy
Naro A, Leo A, Russo M, Casella C, Buda A, Crespantini A, Porcari B, Carioti L, Billeri L, Bramanti A, Bramanti P, Calabro RS. Breakthroughs in the spasticity management: Are non-pharmacological treatments the future? J Clin Neurosci. 2017 May;39:16-27. doi: 10.1016/j.jocn.2017.02.044. Epub 2017 Mar 3.
Ferrari A. From movement to action: a new framework for cerebral palsy. Eur J Phys Rehabil Med. 2019 Dec;55(6):852-861. doi: 10.23736/S1973-9087.19.05845-3. Epub 2019 Sep 24.
Downs (2015) reviewed the Berg Balance Scale, emphasizing its importance in physiotherapy practice.
Divita (2024) investigated the effects of high- versus low-frequency whole body vibration on TUG, BBS, and walking performance in chronic stroke patients.
Christensen et al. (2019) compared TUG performance in pregnant women with pelvic girdle pain to asymptomatic pregnant and non-pregnant women.
Cho et al. (2019) developed a dual-mode feedback-controlled cycling system designed for upper limb rehabilitation in children with cerebral palsy.
Bartels EM, Korbo L, Harrison AP. Novel insights into cerebral palsy. J Muscle Res Cell Motil. 2020 Sep;41(2-3):265-267. doi: 10.1007/s10974-020-09577-4.
Armstrong EL, Spencer S, Kentish MJ, Horan SA, Carty CP, Boyd RN. Efficacy of cycling interventions to improve function in children and adolescents with cerebral palsy: a systematic review and meta-analysis. Clin Rehabil. 2019 Jul;33(7):1113-1129. doi: 10.1177/0269215519837582. Epub 2019 Apr 2.
Armstrong EL, Boyd RN, Horan SA, Kentish MJ, Ware RS, Carty CP. Functional electrical stimulation cycling, goal-directed training, and adapted cycling for children with cerebral palsy: a randomized controlled trial. Dev Med Child Neurol. 2020 Dec;62(12):1406-1413. doi: 10.1111/dmcn.14648. Epub 2020 Aug 9.
Anwar, A., Waheed, F., Javaid, A., Zahoor, I. A., Malik, A. N., & Abbas, R. (2023). Normative Values of Berg Balance Scale and Timed Up and Go Test in Elderly Females; A Descriptive Study: Berg Balance Scale in Elderly Females. The Healer Journal of Physiotherapy and Rehabilitation Sciences, 3(6), 617-626.

Evaluation of the In-House Training Program at SDN Joho Using the Kirkpatrick Evaluation Model

Autoři: Hemamalini Nurtanio Agus Purwanto Fabiola Lagarense a další

Zdroj: International Society for Technology, Education, and Science. 2024.

Peer Reviewed: Y

Page Count: 11

Descriptors: Foreign Countries, Faculty Development, Teacher Education, Principals, Elementary School Teachers, Program Evaluation, Participant Satisfaction, Program Effectiveness, Teacher Behavior, Teacher Competencies

Geografický termín: Indonesia