Search Results - "program"

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Agriculture for Improved Nutrition: Seizing the Momentum by Pandya-Lorch, Rajul

Subjects: “…development programs…”
DOAB: download the publication
DOAB: description of the publication

Outdoor Adventure Education Trends and New Directions

Subjects: “…outdoor programs…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Database Performance at Scale A Practical Guide by Mendes, Felipe Cardeneti

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen by Köpf, Florian

Subjects: “…Adaptive Dynamic Programming (ADP); Reinforcement Learning (RL); Persistent Excitation (PE); adaptive Optimalregelung; lernende Regler; KI; Adaptive Optimal Control; Learning-Based Control; AI…”
DOAB: download the publication
DOAB: description of the publication

Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen by Köpf, Florian

Subjects: “…Adaptive Dynamic Programming (ADP); Reinforcement Learning (RL); Persistent Excitation (PE); adaptive Optimalregelung; lernende Regler; KI; Adaptive Optimal Control; Learning-Based Control; AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Database Performance at Scale A Practical Guide by Mendes, Felipe Cardeneti

Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Uprooting Bias in the Academy Lessons from the Field

Subjects: “…NSF ADVANCE IT program…”
DOAB: download the publication
DOAB: description of the publication

Uprooting Bias in the Academy Lessons from the Field

Subjects: “…NSF ADVANCE IT program…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Nutrition among Vulnerable Populations

Subjects: “…incentive programs…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Adaptive Dynamic Programming For Chemotherapy Drug Delivery by Sun, Jiayue

Subjects: “…Adaptive dynamic programming…”
DOAB: download the publication
DOAB: description of the publication

Techno-ökonomische Planung energetischer Wohngebäudemodernisierungen : Ein gemischt-ganzzahliges lineares Optimierungsmodell auf Basis einer vollständigen Finanzplanung by Kunze, Robert

Subjects: “…Mixed-integer linear programming…”
DOAB: download the publication
DOAB: description of the publication

Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics by Merkert, Lennart

Subjects: “…mixed integer programming…”
DOAB: download the publication
DOAB: description of the publication