|
|
|
Javier Ramón Sotomayor Castellanos
Pág. 25 - 30
Se estudió experimentalmente madera de Pinus douglasiana Martínez durante un proceso de secado, en el cual se disminuyó el contenido de humedad de la madera desde su estado natural hasta su estado anhidro. De manera discreta, para 48 contenidos de humeda...
ver más
|
|
|
|
|
|
|
Marcos Fernández Gutiérrez, Ana Lara Gómez, Julio Revuelta
Pág. 125 - 144
|
|
|
|
|
|
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t...
ver más
|
|
|
|
|
|
|
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub and Philipp Wanko
We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products. We start by f...
ver más
|
|
|
|
|
|
|
David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu and Tran Cao Son
A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events. A solution to a warehouse delivery problem is a collision-free schedule of robot movemen...
ver más
|
|
|
|
|
|
|
Dario Guidotti, Laura Pandolfo and Luca Pulina
Interest in machine learning and neural networks has increased significantly in recent years. However, their applications are limited in safety-critical domains due to the lack of formal guarantees on their reliability and behavior. This paper shows rece...
ver más
|
|
|
|
|
|
|
Pedro Garcia Martinez, José Vela Castillo
Pág. e518
|
|
|
|
|
|
|
Martin Wieser, Antonio Garaycochea, Varinia Prada
Pág. 56 - 67
|
|
|
|
|
|
|
Bernd Finkbeiner, Martin Fränzle, Florian Kohn and Paul Kröger
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for systemat...
ver más
|
|
|
|
|
|
|
Nursulu Kapalova, Kairat Sakan, Kunbolat Algazy and Dilmukhanbet Dyusenbayev
A new symmetric block cipher algorithm called AL02 has been developed. The algorithm scheme provides five-round encryption of 128-bit blocks, while the data size at the input and output of the S-box is 8 bits. The main transformation is the F transformat...
ver más
|
|
|
|