Treffer: pylfit

Title:
pylfit
Contributors:
Méthodes Formelles pour la Bioinformatique (LS2N - équipe MéForBio), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), National Institute of Informatics (NII), Chercheur indépendant, BioComputing, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Wakayama University, Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Publisher Information:
CCSD, 2022.
Publication Year:
2022
Collection:
collection:CNRS
collection:INRIA
collection:EC-NANTES
collection:INRIA_TEST
collection:LORIA2
collection:INRIA-NANCY-GRAND-EST
collection:UNAM
collection:TESTALAIN1
collection:TESTANNE
collection:CENTRALESUPELEC
collection:CRISTAL
collection:UNIV-LORRAINE
collection:INRIA2
collection:CRISTAL-BIOCOMPUTING
collection:LORIA
collection:LORIA-FM
collection:LS2N
collection:LS2N-MEFORBIO
collection:UNIV-LILLE
collection:SOFTWARE
collection:INSTITUTS-TELECOM
collection:NANTES-UNIVERSITE
collection:NANTES-UNIV
collection:INRIA-JAPON
collection:INRIA-ALLEMAGNE
collection:LOGICIELS-UL
collection:AM2I-UL
Original Identifier:
swh:1:dir: 253fc595a7b0695e8b58396de8a0dbecfcc2d4f8;origin=
HAL: hal-04435180
Document Type:
E-Ressource other<br />Software
Language:
English
Rights:
info:eu-repo/semantics/OpenAccess
URL: https://www.gnu.org/licenses/gpl-3.0-standalone.html
Accession Number:
edshal.hal.04435180v1
Database:
HAL

Weitere Informationen

Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework.- GULA: General Usage LFIT Algorithm- PRIDE: Polynomial Relational Inference of Dynamic Environnement- Synchronizer
Implémentation Python des algorithmes principaux de l'approche Learning From Interpretation Transitions (LFIT).