Advanced search    

Search: Programming Techniques

410,752 papers found. Showing first 1,000 results.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Special section on parallel programming

parallelization techniques. Blöcker and Hoffmann [ 2 ] propose a fully deterministic process calculus for parallel and distributed programming implemented in Haskell as a domain-specific language. Batko and Kuta ... -Based Parallel Programming Models, WLPP 2017, which was a part of the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held on September 10-13, 2017, in Lublin

Evaluation of cryopreservation techniques for goat embryos

cryoprotecteurs et de 3 techniques d’extraction de ces cryoprotecteurs. Cette étude de la congélation de l’embryon caprin a pour objet de comparer, d’une part, 3 cryoprotecteurs et, d’autre part, 3 procédures ... directly into liquid nitrogen (-196°C) for storage. After variable periods of storage in liquid nitrogen for 2 to 16 months, depending on research programming, the straws were thawed rapidly by immersion in

Twenty Years of Constraint Programming (CP) Research

is the first obvious intersection, as the first constraint languages were based on logic. The integration of operations research techniques in constraint programming has been extremely successful, as ... , LLC, part of Springer Nature 2018 Around twenty years ago, the research community working on constraint satisfaction, optimization and contraint programming was moving the first steps toward a more

A general double-proximal gradient algorithm for d.c. programming

verified by an analogous calculation. 3. This kind of optimality condition is classical in d.c. programming, see e.g. [8, Proposition 1.1]. 4. The proof of this statement is analogous. 5. Let (x¯, y¯) be a ... the double-proximal d.c. algorithm, see Fig. 1. A possible solution to the problem of getting stuck in stationary points which are not local minima is the use of inertial techniques according to Polyak

Novel Epigenetic Techniques Provided by the CRISPR/Cas9 System

epigenetic field. In this review, novel epigenetic techniques utilizing the CRISPR/Cas9 system are the main contents to be discussed, including epigenome editing, temporal and spatial control of epigenetic ... . View at Publisher · View at Google Scholar · View at ScopusA. Chavez, J. Scheiman, S. Vora et al., “Highly efficient Cas9-mediated transcriptional programming,” Nature Methods, vol. 12, no. 4, pp. 326

A Scalable Genetic Programming Approach to Integrate miRNA-Target Predictions: Comparing Different Parallel Implementations of M3GP

different tools. In this work, we adopt a method called multidimensional multiclass GP with multidimensional populations (M3GP), which relies on a genetic programming approach, to integrate and classify ... , highlighting overrepresented ontological terms. In a previous work [28], we described the application of a classification technique based on genetic programming, called M3GP, to integrate results from three

The Efficiency of Linda for General Purpose Scientific Programming

Linda (Linda is a registered trademark of Scientific Computing Associates, Inc.) is a programming language for coordinating the execution and interaction of processes. When combined with a language ... computation (such as C or Fortran), the resulting hybrid language can be used to write portable programs for parallel and distributed multiple instruction multiple data (MIMD) computers. The Linda programming

Automated Techniques for the Interpretation of Fetal Abnormalities: A Review

Ultrasound (US) image segmentation methods, focusing on techniques developed for fetal biometric parameters and nuchal translucency, are briefly reviewed. Ultrasound medical images can easily

Persistent Asynchronous Adaptive Specialization for Generic Array Programming

Generic array programming systematically abstracts from structural array properties such as shape and rank. As usual, generic programming comes at the price of lower runtime performance. The idea of ... adaptive specialization by a series of experiments. Generic programming; Array programming; Dynamic compilation; Multi-core computing; Single Assignment C; Persistence 1 Introduction Software engineering

Data-Parallel Programming in a Multithreaded Environment

Research on programming distributed memory multiprocessors has resulted in a well-understood programming model, namely data-parallel programming. However, data-parallel programming in a multithreaded ... Langley Research Center , Mail Stop 132C, Hampton, VA 23681-0001 , USA 1 Computer Science Department, University of Wyoming , Laramie, WY 82071-3682 , USA Research on programming distributed memory

Solution of Quadratic Programming with Interval Variables Using a Two-Level Programming Approach

Quadratic programming with interval variables is developed from quadratic programming with interval coefficients to obtain optimum solution in interval form, both the optimum point and optimum value

Novel pedagogical tool for simultaneous learning of plane geometry and R programming

Programming a computer is an activity that can be very beneficial to undergraduate students in terms of improving their mental capabilities, collaborative attitudes and levels of engagement in ... classical geometric problems, different programming techniques and all the functions included in the package. These applications are thus classified into three categories according to their level of

Estimation of regions of attraction of power systems by using sum of squares programming

as the estimate. In particular, we focus here on the algorithm based on sum of squares (SOS) programming, which has been recently proposed, and aim to develop a simpler algorithm for the practical use ... ones. This type of problems can be transformed into semidefinite programming problems [ 2 ] under certain conditions, and can be efficiently solved by numerical optimization techniques. 3.2.2

Programming discrete distributions with chemical reaction networks

are not well understood. Chemical Reaction Networks (CRNs) with mass action kinetics are a well studied formalism for modelling biochemical systems, more recently also used as a formal programming ... fluctuations intrinsic in molecular interactions play a predominant role in the time evolution of the system. As a consequence, ‘‘programming’’ a CRN to provide a particular probabilistic response for a subset

Discovering workflow nets using integer linear programming

challenging process mining task. State-of-the-art process discovery algorithms only discover local control flow patterns and are unable to discover complex, non-local patterns. Region theory based techniques ... dimensions. As a consequence, the techniques are unable to find complex, non-local control flow patterns [29]. In [ 34 ] an integer linear programming (ILP) [ 24 ] based process discovery algorithm is

Special issue on inductive logic programming

Institute of Informatics , Tokyo , Japan - This special issue focuses on Inductive Logic Programming (ILP). ILP is a subfield of machine learning which uses logic programming as a uniform representation ... relational learning, multi-relational data mining, relational reinforcement learning, graph mining, and connections with other learning paradigms. ILP also studies extensions of logic programming languages so

Myoelectric Control Techniques for a Rehabilitation Robot

This work examines two different types of myoelectric control schemes for the purpose of rehabilitation robot applications. The first is a commonly used technique based on a Gaussian classifier. It is implemented in real time for healthy subjects in addition to a subject with Central Cord Syndrome (CCS). The myoelectric control scheme is used to control three degrees of freedom...

Preface for the special issue on Ontologies and Logic Programming for Query Answering

intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies. The workshop focused on languages and techniques that allow for

Backtracking-based dynamic programming for resolving transmit ambiguities in WSN localization

tractability of the underlying graph-theoretical problem and employs dynamic programming and backtracking. We show that the proposed algorithm is able to reduce the run time by up to 88.3% compared with a ... -optimal integer linear programming formulation. Wireless sensor networks; Localization; Transmit ambiguities 1 Introduction The unique identification of wireless sensors or agents is generally regarded

Application of Genome Editing Techniques in Immunology

in detail. In this review, we present novel genetic engineering methods, mainly TALEN and CRISPR/Cas9 systems, that can be used for such purposes. These unique techniques may contribute to creating ... (MacLeod et al. 2017) . Nonetheless, the procedure of “programming” MN to recognize the given sequence requires specialized knowledge and technology, and makes this approach extremely laborious. Due to the