Results 1 to 10 of about 338,627 (190)
Formal derivation of the Laughlin function and its generalization for other topological phases of FQHE [PDF]
Scientific Reports, 2022 Using the braid symmetry we demonstrate the derivation of the Laughlin function for the main hierarchy 1/q of FQHE in the lowest Landau level of two-dimensional electron system with a mathematical rigour.
Janusz E. Jacak
doaj +2 more sources
Formal Derivation of Concurrent Garbage Collectors [PDF]
, 2010 Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and
D. Dolingez +15 more
core +6 more sources
Product Model Derivation from Feature Model and Formal Specification
Applied Sciences, 2022 Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications
Xi Wang, Weiwei Wang, Hongbo Liu
doaj +1 more source
Formal explanations as logical derivations [PDF]
Journal of Applied Non-Classical Logics, 2021 According to a longstanding philosophical tradition dating back to Aristotle's Posterior Analytics and carried on in Bolzano's Theory of Science, certain proofs do not only certify the truth of their conclusion but also explain the reasons why their conclusion holds.
openaire +3 more sources
Journal of Marine Science and Engineering, 2023 In this study formal derivation of mode coupling equations in underwater acoustics is revisited. This derivation is based on the method of multiple scales from which modal expansion of the field emerges, and the vectorized WKBJ equation for the ...
Mikhail Trofimov +3 more
doaj +1 more source
Derivation of nomina qualitatis on borrowed stems
Vilnius University Open Series, 2022 This paper investigates the derivation of hybrid derivatives, such as banal-um-as ‘banality’ ← banal-us, -i ‘banal’, that belong to the derivational category of nomina qualitatis.
Lina Inčiuraitė-Noreikienė
doaj +1 more source
Fractional hamilton formalism within caputo’s derivative [PDF]
Czechoslovak Journal of Physics, 2006 In this paper we develop a fractional Hamiltonian formulation for dynamic systems defined in terms of fractional Caputo derivatives. Expressions for fractional canonical momenta and fractional canonical Hamiltonian are given, and a set of fractional Hamiltonian equations are obtained.
Baleanu, Dumitru, Agrawal, Om. P.
openaire +2 more sources
Formal Derivation of Distributed MapReduce [PDF]
, 2014 MapReduce is a powerful distributed data processing model that is currently adopted in a wide range of domains to efficiently handle large volumes of data, i.e., cope with the big data surge. In this paper, we propose an approach to formal derivation of the MapReduce framework.
Pereverzeva, Inna +4 more
openaire +3 more sources
Types de formants dans la dérivation fonctionnelle polonaise et roumaine : bases théoriques
Studia Romanica Posnaniensia, 2020 The paper describes types of derivational formatives in Polish and Romanian functional, i.e. synchronic derivation, focusing on the proper derivation (i.e. derivation from single-word bases).
Szymon Czarnecki
doaj +3 more sources
The derivation of diminutives from abstract noun bases in Bulgarian [PDF]
Južnoslovenski Filolog, 2013 The paper reviews the formal and semantic characteristics of the formation of diminutives in Bulgarian, where the process affects nouns, adjectives, numerals, adverbs, verbs and pronouns.
Nicolova Ruselina L.
doaj +1 more source