Le funzioni armoniche e le formule di media

In questa tesi studiamo le proprietà fondamentali delle funzioni armoniche. Ricaviamo le formule di media mostrando alcune proprietà importanti, quali la disuguaglianza di Harnack, il teorema di Liouville, il principio del massimo debole e forte. Infine, illustriamo un criterio di risolubilità per il problema di Dirichlet per il Laplaciano in un arbitrario dominio limitato di R^n tramite un metodo noto come metodo di Perron per le funzioni subarmoniche.

Stime Integrali su Gruppi di Tipo H e Principio Forte di Continuazione Unica

Lo scopo di questa tesi è dimostrare il Principio Forte di Continuazione Unica per opportune soluzioni di un'equazione di tipo Schrödinger Du=Vu, ove D è il sub-Laplaciano canonico di un gruppo di tipo H e V è un potenziale opportuno. Nel primo capitolo abbiamo esposto risultati già noti in letteratura sui gruppi di tipo H: partendo dalla definizione di tali gruppi, abbiamo fornito un'utile caratterizzazione in termini "elementari" che permette di esplicitare la soluzione fondamentale dei relativi sub-Laplaciani canonici. Nel secondo capitolo abbiamo mostrato una formula di rappresentazione per funzioni lisce sui gruppi di tipo H, abbiamo dimostrato una forma forte del Principio di Indeterminazione di Heisenberg (sempre nel caso di gruppi di tipo H) e abbiamo fornito una formula per la variazione prima dell'integrale di Dirichlet associato a Du=Vu. Nel terzo capitolo, infine, abbiamo analizzato le proprietà di crescita di funzioni di frequenza, utili a dimostrare le stime integrali che implicano in modo piuttosto immediato il Principio Forte di Continuazione Unica, principale oggetto del nostro studio.

Formula integrale di Poisson

Il tema centrale di questa tesi è lo studio del problema di Dirichlet per il Laplaciano in R^2 usando le serie di Fourier. Il problema di Dirichlet per il Laplaciano consiste nel determinare una funzione f armonica e regolare in un dominio limitato D quando sono noti i valori che f assume sul suo bordo. Ammette una sola soluzione, ma non esistono criteri generali per ricavarla. In questa tesi si mostra come la formula integrale di Poisson, sotto determinate condizioni, risolva il problema di Dirichlet in R^2 e in R^n.

Statistical shape modeling of pathological scoliotic vertebrae: A comparative analysis

Statistical shape models (SSMs) have been used widely as a basis for segmenting and interpreting complex anatomical structures. The robustness of these models are sensitive to the registration procedures, i.e., establishment of a dense correspondence across a training data set. In this work, two SSMs based on the same training data set of scoliotic vertebrae, and registration procedures were compared. The first model was constructed based on the original binary masks without applying any image pre- and post-processing, and the second was obtained by means of a feature preserving smoothing method applied to the original training data set, followed by a standard rasterization algorithm. The accuracies of the correspondences were assessed quantitatively by means of the maximum of the mean minimum distance (MMMD) and Hausdorf distance (H(D)). Anatomical validity of the models were quantified by means of three different criteria, i.e., compactness, specificity, and model generalization ability. The objective of this study was to compare quasi-identical models based on standard metrics. Preliminary results suggest that the MMMD distance and eigenvalues are not sensitive metrics for evaluating the performance and robustness of SSMs.

Pervasive Algebras and Maximal Subalgebras.

A uniform algebra A on its Shilov boundary X is maximal if A is not C(X) and no uniform algebra is strictly contained between A and C(X) . It is essentially pervasive if A is dense in C(F) whenever F is a proper closed subset of the essential set of A. If A is maximal, then it is essentially pervasive and proper. We explore the gap between these two concepts. We show: (1) If A is pervasive and proper, and has a nonconstant unimodular element, then A contains an infinite descending chain of pervasive subalgebras on X . (2) It is possible to find a compact Hausdorff space X such that there is an isomorphic copy of the lattice of all subsets of N in the family of pervasive subalgebras of C(X). (3) In the other direction, if A is strongly logmodular, proper and pervasive, then it is maximal. (4) This fails if the word “strongly” is removed. We discuss examples involving Dirichlet algebras, A(U) algebras, Douglas algebras, and subalgebras of H∞(D), and develop new results that relate pervasiveness, maximality, and relative maximality to support sets of representing measures.

Verifying Harder's Conjecture for Classical and Siegel Modular Forms

A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form. Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.

Thought-Action Fusion and Neutralization Behavior

This study presents a new inventory to assess thought-action fusion (TAF). 160 college students ages 18 to 22 (M = 19.17, SD = 1.11) completed the new Modified Thought Action Scale (MTAFS). Results indicated high internal consistency in the MTAFS (Cronbach’s α = .95). A principal component analysis suggested a three factor solution of TAF-Moral (TAFM), TAFLikelihood (TAFL), and TAF-Harm avoidance-Positive (TAFHP) all with eigenvalues above 1, and factor loadings above .4. A second study examined the association between TAF, obsessivecompulsive and anxiety tendencies after the activation of TAF-like thought processes in a nonclinical sample (n=76). Subjects were randomly assigned to one of three treatment groups intended to provoke TAFL-self, TAFL-other, and TAF moral thought processes. Stepwise regression analyses revealed: 1) the Obsessive-Compulsive Inventory subscales Neutralizing and Ordering significantly predicted instructed neutralization behavior (INB) in non-clinical participants; 2) TAF-Likelihood contributed significant unique variance in INB. These findings suggest that the provocation of neutralization behavior may be mediated by specific subsets of TAF and obsessive-compulsive tendencies.

Genuine cross-correlations: Which surrogate based measure reproduces analytical results best?

The analysis of short segments of noise-contaminated, multivariate real world data constitutes a challenge. In this paper we compare several techniques of analysis, which are supposed to correctly extract the amount of genuine cross-correlations from a multivariate data set. In order to test for the quality of their performance we derive time series from a linear test model, which allows the analytical derivation of genuine correlations. We compare the numerical estimates of the four measures with the analytical results for different correlation pattern. In the bivariate case all but one measure performs similarly well. However, in the multivariate case measures based on the eigenvalues of the equal-time cross-correlation matrix do not extract exclusively information about the amount of genuine correlations, but they rather reflect the spatial organization of the correlation pattern. This may lead to failures when interpreting the numerical results as illustrated by an application to three electroencephalographic recordings of three patients suffering from pharmacoresistent epilepsy.

Isospectrality and Heat Content

We present examples of isospectral operators that do not have the same heat content. Several of these examples are planar polygons that are isospectral for the Laplace operator with Dirichlet boundary conditions. These include examples with infinitely many components. Other planar examples have mixed Dirichlet and Neumann boundary conditions. We also consider Schrodinger operators acting in L-2[0,1] with Dirichlet boundary conditions, and show that an abundance of isospectral deformations do not preserve the heat content.

Posterior Simulation in the Generalized Linear Model with Semiparmetric Random Effects

Generalized linear mixed models with semiparametric random effects are useful in a wide variety of Bayesian applications. When the random effects arise from a mixture of Dirichlet process (MDP) model, normal base measures and Gibbs sampling procedures based on the Pólya urn scheme are often used to simulate posterior draws. These algorithms are applicable in the conjugate case when (for a normal base measure) the likelihood is normal. In the non-conjugate case, the algorithms proposed by MacEachern and Müller (1998) and Neal (2000) are often applied to generate posterior samples. Some common problems associated with simulation algorithms for non-conjugate MDP models include convergence and mixing difficulties. This paper proposes an algorithm based on the Pólya urn scheme that extends the Gibbs sampling algorithms to non-conjugate models with normal base measures and exponential family likelihoods. The algorithm proceeds by making Laplace approximations to the likelihood function, thereby reducing the procedure to that of conjugate normal MDP models. To ensure the validity of the stationary distribution in the non-conjugate case, the proposals are accepted or rejected by a Metropolis-Hastings step. In the special case where the data are normally distributed, the algorithm is identical to the Gibbs sampler.

Theta burst transcranial magnetic stimulation is associated with increased EEG synchronization in the stimulated relative to unstimulated cerebral hemisphere

Theta burst transcranial magnetic stimulation (TBS) may induce behavioural changes that outlast the stimulation period. The neurophysiological basis of these behavioural changes are currently under investigation. Given the evidence that cortical information processing relies on transient synchronization and desynchronization of neuronal assemblies, we set out to test whether TBS is associated with changes of neuronal synchronization as assessed by surface EEG. In four healthy subjects one TBS train of 600 pulses (200 bursts, each burst consisting of 3 pulses at 30 Hz, repeated at intervals of 100 ms) was applied over the right frontal eye field and EEG synchronization was assessed in a time-resolved manner over 60 min by using a non-overlapping moving window. For each time step the linear cross-correlation matrix for six EEG channels of the right and for the six homotopic EEG channels of the left hemisphere were computed and their largest eigenvalues used to assess changes of synchronization. Synchronization was computed for broadband EEG and for the delta, theta, alpha, beta and gamma frequency bands. In all subjects EEG synchronization of the stimulated hemisphere was significantly and persistently increased relative to EEG synchronization of the unstimulated hemisphere. This effect occurred immediately after TBS for the theta, alpha, beta and gamma frequency bands and 10-20 min after TBS for broadband and delta frequency band EEG. Our results demonstrate that TBS is associated with increased neuronal synchronization of the cerebral hemisphere ipsilateral to the stimulation site relative to the unstimulated hemisphere. We speculate that enhanced synchronization interferes with cortical information processing and thus may be a neurophysiological correlate of the impaired behavioural performance detected previously.

Benson's Theorem for Partial Geometries

In 1970 Clark Benson published a theorem in the Journal of Algebra stating a congruence for generalized quadrangles. Since then this theorem has been expanded to other specific geometries. In this thesis the theorem for partial geometries is extended to develop new divisibility conditions for the existence of a partial geometry in Chapter 2. Then in Chapter 3 the theorem is applied to higher dimensional arcs resulting in parameter restrictions on geometries derived from these structures. In Chapter 4 we look at extending previous work with partial geometries with α = 2 to uncover potential partial geometries with higher values of α. Finally the theorem is extended to strongly regular graphs in Chapter 5. In addition we obtain expressions for the multiplicities of the eigenvalues of matrices related to the adjacency matrices of these graphs. Finally, a four lesson high school level enrichment unit is included to provide students at this level with an introduction to partial geometries, strongly regular graphs, and an opportunity to develop proof skills in this new context.

Variations of the FEAST Eigenvalue Algorithm

FEAST is a recently developed eigenvalue algorithm which computes selected interior eigenvalues of real symmetric matrices. It uses contour integral resolvent based projections. A weakness is that the existing algorithm relies on accurate reasoned estimates of the number of eigenvalues within the contour. Examining the singular values of the projections on moderately-sized, randomly-generated test problems motivates orthogonalization-based improvements to the algorithm. The singular value distributions provide experimentally robust estimates of the number of eigenvalues within the contour. The algorithm is modified to handle both Hermitian and general complex matrices. The original algorithm (based on circular contours and Gauss-Legendre quadrature) is extended to contours and quadrature schemes that are recursively subdividable. A general complex recursive algorithm is implemented on rectangular and diamond contours. The accuracy of different quadrature schemes for various contours is investigated.

CP-MLR Directed QSAR Studies on the Antimycobacterial Activity of Functionalised Alkenols - Topological Descriptors in Modeling the Activity

The antimycobacterial activity of nitro/ acetamido alkenol derivatives and chloro/ amino alkenol derivatives has been analyzed through combinatorial protocol in multiple linear regression (CP-MLR) using different topological descriptors obtained from Dragon software. Among the topological descriptor classes considered in the study, the activity is correlated with simple topological descriptors (TOPO) and more complex 2D autocorrelation descriptors (2DAUTO). In model building the descriptors from other classes, that is, empirical, constitutional, molecular walk counts, modified Burden eigenvalues and Galvez topological charge indices have made secondary contribution in association with TOPO and / or 2DAUTO classes. The structure-activity correlations obtained with the TOPO descriptors suggest that less branched and saturated structural templates would be better for the activity. For both the series of compounds, in 2DAUTO the activity has been correlated to the descriptors having mass, volume and/ or polarizability as weighting component. In these two series of compounds, however, the regression coefficients of the descriptors have opposite arithmetic signs with respect to one another. Outwardly these two series of compounds appear very similar. But in terms of activity they belong to different segments of descriptor-activity profiles. This difference in the activity of these two series of compounds may be mainly due to the spacing difference between the C1 (also C6) substituents and rest of the functional groups in them.