Materias dentro de su búsqueda.
Mostrando 1,361 - 1,380 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.62s Limitar resultados
  1. 1361
    por Wang, Shumei
    Publicado 2019
    “…This last step aims to implement the most promising interventions on a broader scale. The lack of logic in injury prevention programs is one of the most common problems during the safe community certifying process. …”
    Enlace del recurso
    Online Artículo Texto
    Using Public Health Approach to make our programme logic
  2. 1362
    “…We experimentally demonstrate its practicality by implementing a 4-bit arithmetic logic unit consisting of 8 high-speed microdisk modulators and operating at 20 GHz. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Electronic-photonic arithmetic logic unit for high-speed computing
  3. 1363
    “…Core regulatory transcription factors (CR TFs) establish enhancers with logical ordering during embryogenesis and development. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Miswired Enhancer Logic Drives a Cancer of the Muscle Lineage
  4. 1364
    “…This study aimed to investigate the role of the hippocampus and hippocampal networks during logical reasoning tasks in which the congruence between currently-held beliefs and assumptions varies. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Role of the Hippocampus During Logical Reasoning and Belief Bias in Aging
  5. 1365
    por Murinová, Petra, Novák, Vilém
    Publicado 2020
    “…In our previous papers, we formally analyzed the generalized Aristotle’s square of opposition using tools of higher-order fuzzy logic. Namely, we introduced general definitions of selected intermediate quantifiers, constructed a generalized square of opposition consisting of them and syntactically analyzed the emerged properties. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Graded Cube of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic
  6. 1366
    “…Here we demonstrate the construction of a two-level protein–membrane logic gate with an OR-AND logic. The system consists of an engineered pH-dependent pore-forming protein listeriolysin O and its DARPin-based inhibitor, conjugated to a lipid vesicle membrane. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Design of Protein Logic Gate System Operating on Lipid Membranes
  7. 1367
    “…Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains binary connected MMSNP of Feder and Vardi and binary connected guarded monotone SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    ASNP: A Tame Fragment of Existential Second-Order Logic
  8. 1368
    “…The nonpropositional Metric Temporal Graph Logic (MTGL) specifies the behavior of timed dynamic systems given by timed graph sequences (TGSs), which contain typed attributed graphs representing system states and the elapsed time between states. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
  9. 1369
    por Bhayat, Ahmed, Reger, Giles
    Publicado 2020
    “…We present a refutationally complete superposition calculus for a version of higher-order logic based on the combinatory calculus. We also introduce a novel method of dealing with extensionality. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A Combinator-Based Superposition Calculus for Higher-Order Logic
  10. 1370
    por Baader, Franz, Rydval, Jakub
    Publicado 2020
    “…Concrete domains have been introduced in the area of Description Logic to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Description Logics with Concrete Domains and General Concept Inclusions Revisited
  11. 1371
    por Olšák, Miroslav
    Publicado 2020
    “…Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
  12. 1372
    “…These observations strongly impair the practicality of logic locking. Therefore, in this paper we present a holistic framework for scaling logic locking schemes to common multi-module hardware designs, thereby showcasing an industry-ready pathway of applying logic locking in a realistic design flow. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Scaling Logic Locking Schemes to Multi-module Hardware Designs
  13. 1373
    “…We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1) separation logic and 2) incorrectness logic. We explore the theory of this new incorrectness separation logic (ISL), and use it to derive a begin-anywhere, intra-procedural symbolic execution analysis that has no false positives by construction. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
  14. 1374
    por Chi, Gyoo Yong
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Toward a logical integrative medicine: beyond data accumulation
  15. 1375
    “…Alloy is a lightweight specification language based on relational logic, with an analysis engine that relies on SAT solvers to automate bounded verification of specifications. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic
  16. 1376
    “…To solve these issues, an algorithm based on fuzzy logic is proposed to optimize the localization performance. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Indoor Positioning System Based on Fuzzy Logic and WLAN Infrastructure †
  17. 1377
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Logical–Linguistic Model of Diagnostics of Electric Drives with Sensors Support
  18. 1378
    “…Finally, power-efficient logic circuits, e.g. inverter, NAND/AND computation functions are demonstrated with one single device operating at supply voltages of <2.0 V. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Vertical organic permeable dual-base transistors for logic circuits
  19. 1379
    “…Such distinct types of optical modulation phenomena and logical photocurrent inversion characteristics pave the way for future tuneable logical photocurrent switching devices and high-performance phototransistors with vertical graphene heterojunction structures.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Light-modulated vertical heterojunction phototransistors with distinct logical photocurrents
  20. 1380
    “…The main contribution of this paper is in the development of: (1) unconditionally secure signature scheme for LC which makes it immune to the attack of quantum computers; (2) scalable consensus protocol used by LC; (3) logic-based scripting language for the creation of smart contracts on LC; (4) quantum-resistant lottery protocol which illustrates the power and usage of LC.…”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
Herramientas de búsqueda: RSS