|
|
|
|
|
Ekaterina Stroeva,Aleksey Tonkikh
Pág. 21 - 29
Among recent publications containing an overview and systematization of algorithms for formal verification of neural networks, a classification of algorithms is proposed which is based on three following properties: reachability, optimization...
ver más
|
|
|
|
|
|
|
|
|
Oscar Danilo Montoya, Luis Fernando Grisales-Noreña and Carlos Andres Ramos-Paja
The problem of optimal siting and dimensioning of photovoltaic (PV) generators in medium-voltage distribution networks is addressed in this research from the perspective of combinatorial optimization. The exact mixed-integer programming (MINLP) model is ...
ver más
|
|
|
|
|
|
|
|
|
Ladislav Sator, Vladimir Sladek and Jan Sladek
Laminated composite structures suffer from failure because of concentrations of gradient fields on interfaces due to discontinuity of material properties. The rapid development of material science enables designers to replace classical laminated plate el...
ver más
|
|
|
|
|
|
|
|
|
Clemens Zeile, Tobias Weber and Sebastian Sager
Solving mixed-integer nonlinear programs (MINLPs) is hard from both a theoretical and practical perspective. Decomposing the nonlinear and the integer part is promising from a computational point of view. In general, however, no bounds on the objective v...
ver más
|
|
|
|
|
|
|
|
|
Gregor Skok
Precipitation is an essential meteorological variable affecting the biosphere and human societies. At the same time, precipitation is notoriously difficult to predict and verify. A new spatial distance metric for verification of precipitation is presente...
ver más
|
|
|
|