Filters








2,535,390 Hits in 3.9 sec

Non-procedural logic programming [chapter]

Seppo Keronen
1994 Lecture Notes in Computer Science  
The object-program and meta-programs are compiled together to produce a single, efficient procedural logic (Prolog) program.  ...  A logic program in this language consists of an object-program and a number of meta-programs. The object program, a collection of formulae, is a description of the problem domain of interest.  ...  In this section we demonstrate that we can instead compile the meta-programs and object-program together into a single efficient procedural logic (Prolog) program.  ... 
doi:10.1007/3-540-58025-5_56 fatcat:oybhxag6nzcqpdtyhredfsyzse

Non procedural language for parallel programs [article]

Renat Nuriyev
2008 arXiv   pre-print
Probably building non procedural languages is the most prospective way for parallel programming just because non procedural means no fixed way for execution. The article consists of 3 parts.  ...  In third part we consider a fullness and flexibility of the class of program based data set definitions.  ...  Introduction Probably building non procedural languages is the most prospective way for parallel programming just because non procedural means no fixed way for execution: we are free to select paths what  ... 
arXiv:0810.5758v1 fatcat:xfng37qbnbdntlg4z2jjczm6fm

An experiment in non-procedural programming

Jesse H. Katz, William C. McGee
1963 Proceedings of the November 12-14, 1963, fall joint computer conference on XX - AFIPS '63 (Fall)  
The second approach, and probably the more practicable, is to translate the non-procedural specification into 'a machine-language program with a "procedure-writer" program.  ...  From the abstract nature of a non-procedural specification, it is clear that such a procedure-writer would have to know a great many details about the computer for which it is writing procedures (programs  ... 
doi:10.1145/1463822.1463824 fatcat:urudkw5d4fc3togujupjjxanom

Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming [article]

Kostadin Kratchanov and Emilia Golemanova and Tzanko Golemanov and Tuncay Ercan and Burak Ekici
2014 arXiv   pre-print
An interesting possibility is non - procedural solutions that can be developed for most local search algorithms. A generic solution is described for procedural implementations.  ...  This report presents the general picture of how Control Network Programming can be effectively used for implementing various search strategies, both blind and informed.  ...  We refer to this type of implementations as non-procedural implementations.  ... 
arXiv:1412.4184v1 fatcat:gzq6q4xag5eyvobyzvjtgxouha

A program logic for higher-order procedural variables and non-local jumps [article]

Tristan Crolard, Emmanuel Polonowski
2011 arXiv   pre-print
Relying on the formulae-as-types paradigm for classical logic, we define a program logic for an imperative language with higher-order procedural variables and non-local jumps.  ...  Then, we show how to derive a sound program logic for this programming language.  ...  Indeed, it is notoriously difficult to derive a sound program logic for an imperative language with procedures and non-local jumps [60] , especially in the presence of local variables and higher-order  ... 
arXiv:1112.1554v1 fatcat:aoe2gvxpabe5rlgjs2zrne3mum

A Computational Procedure for solving a Non-Convex Multi-Objective Quadratic Programming under Fuzzy Environment [article]

Shashi Aggarwal, Uday Sharma
2013 arXiv   pre-print
The purpose of this paper is to study a non-convex fuzzy multi-objective quadratic programming problem, in which both the technological coefficients and resources are fuzzy with nonlinear membership function  ...  A computational procedure to find a fuzzy efficient solution of this problem is developed. A numerical example is given to illustrate the procedure.  ...  They have focused on the single objective non-convex quadratic programming problem.  ... 
arXiv:1308.0122v1 fatcat:ktgiggjit5adrdstlougtz64km

A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps [article]

Tristan Crolard
2011 arXiv   pre-print
We formally specified a program logic for higher-order procedural variables and non-local jumps with Ott and Twelf.  ...  Moreover, the dependent type systems and the translation are both executable specifications thanks to Twelf's logic programming engine.  ...  Moreover, the type systems and the translation are all executable specifications thanks to Twelf's logic programming engine.  ... 
arXiv:1112.1848v1 fatcat:swbmrec6ize6dfvqhit3hlys74

A recursively feasible and convergent Sequential Convex Programming procedure to solve non-convex problems with linear equality constraints [article]

Josep Virgili-Llop, Marcello Romano
2018 arXiv   pre-print
A computationally efficient method to solve non-convex programming problems with linear equality constraints is presented.  ...  The proposed method is based on a recursively feasible and descending sequential convex programming procedure proven to converge to a locally optimal solution.  ...  Sequential Convex Programming (SCP) procedure In a sequential convex programming procedure a locally optimal solution to the original non-convex problem P is found by iteratively solving a convex approximation  ... 
arXiv:1810.10439v1 fatcat:buyftc5sxvd33j2ac2rdfugtaa

Procedural times in early non-intubated VATS program - a propensity score analysis

Isabella Metelmann, Johannes Broschewitz, Uta-Carolin Pietsch, Gerald Huschak, Uwe Eichfeld, Sven Bercker, Sebastian Kraemer
2021 BMC Anesthesiology  
Even during the implementation phase of NiVATS programs, no extension of procedural times occurs.  ...  Background Non-intubated video-assisted thoracic surgery (NiVATS) has been introduced to surgical medicine in order to reduce the invasiveness of anesthetic procedures and avoid adverse effects of intubation  ...  Even during the implementation phase of NiVATS programs, no extension of procedural times occurs.  ... 
doi:10.1186/s12871-021-01270-4 pmid:33573604 pmcid:PMC7877094 fatcat:ll2xreh5qbbhpbu5le4nbsj4lu

A COMPUTATIONAL PROCEDURE FOR SOLVING A NON-CONVEX MULTI-OBJECTIVE QUADRATIC PROGRAMMING UNDER FUZZY ENVIRONMENT

S. Aggarwal, U. Sharma
2013 International Journal of Pure and Applied Mathematics  
The purpose of this paper is to study a non-convex fuzzy multiobjective quadratic programming problem, in which both the technological coefficients and resources are fuzzy.  ...  A computational procedure to find a fuzzy efficient solution of this problem is developed. A numerical example is given to illustrate the procedure.  ...  They have focused on the single objective non-convex quadratic programming problem.  ... 
doi:10.12732/ijpam.v89i4.6 fatcat:2pjxomzcfzcapd2jyklxnsroiu

AUTOMATIC PROGRAMS GENERATING FROM NON-PROCEDURAL SPECIFICATIONS FOR GPUS
Автоматическая генерация программ для графических процессоров по непроцедурным спецификациям

2014 Bulletin of the South Ural State University Series Computational Mathematics and Software Engineering  
FROM NON-PROCEDURAL SPECIFICATIONS FOR GPUS A.N.  ...  eration) A new approach to automatic programs generating for GPUs from non-procedural task's specification in Norma language is considered.  ... 
doi:10.14529/cmse140101 fatcat:lk42iuluvnghdi7ckr2a3ncmhy

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics

Susumu Yamasaki, Yoshinori Kurose
2001 Theoretical Computer Science  
The procedure is regarded as an extension of Eshghi and Kowalski abductive proof procedure, involving ÿnite or countably inÿnite SLD resolution, as well as ÿnite or countably inÿnite negative recursion  ...  By the assumptions of some adequate choices, the procedure is well-deÿned inductively.  ...  for non-ground programs.  ... 
doi:10.1016/s0304-3975(00)00201-2 fatcat:ulkqivmhgveizcapdxwe3vikwa

Philippine National Police operational procedures' competence of non-commissioned junior police officers in the National Capital Region: Inputs to training program enrichment

Mylene Joy Dubla
2021 International Journal of Research Studies in Education  
On the other hand, the Special Procedures infer that the JPOs themselves agree to have challenges in handling the situations under the Special Procedures indicator, as validated by the SPOs and OCs.  ...  This study engaged to determine the competence of the non-commissioned junior police officers in the administration of anti-criminality campaigns.  ...  Police Training Programs Police Training Programs are established to become a center of excellence in police training and development' and its mission 'to develop police officers with the professional  ... 
doi:10.5861/ijrse.2021.688 fatcat:ivzwt432mbf6nbdgpgqwebt5vq

Non-face-to-face Sleep Improvement Program in a Workplace: Bibliotherapy with and without Behavioral Self-control Procedure
職域の非対面の行動的快眠プログラムにおける目標行動設定とセルフモニタリング―読書療法のみとの比較―

Yoshiko ADACHI, Kouko KUNITSUKA, Katsuko TANIYAMA, Chikako HAYASHI, Minori TANAKA, Chifumi SATO
2010 SANGYO EISEIGAKU ZASSHI  
(San Ei Shi 2010; 52: 276-284) Non-face-to-face Sleep Improvement Program in a Workplace: Bibliotherapy with and without Behavioral Self-control Procedure Yoshiko ADACHI 1 , Kouko KUNITSUKA 2 , Katsuko  ...  Objective: To evaluate the effects of a non-face-to-face brief behavioral program for a sleep improvement in workplaces. Methods: Research design was a cluster control trial.  ... 
doi:10.1539/sangyoeisei.c10002 pmid:20890055 fatcat:hpmdi3i25rgp3lwpny42c6x5km

Linguistic annotation of texts in non-standardized languages: the program procedures of the tool PHOENIX

M D Glessgen, M Kopp
2005
Celui-ci a été développé pour l'annotation semiautomatique de textes écrits en ancien français, mais il peut être appliqué à toute autre forme de langue médiévale ou non-standardisée en général.  ...  The program procedures of the tool PHOENIX 149 3.  ...  The program procedures of the tool PHOENIX 153 A further interface allows for parallel access to the source file and the index file while the lexicographic information gets stored and maintained in the  ... 
doi:10.5167/uzh-33586 fatcat:fdeke4o3dvfpbh6gqhny6m3jz4
« Previous Showing results 1 — 15 out of 2,535,390 results