Birkhoff normal forms for Fourier integral operators II

Iantchenko, A.; Sj?strand, J., (2001) 'Birkhoff normal forms for Fourier integral operators II', American Journal of Mathematics 124(4) pp.817-850 RAE2008

Quasi -symmetric designs with good blocks and intersection number one

Mavron, Vassili; McDonough, T.P.; Schrikhande, M.S., (2003) 'Quasi -symmetric designs with good blocks and intersection number one', Designs Codes and Cryptography 28(2) pp.147-162 RAE2008

Rotational splitting of helioseismic modes influenced by a magnetic atmosphere

Pint?r, B.; New, R.; Erd?lyi, R., (2001) 'Rotational splitting of helioseismic modes influenced by a magnetic atmosphere', Astronomy and Astrophysics 378 pp.1-4 RAE2008

W SPRAWIE DODATKOWYCH MANDATÓW DO PARLAMENTU EUROPEJSKIEGO

Zwiększanie składu Parlamentu Europejskiego jest zjawiskiem zrozumiałym i związanym z rozszerzaniem się Unii o kolejne państwa. Zazwyczaj zwiększenie składu PE następuje wraz z rozpoczęciem nowej kadencji. Niniejszy artykuł omawia jednakże przypadek zwiększenia składu PE podczas trwającej kadencji. Konieczność zwiększenia liczby mandatów przypadających części państw wywołana została wejściem w życie Traktatu Lizbońskiego, przewidującego zwiększenie liczby mandatów do PE z 736 do 754. W Traktacie nie umieszczono przepisu wskazującego, że przepisy dotyczące składu PE wejdą w życie od nowej kadencji, co zrodziło szereg problemów związanych przede wszystkim z wyborem trybu obsady dodatkowych mandatów. Rada Europejska zaproponowała 3 sposoby obsady dodatkowych mandatów: na podstawie wyników wyborów z czerwca 2009 r., w drodze wyborów przeprowadzonych ad hoc, przez parlamenty narodowe spośród swych członków. Wszystkie państwa członkowskie, w tym Polska, zdecydowały się na wybór pierwszego ze wskazanych sposobów. Zdaniem autora, przyjęty w Polsce sposób obsady dodatkowego mandatu dokonany na podstawie przeprowadzonych już wyborów jest wątpliwy z punktu widzenia zgodności z Konstytucją RP.

The Challenges of Pluralism: Locating Religion in a World of Diversity

This is a postprint (author's final draft) version of an article published in the journal Social Compass in 2010. The final version of this article may be found at http://dx.doi.org/10.1177/0037768610362406 (login may be required). The version made available in OpenBU was supplied by the author.

QUANTITATIVE THREE DIMENSIONAL ELASTICITY IMAGING

Neoplastic tissue is typically highly vascularized, contains abnormal concentrations of extracellular proteins (e.g. collagen, proteoglycans) and has a high interstitial fluid pres- sure compared to most normal tissues. These changes result in an overall stiffening typical of most solid tumors. Elasticity Imaging (EI) is a technique which uses imaging systems to measure relative tissue deformation and thus noninvasively infer its mechanical stiffness. Stiffness is recovered from measured deformation by using an appropriate mathematical model and solving an inverse problem. The integration of EI with existing imaging modal- ities can improve their diagnostic and research capabilities. The aim of this work is to develop and evaluate techniques to image and quantify the mechanical properties of soft tissues in three dimensions (3D). To that end, this thesis presents and validates a method by which three dimensional ultrasound images can be used to image and quantify the shear modulus distribution of tissue mimicking phantoms. This work is presented to motivate and justify the use of this elasticity imaging technique in a clinical breast cancer screening study. The imaging methodologies discussed are intended to improve the specificity of mammography practices in general. During the development of these techniques, several issues concerning the accuracy and uniqueness of the result were elucidated. Two new algorithms for 3D EI are designed and characterized in this thesis. The first provides three dimensional motion estimates from ultrasound images of the deforming ma- terial. The novel features include finite element interpolation of the displacement field, inclusion of prior information and the ability to enforce physical constraints. The roles of regularization, mesh resolution and an incompressibility constraint on the accuracy of the measured deformation is quantified. The estimated signal to noise ratio of the measured displacement fields are approximately 1800, 21 and 41 for the axial, lateral and eleva- tional components, respectively. The second algorithm recovers the shear elastic modulus distribution of the deforming material by efficiently solving the three dimensional inverse problem as an optimization problem. This method utilizes finite element interpolations, the adjoint method to evaluate the gradient and a quasi-Newton BFGS method for optimiza- tion. Its novel features include the use of the adjoint method and TVD regularization with piece-wise constant interpolation. A source of non-uniqueness in this inverse problem is identified theoretically, demonstrated computationally, explained physically and overcome practically. Both algorithms were test on ultrasound data of independently characterized tissue mimicking phantoms. The recovered elastic modulus was in all cases within 35% of the reference elastic contrast. Finally, the preliminary application of these techniques to tomosynthesis images showed the feasiblity of imaging an elastic inclusion.

An Algorithm for Inferring Quasi-Static Types

This report presents an algorithm, and its implementation, for doing type inference in the context of Quasi-Static Typing (QST) ["Quasy-static Typing." Satish Thatte Proc. ACM Symp. on Principles of Programming Languages, 1988]. The package infers types a la "QST" for the simply typed λ-calculus.

From normal behavior to schitzophrenia

Air Force Office of Scientific Research (F49620-01-1-0397); Office of Naval Research (N00014-01-1-0624)