Materias dentro de su búsqueda.
Mostrando 1,581 - 1,600 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.24s Limitar resultados
  1. 1581
    “…This paper reports on the optimization of the device and wiring in a via structure applied to multilevel metallization (MLM) used in CMOS logic devices. A MLM via can be applied to the Tungsten (W) plug process of the logic device by following the most optimized barrier deposition scheme of RF etching 200 Å IMP Ti (ion metal plasma titanium) 200 Å CVD TiN (titanium nitride deposited by chemical vapor deposition) 2 × 50 Å. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Process Optimization of Via Plug Multilevel Interconnections in CMOS Logic Devices
  2. 1582
    por Jiang, Yiting, Miao, Peng
    Publicado 2020
    “…Herein, we have developed a series of novel logic gates for miRNA analysis coupling DNA nanostructures and chameleon silver nanoclusters (AgNCs). …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    DNA Dumbbell and Chameleon Silver Nanoclusters for miRNA Logic Operations
  3. 1583
    “…WP-Slicing first converts the original program into logic facts. Then it extracts dependences from the facts, computes the static backward slice and calculates the statements’ weight. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Weight prioritized slicing based on constraint logic programming for fault localization
  4. 1584
    “…We discuss how this new result furthers the study of the connections between logic, formal languages and functions, and automata.…”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions
  5. 1585
    “…Fuzzy Logic Systems can provide a good level of interpretability and may provide a key building block as part of a growing interest in explainable AI. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Performance and Interpretability in Fuzzy Logic Systems – Can We Have Both?
  6. 1586
    por Dubois, Didier, Prade, Henri
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Towards a Logic-Based View of Some Approaches to Classification Tasks
  7. 1587
    “…Molecules that respond to input stimulations to produce detectable outputs can be exploited to mimic Boolean logic operators and reproduce basic arithmetic functions. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A Reconfigurable, Dual-Output INHIBIT and IMPLICATION Molecular Logic Gate
  8. 1588
    por Howlader, Prosenjit, Banerjee, Mohua
    Publicado 2020
    “…It is shown that the object oriented protoconcepts form a double Boolean algebra, and any double Boolean algebra is quasi-embedded in an algebra of protoconcepts. A logic DBL for the class of double Boolean algebras is proposed along with an extension PDBL for the class of pure double Boolean algebras. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Object Oriented Protoconcepts and Logics for Double and Pure Double Boolean Algebras
  9. 1589
    “…BACKGROUND: The HeartLogic algorithm measures data from multiple implantable cardioverter‐defibrillator‐based sensors and combines them into a single index. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Prospective evaluation of the multisensor HeartLogic algorithm for heart failure monitoring
  10. 1590
    “…We show that these relations have all the nice properties necessary to be used for compositional verification, in particular congruence and adequacy with the logic. We also illustrate their practical utility on several examples and case-studies, and report about our success in the RERS 2019 model checking challenge.…”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
  11. 1591
    por Danish, Esmatullah, Onder, Mustafa
    Publicado 2020
    “…In this study, the fuzzy logic model is used because of the uncertainties, nonlinearity, and imprecise variables in the data. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Application of Fuzzy Logic for Predicting of Mine Fire in Underground Coal Mine
  12. 1592
    por Bormashenko, Edward
    Publicado 2019
    “…We demonstrate that the Landauer principle remains valid for the physical computing device based on the ternary, and more generally, N-based logic. The energy necessary for erasure of one bit of information (the Landauer bound) [Formula: see text] remains untouched for the computing devices exploiting a many-valued logic.…”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Generalization of the Landauer Principle for Computing Devices Based on Many-Valued Logic
  13. 1593
    “…Formal aspects of this new logical system are detailed: in particular, the concepts of tautology and contradiction are investigated in this extension. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Holistic Type Extension for Classical Logic via Toffoli Quantum Gate
  14. 1594
    por Che, Haoyang, Duan, Yucong
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    On the Logical Design of a Prototypical Data Lake System for Biological Resources
  15. 1595
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Diet to Reduce the Metabolic Syndrome Associated with Menopause. The Logic for Olive Oil
  16. 1596
    “…In this paper, we present a compartmental, logical model of the MEN that is capable of representing spatial aspects of regulation in parallel to control of enzymatic activity. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Unifying the mechanism of mitotic exit control in a spatiotemporal logical model
  17. 1597
    “…The logic is higher-order, concurrent, with higher-order store and network sockets, and is fully mechanized in the Coq proof assistant. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
  18. 1598
    “…The control design uses the discrete-time version of the epidemic model, and it is able to handle complex, possibly time-dependent constraints, logical relations between model variables and multiple predefined discrete levels of interventions. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Nonlinear model predictive control with logic constraints for COVID-19 management
  19. 1599
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Conserved Epigenetic Regulatory Logic Infers Genes Governing Cell Identity
  20. 1600
    “…This variant is already undecidable for very limited logics. Therefore, we consider a first-order logic without the order on word positions. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Parameterized Synthesis for Fragments of First-Order Logic Over Data Words
Herramientas de búsqueda: RSS