Buscar
Mostrando ítems 11-20 de 1016
Um estudo de lógica linear com subexponenciais
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2017-02-15)
In Classical Logic, we can use a given hypothesis an indefinite number of times. For
example, the proof of a theorem may use the same lemma several times. However, in
physical, chemical and computational systems, the ...
Otimização de funções lógicas majoritárias utilizando programação linear inteira binária e quantificação de primitivas
(Universidade Estadual Paulista (Unesp), 2021-01-14)
A tecnologia semicondutora tem sido a base dos circuitos lógicos digitais da computação moderna. O uso de portas lógicas dos padrões AND e NAND tem direcionado o projeto e implementação destes circuitos. Recentes pesquisas ...
Mathematical model based on linear programming and fuzzy logic for time prediction in bicycle assembly industries
(2019)
© 2019, Associacao Iberica de Sistemas e Tecnologias de Informacao. All rights reserved. In the assembly industry, there is a high degree of uncertainty when identifying operational problems, due to limited resources and ...
Um estudo da lógica linear com aplicação em ciência da computação
(BrasilUFSMCentro de Tecnologia, 2010-12-15)
Computing science deals with automation of reasoning for solving problems and assisting
in certain activities. In this area, both logic and intuitionistic logic plays a fundamental
role. They are widely used for developing ...
Especificação de sistemas utilizando lógica linear com subexponencias
(Universidade Federal de Minas GeraisUFMG, 2010-11-17)
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications' ...
Two linearities for quantum computing in the lambda calculus
(Elsevier, 2019-12)
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms ...
Typing Quantum Superpositions and Measurement
(Springer, 2017-12)
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We ...
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
(ELSEVIER SCIENCE BV, 2009)
We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and ...