Materias dentro de su búsqueda.
Mostrando 3,741 - 3,760 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.18s Limitar resultados
  1. 3741
    “…[Image: see text] Extremely long coherence times, excellent single-qubit gate fidelities, and two-qubit logic have been demonstrated with silicon metal-oxide-semiconductor spin qubits, making it one of the leading platforms for quantum information processing. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Tunable Coupling and Isolation of Single Electrons in Silicon Metal-Oxide-Semiconductor Quantum Dots
  2. 3742
    “…In the present work, genetic algorithms and fuzzy logic were combined to model and optimise the shear strength of hybrid composite-polymer joints obtained by two step laser joining process. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Combined Fuzzy and Genetic Algorithm for the Optimisation of Hybrid Composite-Polymer Joints Obtained by Two-Step Laser Joining Process
  3. 3743
    “…The Presentation Tier consists of the user interface and the logic used to navigate around the user interface meaningfully. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    An Intelligent Marketspace Mobile Application for Marketing Organic Products
  4. 3744
    “…The pipeline runs entirely within the Coq proof assistant, leading to final, linked assembly code with overall full-functional-correctness proofs in separation logic.…”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
  5. 3745
    “…The objective of this study was to explain how the colonial logic mediates the experiences of Latin American women working in intimate labour in Spain, and the effects of such occupation on their health and wellbeing, using a decolonial theoretical framework. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The Health Consequences of Neocolonialism for Latin American Immigrant Women Working as Caregivers in Spain: A Multisite Qualitative Analysis
  6. 3746
    “…We proved our scheme using Burrows Abdi Needham’s logic (BAN logic) to prove secure mutual authentication. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    SELAMAT: A New Secure and Lightweight Multi-Factor Authentication Scheme for Cross-Platform Industrial IoT Systems
  7. 3747
    “…EPypes facilitates flexibility of algorithm prototyping, as well as provides a structured approach to managing algorithm logic and exposing the developed pipelines as a part of online systems.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    EPypes: a framework for building event-driven data processing pipelines
  8. 3748
    por Cao, Qianyu, Hao, Hanmei
    Publicado 2021
    “…In view of the rigorous logic of the source text and the fixed language steps, this research proposes corresponding post-translation editing strategies for each type of error. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A Chaotic Neural Network Model for English Machine Translation Based on Big Data Analysis
  9. 3749
    “…The aim of this study was to employ fuzzy logic to design a Fuzzy Intelligent or Inference System (FIS) that assesses midwives’ burnout level by emulating the reasoning of human experts. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A fuzzy intelligent system to assess midwives’ burnout conditions
  10. 3750
    por Wang, Ruiqing, Han, Lei
    Publicado 2022
    “…The model consists of a data layer, a logic layer, and a presentation layer. Sports project data, real-time sports data, and health monitoring data are collected in the data layer, and the collected data are transmitted to the logic layer. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Analysis of the Model for Sports Enhancing Human Health Using Data Mining
  11. 3751
    “…Factors involved in older people’s and health professionals’ perceptions of SST in older age were investigated. (2) Methods. Customer Dominant Logic guided this prospective mixed-methods study, including surveys with people 70 years and over and health professionals and individual semi-structured interviews in a sample of survey respondents. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Exploring Adoption and Satisfaction with Self-Service Health Technology in Older Age: Perspectives of Healthcare Professionals and Older People
  12. 3752
    “…Model-checking of temporal logic formulae is a widely used technique for the verification of systems. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    starMC: an automata based CTL* model checker
  13. 3753
    por Leung, Angus, Tsuchiya, Naotsugu
    Publicado 2022
    “…This work extends the application of Φ to simple artificial systems consisting of logic gates towards searching for emergence of a macro spatiotemporal scale in real neural systems.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Emergence of Integrated Information at Macro Timescales in Real Neural Recordings
  14. 3754
    “…We select management scenarios by model-checking Computation Tree Logic formulas representing management goals and built from a proposed catalogue of patterns. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Model-checking ecological state-transition graphs
  15. 3755
    “…In this process, how to extract entities with a medical logic structure and how to make entity extraction more consistent with the logic of the text content in electronic clinical records are two issues that have become key in building a high-quality, medical knowledge graph. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    MLEE: A method for extracting object-level medical knowledge graph entities from Chinese clinical records
  16. 3756
    “…In this very human sense, RRI is deployed with a logic of care in the regional context, while the Horizon 2020 calls and proposals above all are formulated in a logic of choice, to be assessed by indicators. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Translating tools and indicators in territorial RRI
  17. 3757
    por Mill, John Stuart, 1806-1873
    Publicado 1984
    Libro
    El utilitarismo. Un sistema de la lógica /
  18. 3758
    Publicado 1968
    Tabla de Contenidos: “…V. 1. Logic and foundations of mathematics--V. 2. Philosophie des sciences--Raymond Klibansky--…”
    Libro
    La philosophie contemporaine: Chroniques /
  19. 3759
    por Burshtein, Anatoly, I
    Publicado 2005
    “…Presents the quasi-thermodynamic theory of gas-liquid interface and its application for density profile calculation within the van der Waals theory of surface tension. Uses inductive logic to lead readers from observation and facts to personal interpretation and from specific conclusions to general ones.…”
    Enlace del recurso
    Introduction to thermodynamics and kinetic theory of matter
  20. 3760
    “…Zadeh, the father of fuzzy logic, on the occasion of his 90th Birthday. The book gathers original scientific contributions written by top scientists and presenting the latest theories, applications and new trends in the fascinating and challenging field of soft computing.…”
    Enlace del recurso
    Enlace del recurso
    Soft Computing State of the Art Theory and Novel Applications
Herramientas de búsqueda: RSS