Results 31 to 40 of about 39,976 (230)
Arithmetic exponents in piecewise-affine planar maps [PDF]
Physica D: Nonlinear Phenomena, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roberts, JAG, Vivaldi, F
openaire +3 more sources
Algorithms, 2022 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.
Bernd Finkbeiner +3 more
doaj +1 more source
Energies, 2017 With consideration of the intermittency of renewable generation and uncertain load, a regional control strategy is presented to smooth the unscheduled power fluctuation in this letter.
Lizi Luo +3 more
doaj +1 more source
A progressive refinement approach for the visualisation of implicit surfaces [PDF]
, 2007 Visualising implicit surfaces with the ray casting method is a slow procedure. The design cycle of a new implicit surface is, therefore, fraught with long latency times as a user must wait for the surface to be rendered before being able to decide what ...
A.P. Witkin +22 more
core +2 more sources
Deciding Conditional Termination [PDF]
Logical Methods in Computer Science, 2014 We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates.
Radu Iosif, Filip Konecny, Marius Bozga
doaj +1 more source
Fuzzy stability analysis of regenerative chatter in milling [PDF]
, 2010 During machining, unstable self-excited vibrations known as regenerative chatter can occur, causing excessive tool wear or failure, and a poor surface finish on the machined workpiece. Consequently it is desirable to predict, and hence avoid the onset of
Mann, B.P., Manson, G., Sims, N.D.
core +1 more source
Robust Optimization of Energy Hubs Operation Based on Extended Affine Arithmetic
Energies, 2019 Traditional energy systems were planned and operated independently, but the diffusion of distributed and renewable energy systems led to the development of new modeling concepts, such as the energy hub.
Antonio Pepiciello +2 more
doaj +1 more source
Applying uncertainty considerations to energy conservation equations [PDF]
, 2007 When applying computer simulation tools in practice uncertainties abound, for example in material properties and boundary conditions. To facilitate the quantification of the effects of uncertainties, the differential, factorial and Monte Carlo methods ...
Clarke +5 more
core +1 more source
IEEE Access, 2020 An interval power flow (IPF) method that considers the interval correlations of input random variables is proposed to improve the calculation accuracy of IPF, i.e., as correlated distributed generations (DGs) and some correlated DGs-loads are integrated ...
Shipeng Leng +4 more
doaj +1 more source
Some results on affine Deligne-Lusztig varieties
, 2018 The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature.
He, Xuhua
core +1 more source