• Refine your search:
  • 
    Keyword:
    
    • FOS Computer and information sciences (12)
    • Social sciences (10)
    • Computer Methods (9)
    • Erhebungstechniken und Analysetechniken der Sozialwissenschaften (9)
    • Methods and Techniques of Data Collection and Data Analysis (9)
    • Sozialwissenschaften (9)
    • Soziologie (9)
    • Statistical Methods (9)
    • anthropology (9)
    • sociology (9)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (38)
  • 
    Medium
  • 
    Type:
    
    • Article (24)
    • Miscellaneous (10)
    • Book (4)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 38 1 Translation quality assessment: a brief survey on manual and automatic methods Smeaton, Alan F.; Jones, Gareth J.F.; Han, Lifeng In: Han, Lifeng orcid:0000-0002-3221-2185 , Jones, Gareth J.F. orcid:0000-0003-2923-8365 and Smeaton, Alan F. orcid:0000-0003-1028-8389 (2021) Translation quality assessment: a brief survey on manual and automatic methods. In: MoTra21: Workshop on Modelling Translation: Translatology in the Digital Age, 31 May- 2 Jun 2021, Rejkjavik, Iceland (Online). (In Press) (2021) BASE Show details 2 Outils d’analyse de données textuelles non structurées ; : Typologie d’outils d’analyse textuelles en SHS de Saint Léger, Mathilde In: Semaine Data SHS : Traiter et analyser des données en sciences humaines et sociales ; https://hal.archives-ouvertes.fr/hal-03479599 ; Semaine Data SHS : Traiter et analyser des données en sciences humaines et sociales, Plateforme universitaire de données de Nanterre - MSH-Mondes; Plateforme universitaire de données des Grands-Moulins, Dec 2021, Nanterre, France ; https://pudndatashs.sciencesconf.org/resource/page/id/17 (2021) BASE Show details 3 Visualiser des textes en humanités numériques Mpouli, Suzanne In: Semaine Data SHS : Traiter et analyser des données en sciences humaines et sociales ; https://hal.archives-ouvertes.fr/hal-03479616 ; Semaine Data SHS : Traiter et analyser des données en sciences humaines et sociales, Plateforme universitaire de données de Nanterre - MSH-Mondes; Plateforme universitaire de données des Grands-Moulins, Dec 2021, Nanterre, France ; https://pudndatashs.sciencesconf.org/resource/page/id/17 (2021) BASE Show details 4 Découvrez et comparez les résultats de Calliope, IramuteQ, TXM, Gargantext à partir d’un corpus de RetroNews Mpouli, Suzanne; De Saint Léger, Mathilde; Chauvel, Brian In: Semaine Data SHS : Traiter et analyser des données en sciences humaines et sociales ; https://hal.archives-ouvertes.fr/hal-03483115 ; Semaine Data SHS : Traiter et analyser des données en sciences humaines et sociales, Plateforme universitaire de données de Nanterre - MSH Mondes; Plateforme universitaire de données des Grands Moulins, Dec 2021, Nanterre, France ; https://pudndatashs.sciencesconf.org/resource/page/id/17 (2021) BASE Show details 5 Extraction of Narrative Structure from TV Series ; Extraction de la structure narrative de séries TV Berhe, Aman. - : HAL CCSD, 2021 In: https://halshs.archives-ouvertes.fr/tel-03474054 ; Linguistics. Université Paris-Saclay/Université Paris-Sud; LISN; CNRS, 2021. English (2021) BASE Show details 6 Mapping International Geopolitical Agenda. Continuing National Conceptions of the Emerging European Crisis Grasland, Claude; Toureille, Etienne; Leconte, Romain... In: ISSN: 2624-909X ; EISSN: 2624-909X ; Frontiers in Big Data ; https://halshs.archives-ouvertes.fr/halshs-03506950 ; Frontiers in Big Data, Frontiers, 2021, 4, ⟨10.3389/fdata.2021.718809⟩ (2021) BASE Show details 7 Ein Überblick über die neuesten abstrakten Zusammenfassungstechniken ; A Survey of Recent Abstract Summarization Techniques ; Un aperçu des techniques récentes de résumé abstrait Puspitaningrum, Diyah In: Proceedings of Sixth International Congress on Information and Communication TechnologyICICT 2021, London, Volume 4Series: Lecture Notes in Networks and Systems, Vol. 217Yang, X.-S., Sherratt, S., Dey, N., Joshi, A. (Eds.) 2021 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021 ; https://hal.archives-ouvertes.fr/hal-03216381 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021, ICICT 2021, Feb 2021, London, United Kingdom ; https://www.waterstones.com/book/proceedings-of-sixth-international-congress-on-information-and-communication-technology/xin-she-yang/simon-sherratt/9789811621017 (2021) BASE Show details 8 Presentation matters: Evaluating speaker identification tasks O'Brien, Benjamin; Meunier, Christine; Ghio, Alain In: INTERSPEECH 2021 ; https://hal.archives-ouvertes.fr/hal-03267089 ; INTERSPEECH 2021, Aug 2021, Brno, Czech Republic (2021) BASE Show details 9 Manual annotation of occurrences of terms candidates in scientific papers ; Annotation manuelle d'occurrences de candidats termes et écrit scientifique Jacquey, Evelyne; Kister, Laurence; Méoni, Simon... In: https://hal.archives-ouvertes.fr/hal-02005884 ; 2021 (2021) BASE Show details 10 Étude des chaînes de référence en français : liens entre modélisation linguistique et analyse quantitative Landragin, Frédéric In: ISSN: 0037-9069 ; EISSN: 1783-1385 ; Bulletin de la Société de Linguistique de Paris ; https://halshs.archives-ouvertes.fr/halshs-03346119 ; Bulletin de la Société de Linguistique de Paris, Peeters Publishers, 2021, CXVI (1), pp.41-75 (2021) BASE Show details 11 Online And Face To Face Teaching: two complementary educational intervention modes ; L'enseignement du FLE en face à face et en ligne : deux modes d'intervention pédagogiques complémentaires Narainen, Stelene In: ISSN: 2773-286X ; Didaskein ; https://hal.archives-ouvertes.fr/hal-03429054 ; Didaskein, 2021, 2 (1), pp.28-47 (2021) BASE Show details 12 From disparate disciplines to unity in diversity How the PARTHENOS project has brought European humanities Research Infrastructures together Uiterwaal, Frank; Niccolucci, Franco; Bassett, Sheena... In: ISSN: 1753-8548 ; EISSN: 1755-1706 ; International Journal of Humanities and Arts Computing ; https://hal.inria.fr/hal-03402145 ; International Journal of Humanities and Arts Computing, Edinburgh University Press, 2021, 15 (1-2), pp.101-116. ⟨10.3366/ijhac.2021.0264⟩ (2021) BASE Show details 13 Transdisciplinary Analysis of a Corpus of French Newsreels: The ANTRACT Project Carrive, Jean; Beloued, Abdelkrim; Goetschel, Pascale... In: ISSN: 1938-4122 ; Digital Humanities Quarterly ; https://hal.archives-ouvertes.fr/hal-03166755 ; Digital Humanities Quarterly, Alliance of Digital Humanities, 2021, Special Issue on AudioVisual Data in DH, 15 (1) ; http://digitalhumanities.org/dhq/ (2021) BASE Show details 14 Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes Lubat, Eric. - : HAL CCSD, 2021 In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021) Abstract: National audience ; We study the behavior of Discrete Event Systems (DES) subjectto strong temporal constraints. We are more particularly interested inthe formal verification of properties on the timed languagesassociated with their executions. In this context, we focus on DESmodelled using Time Petri Nets (TPN), an extension of classicalPetri nets in which we can constrain the time during whichtransitions stay enabled.Our goal is to use and extend techniques borrowed frommodel-checking in order to check properties related to thediagnosability of a system. To this end, we study propertieson the intersection of the timed languages of systems. Ourapproach is based on the definition of a new composition operator,that we call synchronous product, that constrain differenttransitions to fire at the same time. This allows us to analyse theproduct of systems more directly, without the need to compute theintersection of their language at the level of their state spaces.Our main contribution is the definition of a new formal model, calledProduct TPN (PTPN), that includes our notion of synchronousproduct in its syntax. We show how to extend the notion ofState Class Graphs to PTPN and use this construction to checkthe diagnosability of single faults on TPN. We also study thediagnosability of more complex behaviors, expressed using patternsof events, and explore a restricted case of timed pattern.A software called TWINA was created in the context of this thesis. Twina is a tool for analyzing the "product" of two Time Petri Nets (TPN), with possibly inhibitor and read arcs. Its main objective is to compute a usable representation of the intersection of two net languages; meaning the intersection of the (timed) languages obtained from the executions of two TPN, in which transitions with the same labels are fired at the same date.The tool is based on a new extension of the State Class Graph construction, the method used in the TINA (TIme petri Net Analyzer) toolbox. Like for TINA, this tool is maintained by the Verification of Time Critical Systems (VERTICS) group, which develops new verification methods and tools for checking properties of critical systems having strong temporal and timing requirements. TWINA is mainly used to conduct experiment on our new model, the PTPN. ; Cette thèse porte sur l'étude des Systèmes à Événements Discrets (SED) soumis à des contraintes temporelles fortes, et plus précisément sur la vérification de propriétés liées aux langages associés à leurs exécutions. Dans ce contexte, nous nous concentrons à l'étude des réseaux de Petri temporels (TPN) comme modèle pour la spécification des SED.L'objectif général est d'utiliser et d'étendre des méthodes issues du domaine du model-checking afin de répondre à des questions de diagnosticabilité. Pour ce faire, nous cherchons à vérifier des propriétés liées à l'intersection entre les langages temporels (le comportement) de différent systèmes. Notre approche repose sur la définition d'une nouvelle opération de produit synchrone entre TPN qui nous permet d'utiliser des techniques d'analyse plusdirectes. Ceci nous permet, en particulier, d'éviter de devoir calculer directement l'intersection entre langages au niveau des espaces d'état des systèmes.Notre contribution principale est la définition d'un nouveau modèle, les Product TPN (PTPN), qui internalise notre concept de produit synchrone entre transitions. Nous proposons une extension de la notion de graphes de classes au cas des PTPN et utilisons ce modèle pour vérifier la propriété de diagnosabilité sur les TPN dans le cas de fautes simples, mais également pour la diagnosticabilité de scénarios plus complexes, décrit sous la forme de motifs.Un logiciel appelé TWINA a été créé dans le cadre de cette thèse. Twina est un outil d'analyse du « produit » de deux Time Petri Nets (TPN), avec éventuellement des arcs inhibiteurs et read. Son objectif principal est de calculer une représentation utilisable de l'intersection de deux langages de réseau ; c'est-à-dire l'intersection des langues (temporisées) obtenues à partir des exécutions de deux TPN, dans lesquelles des transitions avec les mêmes labels sont déclenchées à la même date.L'outil est basé sur une nouvelle extension de la construction State Class Graph, la méthode utilisée dans la boîte à outils TINA (TIME Petri Net Analyzer). Comme pour TINA, cet outil est maintenu par le groupe Verification of Time Critical Systems (VERTICS), qui développe de nouvelles méthodes et outils de vérification pour vérifier les propriétés des systèmes critiques ayant de fortes exigences temporelles et temporelles. TWINA est principalement utilisé pour expérimenter notre nouveau modèle, le PTPN. Keyword: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems; Diagnosis; Diagnostic; Formal methods; Méthodes formelles; Model-Checking; Runtime Verification; Vérification en ligne URL: https://hal.laas.fr/tel-03528121 https://hal.laas.fr/tel-03528121v2/file/2021EricLUBAT.pdf https://hal.laas.fr/tel-03528121v2/document BASE Hide details 15 Towards automatic detection and classification of orca (Orcinus orca) calls using cross-correlation methods ... Palmero, Stefano; Guidi, Carlo; Kulikovskiy, Vladimir. - : arXiv, 2021 BASE Show details 16 Spelling provides a precise (but sometimes misplaced) phonological target. Orthography and acoustic variability in second language word learning ... Welby, Pauline; Spinelli, Elsa; Bürki, Audrey. - : arXiv, 2021 BASE Show details 17 Acoustical Analysis of Speech Under Physical Stress in Relation to Physical Activities and Physical Literacy ... Ng, Si-Ioi; Ma, Rui-Si; Lee, Tan. - : arXiv, 2021 BASE Show details 18 Modelowanie percepcji transformacji politycznej. Podejście systemowe ... Kasianiuk, Krzysztof. - : figshare, 2021 BASE Show details 19 Modelowanie percepcji transformacji politycznej. Podejście systemowe ... Kasianiuk, Krzysztof. - : figshare, 2021 BASE Show details 20 Open Letter to Springer Editors and Their Response ... Hochgesang, Julie. - : figshare, 2021 BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 38 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0