Andr

Results: 535



#Item
211

NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs Sepp Hartung and Andr´e Nichterlein Institut f¨ ur Softwaretechnik und Theoretische Informatik,

Add to Reading List

Source URL: fpt.akt.tu-berlin.de

Language: English - Date: 2012-04-11 04:30:08
    212

    A Refined Complexity Analysis of Finding the Most Vital Edges for Undirected Shortest Paths? Cristina Bazgan1,2 , Andr´e Nichterlein3 , and Rolf Niedermeier3 1 3

    Add to Reading List

    Source URL: fpt.akt.tu-berlin.de

    Language: English - Date: 2015-02-02 09:46:00
      213

      International Workshop on the Impact of Human Mobility in Pervasive Systems and Applications 2013, San Diego (18 MarchFingerprinting temporal networks of close-range human proximity Andr´e Panisson∗ , Laetitia

      Add to Reading List

      Source URL: www.csee.usf.edu

      Language: English - Date: 2013-03-05 21:28:58
        214

        Parameterized Approximability of Maximizing the Spread of Influence in NetworksI Cristina Bazgana,d , Morgan Chopinb , Andr´e Nichterleinc , Florian Sikoraa a PSL, Universit´e Paris-Dauphine, LAMSADE UMR 7243, France.

        Add to Reading List

        Source URL: fpt.akt.tu-berlin.de

        Language: English - Date: 2014-08-12 04:31:10
          215

          Hybrid Systems Verification and Robotics Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh, PA

          Add to Reading List

          Source URL: symbolaris.com

          Language: English - Date: 2014-08-04 10:09:55
            216

            Financial disruption as a cost of sovereign default: a quantitative assessment∗ Andr´e Diniz† Bernardo Guimaraes‡ August 2014

            Add to Reading List

            Source URL: www.centreformacroeconomics.ac.uk

            Language: English - Date: 2015-02-27 11:11:59
              217

              Exception Handling for Error Reporting in Parsing Expression Grammars Andr´e Murbach Maidl1 , Fabio Mascarenhas2 , Roberto Ierusalimschy1 1 Department of Computer Science – PUC-Rio – Rio de Janeiro – Brazil

              Add to Reading List

              Source URL: www.inf.puc-rio.br

              Language: English - Date: 2013-10-08 17:50:17
                218

                Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm Andr´e L. Galdino1, , C´esar Mu˜ noz2 , and Mauricio Ayala-Rinc´ on1, 1

                Add to Reading List

                Source URL: galdino.catalao.ufg.br

                Language: English
                  219

                  Constructive Approximation manuscript No. (will be inserted by the editor) Regularity of Tensor Product Approximations to Square Integrable Functions Andr´e Uschmajew

                  Add to Reading List

                  Source URL: uschmajew.ins.uni-bonn.de

                  Language: English - Date: 2014-08-08 04:26:33
                    220

                    On low-rank approximability of solutions to high-dimensional operator equations and eigenvalue problems Daniel Kressner∗ Andr´e Uschmajew†

                    Add to Reading List

                    Source URL: uschmajew.ins.uni-bonn.de

                    Language: English - Date: 2016-01-07 08:00:42
                      UPDATE