OPAC

Repository: 65 Language: Inglés

Sort by Score Title Year -

771-780 from 1127 results (0.008 seconds)

Title: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder
Title: Visualization of high dynamic range images
Language: Inglés
Repository: 65
Title: Dependability Analysis of CAN Networks: an emulation-based approach
Language: Inglés
Repository: 65
Subject: ELECTRÓNICA
Title: Accurate dependability analysis of CAN-based networked systems
Language: Inglés
Repository: 65
Subject: ELECTRÓNICA
Title: Axiomatic scalar data interpolation on manifolds
Language: Inglés
Repository: 65
Subject: Interpolation algorithms / Set theory / Partial differential equations / Image processing
Title: Biomedical prototype development in Uruguay: 15 years and lessons learned
Language: Inglés
Repository: 65
Title: Changes in postural control parameters after vestibular rehabilitation in patients with central vestibular disorders
Language: Inglés
Repository: 65
Title: Inpainting surface holes
Language: Inglés
Repository: 65
Subject: Image processing / Partial differential equations / Painting
Title: MOSFET mismatch in weak/moderate inversion : model needs and implications for analog design
Language: Inglés
Repository: 65
Subject: MOSFET circuits / Analog design / Mismatch measurements / ELECTRÓNICA
Title: A fully integrated physical activity sensing circuit for implantable pacemakers
Language: Inglés
Repository: 65
Subject: Analog design / CMOS / Low-power / Biomedical / ELECTRÓNICA

« Previous 74 75 76 77 78 79 80 81 82 Next »

Refine your Search