Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Correctness

  • Source: Journal of Automated ReasoningJournal of Automated Reasoning, 2022, 66, pp.175-213. ⟨10.1007/s10817-021-09612-0⟩Journal of Automated Reasoning, Springer Verlag, In press,

Record details

×

Development of an Energy-Sensitive Detector for the Atom Probe Tomography

Subjects: Physics - Instrumentation and Detectors; Materials science; Silicon

  • Source: Microscopy and MicroanalysisMicroscopy and Microanalysis, 2022, 28 (4), pp.1076-1091. ⟨10.1017/S1431927621012708⟩

Record details

×

Analysis and Comparison of Electromagnetic Microrobotic Platforms for Biomedical Applications

Subjects: electromagnetic actuation; Fluid Flow and Transfer Processes; Technology

  • Source: Applied SciencesApplied Sciences, MDPI, 2022, 12 (1), pp.456. ⟨10.3390/app12010456⟩Applied Sciences, Vol 12, Iss 456, p 456 (2022)

Record details

×

Hybrid light-matter networks of Majorana zero modes

Subjects: [PHYS]Physics [physics]; Quantum Physics; Condensed Matter - Mesoscale and Nanoscale Physics

  • Source: npj Quantum Informationnpj Quantum Information, Nature, 2021, 7 (1), pp.171. ⟨10.1038/s41534-021-00508-w⟩npj Quantum Information, Vol 7, Iss 1, Pp 1-9 (2021)

Record details

×

Passivation of miniature microwave coplanar waveguides using a thin film fluoropolymer electret

Subjects: 010302 applied physics; Multidisciplinary; Science

  • Source: Scientific ReportsScientific Reports, Nature Publishing Group, 2021, ⟨10.1038/s41598-021-03540-0⟩Scientific Reports, Vol 11, Iss 1, Pp 1-19 (2021)Scientific Reports, 2021,

Record details

×
  • 1-10 of  8,065 results for ""02 engineering and technology""