scholarly journals A Compositional Approach to Parity Games

2021 ◽  
Vol 351 ◽  
pp. 278-295
Author(s):  
Kazuki Watanabe ◽  
Clovis Eberhart ◽  
Kazuyuki Asada ◽  
Ichiro Hasuo
Keyword(s):  
Compositional Approach ◽  
Parity Games

"Nécessité d'une orientation esthétique": Techniques of Development in the Music of Boulez

2019 ◽  
Vol 6 (1) ◽  
pp. 87-129
Author(s):  
Catherine Losada
Keyword(s):  
Significant Influence ◽  
Major Change ◽  
Compositional Process ◽  
Base Materials ◽  
Compositional Approach ◽  
The Creation ◽  
Open Work ◽  
Additional Level ◽  
New Perspective ◽  
The 1960S

The latter part of the 1950s saw a major change in Boulez's compositional approach: Instead of creating extensive pre-compositional sketches, he increasingly reused previously composed materials as the basis for new works. The shifting aesthetics that characterized this period had a significant influence on Boulez. His works from the late 1950s explore the ideas of mobility embedded in the open work. Balancing the concept of mobility with the ideals of control that form the basis of his compositional ideology led to an economy of means and an associated emphasis on the concept of development in his compositional process. Both facilitated the creation of new works from a more limited array of base materials.<br/> Tracing the concept of development in a sample of Boulez's sketches and works from the late 1950s through the 1960s, this essay presents a preliminary typology of recurring pitch and temporal developmental techniques. By taking a bird's-eye view, I add an additional level of interpretation, emphasizing their formal function, association with aspects of middleground structure and studying their implications in terms of perception. In this way, I present a new perspective on the association between these techniques and the practice of derivation from a limited amount of material that characterizes these works.

scholarly journals Compositional Distributional Semantics with Syntactic Dependencies and Selectional Preferences

2021 ◽  
Vol 11 (12) ◽  
pp. 5743
Author(s):  
Pablo Gamallo
Keyword(s):  
English Language ◽  
State Of The Art ◽  
Current Work ◽  
Distributional Semantics ◽  
Compositional Model ◽  
Compositional Approach ◽  
Sentence Similarity ◽  
Selectional Preferences ◽  
Syntactic Dependencies ◽  
Compositional Distributional Semantics

This article describes a compositional model based on syntactic dependencies which has been designed to build contextualized word vectors, by following linguistic principles related to the concept of selectional preferences. The compositional strategy proposed in the current work has been evaluated on a syntactically controlled and multilingual dataset, and compared with Transformer BERT-like models, such as Sentence BERT, the state-of-the-art in sentence similarity. For this purpose, we created two new test datasets for Portuguese and Spanish on the basis of that defined for the English language, containing expressions with noun-verb-noun transitive constructions. The results we have obtained show that the linguistic-based compositional approach turns out to be competitive with Transformer models.

scholarly journals Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

2021 ◽  
Vol 22 (2) ◽  
pp. 1-37
Author(s):  
Christopher H. Broadbent ◽  
Arnaud Carayol ◽  
C.-H. Luke Ong ◽  
Olivier Serre
Keyword(s):  
Model Checking ◽  
Free Variable ◽  
Higher Order ◽  
Second Order ◽  
Effective Solution ◽  
Parity Games ◽  
Transition Graphs ◽  
Second Order Logic ◽  
Pushdown Automata ◽  
Monadic Second Order Logic

This article studies the logical properties of a very general class of infinite ranked trees, namely, those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal -calculus, three main problems: model-checking, logical reflection (a.k.a. global model-checking, that asks for a finite description of the set of elements for which a formula holds), and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems, we provide an effective solution. This is obtained, thanks to a known connection between higher-order recursion schemes and collapsible pushdown automata and on previous work regarding parity games played on transition graphs of collapsible pushdown automata.

Assembling cellular networks of colloids via emulsions of partially miscible liquids: a compositional approach

2014 ◽  
Vol 1 (3) ◽  
pp. 360-364 ◽  
Author(s):  
Niek Hijnen ◽  
Paul S. Clegg
Keyword(s):  
Cellular Networks ◽  
Cellular Network ◽  
Colloidal Particles ◽  
Pickering Emulsion ◽  
Continuous Phase ◽  
Compositional Approach ◽  
Partially Miscible ◽  
One Step ◽  
Miscible Liquids

Removing the continuous phase of a Pickering emulsion of partially miscible liquids by selective evaporation provides a one-step route to assembling colloidal particles into a cellular network.

Modeling from Reservoir to Export: A Compositional Approach for Integrated Asset Model of Different Gas Fields in North Kuwait Jurassic Carbonate Reservoirs

10.2118/ms ◽  
2015 ◽  
Author(s):  
Richard Torrens ◽  
Ahmed Daoud ◽  
Mustafa Amari ◽  
Ahmad Sharifzadeh ◽  
Roshan Prakash ◽  
...  
Keyword(s):  
Carbonate Reservoirs ◽  
Compositional Approach ◽  
Gas Fields
Sign in / Sign up

Export Citation Format

Share Document