Results 101 to 110 of about 37,638 (267)
Formalization of Function Matrix Theory in HOL [PDF]
, 2014 Function matrices, in which elements are functions rather than numbers, are widely used in model analysis of dynamic systems such as control systems and robotics.
Zhiping Shi +5 more
core +1 more source
Sensitivity of Multi-Source SAR Backscatter to Changes in Forest Aboveground Biomass
Remote Sensing, 2015 Accurate estimates of forest aboveground biomass (AGB) after anthropogenic disturbance could reduce uncertainties in the carbon budget of terrestrial ecosystems and provide critical information to policy makers.
Wenli Huang +4 more
doaj +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Formalization of complex analysis and matrix theory
, 2020 This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, complex numbers, gauge integration, the Fourier transformation and its discrete counterpart ...
Guan, Yong, Shi, Zhiping, Li, Ximeng
core +1 more source
Semantics of Symbolic Decoration on Macedonian Traditional Movable Furniture from 19th Century
Drvna Industrija, 2016 The analysis of symbolic decoration on movable furniture is a process defined by expressing the inner world of thoughts and ideas through the outside, living world.
Elena Nikoljski Panevski
doaj +1 more source
Advances in Mathematics, 2018 We show that Willwacher's cyclic formality theorem can be extended to preserve natural Gravity operations on cyclic multivector fields and cyclic multidifferential operators. We express this in terms of a homotopy Gravity quasi-isomorphism with explicit local formulas.
Campos, Ricardo, Ward, Benjamin
openaire +5 more sources
Advanced Science, EarlyView.This study presents an anatomical landmark‐guided DRL framework for autonomous wireless capsule endoscopy navigation. Using a lightweight edge‐contour‐depth fusion module, it achieves over 97% coverage across diverse gastric anatomies. To ensure reliability, a two‐stage sim‐to‐real pipeline with an adaptive dynamic programming controller mitigates ...
Haoxuan Wu +16 more
wiley +1 more source
Implementasi Reformasi Organisasi Perizinan Di Dinas Perizinan Kota Yogyakarta
JSP: Jurnal Ilmu Sosial dan Ilmu Politik, 2012 This paper aims to review the implementation of the reform of the licensing organization in an effort to improve the quality of public services in Dinas Perizinan of the Yogyakarta city. It focuses on three aspects, namely: formalization, centralization,
Isnaini Muallidin
doaj +1 more source
Advanced Science, EarlyView.Time‐varying electric fields can activate solid‐state devices such as LEDs and capacitors for energy harvesting and powering in open circuits. The response of solid‐state devices to time‐varying electric fields caused by vibrations can be utilised for smart sensing of human motions and object vibrations.
Renyun Zhang +6 more
wiley +1 more source
The effect of formalization in the enterprise
, 2020 Formalization is one of the pillars of a bureaucratic company. It is manifested by a high number of formally given rules, procedures and written guidelines. These documents guide the way of employees’ conducting and their activities.
Zuzana Skorková
core +1 more source