Modeling

Results: 44084



#Item
811

Thermochemical process for seasonal storage of solar energy: characterization and modeling of a high-density reactive bed Benoit Michel, Nathalie Mazet, Sylvain Mauran, Driss Stitou, Jing Xu To cite this version:

Add to Reading List

Source URL: hal.archives-ouvertes.fr

- Date: 2015-11-28 02:24:49
    812

    Neurocomputing 52– – 231 www.elsevier.com/locate/neucom NeuroSpaces: separating modeling and simulation Hugo Cornelis∗ , Erik De Schutter University of Antwerp, Universiteitsplein 1, Antwerp 2601, Belg

    Add to Reading List

    Source URL: www.tnb.ua.ac.be

    - Date: 2014-02-10 10:38:53
      813

      Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

      Add to Reading List

      Source URL: jsat.ewi.tudelft.nl

      - Date: 2011-12-31 10:54:19
        814

        Delft University of Technology Software Engineering Research Group Technical Report Series Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

        Add to Reading List

        Source URL: swerl.tudelft.nl

        - Date: 2015-01-15 09:39:22
          815

          Influential Statements and Gaze for Persuasion Modeling Hana Vrzakova School of Computing University of Eastern Finland Joensuu, Finland

          Add to Reading List

          Source URL: cs.uef.fi

          - Date: 2014-09-30 03:26:44
            816

            Beyond LDA: Exploring Supervised Topic Modeling for Depression-Related Language in Twitter Philip Resnik2,4 , William Armstrong1,4 , Leonardo Claudino1,4 , Thang Nguyen3 , Viet-An Nguyen1,4 , and Jordan Boyd-Graber3,5 1

            Add to Reading List

            Source URL: m-mitchell.com

            - Date: 2015-05-06 14:06:34
              817

              A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

              Add to Reading List

              Source URL: www-i2.informatik.rwth-aachen.de

              - Date: 2006-10-23 09:28:13
                818

                DISSERTATION Model Interoperability between Meta-Modeling Environments by using M3-Level-Based Bridges

                Add to Reading List

                Source URL: informatik.uni-leipzig.de

                - Date: 2016-08-25 05:16:26
                  819

                  Threat Modeling 101 Java Forum Nord 2016 Dominik Schadow | bridgingIT Threat

                  Add to Reading List

                  Source URL: files.dominikschadow.de

                  - Date: 2016-10-20 07:09:57
                    820

                    UniLFS: A Unifying Logical Framework for Service Modeling and Contracting RuleML 2103: 7th International Web Rule Symposium July 11-13, 2013 Dumitru Roman1 and Michael Kifer2 1SINTEF

                    Add to Reading List

                    Source URL: 2013.ruleml.org

                    - Date: 2014-02-20 18:18:00
                      UPDATE