Browsing by Title
Now showing items 2135-2154 of 6421
-
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 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 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 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’ ... -
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 Behaviour including Size Effect of Cement Stabilised Rammed Earth
(2018-01-30)Rammed earth is a monolithic construction formed by compacting processed soil in progressive layers. Rammed earth is used for the construction of load bearing walls, floors, sub base material in roadways, airport runways, ... -
Fracture Characteristics Of Self Consolidating Concrete
(2010-07-16)Self-consolidating concrete (SCC) has wide use for placement in congested reinforced concrete structures in recent years. SCC represents one of the most outstanding advances in concrete technology during the last two ... -
Fracture Energy And Process Zone In Plain Concrete Beams (An Experimental Study Including Acoustic Emission Technique)
(2013-05-20)Concrete, which was hitherto considered as a brittle material, has shown much better softening behavior after the post peak load than anticipated. This behavior of concrete did put the researchers in a quandary, whether ... -
Fracture Of Plain Concrete Beams Via Fractals
(2009-09-02)The quantitative description of rough fracture surfaces of concrete has been an important challenge for many years. Looking at the fracture surface of a concrete specimen, one realizes that the self-affine geometry of crack ... -
Fragile Interpretations and Interpretable models in NLP
Deploying deep learning models in critical areas where the cost of making a wrong decision leads to a substantial financial loss, like in the banking domain, or even loss of life, like in the medical field, is significantly ...