Materias dentro de su búsqueda.
Mostrando 901 - 920 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.25s Limitar resultados
  1. 901
    por Pandey, Sonalisa, Sahoo, Debashis
    Publicado 2019
    “…We propose here a new large scale meta‐analysis of the publicly available Arabidopsis datasets to identify Boolean logical relationships between genes. Boolean logic is a branch of mathematics that deals with two possible values. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Identification of gene expression logical invariants in Arabidopsis
  2. 902
    “…The recent rapid development of acoustic logic devices has opened up the possibilities of sound computing and information processing. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Binary-phase acoustic passive logic gates
  3. 903
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Localization of Ion Concentration Gradients for Logic Operation
  4. 904
    “…Hence, it reveals the logic behind the neural mechanisms that control the breathing pattern. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The logic behind neural control of breathing pattern
  5. 905
    “…AVAILABILITY AND IMPLEMENTATION: A Python/Answer Set Programming implementation can be accessed at github.com/GrossTor/response-logic. Data and analysis scripts are available at github.com/GrossTor/response-logic-projects. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Robust network inference using response logic
  6. 906
    “…In this paper, multi-input memristive switch logic is proposed, which enables the function X OR (Y NOR Z) to be performed in a single-step with three memristive switches. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Stateful Three-Input Logic with Memristive Switches
  7. 907
    por Wigglesworth, John
    Publicado 2019
    “…This paper addresses a recent debate as to whether logical anti‐exceptionalists should understand logical theories in syntactic or semantic terms. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Individuating Logics: A Category‐Theoretic Approach
  8. 908
    “…The conductance of our FGFETs can be precisely and continuously tuned, allowing us to use them as building blocks for reconfigurable logic circuits where logic operations can be directly performed using the memory elements. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Logic-in-Memory Based on an Atomically Thin Semiconductor
  9. 909
    por Fox, John
    Publicado 2003
    “…A model of uncertain reasoning based on a form of logical argumentation appears to unify many diverse ideas. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Probability, logic and the cognitive foundations of rational belief
  10. 910
    por Liu, Haipeng, Jeffery, Constance J.
    Publicado 2020
    “…The numerous interconnected biochemical pathways that make up the metabolism of a living cell comprise a fuzzy logic system because of its high level of complexity and our inability to fully understand, predict, and model the many activities, how they interact, and their regulation. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Moonlighting Proteins in the Fuzzy Logic of Cellular Metabolism
  11. 911
    “…Quantum computation theory has inspired new forms of quantum logic, called quantum computational logics, where formulas are supposed to denote pieces of quantum information, while logical connectives are interpreted as special examples of quantum logical gates. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Probabilities and Epistemic Operations in the Logics of Quantum Computation
  12. 912
    “…We investigate the performance of majority-logic decoding in both reversible and finite-time information erasure processes performed on macroscopic bits that contain N microscopic binary units. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Thermodynamics of Majority-Logic Decoding in Information Erasure
  13. 913
    por Johansson, Niklas, Larsson, Jan-Åke
    Publicado 2019
    “…We do so by using a simulation framework, Quantum Simulation Logic (QSL), to construct oracles and algorithms that solve some problems with the same success probability and number of queries as the quantum algorithms. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Quantum Simulation Logic, Oracles, and the Quantum Advantage
  14. 914
    “…Logic gates are important components in integrated photonic circuitry. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Terahertz Spoof Surface Plasmonic Logic Gates
  15. 915
    “…Using seven competency questions, we evaluated the reasoning ramifications of two logical models: the Reciprocal Existential Axioms (REA) homology model and the Ancestral Value Axioms (AVA) homology model. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A Logical Model of Homology for Comparative Biology
  16. 916
    por Sabellek, Leif
    Publicado 2020
    “…We focus on ontologies formulated in Horn description logics, which are a popular choice for ontologies in practice. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Ontology-Mediated Querying with Horn Description Logics
  17. 917
    por Ehrhard, Thomas
    Publicado 2020
    “…Using earlier work introducing an indexed version of Linear Logic, we show that non-idempotent typing can be given a logical form in a system where formulas represent hereditarily indexed families of intersection types.…”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Non-idempotent Intersection Types in Logical Form
  18. 918
    por Odom, Phillip, Natarajan, Sriraam
    Publicado 2018
    “…We hypothesize and demonstrate that probabilistic logic can provide an effective and natural way for the expert to specify domain advice. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Human-Guided Learning for Probabilistic Logic Models
  19. 919
    por Gheorghiu, Alexander, Marin, Sonia
    Publicado 2021
    “…The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Focused Proof-search in the Logic of Bunched Implications
  20. 920
    “…Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Graded Hoare Logic and its Categorical Semantics
Herramientas de búsqueda: RSS