Výsledky vyhledávání - Linear logic programming

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming Autor Cabrero-Holgueras, José, Pastrana, Sergio

“…Homomorphic Encryption (HE) is a set of powerful properties of certain cryptosystems that allow privacy-preserving operation over the encrypted text. Still, HE…”
Získat plný text

Fuzzy Logic and Linear Programming-Based Power Grid-Enhanced Economical Dispatch for Sustainable and Stable Grid Operation in Eastern Mexico Autor López-Garza, Esmeralda, Domínguez-Cruz, René Fernando, Martell-Chávez, Fernando, Salgado-Tránsito, Iván

“… This study proposes a hybrid rational economic dispatch model that combines a cost minimization linear model enhanced with a fuzzy logic system for decision-making on wind and hydropower minimum…”
Získat plný text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion…”
Získat plný text

Formulation and sensory characterization of low-cost, high-energy, nutritious cookies for undernourished adolescents: An approach using linear programming and fuzzy logic Autor Varghese, Cinu, Srivastav, Prem Prakash

“… The underutilized ingredients finger millet, jackfruit seed powder, moringa powder, soy protein isolate, icing sugar, and oil were optimized using linear programming (LP…”
Získat plný text

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic Autor Mahmoud, Mohamed Yousri, Felty, Amy P.

“… In this work, we extend the system with a linear specification logic (SL) in order to reason about the linear type system of Quipper…”
Získat plný text

Designing unit Ising models for logic gate simulation through integer linear programming Autor Tsukiyama, Shunsuke, Nakano, Koji, Parque, Victor, Ito, Yasuaki, Kato, Takumi, Kawamata, Yuya, Ii, Kaiki

“… A fixed unit Ising model for logic circuits could lead to Application-Specific Unit Quantum Annealers (ASUQAs…”
Získat plný text

Distributed concurrent linear logic programming Autor Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori

“…We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation…”
Získat plný text

Water and Energy Management based on Fuzzy Logic and Linear Programming for a Photovoltaic/ Wind/Battery Pumping System in Rural Environment Autor Oumar, Cisse, Mouhamadou Falilou, Ndiaye, Willy Magloire, Nkounga, Pape A., Ndiaye, Alexandre, Sioutas

“… The proposed strategy is based on the pump power modulation. The fuzzy logic is used to define the pump's rate power…”
Získat plný text

A linear programming framework for logics of uncertainty Autor Andersen, K.A., Hooker, J.N.

“… We show that these logics are instances of a certain type of linear programming model, typically with exponentially many variables…”
Získat plný text

Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming Autor Ji, Qiu, Boutouhami, Khaoula, Qi, Guilin

“… In this paper, we propose a mathematic approach based on integer linear programming, which is an optimization problem of maximizing or minimizing a linear objective function, to deal with DL ontologies…”
Získat plný text

A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions Autor Geun Lee, Ho, Lee, Ronald M.

Získat plný text

A Static Analysis Method for a Classical Linear Logic Programming Language Autor Kang, Kyoung-Sim, Tamura, Naoyuki

“…In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al…”
Získat plný text

Fuzzy logic, logic programming, and linear logic: towards a new understanding of common sense Autor Nguyen, H.T., Kreinovich, V.

“…Fuzzy logic was originally proposed as a tool for describing human reasoning. Currently, the main area of applications of fuzzy logic is in fuzzy control, where the choice of logic is usually motivated not by logical considerations (i.e…”
Získat plný text

An Optimal Management Model for Empty Freight Railcars in Transport Nodes Autor Rakhmangulov, Aleksadr, Osintsev, Nikita, Muravev, Dmitri, Legusov, Alexander

“…The paper presents the actual problem of increasing the efficiency of empty railcars management in rail nodes. This problem lies in considering the set of…”
Získat plný text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor Cruz, Flavio, Rocha, Ricardo, Goldstein, Seth Copen, Pfenning, Frank

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion…”
Získat plný text

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting Autor Anderson, Matthew, Dawar, Anuj, Holm, Bjarki

“…We establish the expressibility in fixed-point logic with counting (FPC) of a number of natural polynomial-time problems…”
Získat plný text

Static analysis of Linear Logic programming Autor Andreoli, Jean -Marc, Pareschi, Remo, Castagnetti, Tiziana

“…Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation…”
Získat plný text

Towards Automated Homomorphic Encryption Parameter Selection with Fuzzy Logic and Linear Programming Autor Cabrero-Holgueras, José, Pastrana, Sergio

“…Homomorphic Encryption (HE) is a set of powerful properties of certain cryptosystems that allow for privacy-preserving operation over the encrypted text…”
Získat plný text

Random logic programs: Linear model Autor WANG, KEWEN, WEN, LIAN, MU, KEDIAN

“…This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs…”
Získat plný text

A Survey of the Proof-Theoretic Foundations of Logic Programming Autor MILLER, DALE

“… Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic into higher-order versions of intuitionistic and linear logic…”
Získat plný text