Browsing by Title
Now showing items 2911-2930 of 9078
-
Formal Models for Code Generation and Code Compression
We propose formal models for the problems of target code generation and compression of tree intermediate code. For the first problem, we adapt an existing model to work for prefix linearizations of intermediate tree code. ... -
A Formal Proof of Feit-Higman Theorem in Agda
(2018-02-18)In this thesis we present a formalization of the combinatorial part of the proof of Feit-Higman theorem on generalized polygons. Generalised polygons are abstract geometric structures that generalize ordinary polygons and ... -
Formal tools for specification-driven protocol design of distributed computing systems
The widespread use of Distributed Computing Systems (DCSs) is due to the advantages of better performance, improved reliability, efficient resource sharing and easy upgradability. In order to realize the advantages of a ... -
Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces
(2011-07-08)The conventional approach to validate the analog and mixed signal designs utilizes extensive SPICE-level simulations. The main challenge in this approach is to know when all important corner cases have been simulated. An ... -
The Formation and Evolution of Bars, and Its Impact on Galaxy Dynamics
In this thesis we have studied bar formation and evolution using N-body simulations. We have focused on the effect of bulge mass and concentration on bar formation and evolution, and derived a new bar formation criterion. ... -
Formation and Maintenance of the Southern Bay of Bengal Cold Pool
(2018-06-11)Around Sri Lanka and to the south of India sea surface temperatures (SST) are cooler compared to the surrounding region during summer monsoon. This region where SSTs are relatively cooler is known as the cold pool. Owing ... -
Formation Mechanism, Structure and Optical properties of Functional Nanoparticle Assemblies
Metal nanoparticles (MNPs) concentrate light near their surface because of localized surface plasmon resonances (LSPR). LSPRs depend on MNP morphology, composition, size, and the metal–dielectric interface. LSPRs are further ... -
Formation Of Cream In Emulsions
(2012-04-30) -
Formation of Porous Metallic Nanostructures Electrocatalytic Studies on Self-Assembled Au@Pt Nanoparticulate Films, and SERS Activity of Inkjet Printed Silver Substrates
(2018-04-24)Porous, conductive metallic nanostructures are required in several fields, such as energy conversion, low-cost sensors etc. This thesis reports on the development of an electrocatalytically active and conductive membrane ... -
Formulation of A Framework for Needs Analysis and Stakeholders' Behavioral Simulation for Design for the BOP
Poverty, and associated undesirability, distinguishes a population as Base of the (economic) Pyramid (BoP). Lack of necessities and vulnerability negatively affect the well-being of BoP populations. Literature reveals ... -
Formulations for solving geomechanics stability problems using stress characteristics and finite element limit analysis with power type and Mohr-Coulomb yield criteria
In geotechnical engineering, the stability analysis is often carried out to determine the ultimate collapse load that a geo-structure can possibly withstand. The accurate prediction of the exact collapse load is often very ... -
Fourier Analysis And Allied Methods In Problems Of Scattering And Radiation Of Water Waves
(2012-05-31)As has been discussed in the previous section, the growth of various methods (analytical methods like Green's function technique, application of Green's integral theorem, application of Fourier analysis—both Fourier transform ... -
Fourier Analysis On Number Fields And The Global Zeta Functions
(2014-08-04)The study of zeta functions is one of the primary aspects of modern number theory. Hecke was the first to prove that the Dedekind zeta function of any algebraic number field has an analytic continuation over the whole plane ... -
Fourier coeffcients of modular forms and mass of pullbacks of Saito–Kurokawa lifts
In the first part of the talk we would discuss a topic about the Fourier coefficients of modular forms. Namely, we would focus on the question of distinguishing two modular forms by certain ‘arithmetically interesting’ ... -
Fractal encoding for inpainting and secure image sharing
Fractal Encoding for Inpainting and Secure Image Sharing This thesis is an investigation to explore two new applications of fractal encoding: 1) secure image sharing and 2) image inpainting. Fractal encoding is a lossy ... -
Fracture and Deformation in Bulk Metallic Glasses and Composites
(2018-01-11)Plastic flow in bulk metallic glasses (BMGs) localizes into narrow bands, which, in the absence of a microstructure that could obstruct them, propagate unhindered under tensile loading. In constrained deformation conditions ... -
Fracture And Fatigue Behavior Of Concrete-Concrete Interfaces Using Acoustic Emission, Digital Image Correlation And Micro-Indentation Techniques
(2011-04-05)Currently, the maintenance and repair of civil engineering infrastructures (especially bridges and highways) have become increasingly important, as these structures age and deteriorate. Interface between two different mixes ... -
Fracture and Fatigue Behaviour of Notched Plain Concrete Beams: The Role of Theory of Critical Distances and Acoustic Emission
Concrete structures, including buildings, bridges, pavements, and offshore structures, face a wide range of loading conditions, both static and cyclic. When subjected to fatigue loading, the response of concrete elements ... -
Fracture and indentation behavior of shape memory alloys
Shape memory alloys (SMAs) are metallic systems capable of recovering large strains, typically in the range of 7 to 10%. A clear understanding of the fracture behaviour of SMAs is crucial to prevent failures, especially ...