scholarly journals Architectures in parametric component-based systems: Qualitative and quantitative modelling

2021 ◽  
Vol Volume 17, Issue 4 ◽  
Author(s):  
Maria Pittou ◽  
George Rahonis
Keyword(s):  
Formal Language ◽  
Equivalence Problem ◽  
Quantitative Modelling ◽  
Qualitative And Quantitative ◽  
First Order ◽  
Functional Aspects ◽  
Skew Fields ◽  
Extended Interaction ◽  
Key Aspects ◽  
Execution Order

One of the key aspects in component-based design is specifying the software architecture that characterizes the topology and the permissible interactions of the components of a system. To achieve well-founded design there is need to address both the qualitative and non-functional aspects of architectures. In this paper we study the qualitative and quantitative formal modelling of architectures applied on parametric component-based systems, that consist of an unknown number of instances of each component. Specifically, we introduce an extended propositional interaction logic and investigate its first-order level which serves as a formal language for the interactions of parametric systems. Our logics achieve to encode the execution order of interactions, which is a main feature in several important architectures, as well as to model recursive interactions. Moreover, we prove the decidability of equivalence, satisfiability, and validity of first-order extended interaction logic formulas, and provide several examples of formulas describing well-known architectures. We show the robustness of our theory by effectively extending our results for parametric weighted architectures. For this, we study the weighted counterparts of our logics over a commutative semiring, and we apply them for modelling the quantitative aspects of concrete architectures. Finally, we prove that the equivalence problem of weighted first-order extended interaction logic formulas is decidable in a large class of semirings, namely the class (of subsemirings) of skew fields.

scholarly journals Malta and the 2019 EP elections – maximising popular engagement with “Europe”

2020 ◽  
Vol 5 (4) ◽  
pp. 305-322
Author(s):  
Jean Claude Cachia ◽  
Fabrizio Ellul ◽  
Mark Harwood ◽  
Carmen Sammut
Keyword(s):  
Political Parties ◽  
Political System ◽  
Quantitative Methods ◽  
Second Order ◽  
Systematic Evaluation ◽  
Historical Trends ◽  
Content Type ◽  
Qualitative And Quantitative ◽  
First Order ◽  
Qualitative And Quantitative Methods

Purpose The purpose of this paper is to analyse why Malta continues to show the highest level of turnout for European Parliament (EP) elections in a country where voting is not obligatory. By analysing the Maltese EP elections from 2004 to 2019, the paper seeks to understand why the Maltese engage with a second order election to the degree that they do. Design/methodology/approach The paper is a combination of qualitative and quantitative methods, first assessing the context of the 2019 elections, the historical trends and then the factors that help explain why the Maltese continue to engage with EP elections. Findings The paper finds that the Maltese political system, highly polarised and dominated by two parties, primarily galvanises people to engage with elections, that it is more about party leadership than actual engagement with Europe and that second order elections in Malta are often run as first order elections. Originality/value This paper is the only systematic evaluation of the 2019 EP elections in Malta, discusses categorically that EP elections are rarely about Europe while also showing clearly that political parties can make second-order elections appear as first-order elections should the stakes be high enough.

On the notion of algebraic closedness for noncommutative groups and fields

1971 ◽  
Vol 36 (3) ◽  
pp. 441-444 ◽  
Author(s):  
Abraham Robinson
Keyword(s):  
Wide Class ◽  
First Order ◽  
Division Rings ◽  
Ordered Field ◽  
Ordered Fields ◽  
Skew Fields

The notion of algebraic closedness plays an important part in the theory of commutative fields. The corresponding notion in the theory of ordered fields is (not only intuitively but in a sense which can be made precise in a metamathematical framework, compare [4]) that of a real closed ordered field. Several suggestions have been made (see [2] and [8]) for the formulation of corresponding concepts in the theory of groups and in the theory of skew fields (division rings, noncommutative fields). Here we present a concept of this kind, which preserves the principal metamathematical properties of algebraically closed commutative fields and which applies to a wide class of first order theories K, including the theories of commutative and of skew fields and the theories of commutative and of general groups.

Comparison results for functional differential equations with impulses

2013 ◽  
Vol 63 (1) ◽  
Author(s):  
Xiao Li
Keyword(s):  
Differential Equations ◽  
Quantitative Study ◽  
Functional Differential Equations ◽  
Comparison Principles ◽  
Qualitative And Quantitative ◽  
First Order ◽  
Comparison Results ◽  
Functional Differential ◽  
Qualitative And Quantitative Study

AbstractComparison principles play an important role in the qualitative and quantitative study of differential equations. In this paper, we investigate a first order functional differential equations with impulses and establish new comparison results.

Deployment of e-health services – a business model engineering strategy

2010 ◽  
Vol 16 (6) ◽  
pp. 344-353 ◽  
Author(s):  
Björn Kijl ◽  
Lambert JM Nieuwenhuis ◽  
Rianne MHA Huis in 't Veld ◽  
Hermie J Hermens ◽  
Miriam MR Vollenbroek-Hutten
Keyword(s):  
Health Services ◽  
Business Model ◽  
Early Stage ◽  
Expert Interviews ◽  
Quantitative Modelling ◽  
Value Network ◽  
Qualitative And Quantitative ◽  
Service Deployment ◽  
Engineering Strategy ◽  
Desk Research

We designed a business model for deploying a myofeedback-based teletreatment service. An iterative and combined qualitative and quantitative action design approach was used for developing the business model and the related value network. Insights from surveys, desk research, expert interviews, workshops and quantitative modelling were combined to produce the first business model and then to refine it in three design cycles. The business model engineering strategy provided important insights which led to an improved, more viable and feasible business model and related value network design. Based on this experience, we conclude that the process of early stage business model engineering reduces risk and produces substantial savings in costs and resources related to service deployment.

scholarly journals EVALUASI PASCA HUNI ASPEK FUNGSIONAL PADA BANGUNAN RUMAH SUSUN SEDERHANA SEWA (RUSUNAWA) UNIVERSITAS TANJUNGPURA

2021 ◽  
Vol 9 (2) ◽  
pp. 496
Author(s):  
O'i Prasesti ◽  
Muhammad Ridha Alhamdani ◽  
Rudiyono Rudiyono
Keyword(s):  
Quantitative Research ◽  
Research Approach ◽  
Analysis And Evaluation ◽  
Qualitative And Quantitative ◽  
Post Occupancy Evaluation ◽  
Functional Aspects ◽  
Space Function ◽  
Design Proposal ◽  
Dimensions Of Space ◽  
Integration Analysis

Policies and strategies for the construction of flats have been launched in various cities, one of which is in Pontianak which is intended for the general public and students. One of the Rusunawa in Pontianak is the Tanjungpura University Flat which is rented out for students which was built in 2009. Based on this, it is necessary to carry out a Post-Work Evaluation of the building that has been used for some time. This study aims to identify and evaluate the Rusunawa building of Tanjungpura University in terms of functional aspects and its application in design solutions. The research approach used is qualitative and quantitative research. The research method used is spatial syntax and place-centred mapping. The results showed that the results of connectivity analysis in spatial syntax showed low values in the drying room and kitchen area and integration analysis on spatial syntax showed low values in building circulation areas 1, 2, 3, and 4. Place centered mapping data showed activity. That residents routinely do on the building. This indicates a change in the function of space and affects the dimensions of space. The post-occupancy evaluation shows a change in the function of space, access to circulation, and the dimensions of space in the building. Based on the results of post-occupancy analysis and evaluation, the design proposal also focuses on variables with functional aspects, namely circulation, dimensions, flexibility and changes in space function.

scholarly journals Semantics for Hyperclassical Logic and the Problem of Negation in the Formal Language

2018 ◽  
Vol 16 (3) ◽  
pp. 5-15
Author(s):  
V. V. Tselishchev
Keyword(s):  
Theoretical Model ◽  
Formal Language ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Order Language ◽  
Winning Strategies ◽  
Game Theoretic ◽  
Definition Of ◽  
Game Theoretic Semantics

The application of game-theoretic semantics for first-order logic is based on a certain kind of semantic assumptions, directly related to the asymmetry of the definition of truth and lies as the winning strategies of the Verifier (Abelard) and the Counterfeiter (Eloise). This asymmetry becomes apparent when applying GTS to IFL. The legitimacy of applying GTS when it is transferred to IFL is based on the adequacy of GTS for FOL. But this circumstance is not a reason to believe that one can hope for the same adequacy in the case of IFL. Then the question arises if GTS is a natural semantics for IFL. Apparently, the intuitive understanding of negation in natural language can be explicated in formal languages in various ways, and the result of an incomplete grasp of the concept in these languages can be considered a certain kind of anomalies, in view of the apparent simplicity of the explicated concept. Comparison of the theoretical-model and game theoretic semantics in application to two kinds of language – the first-order language and friendly-independent logic – allows to discover the causes of the anomaly and outline ways to overcome it.

Linguistic stance: An integrative paradigm for mixed methods social science

2019 ◽  
Vol 49 (2) ◽  
pp. 257-281
Author(s):  
Robert W. Schrauf ◽  
Patria López De Victoria ◽  
Brett Diaz
Keyword(s):  
Mixed Methods ◽  
Survey Data ◽  
Social Life ◽  
Qualitative Interview ◽  
Second Order ◽  
Group Level ◽  
Social Scientists ◽  
Qualitative And Quantitative ◽  
First Order ◽  
Interview Survey

ABSTRACTThis article develops an integrative mixed methods framework grounded in stancetaking as the originary act through which qualitative interview and quantitative survey data are generated. The article examines how the basics of ‘everyday’ social stance—evaluation, positioning, and alignment within a sociocultural field—are strategically manipulated by social scientists in the twinned conditions of the interview and the survey. Relative to interview data, we demonstrate how participants link their stancetaking to wider sociocultural frames via the discursive devices of indexicality, accounting practices, and appeal to norms. Relative to survey data, we show how participants construct a ‘public’ via their engagement in the survey task, and how their stancetaking on survey items is virtually equivalent to ‘votes’ that are later aggregated to create second-order group-level stances. Mixed methods researchers then transform both qualitative and quantitative first-order stances into second-order stances that serve to describe and model social life. (Mixed methods, discourse devices, indexicality, normativity, interview, survey)

Towards a Specification Language for Mobile Applications

2013 ◽  
Vol 5 (2) ◽  
pp. 58-76
Author(s):  
Abdesselam Redouane
Keyword(s):  
Mobile Applications ◽  
Formal Language ◽  
Specification Language ◽  
Predicate Calculus ◽  
Rule Based ◽  
First Order ◽  
Logical Rule ◽  
Order Predicate Calculus

Mobile applications are increasingly being developed by many developers using different environments for diverse devices. However, there is no method or formal language that helps these developers specify their requirements before the coding stage. In this paper, the author describes a specification language that helps in this context. To achieve rigor, the language is based on an extended first order predicate calculus and allows specifiers to modularize their specifications. The language is founded on two concepts: a pristine which can be seen as a unit of cognition and a definition which is a logical rule based on pristines and other definitions. Furthermore, the language allows specifiers to express constraints which are fundamental features in mobile applications. A use of this language is shown by an example.

scholarly journals Segmentation of tongue shapes during vowel production in magnetic resonance images based on statistical modelling

2018 ◽  
Vol 232 (3) ◽  
pp. 271-281
Author(s):  
Jessica C Delmoral ◽  
Sandra M Rua Ventura ◽  
João Manuel RS Tavares
Keyword(s):  
Magnetic Resonance ◽  
Speech Production ◽  
Vocal Tract ◽  
Statistical Modelling ◽  
Magnetic Resonance Images ◽  
Large Set ◽  
Vowel Production ◽  
New Approach ◽  
Functional Aspects ◽  
Key Aspects

Quantification of the anatomic and functional aspects of the tongue is pertinent to analyse the mechanisms involved in speech production. Speech requires dynamic and complex articulation of the vocal tract organs, and the tongue is one of the main articulators during speech production. Magnetic resonance imaging has been widely used in speech-related studies. Moreover, the segmentation of such images of speech organs is required to extract reliable statistical data. However, standard solutions to analyse a large set of articulatory images have not yet been established. Therefore, this article presents an approach to segment the tongue in two-dimensional magnetic resonance images and statistically model the segmented tongue shapes. The proposed approach assesses the articulator morphology based on an active shape model, which captures the shape variability of the tongue during speech production. To validate this new approach, a dataset of mid-sagittal magnetic resonance images acquired from four subjects was used, and key aspects of the shape of the tongue during the vocal production of relevant European Portuguese vowels were evaluated.

Sign in / Sign up

Export Citation Format

Share Document