Search results for "Applied Mathematics"
showing 9 items of 4379 documents
Remarks on regularity for p-Laplacian type equations in non-divergence form
2018
We study a singular or degenerate equation in non-divergence form modeled by the $p$-Laplacian, $$-|Du|^\gamma\left(\Delta u+(p-2)\Delta_\infty^N u\right)=f\ \ \ \ \text{in}\ \ \ \Omega.$$ We investigate local $C^{1,\alpha}$ regularity of viscosity solutions in the full range $\gamma>-1$ and $p>1$, and provide local $W^{2,2}$ estimates in the restricted cases where $p$ is close to 2 and $\gamma$ is close to 0.
Fractional Hardy inequalities and visibility of the boundary
2013
We prove fractional order Hardy inequalities on open sets under a combined fatness and visibility condition on the boundary. We demonstrate by counterexamples that fatness conditions alone are not sufficient for such Hardy inequalities to hold. In addition, we give a short exposition of various fatness conditions related to our main result, and apply fractional Hardy inequalities in connection to the boundedness of extension operators for fractional Sobolev spaces.
Lidar detection of carbon dioxide in volcanic plumes
2015
Volcanic gases give information on magmatic processes. In particular, anomalous releases of carbon dioxide precede volcanic eruptions. Up to now, this gas has been measured in volcanic plumes with conventional measurements that imply the severe risks of local sampling and can last many hours. For these reasons and for the great advantages of laser sensing, the thorough development of volcanic lidar has been undertaken at the Diagnostics and Metrology Laboratory (UTAPRAD-DIM) of the Italian National Agency for New Technologies, Energy and Sustainable Economic Development (ENEA). In fact, lidar profiling allows one to scan remotely volcanic plumes in a fast and continuous way, and with high s…
Composition and corrosion phases of Etruscan Bronzes from Villanovan Age
2008
A neutron diffraction (ND) and neutron tomography (NT) study of laminated ancient bronzes was performed at the ISIS (Rutherford Appleton Laboratory, UK) neutron source and at the BENSC reactor (Hahn-Meitner Institut, Germany). The samples are part of an 8th century BC Etruscan collection discovered in the necropolises of Osteria-Poggio Mengarelli and Cavalupo in the Vulci area (Viterbo, Italy). The study allowed us to derive-in a totally non-destructive manner-information related to the main composition of the objects, possible presence of alterations and their nature, crusts and inclusions, as well as structure of the bulk. The presence of some components is linked to a variety of question…
The Large Observatory For x-ray Timing
2014
The Large Observatory For x-ray Timing (LOFT) was studied within ESA M3 Cosmic Vision framework and participated in the final down-selection for a launch slot in 2022-2024. Thanks to the unprecedented combination of effective area and spectral resolution of its main instrument, LOFT will study the behaviour of matter under extreme conditions, such as the strong gravitational field in the innermost regions of accretion flows close to black holes and neutron stars, and the supra-nuclear densities in the interior of neutron stars. The science payload is based on a Large Area Detector (LAD, 10 m 2 effective area, 2-30 keV, 240 eV spectral resolution, 1 deg collimated field of view) and a WideFi…
Теория алгоритмов и программ
1986
Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.
Теория алгоритмов и программ. Выпуск 3
1977
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
Математическое моделирование: Пикладные задачи математической физики
1994
Теоретические вопросы программирования
1988
Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.