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
Conference

A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]Paris; France

  • Source: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)https://hal.science/hal-045385482023 IEEE International Conference on

Record details

×
Academic Journal

Choice sequence and nonstandard extension of type theory

Subjects: Choice sequence; type theory; constructive nonstandard analysis

  • Source: EISSN: 1638-5713 ; Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; https://inria.hal.science/hal-01320619 ; Revue Africaine de Recherche en Informatique et Mathématiques

Record details

×
Academic Journal

Surstable solutions with a singularity at a turning point ; Solutions surstables avec singularités au point tournant

Subjects: Canard; canard with poles; Hopf-bifurcation delay

  • Source: EISSN: 1638-5713 ; Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; https://inria.hal.science/hal-01320622 ; Revue Africaine de Recherche en Informatique et Mathématiques

Record details

×
Academic Journal

Avant propos

Subjects: singular perturbations; Population dynamics; complex systems

  • Source: EISSN: 1638-5713 ; Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; https://inria.hal.science/hal-01320675 ; Revue Africaine de Recherche en Informatique et Mathématiques

Record details

×
Academic Journal

Integer calculus on the Harthong-Reeb Line

Subjects: nonstandard analysis; arithmetization; Euler scheme

  • Source: EISSN: 1638-5713 ; Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; https://inria.hal.science/hal-01277784 ; Revue Africaine de Recherche en Informatique et Mathématiques

Record details

×
  • 1-6 of  6 results for ""math""