Showing papers by "Scuola superiore di Catania published in 2021"
TL;DR: In this article, the authors replicated a study conducted in Austria with a representative sample of self-employed taxpayers from Italy and discuss similarities and differences in the impact of emotions on tax compliance intentions between the two countries.
11 citations
TL;DR: In this paper, a hybrid theranostic nano-formulation based on gold nanoparticles (AuNP) and angiogenin (ANG) was developed to tune the angiogenesis-related phases involved in the multifaceted process of wound healing.
Abstract: In this work, we aimed to develop a hybrid theranostic nano-formulation based on gold nanoparticles (AuNP)—having a known anti-angiogenic character—and the angiogenin (ANG), in order to tune the angiogenesis-related phases involved in the multifaceted process of the wound healing. To this purpose, spherical were surface “decorated” with three variants of the protein, namely, the recombinant (rANG), the wild-type, physiologically present in the human plasma (wtANG) and a new mutant with a cysteine substitution of the serine at the residue 28 (S28CANG). The hybrid biointerface between AuNP and ANG was scrutinized by a multi-technique approach based on dynamic light scattering, spectroscopic (UV-visible, circular dichroism) and microscopic (atomic force and laser scanning confocal) techniques. The analyses of optical features of plasmonic gold nanoparticles allowed for discrimination of different adsorption modes—i.e.; predominant physisorption and/or chemisorption—triggered by the ANG primary sequence. Biophysical experiments with supported lipid bilayers (SLB), an artificial model of cell membrane, were performed by means of quartz crystal microbalance with dissipation monitoring acoustic sensing technique. Cellular experiments on human umbilical vein endothelial cells (HUVEC), in the absence or presence of copper—another co-player of angiogenesis—were carried out to assay the nanotoxicity of the hybrid protein-gold nanoassemblies as well as their effect on cell migration and tubulogenesis. Results pointed to the promising potential of these nanoplatforms, especially the new hybrid Au-S28CANG obtained with the covalent grafting of the mutant on the gold surface, for the modulation of angiogenesis processes in wound care.
10 citations
TL;DR: In this paper, it was shown that at each finite order in the Green's functions, the theory is non-interacting: sensible physical results are obtained only resorting to resummations.
Abstract: A formal expansion for the Green’s functions of a quantum field theory in a parameter $$\delta $$
that encodes the “distance” between the interacting and the corresponding free theory was introduced in the late 1980s (and recently reconsidered in connection with non-hermitian theories), and the first order in $$\delta $$
was calculated. In this paper we study the $${\mathcal {O}}(\delta ^2)$$
systematically, and also push the analysis to higher orders. We find that at each finite order in $$\delta $$
the theory is non-interacting: sensible physical results are obtained only resorting to resummations. We then perform the resummation of UV leading and subleading diagrams, getting the $${\mathcal {O}}(g)$$
and $${\mathcal {O}}(g^2)$$
weak-coupling results. In this manner we establish a bridge between the two expansions, provide a powerful and unique test of the logarithmic expansion, and pave the way for further studies.
1 citations
TL;DR: In this article, the authors prove the convexity of a fragment of Zermelo-Fraenkel set theory, called Multi-Level Syllogistic, most of whose polynomially decidable fragments are recently characterized.
Abstract: The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate logic with equality. SMT solvers are often based on variants of the Nelson-Oppen combination method, a solver for the quantifier-free fragment of the combination of theories with disjoint signatures, via cooperation among their decision procedures. When each of the theories to be combined by the Nelson-Oppen method is convex (that is, any conjunction of its literals can imply a disjunction of equalities only when it implies at least one of the equalities) and decidable in polynomial time, the running time of the combination procedure is guaranteed to be polynomial in the size of the input formula. In this paper, we prove the convexity of a fragment of Zermelo-Fraenkel set theory, called Multi-Level Syllogistic, most of whose polynomially decidable fragments we have recently characterized.
17 Sep 2021
TL;DR: In this paper, the authors prove the convexity of a fragment of Zermelo-Fraenkel set theory, called Multi-Level Syllogistic, most of whose polynomially decidable fragments are recently characterized.
Abstract: The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate logic with equality. SMT solvers are often based on variants of the Nelson-Oppen combination method, a solver for the quantifier-free fragment of the combination of theories with disjoint signatures, via cooperation among their decision procedures. When each of the theories to be combined by the Nelson-Oppen method is convex (that is, any conjunction of its literals can imply a disjunction of equalities only when it implies at least one of the equalities) and decidable in polynomial time, the running time of the combination procedure is guaranteed to be polynomial in the size of the input formula. In this paper, we prove the convexity of a fragment of Zermelo-Fraenkel set theory, called Multi-Level Syllogistic, most of whose polynomially decidable fragments we have recently characterized.