Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Lógica
115
Lógica matemática
58
Filosofía
42
Lógica simbólica y matemática
27
Diseño lógico
23
Historia
22
Circuitos lógicos
17
Inteligencia artificial
16
Matemáticas
16
Positivismo lógico
11
Prolog (Lenguaje de programación)
11
Teoría del conocimiento
11
Metodología
10
Computadoras
9
Filosofía de las matemáticas
9
Metodología científica
9
Pensamiento crítico
9
Procesamiento de datos
9
Programación (Computadoras)
9
Electrónica digital
8
Modalidad (Lógica)
8
Programación lógica
8
Razonamiento
8
Semántica (Filosofía)
8
Filosofía de la ciencia
7
Lenguaje y lenguas
7
Lógica simbólica
7
Ética
7
Aspectos sociales
6
Filosofía del lenguaje
6
-
1781por Ario, Alex Riolexus, Makumbi, Issa, Bulage, Lilian, Kyazze, Simon, Kayiwa, Joshua, Wetaka, Milton Makoba, Kasule, Juliet Namugga, Ocom, Felix“…Conclusion: Uganda successfully developed a national multi-hazard emergency preparedness and response plan using the preparedness logic model. The plan is now ready for implementation by the Uganda MoH and partners.…”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1782“…This article presents the dataset generated during the process of enhancing the thermophysical properties of nanofluid mixture through fuzzy logic based-modelling and particle swarm optimization (PSO) algorithm. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1783por Nisselle, Amy, Martyn, Melissa, Jordan, Helen, Kaunein, Nadia, McEwen, Alison, Patel, Chirag, Terrill, Bronwyn, Bishop, Michelle, Metcalfe, Sylvia, Gaff, Clara“…Furthermore, those responsible for development and delivery are not necessarily trained in education and/or evaluation. Program logic models have been used to support the development and evaluation of education programs by articulating a logical explanation as to how a program intends to produce the desired outcomes. …”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1784por Kim, Jongmin, Zhou, Yu, Carlson, Paul D., Teichmann, Mario, Chaudhary, Soma, Simmel, Friedrich C., Silver, Pamela A., Collins, James J., Lucks, Julius B., Yin, Peng, Green, Alexander A.“…We integrate the modular repressors into biological circuits that execute universal NAND and NOR logic and evaluate the four-input expression NOT ((A1 AND A2) OR (B1 AND B2)) in Escherichia coli. …”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1785
-
1786por Reinhard, Katja, Li, Chen, Do, Quan, Burke, Emily G, Heynderickx, Steven, Farrow, Karl“…Combining transsynaptic circuit tracing with in vivo and ex vivo electrophysiological recordings, we observed a projection-specific logic where each collicular output pathway sampled a distinct set of retinal inputs. …”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1787por Wu, Alfred M.Enlace del recurso
Publicado 2019
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1788por Abdelkareem, Mohammad Ali, Rezk, Hegazy, Sayed, Enas T., Alaswad, A., Nassef, Ahmed M., Olabi, A.G.“…This article presents the data of recovered lipid from microalgae using fuzzy logic based-modelling and particle swarm optimization (PSO) algorithm. …”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1789por Kosmidis, Kosmas, Jablonski, Kim Philipp, Muskhelishvili, Georgi, Hütt, Marc-Thorsten“…This large-scale analysis supports the notion that two logically distinct types of genetic control are cooperating to regulate gene expression in a complementary manner. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1790
-
1791por Castellanos-Garzón, José A., Costa, Ernesto, Jaimes, José Luis S., Corchado, Juan M.“…In this context, the knowledge representation in form of logical rules has been one of the most accepted machine learning approaches, because of its level of expressiveness. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1792
-
1793por González-Fernández, César, Cabezas, Javier, Fernández-Isabel, Alberto, Martín de Diego, Isaac“…This paper proposes Ant Colony based Architecture with Subjective Logic (ACA-SL). It is a bio-inspired model based on ant colony structures. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1794“…We introduce a game for (extended) Gödel logic where the players’ interaction stepwise reduces claims about the relative order of truth degrees of complex formulas to atomic truth comparison claims. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1795por Leifer, Ian, Morone, Flaviano, Reis, Saulo D. S., Andrade, José S., Sigman, Mariano, Makse, Hernán A.“…We show that logic computational circuits in gene regulatory networks arise from a fibration symmetry breaking in the network structure. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1796“…Hybrid logic is modal logic enriched with names for worlds. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1797por Basin, David, Dardinier, Thibault, Heimes, Lukas, Krstić, Srđan, Raszyk, Martin, Schneider, Joshua, Traytel, Dmitriy“…We describe the development and correctness proof in Isabelle/HOL of a monitor for metric first-order dynamic logic. This monitor significantly extends previous work on formally verified monitors by supporting aggregations, regular expressions (the dynamic part), and optimizations including multi-way joins adopted from databases and a new sliding window algorithm.…”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1798por Patnaikuni, Santosh Kumar, Saini, Sapan Mohan, Chandola, Rakesh Mohan, Chandrakar, Pradeep, Chaudhary, Vivek“…PURPOSE: The purpose of present study is to estimate asymmetric margins of prostate target volume based on biological limitations with help of knowledge based fuzzy logic considering the effect of organ motion and setup errors. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1799“…Those approaches rely on the automated construction of consistent graph models, where each model satisfies complex structural properties of the target domain captured in first-order logic predicates. In this paper, we propose a transformation technique to map such graph generation tasks to a problem consisting of first-order logic formulae, which can be solved by state-of-the-art TPTP-compliant theorem provers, producing valid graph models as outputs. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1800“…Their potential application to Boolean logic computation is then considered in terms of their working mechanism, circuit design and performance metrics. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto