Results 31 to 40 of about 47,012 (304)
Sampling-based Synthesis of Controllers for Multiple Agents under Signal Temporal Logic Specifications [PDF]
, 2023 openL’ampia applicazione dei robot nelle industrie e nella società ha portato alla necessità di prescrivere complessi compiti di alto livello ad agenti autonomi.
GOMIERO, SARA
core
Monthly Runoff Prediction Method Based on Secondary Decomposition and SupportVector Machine [PDF]
Zhengzhou Daxue xuebao. Gongxue banA monthly runoff prediction model( STL-VMD-SVM) based on a secondary decomposition using loess( STL) and variational mode decomposition (VMD) combined with a support vector machine( SVM) was proposed to address the nonlinear and non-stationary ...
GAN Rong +5 more
doaj +1 more source
Journal of Low Frequency Noise, Vibration and Active Control, 2022 An improved sound transmission loss (STL) experimental technique based on the sound pressure method (SPM) and acoustic box method is proposed to investigate the temperature influence on the STL of the ribbed carbon fiber reinforced plastics aircraft ...
Tao Peng, Ningjuan Dong, Qun Yan
doaj +1 more source
, 2022 Supplemental material, sj-pdf-1-stl-10.1177_00393207221085436 for Ars Ludendi: Urban Liturgies as Public Service in a Secular World by Mirella Klomp in Studia ...
Mirella Klomp (12437829)
core +1 more source
Robustness Analysis for Value-Freezing Signal Temporal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric ...
L. Brim +3 more
doaj +1 more source
, 2022 Supplemental material, sj-pdf-2-stl-10.1177_00393207221085436 for Ars Ludendi: Urban Liturgies as Public Service in a Secular World by Mirella Klomp in Studia ...
Mirella Klomp (12437829)
core +1 more source
Microbiology Spectrum, 2023 Stl, the master repressor of the Staphylococcus aureus pathogenicity islands (SaPIs), targets phage-encoded proteins to derepress and synchronize the SaPI and the helper phage life cycles. To activate their cycle, some SaPI Stls target both phage dimeric
Carla Sanz-Frasquet +4 more
doaj +1 more source
, 2015 Este proyecto final de carrera trata sobre el proceso de creación de una herramienta software centrada en la conversión del formato de representación de objetos 3D BRep al formato STL, que también define objetos tridimensionales. Esta memoria, trata de exponer el objetivo, análisis del problema, desarrollo de la solución y conclusiones del mismo.
Gracián Torrent, Isabel María
openaire +3 more sources
, 2023 Supplemental material, sj-docx-1-stl-10.1177_00393207231185365 for The Moral Perspectives of the Anaphora of Addai and Mari in the Syro-Malabar Liturgy by Scaria Kanniyakonil in Studia ...
Scaria Kanniyakonil (16619028)
core +1 more source
, 2022 All the STL files needed to conver the 3D printer presented in our manuscript, into a bioprinter. Herein is also the STL files of the novel printhead and printhead mount.
Carlos Garciamendez (13986054)
core +1 more source