Materias dentro de su búsqueda.
Mostrando 3,281 - 3,300 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.46s Limitar resultados
  1. 3281
    por Park, Jongho, Yoo, Jaehyun
    Publicado 2019
    “…The distance transform method is applied to establish dead-end situation logic as well as exploration completion logic. When a dead-end situation occurs, the guidance algorithm of the quadrotor is switched to a particular maneuver. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Indoor Mapping Guidance Algorithm of Rotary-Wing UAV Including Dead-End Situations
  2. 3282
    “…In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic [Image: see text] : linear logic extended with least and greatest fixed points allowing inductive and coinductive statements. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Toward a Curry-Howard Equivalence for Linear, Reversible Computation: Work-in-Progress
  3. 3283
    por De Bona, Glauber, Cozman, Fabio G.
    Publicado 2018
    “…We show how to reduce the coherence checking problem in relational Bayesian networks to a validity problem in first-order logic augmented with a transitive closure operator and how to combine this logic-based approach with faster, but incomplete algorithms.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    On the Coherence of Probabilistic Relational Formalisms
  4. 3284
    “…For the first time, a type-2 fuzzy logic based approach is formulated to find an approximated solution. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Machine Learning for Modeling the Singular Multi-Pantograph Equations
  5. 3285
    por Poudel, Prakar, Adhikari, Sudhir
    Publicado 2022
    “…Neonatal hyperbilirubinemia is a frequently observed clinical situation that, sometimes, may result in complications ranging from mild neurodevelopment impairment to serious outcome of kernicterus. The rationale logic of heme oxygenase enzyme inhibition to lower bilirubin levels is intriguing. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Efficacy and Safety Concerns with Sn-Mesoporphyrin as an Adjunct Therapy in Neonatal Hyperbilirubinemia: A Literature Review
  6. 3286
    por Kupperman, Joel
    Publicado 1973
    Libro
    Fundamentos de lógica
  7. 3287
    por Van Fraassen, Bas C., 1941-
    Publicado 1987
    Libro
    Semántica formal y lógica
  8. 3288
    Publicado 1974
    Libro
    Lógica II - prueba
  9. 3289
    por Mizukami, Atsushi, Honda, Takuya
    Publicado 2017
    “…Finer track information from the NSW can be used for the muon trigger logic to enhance the performance significantly. In order to handle data from both TGC and NSW, some new electronics have been developed, including the trigger processor board, Sector Logic. …”
    Enlace del recurso
    Performance of the ATLAS Muon Trigger and Phase-1 Upgrade of Level-1 Endcap Muon Trigger
  10. 3290
    “…The overall results are assembled by the high-pT PAD logic and sent via optical fibre to the off-detector electronics. …”
    Enlace del recurso
    Enlace del recurso
    Slice Test Results of the ATLAS Barrel Muon Level-1 Trigger
  11. 3291
    por van den Berg, Hein
    Publicado 2023
    “…Historically, however, logic and metaphysics have extensively shaped methods and interpretations of classifications in the natural sciences. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The essentialism of early modern psychiatric nosology
  12. 3292
    “…Cascading up to five pairwise fusion proteins yielded robust multi-input AND logic gates. Combinations of different pairwise fusion proteins afforded a variety of 4-input 1-output AND and OR logic gate configurations. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Combinatorial protein dimerization enables precise multi-input synthetic computations
  13. 3293
    “…Many important processes in biology, such as signaling and gene regulation, can be described using logic models. These logic models are typically built to behaviorally emulate experimentally observed phenotypes, which are assumed to be steady states of a biological system. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Automatic mechanistic inference from large families of Boolean models generated by Monte Carlo tree search
  14. 3294
    “…CONSEQUENCES: Participatory methods resulted in buy-in from stakeholders and the development of a national logic model. Benefits included CDC's use of the logic model for program planning and development of a national evaluation protocol and increased expectations among PRC partners for involvement. …”
    Enlace del recurso
    Enlace del recurso
    Texto
    Engaging Partners to Initiate Evaluation Efforts: Tactics Used and Lessons Learned From the Prevention Research Centers Program
  15. 3295
    por Kinkhabwala, Ali, Guet, Călin C.
    Publicado 2008
    “…The resulting library of complex promoters allows for rapid exploration of promoter encoded logic regulation. Among all possible logic functions, NOR and ANDN promoter encoded logics predominate. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Texto
    Uncovering cis Regulatory Codes Using Synthetic Promoter Shuffling
  16. 3296
    “…DATA SYNTHESIS: The logic model focuses on the environmental health research portfolio of the National Institute of Environmental Health Sciences (NIEHS) Division of Extramural Research and Training. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Texto
    Conceptual Model of Comprehensive Research Metrics for Improved Human Health and Environment
  17. 3297
    “…SNOMED CT claims to support formal reasoning by description-logic based concept definitions. METHODS: On the basis of formal ontology criteria we analyze complex SNOMED CT concepts, such as "Concussion of Brain with(out) Loss of Consciousness", using alternatively full first order logics and the description logic [Formula: see text]. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Texto
    Formal representation of complex SNOMED CT expressions
  18. 3298
    “…METHODS: This study used Inductive Logic Reasoning (ILR), a process that uses logic models as the primary functional tool to develop theories of change, which are subsequently validated through proposition testing. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Implementing large-scale workforce change: learning from 55 pilot sites of allied health workforce redesign in Queensland, Australia
  19. 3299
    por Hupé, Jean-Michel
    Publicado 2015
    “…I suggest that current models for the analysis of brain imaging data suffer from serious limitations and call for a revision taking into account the “new statistics” (confidence intervals) logic.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Statistical inferences under the Null hypothesis: common mistakes and pitfalls in neuroimaging studies
  20. 3300
    por Li, Meng, Liu, Jun, Tsien, Joe Z.
    Publicado 2016
    “…What is the computational logic underlying Hebbian cell assemblies? How might Nature vs. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Theory of Connectivity: Nature and Nurture of Cell Assemblies and Cognitive Computation
Herramientas de búsqueda: RSS