ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Education
Social Sciences
Languages
Literature
Architecture and Urbanism
Technology
Economy
Research
Biology
Pure sciences
all records (75)

Languages
English
Spanish
German
Portuguese
French

Countries
Indonesia
USA
Brazil
Ukraine
South Africa
Denmark
Italy
Poland
Canada
Russia
all records (79)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
13.571  Articles
1 of 1.358 pages  |  10  records  |  more records»
Context. Current trends in the performance and complexity of system requirements require fundamentally new approaches to design, in which cybernetic and physical components are integrated at different stages. Cyber-physical systems are systems that provid... see more

One of Da Costa's motives when he constructed the paraconsistent logic Cw was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task. A logic is defined by taking the Kripke semantics for intuitio... see more

  Philosophers have been referring to the “Kripke–Putnam” theory of naturalkind terms for over 30 years. Although there is one common starting point, the two philosophers began with different motivations and presuppositions, and developed in differen... see more

Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cu... see more

The complexity of model checking branching and linear timetemporal logics over Kripke structures has been addressed in e.g. [SC85,CES86]. In terms of the size of the Kripke model and the length of theformula, they show that the model checking problem is s... see more

Although testing is an essential part of software development, until re- cently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves modifying the pro- gram in small w... see more

This study attempted to investigate the types of sentence structures spoken by Joe Biden and Donald Trump in the election night speech in the year of 2020. The design of this research was qualitative and quantitative research. The total of 101 sentences o... see more

Periphrastic topic structures, as Chinese-style topic structures, belong to the category of prepositional topic fronting constructions in TSVO sequences. Findings from studies on periphrastic topic structures are inconsistent and present only a fragmented... see more

Graphic methods can be used when teaching Building Structures to solve some problems such as analysis of cables and arches through funiculars tracing; analysis of trusses with the Cremona method; graphically obtaining the lateral earth pressure of the gro... see more

1 of 1.358 pages  |  10  records  |  more records»