Materias dentro de su búsqueda.
Mostrando 3,341 - 3,360 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.18s Limitar resultados
  1. 3341
    por Baldwin, John T
    Publicado 2009
    “…Over the last 35 years Shelah made great strides in extending this result to infinitary logic, where the basic tool of compactness fails. …”
    Enlace del recurso
    Categoricity
  2. 3342
    por Kortner, Oliver
    Publicado 2018
    “…This requires the fast continuous transfer of the MDT hits to the off-detector trigger logic and a fast track reconstruction algorithm performed in the trigger logic. …”
    Enlace del recurso
    Development of a Highly Selective Muon Trigger Exploiting the High Spatial Resolution of Monitored Drift-Tube Chambers for the ATLAS Experiment at the HL-LHC
  3. 3343
    por Kortner, Oliver
    Publicado 2018
    “…This requires the fast continuous transfer of the MDT hits to the off-detector trigger logic and a fast track reconstruction algorithm performed in the trigger logic. …”
    Enlace del recurso
    Enlace del recurso
    Development of a highly selective muon trigger exploiting the high spatial resolution of monitored drift-tube chambers for the ATLAS experiment at the HL-LHC
  4. 3344
    por Gabbay, Dov, Smets, Philippe
    Publicado 1998
    “…The work thus presents a unified view of belief change operators, drawing from a widely scattered literature embracing philosophical logic, artificial intelligence, uncertainty modelling and database systems. …”
    Enlace del recurso
    Enlace del recurso
    Belief change
  5. 3345
    “…The proposed solution exploits the concept of structural test and new testing algorithms such as Automatic Test Pattern Generation (ATPG) for general digital logic and March for memory elements. Design for Testability (DFT) hardware is integrated on chip to test SRAM memories, peripheral logic and MPA pixel array, providing internal control and observation points for the implementation of the those algorithms. …”
    Enlace del recurso
    Enlace del recurso
    Study, implementation and testing of radiation tolerant design for testability solutions for CMS OT FE ASICs
  6. 3346
    “…The digital section of the system is based on ALTERA programmable logic arrays. This system with a total of 576 channels is used in the PIBETA experiment to study rare pion decays on the PSI accelerator (Switzerland)…”
    Enlace del recurso
    Anode and cathode readout electronics for cylindrical multiwire proportional chambers of the PIBETA detector
  7. 3347
    “…Various subsidiary logics are implemented in FPGAs while the core trigger logic is implemented in ASICs. …”
    Enlace del recurso
    Enlace del recurso
    Irradiation tests of ROHM 0.35um ASIC and Actel Anti-fuse FPGA for the ATLAS Muon Endcap Level-1 Trigger System
  8. 3348
    “…The positioning and interlocking logic is implemented in an industrial Programmable Logic Controller (PLC). …”
    Enlace del recurso
    Enlace del recurso
    Stripping Foil Displacement Unit Control for H⁻ Injection in PSB at CERN
  9. 3349
    “…On the other hand, solutions based on logic inside FPGAs can result in long development cycles. …”
    Enlace del recurso
    Enlace del recurso
    Developing Distributed Hard-Real Time Software Systems Using FPGAs and Soft Cores
  10. 3350
    “…It follows a methodology based on ISA-88 and provides components in two layers of a control system: control and supervision. The control logic is running in the first layer, in a PLC (Programmable Logic Controller), and, in the second layer, a SCADA (Supervisory Control and Data Acquisition) system is used to interface with the operators and numerous other features (e.g. alarms, archiving, etc.). …”
    Enlace del recurso
    Enlace del recurso
    UNICOS framework and EPICS: A possible integration
  11. 3351
    por Lüdecke, Daniel
    Publicado 2008
    “…RESULTS AND CONCLUSIONS: Organisations follow their own logic, which may appear ‘irrational’ to outside observers. …”
    Enlace del recurso
    Texto
    Sustainable interface management in integrated care
  12. 3352
    “…DNA has been used to design machines, motors, finite automata, logic gates, reaction networks and logic programs, amongst many other structures and dynamic behaviours. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A DNA Network as an Information Processing System
  13. 3353
    “…Scalable circuits of organic logic and memory are realized using all-additive printing processes. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Scalable printed electronics: an organic decoder addressing ferroelectric non-volatile memory
  14. 3354
    “…Six types of embedded processors are included in the system: a smart-sensor processor, a micro fuzzy logic controller, a programmable logic controller, a system manager, an IO processor and a communication processor. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    FPGA-Based Multiprocessor System for Injection Molding Control
  15. 3355
    “…The machinery of morphogenesis is well established but the logic of its control remains unclear in complex organs. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Dual role of myosin II during Drosophila imaginal disc metamorphosis
  16. 3356
    “…A simple timer circuit measures how long (in microsecond) it takes for the photocurrent generated on the detector LED to discharge its capacitance from logic 1 (+5 V) to logic 0 (+1.7 V). The entire instrument provides an inherently digital output of light intensity measurements for a few cents. …”
    Enlace del recurso
    Online Artículo Texto
    Solid State pH Sensor Based on Light Emitting Diodes (LED) As Detector Platform
  17. 3357
    “…This paper presents fuzzy logic control of doubly fed induction generator (DFIG) wind turbine in a sample power system. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Doubly Fed Induction Generator Wind Turbines with Fuzzy Controller: A Survey
  18. 3358
    “…We argue that many formal systems are required for psychology: classical logic, non-monotonic logics, probability logics, relevance logic, and others. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The empirical study of norms is just what we are missing
  19. 3359
    por Lee, Edward A.
    Publicado 2015
    “…The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The Past, Present and Future of Cyber-Physical Systems: A Focus on Models
  20. 3360
    “…This paper, gives an answer for the Question 1.1 posed by Hitzler (Generalized metrics and topology in logic programming semantics, 2001) by means of "Topological aspects of d-metric space with d-neighborhood system". …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    d-Neighborhood system and generalized F-contraction in dislocated metric space
Herramientas de búsqueda: RSS