Results 11 to 20 of about 4,393,221 (308)
Modular Product Programs [PDF]
ACM Transactions on Programming Languages and Systems, 2018 Many interesting program properties like determinism or information flow security are hyperproperties, that is, they relate multiple executions of the same program. Hyperproperties can be verified using relational logics, but these logics require dedicated tool support and are difficult to automate. Alternatively, constructions such as self-composition
Marco Eilers +2 more
openaire +5 more sources
Productive corecursion in logic programming [PDF]
Theory and Practice of Logic Programming, 2017 AbstractLogic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task. For example, the existing state-of-the-art algorithms can only semi-decide coinductive soundness of queries in logic ...
EKATERINA KOMENDANTSKAYA, YUE LI
openaire +2 more sources
Products of weighted logic programs [PDF]
Theory and Practice of Logic Programming, 2011 AbstractWeighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a ...
Shay B. Cohen +2 more
openaire +4 more sources
Corporate Venture Capital and Sustainability
Journal of Open Innovation: Technology, Market and Complexity, 2022 Corporate Venture Capital (CVC) has been receiving increasingly more attention all over the world as a special way for accessing new ideas and innovative opportunities through minor-share investing in established companies. The purpose of CVC investments
Luciano Mathias Döll +4 more
doaj +1 more source
Модернизация, инновация, развитие, 2019 Purpose: the work covers the issues of organizational, methodological and instrumental support of the processes of diversification of organizations and enterprises of the Russian defense industry complex.
Yu. V. Mishin +3 more
doaj +1 more source
Economic evaluation of the eradication program for bovine viral diarrhea in the Swiss dairy sector [PDF]
, 2017 The aim of this study was to conduct an economic evaluation of the BVD eradication program in the Swiss dairy sector. The situation before the start of the program (herd-level prevalence: 20%) served as a baseline scenario.
Häsler, B +5 more
core +2 more sources
Product programs and relational program logics
Journal of Logical and Algebraic Methods in Programming, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gilles Barthe +2 more
openaire +2 more sources
A Productivity Checker for Logic Programming [PDF]
, 2017 Automated analysis of recursive derivations in logic programming is known to be a hard problem. Both termination and non-termination are undecidable problems in Turing-complete languages. However, some declarative languages offer a practical work-around for this problem, by making a clear distinction between whether a program is meant to be understood ...
Ekaterina Komendantskaya +2 more
openaire +2 more sources
Fetal programming in meat production [PDF]
Meat Science, 2015 Nutrient fluctuations during the fetal stage affects fetal development, which has long-term impacts on the production efficiency and quality of meat. During the early development, a pool of mesenchymal progenitor cells proliferate and then diverge into either myogenic or adipogenic/fibrogenic lineages.
Du, Min +4 more
openaire +3 more sources
Comprehensive Flow Cytometry Analysis of PEI-Based Transfections for Virus-Like Particle Production
Research, 2020 The generation of stable clones for biomolecule production is a common but lengthy and labor-intensive process. For complex molecules, such as viruses or virus-like particles (VLPs), the timeline becomes even more cumbersome. Thus, in the early stages of
Daniel J. Blackstock +7 more
doaj +1 more source