Showing 341 - 360 results of 1,105 for search '"theory of computation"', query time: 0.16s Refine Results
  1. 341
    Learning from Failure: Predicting Electronic Structure Calculation Outcomes with Machine Learning Models

    Learning from Failure: Predicting Electronic Structure Calculation Outcomes with Machine Learning Models by Duan, Chenru, Janet, Jon Paul, Liu, Fang, Nandy, Aditya, Kulik, Heather Janine

    Published 2020
    Get full text
    Article
  2. 342
    Charge Optimization Theory for Induced-Fit Ligands

    Charge Optimization Theory for Induced-Fit Ligands by Shen, Yang, Gilson, Michael K., Tidor, Bruce

    Published 2013
    Get full text
    Get full text
    Get full text
    Article
  3. 343
    τ RR minimization in presence of hypermultiplets

    τ RR minimization in presence of hypermultiplets by Antonio Amariti, Alessandra Gnecchi

    Published 2022-03-01
    “…We revisit the vacuum constraints at AdS 4 and show how the supergravity analysis matches the results of the field theory dual computation.…”
    Get full text
    Article
  4. 344
    Communication—Oscillating Oxygen Concentration Transport through PEM Fuel Cell Gas Diffusion Layer: Variation of the Phase Angle

    Communication—Oscillating Oxygen Concentration Transport through PEM Fuel Cell Gas Diffusion Layer: Variation of the Phase Angle by Andrei Kulikovsky

    Published 2024-01-01
    Get full text
    Article
  5. 345
    Implementing Asynchronous Distributed Systems Using the IOA Toolkit

    Implementing Asynchronous Distributed Systems Using the IOA Toolkit by Georgiou, Chryssis, Mavrommatis, Panayiotis P., Tauber, Joshua A.

    Published 2005
    Get full text
  6. 346
    Dynamic Input/Output Automata: A Formal Model for Dynamic Systems

    Dynamic Input/Output Automata: A Formal Model for Dynamic Systems by Attie, Paul C., Lynch, Nancy A.

    Published 2005
    Get full text
  7. 347
    Updatable Zero-Knowledge Sets

    Updatable Zero-Knowledge Sets by Liskov, Moses, Milcali, Silvio

    Published 2005
    Get full text
  8. 348
    Virtual Stationary Automata for Mobile Networks

    Virtual Stationary Automata for Mobile Networks by Dolev, Shlomi, Gilbert, Seth, Lahiani, Limor, Lynch, Nancy, Nolte, Tina

    Published 2005
    Get full text
  9. 349
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2007
    Get full text
  10. 350
    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion

    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion by Fan, Rui, Lynch, Nancy

    Published 2008
    Get full text
  11. 351
    Transductive Ranking on Graphs

    Transductive Ranking on Graphs by Agarwal, Shivani

    Published 2008
    Get full text
  12. 352
    Partial Reversal Acyclicity

    Partial Reversal Acyclicity by Radeva, Tsvetomira, Lynch, Nancy

    Published 2011
    Get full text
  13. 353
    Pt(II) Complexes with Tetradentate C^N*N^C Luminophores: From Supramolecular Interactions to Temperature-Sensing Materials with Memory and Optical Readouts

    Pt(II) Complexes with Tetradentate C^N*N^C Luminophores: From Supramolecular Interactions to Temperature-Sensing Materials with Memory and Optical Readouts by Matias E. Gutierrez Suburu, Meik Blanke, Alexander Hepp, Oliver Maus, Dominik Schwab, Nikos L. Doltsinis, Wolfgang G. Zeier, Michael Giese, Jens Voskuhl, Cristian A. Strassert

    Published 2023-10-01
    Get full text
    Article
  14. 354
    Dual Emissive Zn(II) Naphthalocyanines: Synthesis, Structural and Photophysical Characterization with Theory-Supported Insights towards Soluble Coordination Compounds with Visible and Near-Infrared Emission

    Dual Emissive Zn(II) Naphthalocyanines: Synthesis, Structural and Photophysical Characterization with Theory-Supported Insights towards Soluble Coordination Compounds with Visible... by Sidharth Thulaseedharan Nair Sailaja, Iván Maisuls, Alexander Hepp, Dana Brünink, Nikos L. Doltsinis, Andreas Faust, Sven Hermann, Cristian A. Strassert

    Published 2024-02-01
    Get full text
    Article
  15. 355
    Left Ringing: Betelgeuse Illuminates the Connection between Convective Outbursts, Mode Switching, and Mass Ejection in Red Supergiants

    Left Ringing: Betelgeuse Illuminates the Connection between Convective Outbursts, Mode Switching, and Mass Ejection in Red Supergiants by Morgan MacLeod, Andrea Antoni, Caroline D. Huang, Andrea Dupree, Abraham Loeb

    Published 2023-01-01
    Get full text
    Article
  16. 356
    Fast Penalized Regression and Cross Validation for Tall Data with the oem Package

    Fast Penalized Regression and Cross Validation for Tall Data with the oem Package by Jared D. Huling, Peter Chien

    Published 2022-10-01
    “…A large body of research has focused on theory and computation for variable selection techniques for high dimensional data. …”
    Get full text
    Article
  17. 357
    Electronic Cash with Blind Deposits: How to Have No Spare Change

    Electronic Cash with Blind Deposits: How to Have No Spare Change by Liskov, Moses

    Published 2005
    Get full text
  18. 358
    Light-Weight Leases for Storage-Centric Coordination

    Light-Weight Leases for Storage-Centric Coordination by Chockler, Gregory, Malkhi, Dahlia

    Published 2005
    Get full text
  19. 359
    Autonomous Virtual Mobile Nodes

    Autonomous Virtual Mobile Nodes by Dolev, Shlomi, Gilbert, Seth, Schiller, Elad, Shvartsman, Alex, Welch, Jennifer

    Published 2005
    Get full text
  20. 360
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Get full text

Search Tools: