|
|
|
|
|
Aníbal Coronel, Fernando Huancas and Stefan Berres
In the present article, we research the existence of the positive periodic solutions for a mathematical model that describes the propagation dynamics of a pathogen living within a vector population over a plant population. We propose a generalized compar...
ver más
|
|
|
|
|
|
|
|
|
|
|
Andi Trimulyono, Moh. Afroh Fuadi, Ahmad Fauzan Zakki, Ocid Mursid and Muhammad Iqbal
The patrol boat is one of the critical aspects for archipelago countries, such as Indonesia, to supervise and maintain the sea border. Due to rough sea conditions, the patrol boat could lose its stability due to the loss of a self-righting roll moment in...
ver más
|
|
|
|
|
|
|
|
|
|
|
S.V. Kozlov,A. V. Svetlakov
Pág. 30 - 38
The article discusses the theoretical foundations of parsing, namely, the definition of LL(1)-grammars and proves the key positions associated with them for practice. The authors demonstrate the impracticality of the proof by definition that context-free...
ver más
|
|
|
|
|
|
|
|
|
|
|
Carlos Ansótegui , Maria Luisa Bonet and Jordi Levy
We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of variables, can be solved by a clever solver in a reasonable amount of time. T...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tomasz Hyla and Jerzy Pejas
(1) Background: Large eHealth systems should have a mechanism to detect unauthorized changes in patients? medical documentation, access permissions, and logs. This is due to the fact that modern eHealth systems are connected with many healthcare provider...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dessyana Kardha,Budhi Sumboro,Yunius Arsita
Pág. HAL. 53 - 61
The current technological developments so rapidly, as well as the development of electronics technology. Robotics is a proof of human civilization that progresses from time to time. The shape of the robot is not just a form that resembles a human or a ce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Fransiska Iing Mariandini,Gugus Irianto,Nurkholis Nurkholis 10.21831/economia.v14i1.15418
Pág. 16 - 38
Abstract: Institutionalization of Performance Accountability System for Government Institutions in Malang City Government. This study aimed to understand the institutionalization of Malang City Government?s SAKIP with accordance to Presidential Regulatio...
ver más
|
|
|
|
|
|
|
|
|
|
|
Zhicai Shi, Xiaomei Zhang and Yihan Wang
A Radio Frequency Identification (RFID) grouping-proof protocol is to generate an evidence of the simultaneous existence of a group of tags and it has been applied to many different fields. For current grouping-proof protocols, there still exist some fla...
ver más
|
|
|
|
|
|
|
|
|
|
|
Boris Melnikov,Alexey Vylitok,Elena Melnikova
Pág. 1 - 7
In this paper we consider the representation of iterations of finite languages using special nondeterministic finite automata. For two iterated languages, a special equivalence relation is defined. We give the reduction of the conditions for the fulfillm...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jose A. Arz,Ignacio Arenillas,Eustoquio Molina,Rodolfo Sepulveda
Pág. 27 - 47
The planktic foraminiferal quantitative and biostratigraphic study across the K/T boundary at the Caravaca section provides proof of the stratigraphical range continuity and the evolutive stability of species in the Upper Maastrichtian. In Caravaca, the ...
ver más
|
|
|
|
|
|