A formal library of set relations and its application to synchronous languages

Camilo Rocha; César Muñoz; Gilles Dowek

doi:10.1016/j.tcs.2011.01.027

A formal library of set relations and its application to synchronous languages

Theoretical Computer Science ◽

10.1016/j.tcs.2011.01.027 ◽

2011 ◽

Vol 412 (37) ◽

pp. 4853-4866 ◽

Cited By ~ 3

Author(s):

Camilo Rocha ◽

César Muñoz ◽

Gilles Dowek

Keyword(s):

Synchronous Languages ◽

Set Relations

Download Full-text

Set-relations and optimality conditions in set-valued maps

Nonlinear Analysis ◽

10.1016/j.na.2005.06.002 ◽

2005 ◽

Vol 63 (8) ◽

pp. 1167-1179 ◽

Cited By ~ 55

Author(s):

María Alonso ◽

Luis Rodríguez-Marín

Keyword(s):

Optimality Conditions ◽

Set Relations

Download Full-text

Bubble Sets: Revealing Set Relations with Isocontours over Existing Visualizations

IEEE Transactions on Visualization and Computer Graphics ◽

10.1109/tvcg.2009.122 ◽

2009 ◽

Vol 15 (6) ◽

pp. 1009-1016 ◽

Cited By ~ 154

Author(s):

C. Collins ◽

G. Penn ◽

S. Carpendale

Keyword(s):

Set Relations

Download Full-text

Efficient and Interpretable Prediction of Protein Functional Classes by Correspondence Analysis and Compact Set Relations

PLoS ONE ◽

10.1371/journal.pone.0075542 ◽

2013 ◽

Vol 8 (10) ◽

pp. e75542 ◽

Cited By ~ 4

Author(s):

Jia-Ming Chang ◽

Jean-Francois Taly ◽

Ionas Erb ◽

Ting-Yi Sung ◽

Wen-Lian Hsu ◽

...

Keyword(s):

Correspondence Analysis ◽

Compact Set ◽

Functional Classes ◽

Set Relations

Download Full-text

Set relations

Set-Theoretic Methods for the Social Sciences ◽

10.1017/cbo9781139004244.005 ◽

2012 ◽

pp. 56-90

Author(s):

Carsten Q. Schneider ◽

Claudius Wagemann

Keyword(s):

Set Relations

Download Full-text

Macro-Qualitative Approaches

The Handbook of Political, Social, and Economic Transformation ◽

10.1093/oso/9780198829911.003.0017 ◽

2019 ◽

pp. 173-180

Author(s):

Carsten Q. Schneider

Keyword(s):

Comparative Analysis ◽

Set Theory ◽

Qualitative Data ◽

Single Case ◽

Qualitative Comparative Analysis ◽

Social Conditions ◽

Process Tracing ◽

Macro Level ◽

Qualitative Approaches ◽

Set Relations

Macro-qualitative (MQ) approaches to the study of regime transformation can be defined as those that (a) in order to describe or explain macro-level phenomena (b) predominantly use qualitative data and (c) make claims about these phenomena in terms of set relations. MQ approaches can be static or dynamic and are normally used for single-case or small- to medium-N-sized studies. The set of methods employed in MQ research thus defined ranges from qualitative comparative analysis (QCA) to sequence elaboration and process tracing. Classics in the MQ transformation literature can be interpreted in terms of set theory. For instance, Lipset (1959) famously claimed that there are social conditions that are necessary for the functioning of democracy.

Download Full-text