J

Results: 175847



#Item
1Computing / Information and communications technology / Computer network security / Data transmission / Network architecture / Computer networking / Internet architecture / Networking hardware / OpenFlow / Open vSwitch / Middlebox / Forwarding information base

SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-06-22 03:22:28
2Functions and mappings / Mathematical analysis / Mathematics / Computer arithmetic / Limit of a function / Abstract interpretation / Unit in the last place / Exponentiation / Integral / Lambda calculus / Quantifier / Combinatory logic

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:42
3Economy / Statistical theory / Time series models / Probability and statistics / Machine learning / Alternative currencies / Cryptocurrencies / Digital currencies / BoxJenkins method / Forecasting / Bitcoin / Cross-validation

Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad Operations Research Center

Add to Reading List

Source URL: devavrat.mit.edu

Language: English - Date: 2017-10-12 17:24:58
4Computing / Computer programming / C / Data types / Pointer / Hooking / Exec / Nm / Struct

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
5

CONFÉRENCE EN L’HONNEUR de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

Add to Reading List

Source URL: fl60.sciencesconf.org

- Date: 2017-05-07 06:14:40
    6Food and Drug Administration / Health / Federal Food /  Drug /  and Cosmetic Act / Center for Tobacco Products / Regulation of tobacco by the U.S. Food and Drug Administration / Investigator's brochure

    October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350

    Add to Reading List

    Source URL: www.fda.gov

    Language: English
    7Brain / Cerebrum / Neuroscience / Cognitive science / Cognition / Neuropsychology / Theory of mind / Amygdala / Social cognition / Lingual gyrus / Attention / Anterior cingulate cortex

    NeuroImage–1647 Contents lists available at ScienceDirect NeuroImage j o u r n a l h o m e p a g e : w w w. e l s e v i e r. c o m / l o c a t e / y n i m g

    Add to Reading List

    Source URL: saxelab.mit.edu

    Language: English - Date: 2010-03-29 09:23:02
    8Cryptography / Digital signature / Random oracle / IP / Ibi / Schnorr signature

    A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

    Add to Reading List

    Source URL: www.neven.org

    Language: English - Date: 2012-04-18 06:07:38
    9Mathematics / Algebra / Abstract algebra / Finite fields / Field theory / Angle / Sine / Factorial / XTR / Valuation / Non-analytic smooth function / Proof that  is irrational

    IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

    Add to Reading List

    Source URL: perso.ens-lyon.fr

    Language: English - Date: 2005-01-20 08:49:29
    10Cryptography / Randomized algorithms / Computational complexity theory / Mathematics / Probabilistically checkable proof / Complexity classes / Interactive proof system / IP / NP / Soundness / PCP theorem / Commitment scheme

    Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

    Add to Reading List

    Source URL: www.pepper-project.org

    Language: English - Date: 2017-11-11 14:59:54
    UPDATE