Materias dentro de su búsqueda.
Mostrando 3,021 - 3,040 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.95s Limitar resultados
  1. 3021
    “…Hyper-field effect transistors (hyper-FETs) are crucial in the development of low-power logic devices. With the increasing significance of power consumption and energy efficiency, conventional logic devices can no longer achieve the required performance and low-power operation. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Improved Electrical Characteristics of Field Effect Transistors with GeSeTe-Based Ovonic Threshold Switching Devices
  2. 3022
    “…[Image: see text] Logic gate nanoparticles, where two chemical transformations take place one after the other, were successfully formulated from a newly synthesized random co-polymer. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Texto
    Multiresponse Strategies To Modulate Burst Degradation and Release from Nanoparticles
  3. 3023
    “…We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for typed higher-order logics. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The Imandra Automated Reasoning System (System Description)
  4. 3024
    “…Unexpectedly, the control logic that evolved was not significantly correlated to the complexity of the environment. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Evolution of default genetic control mechanisms
  5. 3025
    por Yang, Jiong, Ding, Shigang
    Publicado 2021
    “…The compatibility of these chimeric RBPs with proteolysis-based sensing units were tested. Eight two-input logic gates and four three-input logic gates were implemented. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Chimeric RNA-binding protein-based killing switch targeting hepatocellular carcinoma cells
  6. 3026
    por Yu, Xin, Wang, Jinpeng, Liu, Yongliang
    Publicado 2021
    “…Finally, four patterns of civic participation in internet events were found and summarized, as well as the intervention and influence of media logic in different modes. However, it is political logic, rather than media logic, that reveals greater vitality in the civic participation of cyber deliberation. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Civic Participation in Chinese Cyberpolitics: A Grounded Theory Approach of Para-Xylene Projects
  7. 3027
    “…A comparative with different types of Fuzzy Systems, such as Fuzzy BCO with Type-1 Fuzzy Logic System (FBCO-T1FLS), Fuzzy BCO with Interval Type-2 Fuzzy Logic System (FBCO-IT2FLS) and Fuzzy BCO with Generalized Type-2 Fuzzy Logic System (FBCO-GT2FLS) is analyzed. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Interval Type-3 Fuzzy Adaptation of the Bee Colony Optimization Algorithm for Optimal Fuzzy Control of an Autonomous Mobile Robot
  8. 3028
    por Xin, Lizhi, Xin, Kevin, Xin, Houwen
    Publicado 2023
    “…Incorporating insights from quantum theory, we propose a machine learning-based decision-making model, including a logic tree and a value tree; a genetic programming algorithm is applied to optimize both the logic tree and value tree. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    On Laws of Thought—A Quantum-like Machine Learning Approach
  9. 3029
    por Xu, Yiming, Norrish, Michael
    Publicado 2020
    “…The focus on models is novel: previous work in mechanisations of modal logic have centered on proof systems and applications in model-checking. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Mechanised Modal Model Theory
  10. 3030
    por Mundici, Daniele
    Publicado 2011
    “…This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms.…”
    Enlace del recurso
    Enlace del recurso
    Advanced Lukasiewicz calculus and MV-algebras
  11. 3031
    “…Synthetic biology involves the engineering of logic circuit gates that process different inputs to produce specific outputs, enabling the creation or control of biological functions. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Synthetic circuits based on split Cas9 to detect cellular events
  12. 3032
    “…Logic models were conceived by categorizing discrete surveillance inputs, activities, outputs, and outcomes. …”
    Enlace del recurso
    Online Artículo Texto
    Identification and Assessment of Public Health Surveillance Gaps under the IHR (2005)
  13. 3033
    por Weyl, Hermann
    Publicado 2012
    “…Most have been long unavailable or not previously published in book form. Subjects include logic, topology, abstract algebra, relativity theory, and reflections on the work of Weyl's mentor, David Hilbert.…”
    Enlace del recurso
    Levels of infinity: selected writings on mathematics and philosophy
  14. 3034
    “…This allows the front module's interface block to control data transfers for logic devices on both sides of the same slot. All usual VME protocols to logic devices on the RTM become possible without any software adaptation. …”
    Enlace del recurso
    Method for Backplane Data Communication with the VME Rear Transition Modules Developed for the ATLAS FTK Project
  15. 3035
    “…This allows the front module's interface block to control data transfers for logic devices on both sides of the same slot. All usual VME protocols to logic devices on the RTM become possible without any software adaptation. …”
    Enlace del recurso
    Method for Backplane Data Communication with the VME Rear Transition Modules Developed for the ATLAS FTK Project
  16. 3036
    por Czelakowski, Janusz
    Publicado 2015
    “…It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology.   …”
    Enlace del recurso
    Enlace del recurso
    Freedom and enforcement in action: a study in formal action theory
  17. 3037
    “…In turn, the fifth part investigates applications of fuzzy logic in diverse areas, such as time series prediction and pattern recognition. …”
    Enlace del recurso
    Enlace del recurso
    Nature-inspired design of hybrid intelligent systems
  18. 3038
    por Canessa, Emanuele
    Publicado 2018
    “…Thanks to their reconfigurability properties, as well as their I/O capabilities these devices are often employed as core logic in many different applications. On top of that, the use of soft microcontrollers can ease the complexity related to the some of the control logic of these devices, allowing to easily develop new features without having to redesign most of the control logic involved. …”
    Enlace del recurso
    High-Energy Physics Fault Tolerance Metrics and Testing Methodologies for SRAM-based FPGAs A case of study based on the Xilinx Triple Modular Redundancy (TMR) Subsystem
  19. 3039
    por Tsujikawa, Yoshiaki
    Publicado 2021
    “…Finer track information from NSW is used as a part of the muon trigger logic to improve the trigger performance. A new trigger board, Sector Logic (SL), has been developed to handle data from TGC and NSW. …”
    Enlace del recurso
    Upgrade of the ATLAS Level-1 Endcap Muon Trigger System for LHC Run-3
  20. 3040
    “…The PathoLogic component of the Pathway Tools software performs prediction of metabolic pathways in sequenced and annotated genomes. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The Pathway Tools Pathway Prediction Algorithm
Herramientas de búsqueda: RSS