Suchergebnisse - Linear logic programming

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming von 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 …”
Volltext

Fuzzy Logic and Linear Programming-Based Power Grid-Enhanced Economical Dispatch for Sustainable and Stable Grid Operation in Eastern Mexico von 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 …”
Volltext

A Linear Logic Programming Language for Concurrent Programming over Graph Structures von 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 …”
Volltext

Formulation and sensory characterization of low-cost, high-energy, nutritious cookies for undernourished adolescents: An approach using linear programming and fuzzy logic von 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 …”
Volltext

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic von 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 …”
Volltext

Designing unit Ising models for logic gate simulation through integer linear programming von 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 …”
Volltext

Distributed concurrent linear logic programming von 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 …”
Volltext

Water and Energy Management based on Fuzzy Logic and Linear Programming for a Photovoltaic/ Wind/Battery Pumping System in Rural Environment von 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 …”
Volltext

A linear programming framework for logics of uncertainty von 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 …”
Volltext

Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming von 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 …”
Volltext

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

Volltext

A Static Analysis Method for a Classical Linear Logic Programming Language von 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 …”
Volltext

Fuzzy logic, logic programming, and linear logic: towards a new understanding of common sense von 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 …”
Volltext

An Optimal Management Model for Empty Freight Railcars in Transport Nodes von 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 …”
Volltext

A Linear Logic Programming Language for Concurrent Programming over Graph Structures von 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 …”
Volltext

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting von 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 …”
Volltext

Static analysis of Linear Logic programming von 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 …”
Volltext

Towards Automated Homomorphic Encryption Parameter Selection with Fuzzy Logic and Linear Programming von 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 …”
Volltext

Random logic programs: Linear model von 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 …”
Volltext

A Survey of the Proof-Theoretic Foundations of Logic Programming von 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 …”
Volltext