Results 51 to 60 of about 3,154 (147)

A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2018
In Proceedings ACL2 2018, arXiv:1810 ...
openaire   +3 more sources

Continuity of CVD treatment during the COVID-19 pandemic: evidence from East Java, Indonesia. [PDF]

open access: yesJ Pharm Policy Pract, 2023
Dewi A   +8 more
europepmc   +1 more source

Two-Language, Two-Paradigm Introductory Computing Curriculum Model and its Implementation [PDF]

open access: yes, 2011
This paper analyzes difficulties with the introduction of object-oriented concepts in introductory computing education and then proposes a two-language, two-paradigm curriculum model that alleviates such difficulties.
Radenski, Atanas, Zanev, Vladimir
core   +1 more source

A study of the quality of cardiovascular and diabetes medicines in Malang District, Indonesia, using exposure-based sampling. [PDF]

open access: yesBMJ Glob Health, 2022
Dewi A   +11 more
europepmc   +1 more source

OPEN XAL Status Report 2015 [PDF]

open access: yes, 2015
MOPW1050International audienceOpen XAL is an accelerator physics software platformdeveloped in collaboration among several facilitiesaround the world.
Allen, C.K.   +23 more
core   +2 more sources

INTRODUCING MICROSOFT SILVERLIGHT [PDF]

open access: yes
Despite all the wonderful things you can say about HTML, CSS, and JavaScript, they form a pretty poor environment for developing modern sites and applications.
Dragos-Paul POP
core  

Control and Diagnostics System Generator for Complex FPGA-Based Measurement Systems. [PDF]

open access: yesSensors (Basel), 2021
Zabołotny WM   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy