Multimodal image registration of the scoliotic torso for surgical planning

Background This paper presents a method that registers MRIs acquired in prone position, with surface topography (TP) and X-ray reconstructions acquired in standing position, in order to obtain a 3D representation of a human torso incorporating the external surface, bone structures, and soft tissues. Methods TP and X-ray data are registered using landmarks. Bone structures are used to register each MRI slice using an articulated model, and the soft tissue is confined to the volume delimited by the trunk and bone surfaces using a constrained thin-plate spline. Results The method is tested on 3 pre-surgical patients with scoliosis and shows a significant improvement, qualitatively and using the Dice similarity coefficient, in fitting the MRI into the standing patient model when compared to rigid and articulated model registration. The determinant of the Jacobian of the registration deformation shows higher variations in the deformation in areas closer to the surface of the torso. Conclusions The novel, resulting 3D full torso model can provide a more complete representation of patient geometry to be incorporated in surgical simulators under development that aim at predicting the effect of scoliosis surgery on the external appearance of the patient’s torso.

Sélection in vivo par phage display dans un modèle de sténose valvulaire aortique chez la souris pour la découverte de nouveaux peptides ciblant la valve aortique

La sténose valvulaire aortique (SVA) est la maladie des valves cardiaques la plus répandue dans les pays développés qui touche les personnes âgées. La SVA est un processus actif caractérisé par des dépôts de lipides, de l’inflammation, de la fibrose et une calcification active des feuillets qui progresse vers un épaississement et durcissement de la valve aortique et une diminution de l’aire de la valve aortique. Nous avons émis l’hypothèse que la pathogénèse de la SVA modifie progressivement l’endothélium de la valve aortique, ce qui engendre l’expression de biomarqueurs spécifiques aux tissus et à la maladie. On rapporte dans cet étude, l’utilisation de la technique de sélection in vivo par phage display d’une librairie de peptides aléatoires afin de trouver de nouveaux peptides candidats qui se lieraient à des biomarqueurs spécifiques à la valve aortique malade d’une souris. Des souris ATX (LDLr-/-;Tg(hApoB+/+)) âgées atteintes de la SVA ont été utilisées pour la sélection in vivo d’une librairie de peptides aléatoires de 7 acides aminés contraints ou linéaires. Après 4 tours de criblage, on a caractérisé 14 phages différents qui ont été séparés en 5 motifs consensus pour la librairie linéaire et 11 phages différents qui représentent 5 différents motifs consensus pour la libraire de peptides contraints. La spécificité de 4 phages candidats de la librairie linéaire et de 5 phages de la librairie contrainte a été étudiée par l’immunomarquage des peptides d’intérêt exprimés par les phages sur les coupes de tissus de la valve aortique malade par rapport aux tissus contrôles du foie, du rein, de la rate, du ventricule et du poumon. Parmi eux, 6 phages représentent des peptides candidats intéressants qui ont besoin d’être testés davantage pour évaluer leur spécificité in vivo à la valve. Bien qu’il reste encore de la validation à effectuer, les peptides candidats spécifiques trouvés peuvent représenter des agents moléculaires d’imagerie utiles ou des transporteurs dans la livraison de drogue qui ciblent la valve aortique malade.

Écrire et écrit : le journal comme atelier d’entraînement de la pensée

Dossier de la revue « Pratiques de formation : analyses » intitulé « Le journal pédagogique : outil de conscientisation de l'expérience ».

Wittgenstein And Labyrinth Of ‘Actual Infinity’: The Critique Of Transfinite Set Theory

In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory (including the Diagonal Argument, the Continuum Hypothesis and Cantor’s Theorem) and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing (completed) infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the concept of ‘denumerability’ as it is presented in set theory as well as his philosophic refutation of Cantor’s Diagonal Argument and the implications of such a refutation onto the problems of the Continuum Hypothesis and Cantor’s Theorem. Throughout, the discussion will be placed within the historical and philosophical framework of the Grundlagenkrise der Mathematik and Hilbert’s problems.

Slot coupled sqaure microstrip antenna for compact dual-frequency operation

A novel dual frequency design of a square microstrip antenna coaxially fed along the diagonal with a chip capacitor mounted at the bottom of the stub is introduced. This design provides enhanced area reduction and good cross-polarization levels. The antenna design can be used as a compact antenna system where limited size is a major requirement. The details of the antenna design and experimental results are presented

Dual-frequency dual-polarized slot -coupled compact microstrip antenna for communication system

A new design of' a dual-frequency dual-polarized square microsh'ip antenna fed along the diagonal, embedded with a square slot having three extended stubs for frequency tuning, is introduced. The proposed antenna was fabricated using a standard photolithographic method and the antenna was tested using the HP 3510(:; Vector Network Analyser. The antenna is capable of generating dual resonant frequencies with mutually perpendicular polarizations and broad radiation pattern characteristics. Such dual-frequency designs find wide applications in personal mobile handsets combining GSM and CDS 1800 modes, and applications in which different frequencies are used for emission and reception such as personal satellite communications and cellular network systems.

Ultrasonic measurement of the elastic properties of benzoyl glycine single crystals

Certain organic crystals are found to possess high non- linear optical coefficients,often one to two orders of magnitude higher than those of the well known inorganic non-linear optical materials.Benzoyl glycine is one such crystal whose optical second-harmonic generation efficiency is much higher than that of potassium dihydrogen phosphate. Single crystals of benzoyl glycine are grown by solvent evaporation technique using N,N-dimethyl formamide as the solvent.All the nine second-order elastic stiffness constants of this orthorhombic crystal are determined from ultrasonic wave velocity measurements employing the pulse echo overlap technique.The anisotropy of elastic wave propagation in this crystal is demonstrated by plotting the phase velocity, slowness,Young's modulus and linear compressibility surfaces along symmetry planes.The volume compressibility, bulk modulus and relevant Poisson's ratios are also determined. Variation of the diagonal elastic stiffness constants with temperature over a limited range are measured and reported.

Photothermal Investigations on Certain Plasma Polymerized Thin Films and Near IR Overtone Studies of Some Organic Molecules

Photothermal effect refers to heating of a sample due to the absorption of electromagnetic radiation. Photothermal (PT) heat generation which is an example of energy conversion has in general three kinds of applications. 1. PT material probing 2. PT material processing and 3. PT material destruction. The temperatures involved increases from 1-. 3. Of the above three, PT material probing is the most important in making significant contribution to the field of science and technology. Photothermal material characterization relies on high sensitivity detection techniques to monitor the effects caused by PT material heating of a sample. Photothermal method is a powerful high sensitivity non-contact tool used for non-destructive thermal characterization of materials. The high sensitivity of the photothermal methods has led to its application for analysis of low absorbance samples. Laser calorimetry, photothermal radiometry, pyroelectric technique, photoacoustic technique, photothermal beam deflection technique, etc. come under the broad class ofphotothermal techniques. However the choice of a suitable technique depends upon the nature of the sample, purpose of measurement, nature of light source used, etc. The present investigations are done on polymer thin films employing photothermal beam deflection technique, for the successful determination of their thermal diffusivity. Here the sample is excited by a He-Ne laser (A = 6328...\ ) which acts as the pump beam. Due to the refractive index gradient established in the sample surface and in the adjacent coupling medium, another optical beam called probe beam (diode laser, A= 6500A ) when passed through this region experiences a deflection and is detected using a position sensitive detector and its output is fed to a lock-in amplifier from which the amplitude and phase of the deflection can be directly obtained. The amplitude and phase of the signal is suitably analysed for determining the thermal diffusivity.The production of polymer thin film samples has gained considerable attention for the past few years. Plasma polymerization is an inexpensive tool for fabricating organic thin films. It refers to formation of polymeric materials under the influence of plasma, which is generated by some kind of electric discharge. Here plasma of the monomer vapour is generated by employing radio frequency (MHz) techniques. Plasma polymerization technique results in homogeneous, highly adhesive, thermally stable, pinhole free, dielectric, highly branched and cross-linked polymer films. The possible linkage in the formation of the polymers is suggested by comparing the FTIR spectra of the monomer and the polymer.Near IR overtone investigations on some organic molecules using local mode model are also done. Higher vibrational overtones often provide spectral simplification and greater resolution of peaks corresponding to nonequivalent X-H bonds where X is typically C, N or O. Vibrational overtone spectroscopy of molecules containing X-H oscillators is now a well established tool for molecular investigations. Conformational and steric differences between bonds and structural inequivalence ofCH bonds (methyl, aryl, acetylenic, etc.) are resolvable in the higher overtone spectra. The local mode model in which the X-H oscillators are considered to be loosely coupled anharmonic oscillators has been widely used for the interpretation of overtone spectra. If we are exciting a single local oscillator from the vibrational ground state to the vibrational state v, then the transition energy of the local mode overtone is given by .:lE a......v = A v + B v2 • A plot of .:lE / v versus v will yield A, the local mode frequency as the intercept and B, the local mode diagonal anharmonicity as the slope. Here A - B gives the mechanical frequency XI of the oscillator and B = X2 is the anharmonicity of the bond. The local mode parameters XI and X2 vary for non-equivalent X-H bonds and are sensitive to the inter and intra molecular environment of the X-H oscillator.

Overtone Spectra of 1,2-Dichloro-And Dibromo-Ethanes in the Near Infrared Region

The vibrational overtone spectra 0f the liquid phase 1,2-dichloroethane and 1,2-dibromoethane in the spectral regions of CH stretching local mode overtones corresponding to delta v CH= = 2 to delta v CH=5 are reported. The observed spectral features are assigned using the local mode model. LocaI mode frequencies WCH and diagonal local mode anharmonicities XCH are obtained from an analysis of the spectra. The local-local combinations observed are interpreted on the basis of a coupled CH oscillator model hamiltonian. Local-normal combinations show complex structures and their possible assignments are given.

Economics of Ornamental Fisheries in Kerala

Comprehensive studies integrating production, consumption and marketing of ornamental fishes were never conducted in the past in Kerala and this study is an attempt to highlight the dynamics in a systematic manner by making a primary empirical study. The advantages of such an approach are many. First, the study entails detailed empirical data under a given time frame on various inter linked economic activities in ornamental fisheries sector. Second, the study tries to improve upon the previous discipline-bound studies by adopting an integrated approach. As Kerala has diverse ecological and climatic conditions, case studies on various ornamental fish production systems help identifying suitable culture practice for selected environmental conditions. One of the major conclusions of this study as explained in the concluding chapter is that although Kerala is blessed with favourable geographic and climatic conditions needed for developing ornamental fishery, diverse local conditions and requirements contain adopting modern methods of enterprise development.Consumer studies conducted would help to identify the demand of ornamental fishes and the factors leading to it. Market studies would help in understanding the forces behind domestic market, which is very promising, but neglected. Viability studies throw light on the economic performance of both the production systems and the trading units of ornamental fishes. Despite the economic significance of ornamental fisheries industry, its development has been constrained due to various bio-technical, cultural, socio-economic, organisational and above all, institutional and policy failures. The outcome of the study would identify constraints facing the industry and institutional arrangements for development.

Geodynamics of the Andaman - Sumatra - Java Trench - Arc System Based on Gravity and Seismotectonic Study

This work aims to study the variation in subduction zone geometry along and across the arc and the fault pattern within the subducting plate. Depth of penetration as well as the dip of the Benioff zone varies considerably along the arc which corresponds to the curvature of the fold- thrust belt which varies from concave to convex in different sectors of the arc. The entire arc is divided into 27 segments and depth sections thus prepared are utilized to investigate the average dip of the Benioff zone in the different parts of the entire arc, penetration depth of the subducting lithosphere, the subduction zone geometry underlying the trench, the arctrench gap, etc.The study also describes how different seismogenic sources are identified in the region, estimation of moment release rate and deformation pattern. The region is divided into broad seismogenic belts. Based on these previous studies and seismicity Pattern, we identified several broad distinct seismogenic belts/sources. These are l) the Outer arc region consisting of Andaman-Nicobar islands 2) the back-arc Andaman Sea 3)The Sumatran fault zone(SFZ)4)Java onshore region termed as Jave Fault Zone(JFZ)5)Sumatran fore arc silver plate consisting of Mentawai fault(MFZ)6) The offshore java fore arc region 7)The Sunda Strait region.As the Seismicity is variable,it is difficult to demarcate individual seismogenic sources.Hence, we employed a moving window method having a window length of 3—4° and with 50% overlapping starting from one end to the other. We succeeded in defining 4 sources each in the Andaman fore arc and Back arc region, 9 such sources (moving windows) in the Sumatran Fault zone (SFZ), 9 sources in the offshore SFZ region and 7 sources in the offshore Java region. Because of the low seismicity along JFZ, it is separated into three seismogenic sources namely West Java, Central Java and East Java. The Sunda strait is considered as a single seismogenic source.The deformation rates for each of the seismogenic zones have been computed. A detailed error analysis of velocity tensors using Monte—Carlo simulation method has been carried out in order to obtain uncertainties. The eigen values and the respective eigen vectors of the velocity tensor are computed to analyze the actual deformation pattem for different zones. The results obtained have been discussed in the light of regional tectonics, and their implications in terms of geodynamics have been enumerated.ln the light of recent major earthquakes (26th December 2004 and 28th March 2005 events) and the ongoing seismic activity, we have recalculated the variation in the crustal deformation rates prior and after these earthquakes in Andaman—Sumatra region including the data up to 2005 and the significant results has been presented.ln this chapter, the down going lithosphere along the subduction zone is modeled using the free air gravity data by taking into consideration the thickness of the crustal layer, the thickness of the subducting slab, sediment thickness, presence of volcanism, the proximity of the continental crust etc. Here a systematic and detailed gravity interpretation constrained by seismicity and seismic data in the Andaman arc and the Andaman Sea region in order to delineate the crustal structure and density heterogeneities a Io nagnd across the arc and its correlation with the seismogenic behaviour is presented.

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Ab initio theoretical comparative study of magnetic coupling in KNiF3 and K2NiF4s

The origin of magnetic coupling in KNiF3 and K2 NiF4 is studied by means of an ab initio cluster model approach. By a detailed study of the mapping between eigenstates of the exact nonrelativistic and spin model Hamiltonians it is possible to obtain the magnetic coupling constant J and to compare ab initio cluster-model values with those resulting from ab initio periodic Hartree-Fock calculations. This comparison shows that J is strongly determined by two-body interactions; this is a surprising and unexpected result. The importance of the ligands surrounding the basic metal-ligand-metal interacting unit is reexamined by using two different partitions and the constrained space orbital variation method of analysis. This decomposition enables us to show that this effect is basically environmental. Finally, dynamical electronic correlation effects have found to be critical in determining the final value of the magnetic coupling constant.

Technological Change and the Development of the Primary Fishing Industry of Kerala - A Study of Limited Growth

Induction of growth in the primary marine fishing industry of Kerala is a sine gua Qgn for improving the economy of the fishermen, the state's domestic product as well as earning more foreign exchange for the country. The State Administration has been trying to instil growth into the industry eversince the output of the industry showed marked sign of decline (particularly after 1975). Significantly, it has attempted to strengthen the traditional sector, (which is considered to be the crucial sector of the primary marine fishing industry of the state) by introducing intermediate technology and by revamping the organisational structure of the industry. But it appears that the production system in the primary marine fishing industry of Kerala has been severely constrained by the existing technology, organisation of production and marketing institutions. Regeneration of growth in the industry calls forth an understanding of the 'process' of growth in the industry and the need to réorganise it with new technology, and new organisations. The present study is an attempt to unraval the process of growth in the primary marine fishing industry of Kerala since 1951

Nuclear incompressibility in the quasilocal density functional theory

We explore the ability of the recently established quasilocal density functional theory for describing the isoscalar giant monopole resonance. Within this theory we use the scaling approach and perform constrained calculations for obtaining the cubic and inverse energy weighted moments (sum rules) of the RPA strength. The meaning of the sum rule approach in this case is discussed. Numerical calculations are carried out using Gogny forces and an excellent agreement is found with HF+RPA results previously reported in literature. The nuclear matter compression modulus predicted in our model lies in the range 210230 MeV which agrees with earlier findings. The information provided by the sum rule approach in the case of nuclei near the neutron drip line is also discussed.