Showing 1 - 20 results of 152 for search 'LATTICE theory' Narrow Search
Search Tools: Email this Search — Save search to account
1
Conference
Towards the use of Situation Hierarchies for supporting Decision Making: A Formal Lattice-Based Approach

Authors: Giustozzi, Franco, Saunier, Julien, Zanni-Merk, Cecilia

Contributors: Equipe Multi-agent, Interaction, Décision (MIND - LITIS), Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Normandie Université (NU)

Superior Title: Proceedings of the 14th International Rule Challenge (RuleML+RR 2020) as part of Declarative AI 2020 ; In Proceedings of the 14th International Rule Challenge (RuleML+RR 2020) as part of Declarative AI 2020 ; https://hal.archives-ouvertes.fr/hal-02909950 ; In Proceedings of the 14th International Rule Challenge (RuleML+RR 2020) as part of Declarative AI 2020, Jun 2020, Oslo, Norway. pp.73-86 ; http://ceur-ws.org/Vol-2644/

Subject Terms: Knowledge Representation, Lattice Theory, Industry 4.0, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Oslo, Norway

Relation: hal-02909950; https://hal.archives-ouvertes.fr/hal-02909950; https://hal.archives-ouvertes.fr/hal-02909950/document; https://hal.archives-ouvertes.fr/hal-02909950/file/paper19.pdf

Availability: https://hal.archives-ouvertes.fr/hal-02909950
https://hal.archives-ouvertes.fr/hal-02909950/document
https://hal.archives-ouvertes.fr/hal-02909950/file/paper19.pdf


Save to List
3
Conference
Reversible Kleene lattices

Authors: Brunet, Paul

Contributors: Department of Computer science University College of London (UCL-CS), University College of London London (UCL), Kim G. Larsen, Hans L. Bodlaender, Jean-Francois Raskin, European Project: 679127,H2020,ERC-2015-STG,ProFoundNet(2016)

Superior Title: 42nd International Symposium on Mathematical Foundations of Computer Science
https://hal.science/hal-01474911
42nd International Symposium on Mathematical Foundations of Computer Science, Kim G. Larsen, Aug 2017, Aalborg, Denmark. pp.66:1--66:14, ⟨10.4230/LIPIcs.MFCS.2017.66⟩
http://mfcs2017.cs.aau.dk/index.shtml

Subject Terms: Automata, Kleene algebra, Petri nets, Decidability, Complexity, Formal languages and automata, Lattice Theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Subject Geographic: Aalborg, Denmark

Relation: info:eu-repo/grantAgreement//679127/EU/Probabilistic Foundations for Networks/ProFoundNet; hal-01474911; https://hal.science/hal-01474911; https://hal.science/hal-01474911v3/document; https://hal.science/hal-01474911v3/file/mfcs.pdf

Availability: https://doi.org/10.4230/LIPIcs.MFCS.2017.66
https://hal.science/hal-01474911
https://hal.science/hal-01474911v3/document
https://hal.science/hal-01474911v3/file/mfcs.pdf

Zugang prüfen (DOI)

Save to List
4
Academic Journal
Density distribution in two Ising systems with particle exchange

Authors: Fortin, Jean-Yves, Goh, Segun, Kim, Chansoo, Choi, MooYoung

Contributors: Laboratoire de Physique et Chimie Théoriques (LPCT), Institut de Chimie du CNRS (INC)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Department of Physics and Astronomy Seoul, Seoul National University Seoul (SNU), Center for Theoretical Physics Seoul, Korea Advanced Institute of Science and Technology (KAIST)

Superior Title: ISSN: 1434-6028 ; EISSN: 1434-6036.

Subject Terms: Ising model magnetic ordering, Phase transitions in statistical mechanics and thermodynamics, Lattice theory, Statistical mechanics of phase transitions in model systems, [PHYS.COND.CM-SM]Physics [physics]/Condensed Matter [cond-mat]/Statistical Mechanics [cond-mat.stat-mech], [PHYS.COND.CM-DS-NN]Physics [physics]/Condensed Matter [cond-mat]/Disordered Systems and Neural Networks [cond-mat.dis-nn], [PHYS.COND.CM-SCE]Physics [physics]/Condensed Matter [cond-mat]/Strongly Correlated Electrons [cond-mat.str-el]

Relation: hal-01905620; https://hal.archives-ouvertes.fr/hal-01905620; https://hal.archives-ouvertes.fr/hal-01905620/document; https://hal.archives-ouvertes.fr/hal-01905620/file/Ising_1DMF_preprint.pdf

Availability: https://doi.org/10.1140/epjb/e2018-90045-5
https://hal.archives-ouvertes.fr/hal-01905620
https://hal.archives-ouvertes.fr/hal-01905620/document
https://hal.archives-ouvertes.fr/hal-01905620/file/Ising_1DMF_preprint.pdf

Zugang prüfen (DOI)

Save to List
5
Conference
Binary Partition Trees-based spectral-spatial permutation ordering

Authors: Veganzones, Miguel Angel, Dalla Mura, Mauro, Tochon, Guillaume, Chanussot, Jocelyn

Contributors: GIPSA - Signal Images Physique (GIPSA-SIGMAPHY), Département Images et Signal (GIPSA-DIS), Grenoble Images Parole Signal Automatique (GIPSA-lab), Université Stendhal - Grenoble 3-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Stendhal - Grenoble 3-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Grenoble Images Parole Signal Automatique (GIPSA-lab), Université Stendhal - Grenoble 3-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Stendhal - Grenoble 3-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), GIPSA - Communication Information and Complex Systems (GIPSA-CICS)

Superior Title: ISMM 2015 - 12th International Symposium on Mathematical Morphology ; https://hal.archives-ouvertes.fr/hal-01121187 ; ISMM 2015 - 12th International Symposium on Mathematical Morphology, May 2015, Reykjavik, Iceland. pp.434-445, ⟨10.1007/978-3-319-18720-4_37⟩

Subject Terms: Mathematical Morphology, Binary Partition Trees, Lattice Theory, Spectral Spatial analysis, Ordering, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing

Subject Geographic: Reykjavik

Time: Reykjavik, Iceland

Relation: hal-01121187; https://hal.archives-ouvertes.fr/hal-01121187; https://hal.archives-ouvertes.fr/hal-01121187/document; https://hal.archives-ouvertes.fr/hal-01121187/file/ISMM2015_veganzones.pdf

Availability: https://doi.org/10.1007/978-3-319-18720-4_37
https://hal.archives-ouvertes.fr/hal-01121187
https://hal.archives-ouvertes.fr/hal-01121187/document
https://hal.archives-ouvertes.fr/hal-01121187/file/ISMM2015_veganzones.pdf

Zugang prüfen (DOI)

Save to List
7
Conference
Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE

Authors: Alias, Christophe, Baray, Fabrice, Darte, Alain

Contributors: Compilation and embedded computing systems (COMPSYS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)

Superior Title: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07) ; https://hal.archives-ouvertes.fr/hal-03106126 ; ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩

Subject Terms: Compiler optimisations, Memory Allocation, Lattice theory, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: San Diego, United States

Relation: hal-03106126; https://hal.archives-ouvertes.fr/hal-03106126; https://hal.archives-ouvertes.fr/hal-03106126/document; https://hal.archives-ouvertes.fr/hal-03106126/file/lctes2007.pdf

Availability: https://doi.org/10.1145/1273444.1254778
https://hal.archives-ouvertes.fr/hal-03106126
https://hal.archives-ouvertes.fr/hal-03106126/document
https://hal.archives-ouvertes.fr/hal-03106126/file/lctes2007.pdf

Zugang prüfen (DOI)

Save to List
8
Conference
Complete Non-Orders and Fixed Points

Authors: Yamada, Akihisa, Dubut, Jérémy

Contributors: National Institute of Informatics (NII), Japanese French Laboratory for Informatics (JFLI), National Institute of Informatics (NII)-The University of Tokyo (UTokyo)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST, Grant-in-aid No. 19K20215, JSPS, John Harrison, John O'Leary, Andrew Tolmach

Superior Title: 10th International Conference on Interactive Theorem Proving (ITP 2019)
https://hal.inria.fr/hal-02374892
10th International Conference on Interactive Theorem Proving (ITP 2019), Sep 2019, Portland, United States. pp.30:1-30:16, ⟨10.4230/LIPIcs.ITP.2019.30⟩

Subject Terms: Order Theory, Lattice Theory, Fixed-Points, Isabelle/HOL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Portland, United States

Relation: hal-02374892; https://hal.inria.fr/hal-02374892

Availability: https://doi.org/10.4230/LIPIcs.ITP.2019.30
https://hal.inria.fr/hal-02374892

Zugang prüfen (DOI)

Save to List
9
Academic Journal
Affinity and its derivatives in the glass transition process

Authors: Garden, Jean-Luc, Guillou, Hervé, Richard, Jacques, Wondraczek, L.

Contributors: Thermique Elaboration Matériaux Applications (ThEMA), Institut Néel (NEEL), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Joseph Fourier - Grenoble 1 (UJF), Thermodynamique et biophysique des petits systèmes (TPS), Friedrich-Alexander Universität Erlangen-Nürnberg (FAU), collaboration Franco-Germanique

Superior Title: ISSN: 0021-9606.

Subject Terms: free energy, glass structure, glass transition, lattice theory, liquid theory, nonequilibrium thermodynamics, vitrification, 64.70.qd Thermodynamics and statistical mechanics 05.70.Ln Nonequilibrium and irreversible thermodynamics 61.43.Fs Glasses 65.60.+a Thermal properties of amorphous solids and glasses: heat capacity, thermal expansion, etc. 64.70.P- Glass transitions of sp, [PHYS.PHYS.PHYS-CHEM-PH]Physics [physics]/Physics [physics]/Chemical Physics [physics.chem-ph]

Relation: hal-00718473; https://hal.archives-ouvertes.fr/hal-00718473; https://hal.archives-ouvertes.fr/hal-00718473/document; https://hal.archives-ouvertes.fr/hal-00718473/file/Affinity_HAL-version.pdf

Availability: https://doi.org/10.1063/1.4733333
https://hal.archives-ouvertes.fr/hal-00718473
https://hal.archives-ouvertes.fr/hal-00718473/document
https://hal.archives-ouvertes.fr/hal-00718473/file/Affinity_HAL-version.pdf

Zugang prüfen (DOI)

Save to List
10
Academic Journal
Introduction to thermodynamics of spin models in the Hamiltonian limit

Authors: Berche, Bertrand, Lopez, Alexander

Contributors: Laboratoire de physique des matériaux (LPM), Université Henri Poincaré - Nancy 1 (UHP)-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Instituto Venezolano de Investigaciones Cientificas (CENTRO DE FISICA), Instituto Venezolano de Investigaciones Cientificas (IVIC)

Superior Title: ISSN: 0143-0807.

Subject Terms: statistical physics, spin systems, phase transitions, 05.50.+q Lattice theory and statistics (Ising, Potts, etc.), [PHYS.PHYS.PHYS-ED-PH]Physics [physics]/Physics [physics]/Physics Education [physics.ed-ph]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/physics/0507055; hal-00005866; https://hal.archives-ouvertes.fr/hal-00005866; https://hal.archives-ouvertes.fr/hal-00005866v2/document; https://hal.archives-ouvertes.fr/hal-00005866v2/file/BercheLopez.pdf; ARXIV: physics/0507055

Availability: https://hal.archives-ouvertes.fr/hal-00005866
https://hal.archives-ouvertes.fr/hal-00005866v2/document
https://hal.archives-ouvertes.fr/hal-00005866v2/file/BercheLopez.pdf


Save to List
12
Dissertation/ Thesis
Action of the Klein group on a K3 surface ; Action du groupe de Klein sur une surface K3

Authors: Menegatti, Paolo

Contributors: Laboratoire de Mathématiques et Applications (LMA-Poitiers), Université de Poitiers-Centre National de la Recherche Scientifique (CNRS), Université de Poitiers, Samuel Boissière

Superior Title: https://tel.archives-ouvertes.fr/tel-02535197 ; Topologie algébrique [math.AT]. Université de Poitiers, 2019. Français. ⟨NNT : 2019POIT2297⟩.

Subject Terms: Complex algebraic geometry, K3 surfaces, Automorphisms, Torelli theorem, Lattice theory, Isometries, Group cohomology, Group actions, Involutions, Elliptic fibrations, Klein group, Géométrie algébrique complexe, Surfaces K3, Automorphismes, Théorème de Torelli, Théorie des réseaux, Isométries, Cohomologie des groupes, Action de groupe, Fibrations elliptiques, Groupe de Klein, [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT], [MATH.MATH-KT]Mathematics [math]/K-Theory and Homology [math.KT], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]

Relation: NNT: 2019POIT2297; tel-02535197; https://tel.archives-ouvertes.fr/tel-02535197; https://tel.archives-ouvertes.fr/tel-02535197/document; https://tel.archives-ouvertes.fr/tel-02535197/file/2019-MENEGATTI-Paolo-These.pdf

Availability: https://tel.archives-ouvertes.fr/tel-02535197
https://tel.archives-ouvertes.fr/tel-02535197/document
https://tel.archives-ouvertes.fr/tel-02535197/file/2019-MENEGATTI-Paolo-These.pdf


Save to List
13
Report
Arithmetic Operations in the Polynomial Modular Number System

Authors: Bajard, Jean-Claude, Imbert, Laurent, Plantard, Thomas

Contributors: Arithmétique informatique (ARITH), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Superior Title: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201 ; 04030, 2004, 26 p.

Subject Terms: NUMBER SYSTEMS, MODULAR ARITHMETIC, LATTICE THEORY, TABLE-BASED METHODS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: Report N°: 04030; lirmm-00109201; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201/file/D337.PDF

Availability: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109201/file/D337.PDF


Save to List
14
Dissertation/ Thesis
Non-symplectic automorphisms of irreducible holomorphic symplectic manifolds ; Automorphismes non-symplectiques des variétés symplectiques holomorphes

Authors: Cattaneo, Alberto

Contributors: Laboratoire de Mathématiques et Applications (LMA-Poitiers), Université de Poitiers-Centre National de la Recherche Scientifique (CNRS), Université de Poitiers, Università degli studi (Milan, Italie), Alessandra Sarti, Lambertus Nicolaas Maria van Geemen

Superior Title: https://tel.archives-ouvertes.fr/tel-02077063 ; Algebraic Geometry [math.AG]. Université de Poitiers; Università degli studi (Milan, Italie), 2018. English. ⟨NNT : 2018POIT2322⟩.

Subject Terms: Complex algebraic geometry, Lattice theory, Holomorphic symplectic manifolds, Hilbert schemes of points on K3 surfaces, Automorphisms, Torelli theorem, Moduli spaces, Géométrie algébrique complexe, Théorie des réseaux, Variétés symplectiques holomorphes, Schémas de Hilbert de points sur les surfaces K3, Automorphismes, Théorème de Torelli, Espaces de modules, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-SG]Mathematics [math]/Symplectic Geometry [math.SG]

Relation: NNT: 2018POIT2322; tel-02077063; https://tel.archives-ouvertes.fr/tel-02077063; https://tel.archives-ouvertes.fr/tel-02077063/document; https://tel.archives-ouvertes.fr/tel-02077063/file/2018-Cattaneo-Alberto-These.pdf

Availability: https://tel.archives-ouvertes.fr/tel-02077063
https://tel.archives-ouvertes.fr/tel-02077063/document
https://tel.archives-ouvertes.fr/tel-02077063/file/2018-Cattaneo-Alberto-These.pdf


Save to List
15
Dissertation/ Thesis
Spacetime Programming: A Synchronous Language for Constraint Search ; Programmation spatio-temporelle : un langage synchrone par contraintes pour l'exploration combinatoire

Authors: Talbot, Pierre

Contributors: Institut de Recherche et Coordination Acoustique/Musique (IRCAM), Sorbonne Université (SU), Sciences et Technologies de la Musique et du Son (STMS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Sorbonne Université, Université Pierre et Marie Curie, Paris 6, Carlos Agon

Superior Title: https://hal.archives-ouvertes.fr/tel-01835496 ; Programming Languages [cs.PL]. Sorbonne Université, Université Pierre et Marie Curie, Paris 6, 2018. English.

Subject Terms: constraint programming, synchronous programming, search strategy, lattice theory, compositionality, programmation par contraintes, stratégie d'exploration, programmation synchrone, compositionalité, treillis, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Relation: tel-01835496; https://hal.archives-ouvertes.fr/tel-01835496; https://hal.archives-ouvertes.fr/tel-01835496/document; https://hal.archives-ouvertes.fr/tel-01835496/file/dissertation-talbot.pdf

Availability: https://hal.archives-ouvertes.fr/tel-01835496
https://hal.archives-ouvertes.fr/tel-01835496/document
https://hal.archives-ouvertes.fr/tel-01835496/file/dissertation-talbot.pdf


Save to List