Materias dentro de su búsqueda.
Mostrando 3,421 - 3,440 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.16s Limitar resultados
  1. 3421
    por Kennedy, Juliette, Kossak, Roman
    Publicado 2011
    “…A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.…”
    Enlace del recurso
    Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
  2. 3422
    por Negri, Sara, von Plato, Jan
    Publicado 2011
    “…Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.…”
    Enlace del recurso
    Proof Analysis: A Contribution to Hilbert's Last Problem
  3. 3423
    por CERN PhotoLab
    Publicado 1977
    “…On the background John Lindsay testing the Fast Decision Logic box for the trigger. Aldo Penzo on the foreground adjusting High Voltage on Multiwire Proportional Chambers.…”
    Enlace del recurso
    At WA6
  4. 3424
    por Bonacini, Sandro
    Publicado 2007
    “…Two components are under development: a Programmable Logic Device (PLD) and a Field-Programmable Gate Array (FPGA). …”
    Enlace del recurso
    Développement de circuits logiques programmables résistants aux alas logiques en technologie CMOS submicrométrique
  5. 3425
    “…Until recently the low-cost hardware paradigm has been using mezzanines containing a front end interface plus custom logic (typically an FPGA) and a local bus that interfaces the mezzanine to a carrier. …”
    Enlace del recurso
    FPGA Mezzanine Cards for CERN’s Accelerator Control System
  6. 3426
    “…We present the details of the emulation circuitries together with measurement results showing the operation of the BOC logic.…”
    Enlace del recurso
    The IBL BOC Demonstrator
  7. 3427
    “…We present the details of the emulation circuitries together with measurement results showing the operation of the BOC logic.…”
    Enlace del recurso
    The ATLAS IBL BOC Demonstrator
  8. 3428
    por Losee, John
    Publicado 1993
    “…Historicist critics of Logical Empiricism have established that evaluative standards and cognitive aims have changed within the history of science. …”
    Enlace del recurso
    A historical introduction to the philosophy of science
  9. 3429
    “…This article explains the high level logic services provided by the real-time link, describes the non-real-time interfaces and presents the software configuration mechanisms.…”
    Enlace del recurso
    Timing System Solution for MedAustron; Real-time Event and Data Distribution Network
  10. 3430
    “…The system uses a successful combination of the latest Siemens redundant safety programmable logic controllers with a traditional relay logic hardwired loop. …”
    Enlace del recurso
    Access Safety Systems – New Concepts from the LHC Experience
  11. 3431
    “…The SDS interlock logic uses a moving average spark rate count to determine if the ZS performance is acceptable. …”
    Enlace del recurso
    A new spark detection system for the electrostatic septa of the SPS North (experimental) Area
  12. 3432
    “…The SDS interlock logic uses a moving average spark rate count to determine if the ZS performance is acceptable. …”
    Enlace del recurso
    A new spark detection system for the electrostatic septa of the SPS North (experimental) Area
  13. 3433
    “…Topics range from fuzzy sets, to fuzzy logic, fuzzy mathematics, neuro-fuzzy systems, fuzzy control, decision making in fuzzy environments, image processing and many more. …”
    Enlace del recurso
    Enlace del recurso
    Advance Trends in Soft Computing
  14. 3434
    “…Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and  Theoretical Computer Science. …”
    Enlace del recurso
    Enlace del recurso
    Advances in natural deduction: a celebration of Dag Prawitz's work
  15. 3435
    “…Alfred Tarski (1901–1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic, and universal algebra. Throughout his career, he taught mathematics and logic at universities and sometimes in secondary schools. …”
    Enlace del recurso
    Enlace del recurso
    Alfred Tarski: early work in Poland—geometry and teaching
  16. 3436
    por Larson, Paul B
    Publicado 2004
    “…It is also recommended for researchers interested in logic, set theory, and forcing.…”
    Enlace del recurso
    The stationary tower: notes on a course by W. Hugh Woodin
  17. 3437
    por Singham, Mano
    Publicado 2020
    “…This scientific logic is applicable not just in science but can be used in all areas of life. …”
    Enlace del recurso
    The great paradox of science: why its conclusions can be relied upon even though they cannot be proven
  18. 3438
    “…This volume is the second in a series intended to make Pieri’s research in diverse fields—mathematical logic and philosophy of mathematics, foundations of projective, inversive, and elementary geometry, algebraic and differential geometry, and vector analysis—accessible to today’s scholars and to assess its importance (yet little recognized) in historical and modern contexts. …”
    Enlace del recurso
    Enlace del recurso
    The legacy of Mario Pieri in foundations and philosophy of mathematics
  19. 3439
    “…The control part is based on Siemens 1500 series of programmable logic controllers, complemented by a technologically diverse relay logic loop for the critical safety functions. …”
    Enlace del recurso
    Enlace del recurso
    SPS Personnel Protection System: From Design to Commissioning
  20. 3440
    por Peeters, Kasper, Zamaklar, Marija
    Publicado 2001
    “…Recently, it has been shown that quarter-BPS states require the addition of a potential term to this approximation. We explain the logic behind this modification for a larger class of models and then analyse in detail the dynamics of two five-dimensional dyonic instantons, using both analytical and numerical techniques. …”
    Enlace del recurso
    Enlace del recurso
    Motion on moduli spaces with potentials
Herramientas de búsqueda: RSS