of “Static Analyses of Cryptographic Protocols” by Jay McCarthy, Ph.D., Brown University, May 2009 Most protocol analyses only address security properties. However, other properties are important and can increase our understanding of protocols, as well as aid in the deployment and compilation of implementations. We investigate such analyses. Unfortunately, existing high-level protocol implement...

seismic behavior of a rockfill dam with asphalt-concrete core has been studied utilizing numerical models with material parameters determined by laboratory tests. the case study selected for these analyses, is the meyjaran asphalt core dam, recently constructed in northern iran, with 60 m height and 180 m crest length. the numerical analyses have been performed using a nonlinear three dimension...

thermo-elasto-plastic analyses of thick-walled spherical tanks made of functionally graded materials are investigated analytically. these tanks are subjected to positive or negative temperature gradient and internal pressure loadings separately or simultaneously. the power law modeling has been used for through-the-thickness variation of mechanical properties. von mises yield criterion and elas...

Evolutionary algorithms (EAs) are a highly successful tool commonly used in practice to solve algorithmic problems. This remarkable practical value, however, is not backed up by a deep theoretical understanding. Such an understanding would facilitate the application of EAs to further problems. Runtime analyses of EAs are one way to expand the theoretical knowledge in this field. This thesis pre...

Networks are often used to understand a whole system by modeling the interactions among its pieces. Examples include biomolecules in a cell interacting to provide some primary function, or species in an environment forming a stable community. However, these interactions are often unknown; instead, the pieces' dynamic states are known, and network structure must be inferred. Because observed fun...

Prolonged fatigue equal to or greater than 1 month duration and chronic fatigue equal to or greater than 6 months duration are both commonly seen in clinical practice, yet little is known about the etiology or epidemiology of either symptom. Chronic fatigue syndrome (CFS), while rarer, presents similar challenges in determining cause and epidemiology. Twin studies can be useful in elucidating g...

Life-cycle analysis is an invaluable tool for investigating the environmental profile of a product or technology from cradle to grave. Such life-cycle analyses of energy technologies are essential, especially as material and energy flows are often interwoven, and divergent emissions into the environment may occur at different life-cycle-stages. This approach is well exemplified by our descripti...

We show that for theories T + with function parameters, in general (1) T + ` A , A =⇒ / T + ` A (even if A does not contain function parameters and T + is an open theory), where A is the Herbrand normal form of A and A is a Herbrand realization of A . A similar result holds for first order theories T if the index functions (used in the definition of A from A) are allowed to occur in instances o...