On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal

Author(s):  
Alessandro Armando ◽  
Maria Paola Bonacina ◽  
Silvio Ranise ◽  
Stephan Schulz
2019 ◽  
Vol 8 (3) ◽  
pp. 571-604
Author(s):  
DIANA PANKE ◽  
FRANZISKA HOHLSTEIN ◽  
GURUR POLAT

Abstract:Whether we look at constitutions of states or founding treaties of International Organisations (IO), it is striking that many rules on interaction between delegates create room for deliberation, whilst simultaneously limiting the time for discussion. While the latter speeds up decision making, it risks reducing its quality and legitimacy by hampering the exchange and contestation of information and ideas. How are these competing elements balanced in IOs? Do IOs differ in this respect, and if so, how and why? The article draws on a unique and novel dataset and assesses variation in the extent to which institutional design fosters or inhibits diplomatic deliberation in more than 110 diverse IOs. To this end, the article uses a combination of theories of functionalism, rational choice institutionalism and liberal approaches on variation, fit, and mismatch of deliberative institutional design within and across IOs. The hypotheses are analysed with quantitative methods. The article shows that diplomatic deliberative institutional design elements are the most pronounced when IOs are small in size, deal in high politics, and are regional in character.


2009 ◽  
pp. 28-41 ◽  
Author(s):  
E. Lynn Usery ◽  
Michael P. Finn ◽  
Michael Starbuck

The integration of geographic data layers in multiple raster and vector formats, from many different organizations and at a variety of resolutions and scales, is a significant problem for The National Map of the United States being developed by the U.S. Geological Survey. Our research has examined data integration from a layer-based approach for five of The National Map data layers: digital orthoimages, elevation, land cover, hydrography, and transportation. An empirical approach has included visual assessment by a set of respondents with statistical analysis to establish the meaning of various types of integration. A separate theoretical approach with established hypotheses tested against actual data sets has resulted in an automated procedure for integration of specific layers and is being tested. The empirical analysis has established resolution bounds on meanings of integration with raster datasets and distance bounds for vector data. The theoretical approach has used a combination of theories on cartographic transformation and generalization, such as Töpfer’s radical law, and additional research concerning optimum viewing scales for digital images to establish a set of guiding principles for integrating data of different resolutions.


2017 ◽  
Vol 35 (9-10) ◽  
pp. 1888-1907 ◽  
Author(s):  
Mally Shechory-Bitton ◽  
Keren Cohen-Louck

The purpose of the study was to suggest a model for predicting fear of terrorism using theoretical explanations that predict fear of crime. The study focused on two different levels of analysis: community and individual. The sample consisted of 507 Israeli adults. Predictions of fear of terrorism and fear of crime were conducted with two path analysis models, calculated using AMOS software. Fear of terrorism was predicted directly by gender, age, prior victimization, religiosity, and neighborhood disorder. The findings allow the researchers to offer a predictive model for fear of terrorism based on a combination of theories that explain fear of crime as well as a theory concerning the link between fear of death and religion. A combination of environmental theories (e.g., the Broken Windows theory), theories related to personal variables (e.g., the Vulnerability theory), and the Terror Management theory can produce an adequate theoretical framework for explaining fear of terrorism.


Author(s):  
Ahmed Abdullah Alhamami ◽  
Noor Azuan Hashim ◽  
Roshayati Abdul Hamid ◽  
Siti Ngayesah Ab. Hamid

Social media (SM) has become a necessity and a method to confront challenges and fierce competition. More than half of the population are using SM. However, its implication for small and medium enterprises (SMEs) is not well documented and researched. Therefore, the purpose of this study is to review the literature pertaining to the adoption of SM by SMEs. A systematic literature review was conducted using specific keywords and database. This has resulted in reviewing 28 related articles. The findings was presented using frequency analysis. Number of articles are increasing steadily especially in emerging markets with large number of studies deploying the exploratory nature. The most widely used theory is the technological-organizational-environmental framework (TOE) and the sample size of the reviewed studies is adequate. Increasingly the structural equation modelling are being used. However, the use of intervening variable is minimal. The finding also showed that organizational and environmental context variables are the most important predictors of SM adoption by SMEs while the consequence of this adoption on business performance is mixed. There is a need for more studies to discover the consequence of adopting SM by SMEs using a combination of theories.


2021 ◽  
pp. 223-239
Author(s):  
Alexander Ulrich Thygesen

This article studies to what extent the interaction between activists and historical monuments during the 2019 Chilean protests created a shift in the interpretation of the country’s past, thus facilitating the emergence of alternative and more inclusive narratives able to challenge hegemonic power structures. The article embarks on this endeavour through an analysis of three cases of demonumentalisation that occurred in the Chilean city of Temuco on the 29th of October 2019. Methodologically, the article engages with a combination of theories regarding the coloniality of power, the politics of aesthetics, and cultural memory. Finally, the paper concludes by arguing that Chilean activists’ engagement in the practice of demonumentalisation exposed alternative narratives concerning the historical conflict between the Chilean state and the Mapuche community. Making visible the perpetuation of unjust social structures in Chilean society and creating bonds of solidarity between the Chilean mass movement and the Mapuche movement. 


2018 ◽  
Vol 9 (1) ◽  
pp. 87-107 ◽  
Author(s):  
Danielle Ekman Ladru ◽  
Katarina Gustafson

Abstract In the field of early childhood research children’s mobility is usually discussed only in terms of physical activity in the preschool yard. More seldom is it discussed in terms of mobility practices and how young children move in public spaces. With unique detailed video-ethnographic data on mobile preschools and a new combination of theories on space, mobilities and peer culture this article analyses how young children negotiate mobility practices and engage in embodied learning in the collective preschool routine of walking in line. Two empirical examples of walking in line in contrasting public spaces show how the mobile preschool group moves in space as a collective body co-produced by children’s and teachers’ individual bodies. It is argued that walks in line are not merely a form of ‘transport’ between places but are important as social and learning spaces. While walking in line, children collectively ‘do’ space in diverse ways depending on where and how they move, and in relation to where and when teachers negotiate safety issues. In this process, the spaces, activities and routines alike are transformed.


Informatics ◽  
2019 ◽  
Vol 6 (3) ◽  
pp. 33
Author(s):  
Hugo Martinelli Watanuki ◽  
Renato de Oliveira Moraes

This short communication proposes an exploratory investigation regarding the impact of social media information on interpersonal trust in new virtual work partners. The suggested approach assesses this potential impact via a combination of theories from informational economic studies and virtual team research. An initial theoretical model is also proposed.


2018 ◽  
Vol 3 (1) ◽  
pp. 125
Author(s):  
Nurrohim Nurrohim ◽  
Fitri Sari Setyorini

The history of Islamic development in Indonesia has different characteristics compared to other Islamic regions such as Turkey, India, Egypt, Syria, and Morocco. The journey of Islam in Indonesia brings different colors and patterns that distinguish it from other Islamic regions. This happens because Islam is spreaded in the archipelago peacefully and in a gradual long time, unlike the other Islamic regions islamization which is not infrequently through the power of the armed forces. This article will explain the results of Islamic interaction with society who previously embraced Hinduism, Buddhism and animist beliefs dynamism in the form of Islamic Nusantara arts. The analytical method used in this paper is a combination of theories of acculturation and assimilation of Nusantara culture and Islamic culture. The combination of Nusantara culture and Islamic culture produces an Islamic art with the uniqueness of Nusantara without eliminating the elements of the old culture. The form of pre-Islamic Nusantara cultural heritage with the Islamic culture can be found in the architecture of mosques, Arabic Malay script, literary arts, painting and sculpture.


2017 ◽  
Vol 5 (2) ◽  
Author(s):  
Eka Kurniawati ◽  
Tuti Kurniati ◽  
Rizmahardian Azhari Kurniawan

ABSTRACT Learning chemistry is a combination of theories with calculation that require good mathematical abillity in solving problems. This research was investigate and examined the student’s mathematic skill and correlation of the results class X MIPA SMA Negeri 4 Pontianak. This research was a correlation study. The selected samples consisted of 69 students in the class X MIPA 3 and MIPA 4 used Random Sampling technique. The data ware obtained using mathematical skill tests, documentation of the value of the results of class X student second semester of 2015/2016 and interview. This research was indicates that students with high math skills, students achievment chemical is no longer influenced by mathematical abilities. Data were analyzed with a nonparametric test (Spearman Rank test) showed there is no significant correlation between the skill of mathematics to chemistry student learning achievment at 0.236 and correlation coefficient of 0.145 including very low category. The skill of Mathematics class X SMAN 4 Pontianak totaling 69 students were good to excellent category the percentage of students 53.6%, 40.5% good category, the category was sufficient 4.5%, 1.4% less category.Keywords: Corellation, Mathmatics skill, Student’s learning achievement chemistry


Sign in / Sign up

Export Citation Format

Share Document