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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-8 of  8 results for ""Mathematics""

Your Filters

Collection : Universite De Franche-Comte (Ufc) Language : albanian Language : english Language : georgian Language : norwegian nynorsk Language : romanian; moldavian; moldovan Language : slovak Language : tamil Language : tok pisin Language : undetermined Language : waray Geographic : united states
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Combining representation formalisms for reasoning upon mathematical knowledge

  • Authors :

Subjects: knowledge modelingPensacola FL USA

  • Source: K-CAP '23: Proceedings of the 12th Knowledge Capture Conference 2023 ; K-CAP '23: Knowledge Capture Conference 2023 ; https://hal.science/hal-04315073 ; K-CAP '23: Knowledge Capture Conference 2023,

Record details

Read More Add to Saved list
×
Conference

Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes

  • Authors :

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]United StatesPhiladelphie, United States

  • Source: CCC '22: Proceedings of the 37th Computational Complexity Conference ; CCC 2022 - 37th Computational Complexity Conference ; https://telecom-paris.hal.science/hal-03832439 ; CCC 2022 - 37th

Record details

Read More Add to Saved list
×
Conference

Small time reachable set of bilinear quantum systems

  • Authors :

Subjects: [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Maui

  • Source: 51st Conference on Decision and Control (CDC)https://hal.science/hal-0071004051st Conference on Decision and Control (CDC), Dec 2012, Maui, HI, United

Record details

Read More Add to Saved list
×
Conference

Approximate controllability of the Schrödinger equation with a polarizability term

  • Authors :

Subjects: [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Maui

  • Source: CDC - The 51st IEEE Conference on Decision and Control - 2012 ; https://hal.science/hal-00784881 ; CDC - The 51st IEEE Conference on Decision and Control - 2012, Dec 2012, Maui, Hawaii,

Record details

Read More Add to Saved list
×
Conference

Strong Coordination with Polar Codes

  • Authors :

Subjects: network coordinationIL

  • Source: Proceedings of the 50th Allerton Conference on Communication, Control, and Computing ; 50th Allerton Conference on Communication, Control, and Computing ; https://hal.science/hal-00784073 ; 50th

Record details

Read More Add to Saved list
×
Conference

Hector: A Framework to Design and Evaluate Scheduling Strategies in Persistent Key-Value Stores

  • Authors :

Subjects: SchedulingSalt Lake City

  • Source: ICPP '23: Proceedings of the 52nd International Conference on Parallel Processing ; ICPP 2023 - 52nd International Conference on Parallel Processing ; https://hal.science/hal-04158577 ; ICPP 2023 -

Record details

Read More Add to Saved list
×
Conference

Linking hyperbolic and parabolic p.d.e.'s.

  • Authors :

Subjects: [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/MicroelectronicsOrlando

  • Source: Decision and Control and European Control Conference. ; 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC'11. ; https://hal.science/hal-00720347 ; 50th IEEE

Record details

Read More Add to Saved list
×
Conference

A Generic Approach to Scheduling and Checkpointing Workflows

  • Authors :

Subjects: [INFO]Computer Science [cs]Eugene

  • Source: ICPP 2018 - 47th International Conference on Parallel Processing ; https://inria.hal.science/hal-01798627 ; ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR,

Record details

Read More Add to Saved list
×
  • 1-8 of  8 results for ""Mathematics""