Browse ORBi

- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?

ORBi

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines Henard, Christopher ; Papadakis, Mike ; Perrouin, Gilles et al Report (2012) Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered by all interactions ... [more ▼] Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered by all interactions amongst t features, thus reducing drastically the number of products to test. T-wise testing approaches for SPLs are limited to small values of t -- which miss faulty interactions -- or limited by the size of the FM. Furthermore, they neither prioritize the products to test nor provide means to finely control the generation process. This paper offers (a) a search-based approach capable of generating products for large SPLs, forming a scalable and flexible alternative to current techniques and (b) prioritization algorithms for any set of products. Experiments conducted on 124 FMs (including large FMs such as the Linux kernel) demonstrate the feasibility and the practicality of our approach. [less ▲] Detailed reference viewed: 133 (5 UL)Byzantine Resilient Protocol for the IoT ; ; et al in IEEE Internet of Things Journal (2018) Wireless sensor networks, often adhering to a single gateway architecture, constitute the communication backbone for many modern cyber-physical systems. Consequently, faulttolerance in CPS becomes a ... [more ▼] Wireless sensor networks, often adhering to a single gateway architecture, constitute the communication backbone for many modern cyber-physical systems. Consequently, faulttolerance in CPS becomes a challenging task, especially when accounting for failures (potentially malicious) that incapacitate the gateway or disrupt the nodes-gateway communication, not to mention the energy, timeliness, and security constraints demanded by CPS domains. This paper aims at ameliorating the fault-tolerance of WSN based CPS to increase system and data availability. To this end, we propose a replicated gateway architecture augmented with energy-efficient real-time Byzantineresilient data communication protocols. At the sensors level, we introduce FT-TSTP, a geographic routing protocol capable of delivering messages in an energy-efficient and timely manner to multiple gateways, even in the presence of voids caused by faulty and malicious sensor nodes. At the gateway level, we propose a multi-gateway synchronization protocol, which we call ByzCast, that delivers timely correct data to CPS applications, despite the failure or maliciousness of a number of gateways. We show, through extensive simulations, that our protocols provide better system robustness yielding an increased system and data availability while meeting CPS energy, timeliness, and security demands. [less ▲] Detailed reference viewed: 156 (10 UL)C wie C'est la vie Heimböckel, Dieter Article for general public (2012) Detailed reference viewed: 102 (4 UL)‘C'est canard’ – ‘C'est un vert’. Der Artikelgebrauch im frühen gesteuerten Erwerb des Französischen Ziegler, Gudrun ; in Zeitschrift für Literaturwissenschaft und Linguistik [= LiLi] (2003), 33(131), 76-105 At an early stage of instructed foreign language learning (French), young learners develop a simplest language which reflects similarities with adult learner varieties, Creole systems and strategies of ... [more ▼] At an early stage of instructed foreign language learning (French), young learners develop a simplest language which reflects similarities with adult learner varieties, Creole systems and strategies of (first) language acquisition. Due to the fact that their L1 (German) has still to be extended, especially in terms of the written variety, learners interact in an environment with specific language use. Considering young learners language production, examples of article use in instructed interaction were investigated. [less ▲] Detailed reference viewed: 127 (0 UL)"C’est clair, la participation coûte du temps. Mais elle en économise aussi." De la temporalité des pratiques participatives dans l’éducation précoce Hekel, Nicole ; Neumann, Sascha Scientific Conference (2017, June 27) Detailed reference viewed: 90 (2 UL)C'est quoi, ce mythe fondateur? Scuto, Denis Article for general public (2015) Weekly column on contemporary history ("L'histoire du temps présent") in Luxembourg newspaper Tageblatt, here on the Second World War as founding myth for Luxembourg Detailed reference viewed: 104 (2 UL)C’était extrêmement violent» Il y a 100 ans, la révolution de Février a provoqué la fin de l’Empire russe Paravantis, Spero E-print/Working paper (2017) La révolution de Février, qui s'est déroulée du 8 mars (23 février) 1917 au 13 mars (28 février) 1917, marque le début de la révolution russe de 1917. Elle force l'abdication du tsar Nicolas II et ... [more ▼] La révolution de Février, qui s'est déroulée du 8 mars (23 février) 1917 au 13 mars (28 février) 1917, marque le début de la révolution russe de 1917. Elle force l'abdication du tsar Nicolas II et provoque la fin de l'Empire russe. Un gouvernement provisoire dirige, mais la même année, la révolution d'Octobre met au pouvoir des bolcheviks et permet la création de l'Union des républiques socialistes soviétiques (URSS). Le chercheur au «Centre for Contemporary and Digital History» à l’Université du Luxembourg, Dr. Spero S.Z. Paravantis nous détaille ce chapitre de l’histoire. [less ▲] Detailed reference viewed: 92 (12 UL)The C*-algebras of certain Lie groups Günther, Janne-Kathrin Doctoral thesis (2016) In this doctoral thesis, the C*-algebras of the connected real two-step nilpotent Lie groups and the Lie group SL(2,R) are characterized. Furthermore, as a preparation for an analysis of its C*-algebra ... [more ▼] In this doctoral thesis, the C*-algebras of the connected real two-step nilpotent Lie groups and the Lie group SL(2,R) are characterized. Furthermore, as a preparation for an analysis of its C*-algebra, the topology of the spectrum of the semidirect product U(n) x H_n is described, where H_n denotes the Heisenberg Lie group and U(n) the unitary group acting by automorphisms on H_n. For the determination of the group C*-algebras, the operator valued Fourier transform is used in order to map the respective C*-algebra into the algebra of all bounded operator fields over its spectrum. One has to find the conditions that are satisfied by the image of this C*-algebra under the Fourier transform and the aim is to characterize it through these conditions. In the present thesis, it is proved that both the C*-algebras of the connected real two-step nilpotent Lie groups and the C*-algebra of SL(2,R) fulfill the same conditions, namely the “norm controlled dual limit” conditions. Thereby, these C*-algebras are described in this work and the “norm controlled dual limit” conditions are explicitly computed in both cases. The methods used for the two-step nilpotent Lie groups and the group SL(2,R) are completely different from each other. For the two-step nilpotent Lie groups, one regards their coadjoint orbits and uses the Kirillov theory, while for the group SL(2,R) one can accomplish the calculations more directly. [less ▲] Detailed reference viewed: 218 (21 UL)The C*-algebras of connected real two-step nilpotent Lie groups Günther, Janne-Kathrin ; E-print/Working paper (2014) Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it ... [more ▼] Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it is shown by explicit computations, that the Fourier transform of such C*-algebras fulfills the norm controlled dual limit property. [less ▲] Detailed reference viewed: 70 (8 UL)The C*-algebras of connected real two-step nilpotent Lie groups Günther, Janne-Kathrin ; in Revista Matemática Complutense (2015) Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it ... [more ▼] Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it is shown by explicit computations, that the Fourier transform of such C*-algebras fulfills the norm controlled dual limit property. [less ▲] Detailed reference viewed: 144 (7 UL)The C*-algebras of real two-step nilpotent Lie groups Günther, Janne-Kathrin Speeches/Talks (2015) Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it ... [more ▼] Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it is shown by explicit computations, that the Fourier transform of such C*-algebras fulfills the norm controlled dual limit property. [less ▲] Detailed reference viewed: 89 (5 UL)C++ implementation of 2D PHT splines ; Bordas, Stéphane Learning material (2016) Detailed reference viewed: 166 (4 UL)c-Fos immunoreactivity in rat brainstem neurons following noxious chemical stimulation of the nasal mucosa Anton, Fernand ; ; et al in Neuroscience (1991), 41(2-3), 629-641 Detailed reference viewed: 61 (0 UL)The C-terminal cavity of the Na,K-ATPase analyzed by docking and electrophysiology ; Jurkowski, Wiktor ; et al in Molecular Membrane Biology (2013), 30(2), 195-205 The Na,K-ATPase is essential to all animals, since it maintains the electrochemical gradients that energize the plasma membrane. Naturally occurring inhibitors of the pump from plants have been used ... [more ▼] The Na,K-ATPase is essential to all animals, since it maintains the electrochemical gradients that energize the plasma membrane. Naturally occurring inhibitors of the pump from plants have been used pharmaceutically in cardiac treatment for centuries. The inhibitors block the pump by binding on its extracellular side and thereby locking it. To explore the possibilities for designing an alternative way of targeting the pump function, we have examined the structural requirements for binding to a pocket that accommodates the two C-terminal residues, YY, in the crystal structures of the pump. To cover the sample space of two residues, we first performed docking studies with the 400 possible dipeptides. For validation of the in silico predictions, pumps with 13 dipeptide sequences replacing the C-terminal YY were expressed in Xenopus laevis oocytes and examined with electrophysiology. Our data show a significant correlation between the docking scores from two different methods and the experimentally determined sodium affinities, which strengthens the previous hypothesis that sodium binding is coupled to docking of the C-terminus. From the dipeptides that dock the best and better than wild-type YY, it may therefore be possible to develop specific drugs targeting a previously unexplored binding pocket in the sodium pump. [less ▲] Detailed reference viewed: 131 (3 UL)C-Test = C-Test? Zur Vergleichbarkeit zwischen C-Tests. Reichert, Monique in Fremdsprachen und Hochschule (2010), 82 Detailed reference viewed: 107 (0 UL)Le C-Test comme outil d'évaluation en langue dans le cadre d'une enquête internationale : tentative de mise à l'épreuve ; Reichert, Monique ; et al in Les Cahiers de la Section des sciences de l'éducation. Variations sur le thème des langues modernes (2008) Detailed reference viewed: 115 (0 UL)The C-test, the TCF and the CEFR: a validation study. Reichert, Monique ; Keller, Ulrich ; Martin, Romain in Grotjahn, Rüdiger (Ed.) Der C-Test: Beiträge aus der aktuellen Forschung. The C-Test: Contributions from Current Research (2010) Detailed reference viewed: 203 (1 UL)Le C-Test: un nouveau chemin idéal pour une évaluation valide de compétences linguistiques? Reichert, Monique ; Keller, Ulrich ; Martin, Romain Scientific Conference (2006) Detailed reference viewed: 80 (0 UL)C.7: Luxemburg Margue, Michel ; Pauly, Michel in Paravicini, Werner (Ed.) Höfe und Residenzen im spätmittelalterlichen Reich. Ein dynastisch-topographisches Handbuch. (2003) Detailed reference viewed: 90 (0 UL)La C.O.B. et le C.M.F. protègent les analystes financiers de l'influence du droit américain Conac, Pierre-Henri in Petites Affiches, la Loi (2003), 3(154), 3-3 Detailed reference viewed: 94 (0 UL) |
||