Materias dentro de su búsqueda.
Mostrando 1,141 - 1,160 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.20s Limitar resultados
  1. 1141
    por Minami, Kiraku
    Publicado 2020
    “…Moreover, we construct an epistemic logic for the applied pi calculus. We show that its logical equivalence agrees with trace equivalence. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Trace Equivalence and Epistemic Logic to Express Security Properties
  2. 1142
    “…Droplet-based microfluidic logic gates have many applications in diagnostic assays and biosciences due to their automation and the ability to be cascaded. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Non-Newtonian droplet-based microfluidics logic gates
  3. 1143
    por Siegel, Stephen F., Yan, Yihao
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Action-Based Model Checking: Logic, Automata, and Reduction
  4. 1144
    “…We propose an extension of separation logic with fractional permissions, aimed at reasoning about concurrent programs that share arbitrary regions or data structures in memory. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Reasoning over Permissions Regions in Concurrent Separation Logic
  5. 1145
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Melanoma Diagnosis Using Deep Learning and Fuzzy Logic
  6. 1146
    “…The possible use of electrostrictive materials for information processing devices has been widely discussed because it could allow low-power logic operation by overcoming the fundamental limit of subthreshold swing greater than 60 mV/decade in conventional MOSFETs. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Proposal for an electrostrictive logic device with the epitaxial oxide heterostructure
  7. 1147
    “…These multicellular computing systems are highly modular, do not require cell-cell communication channels, and any program can be built by differential composition of strains containing well-characterized logic scaffolds. We developed automated workflows that researchers can use to streamline program design and optimization. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Rational programming of history-dependent logic in cellular populations
  8. 1148
    “…We further relate the ternary logic approach with the entropic stability criteria for a frictional system and with the study of ultraslow sliding friction (intermediate between the rest and motion or between stick and slip).…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Ternary Logic of Motion to Resolve Kinematic Frictional Paradoxes
  9. 1149
    por Toffano, Zeno, Dubois, François
    Publicado 2020
    “…It expresses logical propositions using linear algebra. Logical functions are represented by operators and logical truth tables correspond to the eigenvalue structure. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Adapting Logic to Physics: The Quantum-Like Eigenlogic Program
  10. 1150
    por Sun, Xin, He, Feifei
    Publicado 2020
    “…The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A First Step to the Categorical Logic of Quantum Programs
  11. 1151
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Transcription imparts architecture, function, and logic to enhancer units
  12. 1152
    “…Digital fingerprints are being used more and more to secure applications for logical and physical access control. In order to guarantee security and privacy trends, a biometric system is often implemented on a secure element to store the biometric reference template and for the matching with a probe template (on-card-comparison). …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Logical Attacks and Countermeasures for Fingerprint On-Card-Comparison Systems †
  13. 1153
    “…Therefore, the intersection zone scattering from using the weight and ratio of the egg’s size to input of DY and SY is taken into consider with fuzzy logic algorithm, to improve the error. The results of errors from fuzzy logic are depended with input membership functions (MF). …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Double yolk eggs detection using fuzzy logic
  14. 1154
    “…Electronic Boolean logic gates, the foundation of current computation and digital information processing, are reaching final limits in processing power. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Frequency-domain ultrafast passive logic: NOT and XNOR gates
  15. 1155
    “…When perceptually available information is scant, we can leverage logical connections among hypotheses to draw reliable conclusions that guide our reasoning and learning. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Infants recruit logic to learn about the social world
  16. 1156
    “…On the contrary, fuzzy logic provides the tools to model complex problems in a more natural way. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Enhancing Hyperheuristics for the Knapsack Problem through Fuzzy Logic
  17. 1157
    “…The recently proposed Neural Arithmetic Logic Unit (NALU) is a novel neural architecture which is able to explicitly represent the mathematical relationships by the units of the network to learn operations such as summation, subtraction or multiplication. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    iNALU: Improved Neural Arithmetic Logic Unit
  18. 1158
    “…Integrated circuits utilize networked logic gates to compute Boolean logic operations that are the foundation of modern computation and electronics. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Digital logic gates in soft, conductive mechanical metamaterials
  19. 1159
    por Fukihara, Yōji, Katsumata, Shin-ya
    Publicado 2021
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Generalized Bounded Linear Logic and its Categorical Semantics
  20. 1160
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Feasibility and reliability of sequential logic with gene regulatory networks
Herramientas de búsqueda: RSS