Jensen

Results: 3024



#Item
271

Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Krishnendu Chatterjee† Rasmus Ibsen-Jensen† †

Add to Reading List

Source URL: www.cs.au.dk

Language: English - Date: 2015-08-11 05:53:51
    272

    HTML - KOMPRESSION P1 Anders Rune Jensen Ester Mungure

    Add to Reading List

    Source URL: people.iola.dk

    Language: Danish - Date: 2006-12-12 04:04:40
      273

      Articles Plasma HDL cholesterol and risk of myocardial infarction: a mendelian randomisation study Benjamin F Voight*, Gina M Peloso*, Marju Orho-Melander, Ruth Frikke-Schmidt, Maja Barbalic, Majken K Jensen, George Hin

      Add to Reading List

      Source URL: coruscant.itmat.upenn.edu

      Language: English - Date: 2012-05-30 13:44:21
        274

        Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

        Add to Reading List

        Source URL: www.cs.au.dk

        Language: English - Date: 2015-08-11 05:53:51
          275

          A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

          Add to Reading List

          Source URL: www.cs.au.dk

          Language: English - Date: 2015-08-11 05:53:51
            276

            THEOREM OF THE DAY Jensen’s Inequality If f is a real convex function, x1, . . . , xn are values in the domain of f , and a1, . . . , an are positive real numbers summing to 1 then X  X 

            Add to Reading List

            Source URL: theoremoftheday.org

            Language: English - Date: 2014-07-20 12:36:17
              277School counselor / Education / Student financial aid in the United States / Knowledge sharing / Cognition

              Melbourne Institute Policy Briefs Series Policy Brief NoNudges in Education: What Works? Miles Tidmarsh and Paul H. Jensen THE MELBOURNE INSTITUTE IS COMMITTED TO INFORMING THE DEBATE

              Add to Reading List

              Source URL: www.melbourneinstitute.com

              Language: English
              278

              MemInsight: Platform-Independent Memory Debugging for JavaScript Simon Holm Jensen Manu Sridharan

              Add to Reading List

              Source URL: manu.sridharan.net

              Language: English
                279

                Solving simple stochastic games with few coin toss positions∗ Rasmus Ibsen-Jensen Department of Computer Scinece Aarhus University Peter Bro Miltersen

                Add to Reading List

                Source URL: www.cs.au.dk

                Language: English
                  280Membrane biology / Integral membrane proteins / Aquaporin / Major intrinsic proteins / Cell membrane / MIP / Permeation / AQP6 / Osmosis / Permeability / Lipid bilayer / Lumen

                  Dynamic control of slow water transport by aquaporin 0: Implications for hydration and junction stability in the eye lens Morten Ø. Jensen*, Ron O. Dror*, Huafeng Xu*, David W. Borhani*, Isaiah T. Arkin*†, Michael P.

                  Add to Reading List

                  Source URL: www.deshawresearch.com

                  Language: English - Date: 2010-09-27 16:06:45
                  UPDATE