612 research outputs found
On the Inverse Problem Relative to Dynamics of the w Function
In this paper we shall study the inverse problem relative to dynamics of the
w function which is a special arithmetic function and shall get some results.Comment: 11 page
Addressing the Smart Systems Design Challenge: The SMAC Platform
This article presents the concepts, the organization, and the preliminary application results of SMAC, a smart systems co-design platform. The SMAC platform, which has been developed as Integrated Project (IP) of the 7th ICT Call under the Objective 3.2 \u201cSmart components and Smart Systems integration\u201d addresses the challenges of the integration of heterogeneous and conflicting domains that emerge in the design of smart systems. SMAC includes methodologies and EDA tools enabling multi-disciplinary and multi-scale modelling and design, simulation of multidomain systems, subsystems and components at different levels of abstraction, system integration and exploration for optimization of functional and non-functional metrics. The article presents the preliminary results obtained by adopting the SMAC platform for the design of a limb tracking smart system
Assessment of Axial Postural Abnormalities in Parkinsonism: Automatic Picture Analysis Software
BackgroundSoftware-based measurements of axial postural abnormalities in Parkinson's disease (PD) are the gold standard but may be time-consuming and not always feasible in clinical practice. An automatic and reliable software to accurately obtain real-time spine flexion angles according to the recently proposed consensus-based criteria would be a useful tool for both research and clinical practice. ObjectiveWe aimed to develop and validate a new software based on Deep Neural Networks to perform automatic measures of PD axial postural abnormalities. MethodsA total of 76 pictures from 55 PD patients with different degrees of anterior and lateral trunk flexion were used for the development and pilot validation of a new software called AutoPosturePD (APP); postural abnormalities were measured in lateral and posterior view using the freeware NeuroPostureApp (gold standard) and compared with the automatic measurement provided by the APP. Sensitivity and specificity for the diagnosis of camptocormia and Pisa syndrome were assessed. ResultsWe found an excellent agreement between the new APP and the gold standard for lateral trunk flexion (intraclass correlation coefficient [ICC] 0.960, IC95% 0.913-0.982, P < 0.001), anterior trunk flexion with thoracic fulcrum (ICC 0.929, IC95% 0.846-0.968, P < 0.001) and anterior trunk flexion with lumbar fulcrum (ICC 0.991, IC95% 0.962-0.997, P < 0.001). Sensitivity and specificity were 100% and 100% for detecting Pisa syndrome, 100% and 95.5% for camptocormia with thoracic fulcrum, 100% and 80.9% for camptocormia with lumbar fulcrum. ConclusionsAutoPosturePD is a valid tool for spine flexion measurement in PD, accurately supporting the diagnosis of Pisa syndrome and camptocormia
Order in glassy systems
A directly measurable correlation length may be defined for systems having a
two-step relaxation, based on the geometric properties of density profile that
remains after averaging out the fast motion. We argue that the length diverges
if and when the slow timescale diverges, whatever the microscopic mechanism at
the origin of the slowing down. Measuring the length amounts to determining
explicitly the complexity from the observed particle configurations. One may
compute in the same way the Renyi complexities K_q, their relative behavior for
different q characterizes the mechanism underlying the transition. In
particular, the 'Random First Order' scenario predicts that in the glass phase
K_q=0 for q>x, and K_q>0 for q<x, with x the Parisi parameter. The hypothesis
of a nonequilibrium effective temperature may also be directly tested directly
from configurations.Comment: Typos corrected, clarifications adde
On the Reuse of RTL assertions in Systemc TLM Verification
Reuse of existing and already verified intellectual property (IP) models is a key strategy to cope with the com- plexity of designing modern system-on-chips (SoC)s under ever stringent time-to-market requirements. In particular, the recent trend towards system-level design and transaction level modeling (TLM) gives rise to new challenges for reusing existing RTL IPs and their verification environment in TLM-based design flows. While techniques and tools to abstract RTL IPs into TLM models have begun to appear, the problem of reusing, at TLM, a verification environment originally developed for an RTL IP is still underexplored, particularly when assertion-based verification (ABV) is adopted. Some techniques and frameworks have been proposed to deal with ABV at TLM, but they assume a top-down design and verification flow, where assertions are defined ex-novo at TLM level. In contrast, the reuse of existing assertions in an RTL-to-TLM bottom-up design flow has not been analyzed yet. This paper proposes a methodology to reuse assertions originally defined for a given RTL IP, to verify the corresponding TLM model. Experimental results have been conducted on benchmarks of different characteristics and complexity to show the applicability and the efficacy of the proposed methodology
Surface Magnetization of Aperiodic Ising Quantum Chains
We study the surface magnetization of aperiodic Ising quantum chains. Using
fermion techniques, exact results are obtained in the critical region for
quasiperiodic sequences generated through an irrational number as well as for
the automatic binary Thue-Morse sequence and its generalizations modulo p. The
surface magnetization exponent keeps its Ising value, beta_s=1/2, for all the
sequences studied. The critical amplitude of the surface magnetization depends
on the strength of the modulation and also on the starting point of the chain
along the aperiodic sequence.Comment: 11 pages, 6 eps-figures, Plain TeX, eps
On the canonical map of surfaces with q>=6
We carry out an analysis of the canonical system of a minimal complex surface
of general type with irregularity q>0. Using this analysis we are able to
sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7.
Then we turn to the study of surfaces with p_g=2q-3 and no fibration onto a
curve of genus >1. We prove that for q>=6 the canonical map is birational.
Combining this result with the analysis of the canonical system, we also prove
the inequality: K^2>=7\chi+2. This improves an earlier result of the first and
second author [M.Mendes Lopes and R.Pardini, On surfaces with p_g=2q-3, Adv. in
Geom. 10 (3) (2010), 549-555].Comment: Dedicated to Fabrizio Catanese on the occasion of his 60th birthday.
To appear in the special issue of Science of China Ser.A: Mathematics
dedicated to him. V2:some typos have been correcte
Comparative studies of the Pschorr reaction in the pyrazole series. Access to the new dibenzo(e,g)pyrazolo(1,5-a)(1,3)diazocine system of pharmaceutical interest
The diazonium tetrafluoroborate 11 obtained from 2-amino-N-methyl-N-(1-phenyl-3-methylpyrazol-5-yl)benzamide was transformed in dry acetonitrile via an ionic or radical pathway. Diferences were observed with respect to ionic or radical transformations in aqueous media of the analogous diazonium hydrogen sulfate 1 derived from the same amine. In acetonitrile solution, the ionic pathway was characterized by an increased yield of 1,4-dimethyl-3-phenyl-pyrazolo[3,4-c]isoquinolin-5-one 4 and by the formation of its isomer, the new derivative 7,9-dimethyldibenzo[e,g]pyrazolo[1,5-a][1,3]diazocin-10(9H)-one 12. When the reaction folowed a radical pathway, the pyrazolo[3,4-c]isoquinoline derivative 4 and N-methyl-2-(1-phenyl-3-methylpyrazol-5-yl)benzamide 17, the later due to a 1,4-pyrazolyl transfer proces, were isolated in low yields. Decomposition of the solid diazonium tetrafluoroborate at its melting point gave compounds 4, 12 and the N-(1-phenyl-3-methylpyrazol-5-yl)-2-fluorobenzamide 17. The crystal structure of compound 12 was also determined
A Spectral Bernstein Theorem
We study the spectrum of the Laplace operator of a complete minimal properly
immersed hypersurface in . (1) Under a volume growth condition on
extrinsic balls and a condition on the unit normal at infinity, we prove that
has only essential spectrum consisting of the half line .
This is the case when , where
is the extrinsic distance to a point of and are the
principal curvatures. (2) If the satisfy the decay conditions
, and strict inequality is achieved at some point
, then there are no eigenvalues. We apply these results to minimal
graphic and multigraphic hypersurfaces.Comment: 16 pages. v2. Final version: minor revisions, we add Proposition 3.2.
Accepted for publication in the Annali di Matematica Pura ed Applicata, on
the 05/03/201
- âŠ