ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

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

Languages
English
Spanish
Portuguese
German
French

Countries
Indonesia
USA
Ukraine
Brazil
South Africa
Russia
Spain
Romania
Italy
Germany
all records (72)

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

Filter  
 
57.663  Articles
1 of 5.767 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

A technique for Composite Web Services validity checking has been proposed. It is based on discrete-event DEVS-models synthesis, whichprovides the ability to conduct the automated validation by way of simulation during the design process. Temporal Logic o... 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

Taking as premises some intuitions about the essences of natural numbers, pluralities and sets, the paper offers an argument that the natural numbers could not be the “Zermelo numbers”, the “Von Neumann numbers”, the “Kripke numbers”, or the “positions in... see more

Taking as premises some intuitions about the essences of natural numbers, pluralities and sets, the paper offers an argument that the natural numbers could not be the “Zermelo numbers”, the “Von Neumann numbers”, the “Kripke numbers”, or the “positions in... see more

1 of 5.767 pages  |  10  records  |  more records»