نتائج البحث

Automation for Proof Engineering: Machine-Checked Proofs At Scale

• Authors : Matichuk, Daniel

Subjects: Automated reasoning; Interactive theorem proving; Proof engineering

تفاصيل العنوان

A clarification of the languages used in Cohen's independence proofs for the axiom of choice and the generalized continuum hypothesis

• Authors : Nolan, Patrick Cean

Subjects: Set theory; Axiomatic

تفاصيل العنوان

Safe Robot Navigation Among Moving and Steady Obstacles

• Authors : Matveev, AS; Savkin, AV; Hoy, M

• Source: urn:ISBN:9780128037300 ; urn:ISBN:012803730X

تفاصيل العنوان

Automated Verification of RPC Stub Code

• Authors : Fernandez, ML; Andronick, J; Klein, G ...

Subjects: 4613 Theory Of Computation; 46 Information and Computing Sciences; 4612 Software Engineering

• Source: urn:ISBN:978-3-319-19248-2 ; urn:ISSN:0302-9743 ; urn:ISSN:1611-3349 ; International Symposium on Formal Methods, Oslo, Norway, 2015-06-24 - 2015-06-26

تفاصيل العنوان

ENERGY & STORAGE SHARING STRATEGIES IN AN ELECTRICITY MARKET ENVIRONMENT

• Authors : Sun, Lingling

تفاصيل العنوان

Uniform stability for a spatially discrete, subdiffusive Fokker–Planck equation

• Authors : McLean, W; Mustapha, K

Subjects: anzsrc-for: 0102 Applied Mathematics; anzsrc-for: 0103 Numerical and Computational Mathematics; anzsrc-for: 0802 Computation Theory and Mathematics

• Source: urn:ISSN:1017-1398 ; urn:ISSN:1572-9265 ; Numerical Algorithms, 89, 4, 1441-1463

تفاصيل العنوان

Erratum to “Estimating the burden of COVID-19 on the Australian healthcare workers and health system during the first six months of the pandemic” [International Journal of Nursing Studies, 114 (2021), 103811] (International Journal of Nursing Studies (2021) 114, (S0020748920302972), (10.1016/j.ijnurstu.2020.103811))

• Authors : Quigley, AL; Stone, H; Yen Nguyen, P

Subjects: 4203 Health Services and Systems; 42 Health Sciences; Infectious Diseases

• Source: urn:ISSN:0020-7489 ; urn:ISSN:1873-491X ; International Journal of Nursing Studies, 121, 104031

تفاصيل العنوان

Wei-type duality theorems for rank metric codes

• Authors : Britz, T; Mammoliti, A; Shiromoto, K

Subjects: anzsrc-for: 0101 Pure Mathematics; anzsrc-for: 0802 Computation Theory and Mathematics; anzsrc-for: 0804 Data Format

• Source: urn:ISSN:0925-1022 ; urn:ISSN:1573-7586 ; Designs, Codes, and Cryptography, 88, 8, 1503-1519

تفاصيل العنوان

Translation validation for verified, efficient and timely operating systems

• Authors : Sewell, Thomas

Subjects: Compiler; Translation Validation; Operating System

تفاصيل العنوان

On the use of senders for minimal Ramsey theory

• Authors : Lesgourgues, Thomas

Subjects: Combinatorics; Probabilistic graph theory; Ramsey theory

تفاصيل العنوان