Results 41 to 50 of about 366,297 (354)

Nonequilibrium many-body steady states via Keldysh formalism [PDF]

Physical review B, 2015
Many-body systems with both coherent dynamics and dissipation constitute a rich class of models which are nevertheless much less explored than their dissipationless counterparts.
M. Maghrebi, A. Gorshkov
semanticscholar   +1 more source

Formalization of Quasilattices

Formalized Mathematics, 2020
Summary The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws.
Kulesza, Dominik, Grabowski, Adam
openaire   +3 more sources

Altered but Not Silenced: How Shostakovich Retained His Voice as an Artist despite the Demands of a Dictator

Musical Offerings, 2013
Can music that is regulated and restrained by a dictator still be inspired? This question reveals ideology concerning how music should be created and valued. Does outside control restrict artistic integrity and autonomy?
Hope R. Strayer
doaj   +1 more source

Formal Languages, Formally and Coinductively

Logical Methods in Computer Science, 2017
Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs of classic results in language theory.
openaire   +6 more sources

INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]

The Review of Symbolic Logic, 2015
AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire   +1 more source

Après l’autonomie : dépasser le modernisme dans la théorie de l’art états-unienne (1970-1980)

Perspective
The arrival of French Structuralism across the Atlantic at the end of the 1970s made considerable waves in art theory circles. October is often presented as the academic journal that assimilated structuralist thought in order to challenge the formalist ...
François Aubart
doaj   +1 more source

Gli studi sui generi auto-biografici e memorialistici in Russia.

Avtobiografija, 2012
The present study aims at providing an overview on the contribution of Russian scholars to the evolution of ‘Life-Writing’ studies. The importance of the formalists’ studies on auto-biography and memoirs (although fragmentary) and the Soviet studies on ...
Claudia Criveller
doaj   +1 more source

The Symbol of Modern Architecture. About the Barcelona Pavilion by Mies van der Rohe

Проект Байкал, 2016
The article reviews peculiarities of the architectural and spatial organization of the Barcelona Pavilion designed by Mies van der Rohe and the reasons for its rehabilitation after a long period of oblivion.
Ilya Lezhava
doaj   +1 more source

Overcoming legal formalism and the protection of the Slovak Republic Constitutionalism

Аналітично-порівняльне правознавство
The principles are considered the basic ones as they constitute the contradistinguished component-part between the lawful state and another state establishment. However, it would be naive to think and to rely on the reality that the only creation of the
J. Ondrová, M. Úradník
doaj   +1 more source

Plan des formes, plan des forces

Socio-anthropologie, 2017
Between Negerplastik (1915) and Afrikanische Plastik (1921), there is a shift in Carl Einstein’s perspective. This author, who was one of the first thinkers on African art and its scope for the avant-gardes, avoids a disembedded aesthetic approach ...
Pauline Nadrigny
doaj   +1 more source