ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Education
Social Sciences
Technology
Religion
Economy
Law
Literature
Research
Languages
Architecture and Urbanism
all records (75)

Languages
English
Spanish
Portuguese
German
French

Countries
Indonesia
USA
Brazil
Ukraine
South Africa
Germany
Canada
Spain
Austria
Russia
all records (77)

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

Filter  
 
27.642  Articles
1 of 2.765 pages  |  10  records  |  more records»
This paper reports a solution to a relevant scientific task of determining the weight coefficients for an optimal system of automated control over the level of electric energy generation by renewable energy sources in a combined electric power system. It ... see more

When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this technical report, we improve code-generation of  VDM models by ... see more

Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut... see more

The main purpose of this study is to devise a novel methodology for automated scenario generation, which simultaneously checks the feasibility and the correctness of scenarios in terms of event sequence, logical propagation, and violation of constraints. ... see more

In the article it is carried out an analysis and improvement of conceptual-thesis model, by expanding the set of basic elements, that used in automated generation test questions of open and closed types, which are used for measuring level of educational a... see more

In the article it is carried out an analysis and improvement of conceptual-thesis model, by expanding the set of basic elements, that used in automated generation test questions of open and closed types, which are used for measuring level of educational a... see more

Testing Web Services has become the spotlight of software engineering as an important means to assure the quality of Web application. Due to lacking of graphic interface and source code, Web services need an automated testing method, which is an important... see more

La elección de la secuencia de arranque de los generadores afecta directamente a la capacidad de generación disponible en el proceso de restauración del sistema de potencia. En este artículo se utiliza un método basado en la planificación automatizada par... see more

Hardware-based implementations of the Fast Fourier Transform (FFT) are highly regarded as they provide improved performance characteristics with respect to software-based sequential solutions. Due to the high number of operations involved in calculations,... see more

1 of 2.765 pages  |  10  records  |  more records»