-
181
Fragile Bindungen, empathische Solidarität und literarische Diskursräume bei Deniz Utlu
Published 2025-02-01“…Zudem wird reflektiert, wie sich solidarische emanzipative Kulturpraktiken auf literaturwissenschaftliche Methoden und Arbeitsweisen auswirken. …”
Get full text
Article -
182
-
183
Les libelles en France au xviie siècle : action et publication
Published 2003-01-01Get full text
Article -
184
-
185
Multiplicity Results for a p1x,p2x-Laplacian Equation via Variational Methods
Published 2024-01-01Get full text
Article -
186
Parametrically excited nonlinear systems: a comparison of two methods
Published 2002-01-01Get full text
Article -
187
-
188
-
189
-
190
MONITORING OF QUALITY OF EDUCATIONAL ACHIEVEMENTS: SUBJECT, FUNCTIONS, METHODS
Published 2017-06-01Get full text
Article -
191
Pressure Methods for Primary Hemorrhage Control: A Randomized Crossover Trial
Published 2019-02-01Get full text
Article -
192
Multibit image watermarking algorithm resistant to geometric attacks based on level set method
Published 2011-01-01Get full text
Article -
193
Music’s Vibratory Enchantments and Epistemic Injustices. Reflecting on Thirty Years of Feminist Thought in Music Theory
Published 2020-06-01“…Seit den 1990er Jahren haben unterschiedliche postmoderne und poststrukturalistische Perspektiven einen Wandel bezüglich der Inhalte – welcher Musikbegriff wird zugrunde gelegt – und Methoden angestoßen, einschließlich einer Berücksichtigung der „magischen Kräfte“ von Musik. …”
Get full text
Article -
194
Analysis for e-commerce protocols based on ProVerif
Published 2009-01-01“…It was very important to analyze e-commerce protocols by formal methods.A technique for modeling the fair-change e-commerce protocol(FEEP) with automated dispute resolution and for verifying its property was proposed.First, FEEP was modeled in applied picalculus and a novel formalization of the fairness was provided in term of a correspondence property.Then, ProVerif, proposed by Juels, Catalano and Jakobsson, was adopted to analyze FEEP automatically.The results show that:it is feasible to formalize the fairness based on a correspondence property;ProVerif can be used to verify the property that before event A happened, event B had happened, but it is not applicable to analyze the property that after event A happened, event B would happen.…”
Get full text
Article -
195
Impact assessment of green infrastructure and urban growth on stormwater runoff through geospatial modeling
Published 2025-01-01Get full text
Article -
196
-
197
Linguistique et Traitement Automatique des Langues: une coopération nécessaire
Published 2020-11-01Get full text
Article -
198
-
199
On the Solutions of Fractional Burgers-Fisher and Generalized Fisher’s Equations Using Two Reliable Methods
Published 2014-01-01Get full text
Article -
200