Filters








10,998,828 Hits in 4.5 sec

Programming Programming

D. COLLIS
1991 Science  
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  
doi:10.1515/tjb-2018-43s304 fatcat:36yqmg3xujerbmhgkvzgbymtva

Pre-Programming the Program

Stephen Zirko
2019 IALLT Journal of Language Learning Technologies  
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  
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

John Beltrami, Erica Dunbar
2017 Journal of Public Health Management and Practice  
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  
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

Irvin J. Lustig, Jean-Francois Puget
2001 Interfaces  
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

Irvin J. Lustig, Jean-François Puget
2001 Interfaces  
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

Atsushi Togashi, Shoichi Noguchi
1987 The Journal of Logic Programming  
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

Jon Bentley
1983 Communications of the ACM  
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]

Maria I. Gorinova
2022 arXiv   pre-print
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

Ralf Lämmel, Eelco Visser, Joost Visser
2003 Proceedings of the 2nd international conference on Aspect-oriented software development - AOSD '03  
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]

Willem-Jan van Hoeve
2011 International Series in Operations Research and Management Science  
programming relaxations.  ...  and constraint programming.  ... 
doi:10.1007/978-1-4614-0769-0_22 fatcat:y6v2du6qyfeu7dms2lbvrohlaa

Semidefinite Programming and Integer Programming [chapter]

Monique Laurent, Franz Rendl
2005 Handbooks in Operations Research and Management Science  
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

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
2018 ACM Transactions on Programming Languages and Systems  
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