INF

Results: 15295



#Item
721

Description Logics for Conceptual Design, Information Access, and Ontology Integration: Research Trends Enrico Franconi http://www.inf.unibz.it/˜franconi/ Faculty of Computer Science, Free Universi

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2017-01-27 04:48:10
    722

    NAME ee — An encryption shell that is easy to use for terminal users. SYNOPSIS ee [ −a name] [ −s integer] DESCRIPTION ee is a simple shell that runs commands from the PATH of the shell from which ee was invoked. A

    Add to Reading List

    Source URL: www.inf.fu-berlin.de

    Language: English - Date: 2016-10-12 09:26:14
      723

      University of California, Irvine Intramural Sports HandbookAll team Managers are responsible for sharing the following information with team members, and all participants acknowledge responsibility for all inf

      Add to Reading List

      Source URL: www.campusrec.uci.edu

      Language: English - Date: 2018-04-30 14:52:40
        724

        Refactoring with Synthesis Veselin Raychev Max Schäfer Manu Sridharan

        Add to Reading List

        Source URL: www.sri.inf.ethz.ch

        Language: English - Date: 2018-05-15 09:28:45
          725

          Notice of Privacy Practices this Notice describes how medical iNformatioN about you may be used aNd disclosed aNd how you caN get access to this iNformatioN. Please review it carefully. This notice contains important inf

          Add to Reading List

          Source URL: www.dhs.pa.gov

          Language: English - Date: 2015-05-08 09:42:57
            726

            Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

            Add to Reading List

            Source URL: www.sri.inf.ethz.ch

            Language: English - Date: 2018-05-15 09:28:46
              727

              Geosci. Model Dev., 11, 1665–1681, 2018 https://doi.orggmd © Author(sThis work is distributed under the Creative Commons Attribution 4.0 License. Near-global climate simulation at 1 km r

              Add to Reading List

              Source URL: spcl.inf.ethz.ch

              Language: English - Date: 2018-05-07 11:20:07
                728

                Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo Luca Ponzanelli Andrea Mocci Michele Lanza Matthias Hauswirth

                Add to Reading List

                Source URL: www.inf.usi.ch

                Language: English - Date: 2015-08-18 03:52:06
                  729

                  Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb

                  Add to Reading List

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

                  Language: English - Date: 2009-12-08 13:27:25
                    730

                    Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c

                    Add to Reading List

                    Source URL: www.sri.inf.ethz.ch

                    Language: English - Date: 2018-05-15 09:28:46
                      UPDATE