A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Programming Programming
1991
Science
Preserved Fulltext
It is possible that, as the ratio of hardware costs to software costs decreases, a relatively inelegant program, cheap to write but requiring more processing time and memory than a carefdly crafted program ...
In some cases company-specific programming methods necessitate this, but in all cases it serves to minimize skill differences among programmers. ...
doi:10.1126/science.254.5031.589
pmid:17806977
fatcat:thu5nvnvrbexfflgxosm2fq56e
BİLİMSEL PROGRAM / SCIENTIFIC PROGRAM
2018
Turk biyokimya dergisi = Turkish journal of biochemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Pre-Programming the Program
2019
IALLT Journal of Language Learning Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Substitute programming is possible via the special patch panel which allows distribution of the same program to both centers or any combination of programs from one console to the other. ...
Each programmed tape reel is card catalogued. Several copies of each scheduled lesson program tape are always on hand in the tape library, Room LA 709. ...
doi:10.17161/iallt.v6i2.8824
fatcat:3iaedi2bpzcizektkfjnkzmgmy
BİLİMSEL PROGRAM / SCIENTIFIC PROGRAM
2019
Turk biyokimya dergisi = Turkish journal of biochemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
OTURUM: GENEL DEĞERLENDİRME Oturum Başkanları: Hilal Koçdor, Doğan Yücel 16.30-17.00 KAPANIŞ VE ÖDÜL TÖRENİ PROGRAM
20 FEBRUARY
21 FEBRUARY
22 FEBRUARY
08.30-09.30 KAYIT
09.30-10.00 AÇILIŞ VE AÇILIŞ ...
doi:10.1515/tjb-2019-44s104
fatcat:wsqg3q5n6jdrjigtailh4dhmpu
Program-Led Program-Science
2017
Journal of Public Health Management and Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This occurred with most of the Category C activities because program-led program-science projects are focused on providing services to clients in a "real-world" setting and because the program staff funding ...
among surveillance, program, and treatment staff. ...
doi:10.1097/phh.0000000000000585
pmid:28492451
pmcid:PMC5792823
fatcat:z4qfvlcy4fdslpqqxv4mu6ydra
Bilimsel Program / Scientific Program
2015
Turk biyokimya dergisi = Turkish journal of biochemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Ulusal Biyokimya Kongresi, Antalya [27 th National Biochemistry Congress, Antalya / TURKEY]
BİLİMSEL PROGRAM -4 KASIM 2015, ÇARŞAMBA
ANA SALON / İSTANBUL
11:30 -13:30 PANEL
Laboratuvar Satınalma ...
Ulusal Biyokimya Kongresi, Antalya [27 th National Biochemistry Congress, Antalya / TURKEY]
BİLİMSEL PROGRAM -4 KASIM 2015, ÇARŞAMBA
ANA SALON / İSTANBUL
13:30 -14:30 Öğle Yemeği / Poster Gezimi ...
doi:10.1515/tjb-2015-s105
fatcat:4zjsce24y5h3bijte6tgu4lvny
Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming
2001
Interfaces
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this short tutorial on constraint programming, we explain how it relates to familiar mathematical programming concepts and how constraint programming and mathematical programming technologies are complementary ...
For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming. ...
programming. ...
doi:10.1287/inte.31.7.29.9647
fatcat:wrokm3jcvneivbqniirnk43dpe
Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming
2001
Interfaces
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this short tutorial on constraint programming, we explain how it relates to familiar mathematical programming concepts and how constraint programming and mathematical programming technologies are complementary ...
For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming. ...
programming. ...
doi:10.1287/inte.31.6.29.9647
fatcat:arvkde5p2bgexjdbndinsteday
A program transformation from equational programs into logic programs
1987
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Proposition 4, If R is a recursive equational program, the transformed logic program is a Horn program. ...
logic programming languages and equational (or functional) programming languages. ...
doi:10.1016/0743-1066(87)90013-6
fatcat:zua6wcfh65ehtjvmwcfqwyuwki
Programming pearls: Writing correct programs
1983
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the late 1960s people were talking about the promise of programs that verify the correctness of other programs. ...
fundamental understanding of computer programming. ...
Both programs have been extensively tested, and the process found no bugs. ...
doi:10.1145/358476.358484
fatcat:afmaj37ivneovff2gde3ckaazi
Program Analysis of Probabilistic Programs
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This dissertation presents three novel techniques (both static and dynamic), which aim to improve probabilistic programming using program analysis. ...
While substantial work has been done both to formalise probabilistic programming and to improve efficiency of inference, there has been little work that makes use of the available program structure, by ...
program. ...
arXiv:2204.06868v1
fatcat:2dbonwruuzaopil4aijdeuz4mi
Strategic programming meets adaptive programming
2003
Proceedings of the 2nd international conference on Aspect-oriented software development - AOSD '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. ...
In this paper, we take a look at strategic programming from an aspect-oriented programming perspective. ...
of visitor programming or (non-generic) functional programming is placed at this level. ...
doi:10.1145/643603.643621
dblp:conf/aosd/LammelVV03
fatcat:c4crg4c42veaxam32xjug23gwq
Semidefinite Programming and Constraint Programming
[chapter]
2011
International Series in Operations Research and Management Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
programming relaxations. ...
and constraint programming. ...
doi:10.1007/978-1-4614-0769-0_22
fatcat:y6v2du6qyfeu7dms2lbvrohlaa
Semidefinite Programming and Integer Programming
[chapter]
2005
Handbooks in Operations Research and Management Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Extensions to polynomial programming Quadratic programming. ...
It is the purpose of this chapter to explain in detail how semidefinite programming is used to solve integer programming problems. ...
7 Further Topics 7.1 Approximating polynomial programming using semidefinite programming We come back in this section to the problem of approximating polynomial programs using semidefinite programming, ...
doi:10.1016/s0927-0507(05)12008-8
fatcat:ez23hvr5znfolnppcugzpevgpu
Program Synthesis for Program Analysis
2018
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We are interested in generating programs that compute these functions. For this purpose, we make use of program synthesis. ...
As our focus is on programs that use bit-vectors, we build a decision procedure for this fragment over finite domains in the form of a program synthesiser. ...
program analysis. ...
doi:10.1145/3174802
fatcat:iop4bqbtardarc7kuxxud6sudq
« Previous
Showing results 1 — 15 out of 10,998,828 results