Search alternatives:
common institutional » foreign institutional (Expand Search), church institutional (Expand Search), do institutional (Expand Search)
chemical engineering » mechanical engineering (Expand Search), civil engineering (Expand Search)
electric engine » electric sensing (Expand Search), electric engineering (Expand Search), electric machine (Expand Search)
Showing 561 - 565 results of 565 for search 'common institutional of ((chemical engineering) OR (electric engine))', query time: 0.12s Refine Results
  1. 561
    Live Verification in an Interactive Proof Assistant

    Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

    Published 2024
    Get full text
    Article
  2. 562
    Work-Efficient Parallel Derandomization II: Optimal Concentrations via Bootstrapping

    Work-Efficient Parallel Derandomization II: Optimal Concentrations via Bootstrapping by Ghaffari, Mohsen, Grunau, Christoph

    Published 2024
    Get full text
    Article
  3. 563
    Limitations of the Impagliazzo–Nisan–Wigderson Pseudorandom Generator Against Permutation Branching Programs

    Limitations of the Impagliazzo–Nisan–Wigderson Pseudorandom Generator Against Permutation Branching Programs by Hoza, William M., Pyne, Edward, Vadhan, Salil

    Published 2024
    Get full text
    Article
  4. 564
    Memory Checking Requires Logarithmic Overhead

    Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

    Published 2024
    Get full text
    Article
  5. 565
    Sampling from convex sets with a cold start using multiscale decompositions

    Sampling from convex sets with a cold start using multiscale decompositions by Narayanan, Hariharan, Rajaraman, Amit, Srivastava, Piyush

    Published 2024
    Get full text
    Article

Search Tools: