DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...77
Hits 1 – 20 of 1.530

1
The Languages and Linguistics of Australia : A Comprehensive Guide
Koch, Harold; Nordlinger, Rachel. - Berlin/Boston : De Gruyter, 2014
UB Frankfurt Linguistik
Show details
2
Linguistic Convergence and Areal Diffusion : Case Studies from Iranian, Semitic and Turkic
Csató, Éva Ágnes; Isaksson, Bo; Jahani, Carina. - Abingdon, Oxon : Taylor and Francis, 2014
UB Frankfurt Linguistik
Show details
3
Wiederbelebung einer Utopie : Probleme und Perspektiven slavischer Plansprachen im Zeitalter des Internets ; am Beispiel von Slovio, Slovianski und Novosloviensky jezyk [[Elektronische Ressource]]
Kempgen, Sebastian [Akademischer Betreuer]; Meyer, Anna-Maria [Verfasser]; Krug, Manfred G. [Akademischer Betreuer]. - Bamberg : University of Bamberg Press, 2014
DNB Subject Category Language
Show details
4
A Functional Analysis of the e-WAT with Specific Focus on the Mobile Version: Towards a Model for Improvement
In: Lexikos. Journal of the African Association for Lexicography 24 (2014), 75-93
IDS OBELEX meta
Show details
5
A General Lexicographic Model for a Typological Variety of Dictionaries in African Languages
In: Lexikos. Journal of the African Association for Lexicography 24 (2014), 94-115
IDS OBELEX meta
Show details
6
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications
In: 21st International Static Analysis Symposium (SAS 2014) ; https://hal.inria.fr/hal-01093327 ; 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩ (2014)
BASE
Show details
7
A Precise and Abstract Memory Model for C Using Symbolic Values
In: 12th Asian Symposium on Programming Languages and Systems (APLAS 2014) ; https://hal.inria.fr/hal-01093312 ; 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩ (2014)
BASE
Show details
8
Synchronizing Relations on Words
In: 31st International Symposium on Theoretical Aspects of Computer Science (STACS) ; https://hal.archives-ouvertes.fr/hal-01793633 ; 31st International Symposium on Theoretical Aspects of Computer Science (STACS), May 2014, Lyon, France (2014)
BASE
Show details
9
The Package Blueprint: visually analyzing and quantifying package dependencies
In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00957695 ; Science of Computer Programming, Elsevier, 2014, 89 (Part C), pp. 298-319. ⟨10.1016/j.scico.2014.02.016⟩ (2014)
BASE
Show details
10
Entropy of regular timed languages
In: https://hal.archives-ouvertes.fr/hal-01078613 ; 2014 (2014)
Abstract: For timed languages, we define size measures: volume for languages with a fixed finite number of events, and entropy (growth rate) as asymptotic measure for an unbounded number of events. These measures can be used for quantitative comparison of languages, and the entropy can be viewed as information contents of a timed language. For languages accepted by deterministic timed automata, we give exact formulas for volumes. We show that automata with non-vanishing entropy ("thick") have a normal (non-Zeno, discretizable etc.) behavior for typical runs. Next, we characterize the entropy, using methods of functional analysis, as the logarithm of the leading eigenvalue (spectral radius) of a positive integral operator. We devise a couple of methods to compute the entropy: a symbolical one for so-called "1 1 ⁄2-clock" automata, and a numerical one (with a guarantee of convergence).
Keyword: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; entropy; timed automata; timed languages
URL: https://hal.archives-ouvertes.fr/hal-01078613
https://hal.archives-ouvertes.fr/hal-01078613/file/entropy.pdf
https://hal.archives-ouvertes.fr/hal-01078613/document
BASE
Hide details
11
Ambiguity of $\omega$-Languages of Turing Machines
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
BASE
Show details
12
Improving Semantic Transparency of Committee-Designed Languages through Crowd-sourcing
In: 14th Workshop on Domain-Specific Modeling @ SPLASH ; https://hal.inria.fr/hal-01076729 ; 14th Workshop on Domain-Specific Modeling @ SPLASH, Oct 2014, Oregon - Portland, United States (2014)
BASE
Show details
13
Two “Official” Languages of Work: Explaining the Persistence of Inequitable Access to French as a Language of Work in the Canadian Federal Public Service
BASE
Show details
14
Die slavischen Sprachen ; 2
Berlin ; Munich [u.a.] : De Gruyter Mouton, 2014
IDS Mannheim
Show details
15
The Ripple Effect: The Influence of Don Quixote in Modern Artistic Mediums
In: World Languages and Cultures (2014)
BASE
Show details
16
Día del Niño: Los efectos de un evento transcultural en la comunidad local
In: World Languages and Cultures (2014)
BASE
Show details
17
Strategic Deployments of ‘Sisterhood’ and Questions of Solidarity at a Women’s Development Project in Janakpur, Nepal
In: Faculty Journal Articles (2014)
BASE
Show details
18
Developing Attitudes toward Learning Arabic as a Foreign Language among American University and College Students
In: Faculty Contributions to Books (2014)
BASE
Show details
19
Ejemplos de jejeo salvadoreño en Cuentos de Barro de Salarrué.
In: Scholarship and Professional Work - LAS (2014)
BASE
Show details
20
Band 2 : = edited by Karl Gutschmidt, Sebastian Kempgen, Tilman Berger, Peter Kosta. - Handbücher zur Sprach- und Kommunikationswissenschaft, 32 ; Die slavischen Sprachen : ein internationales Handbuch zu ihrer Struktur, ihrer Geschichte und ihrer Erforschung ; Halbbd. 2 : Band 2 : = edited by Karl Gutschmidt, Sebastian Kempgen, Tilman Berger, Peter Kosta. -
Gutschmidt, Karl (Herausgeber); Kempgen, Sebastian (Herausgeber); Wiegand, Herbert Ernst (Herausgeber). - Berlin [u.a.] : de Gruyter, 2014
UB Frankfurt Linguistik
Show details

Page: 1 2 3 4 5...77

Catalogues
10
1
0
0
1
0
0
Bibliographies
7
0
0
0
0
0
2
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1.509
7
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern