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
-
1961“…Our experiences concerning fluorescent molecular sensing and logic devices and their intersections with polymer science are the foci of this brief review. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1962“…The synthesized diarylethene displayed excellent selectivity to Al(3+) with a distinct fluorescence change, revealing that it could be used as a sensor for fluorescence identification of Al(3+), and a logic circuit was constructed by utilizing this diarylethene molecular platform. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1963“…Here, we show a DNA arithmetic logic unit (ALU) consisting of elemental DNA logic gates using polymerase-mediated strand displacement. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1964“…The second interesting application of DGTFTs is logic functionality. This device demonstrates AND logic function controlled by applying either 0 or −1 V to each of the gate electrodes. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1965“…We propose a proof-of-principle experiment to encode one logical qubit in noise protected subspace of three identical spins in a methyl group. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1966por Fahim, Hamza, Li, Wei, Javaid, Shumaila, Sadiq Fareed, Mian Muhammad, Ahmed, Gulnaz, Khattak, Muhammad Kashif“…Our proposed work explicitly considers these limitations and introduces a novel energy-efficient routing scheme based on a fuzzy logic and bio-inspired firefly algorithm. Our proposed fuzzy logic-based correlation region selection and bio-inspired firefly algorithm based nano biosensors (NBSs) nomination jointly contribute to energy conservation by minimizing transmission of correlated spatial data. …”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1967por Tucan, Paul, Gherman, Bogdan, Major, Kinga, Vaida, Calin, Major, Zoltan, Plitea, Nicolae, Carbone, Giuseppe, Pisla, Doina“…The result of the risk assessment process is further analyzed using a fuzzy logic system in order to determine the safety degree conferred during the use of the robotic system. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1968por Kingra, Sandeep Kaur, Parmar, Vivek, Chang, Che-Chia, Hudec, Boris, Hou, Tuo-Hung, Suri, Manan“…The logic/embedded-side of digital systems (like processors, micro-controllers) can greatly benefit from such LIM realizations. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1969
-
1970
-
1971por Arji, Goli, Ahmadi, Hossein, Nilashi, Mehrbakhsh, A. Rashid, Tarik, Hassan Ahmed, Omed, Aljojo, Nahla, Zainol, Azida“…The key fuzzy logic methods used for the infectious disease are the fuzzy inference system; the rule-based fuzzy logic, Adaptive Neuro-Fuzzy Inference System (ANFIS) and fuzzy cognitive map. …”
Publicado 2019
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1972“…Thus, this paper proposes an interval type-2 fuzzy logic system (IT2 FLS) to determine the similarity between the neighboring pixels by involving an instinctive human perception through a rule-based approach. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1973“…Applications of B notebooks include executable documentation of formal models, interactive manuals, validation reports but also teaching of formal methods, logic, set theory and theoretical computer science. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1974por Sarker, Md Arifur R., Jung, Seungwoo, Ildefonso, Adrian, Khachatrian, Ani, Buchner, Stephen P., McMorrow, Dale, Paki, Pauline, Cressler, John D., Song, Ickhyun“…In the present work, we demonstrate how radiation hardening by design (RHBD) techniques utilized in DC bias blocks only (current mirrors) can also improve the SET response in AC signal paths of switching circuits (e.g., current-mode logic, CML) without any additional hardening in those AC signal paths. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1975“…Here, we report a modular synthesis of a suite of oxidized meroterpenoids using a hybrid synthetic strategy that is designed to harness the power of both biocatalytic and radical-based retrosynthetic logic. This strategy enables direct introduction of key hydroxyl groups and rapid construction of key bonds and stereocenters, facilitating the development of a concise route (7–12 steps from commercial materials) to eight oxidized meroterpenoids from two common molecular scaffolds. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1976“…A number of experiments have been carried by employing different distance metrics, some of them involving Fuzzy Logic. The experiments show that the mappings are highly accurate and Fuzzy Logic improves the precision of the model.…”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1977“…We present HYPNO (HYpersequent Prover for NOn-normal modal logics), a Prolog-based theorem prover and countermodel generator for non-normal modal logics. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1978“…We present a simple Prolog prover for intuitionistic modal logics based on nested sequent proof systems. We have implemented single-conclusion systems (Gentzen-style) and multi-conclusion systems (Maehara-style) for all logics in the intuitionistic modal IS5-cube. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1979“…This study developed a logic model of nutrition support for cancer patients based on current literature and conducted interview with medical staff in Macao to validate the logic model. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1980