Search Constraints

Start Over
Filtering by: Noether-type theorems for the generalized variational principle of Herglotz Remove constraint Noether-type theorems for the generalized variational principle of Herglotz

Search Results

  • Noether-type theorems for the generalized variational principle of Herglotz

    Creator:
    Georgieva, Bogdana A.
    Abstract:
    The generalized variational principle of Herglotz defines the functional whose extrema are sought by a differential equation rather than an integral. It reduces to the classical variational principle under classical conditions. The Noether theorems are not applicable to functionals defined by differential equations. For a system of differential equations derivable...
    Resource Type:
    Dissertation

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation
    Full Text:
    , lemmas, and theorems for the logic. 3.1 Syntax The syntax of variational propositional logic is given

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    Erwig The study of variational typing originated from the problem of type inference for variational

  • Application of the generalized Melnikov method to weakly damped parametrically excited cross waves with surface tension

    Creator:
    Fadel, Suzan M.
    Abstract:
    The Wiggins-Holmes extension of the generalized Melnikov method (GMM) is applied to weakly damped parametrically excited cross waves with surface tension in a long rectangular wave channel in order to determine if these cross waves are chaotic. The Lagrangian density function for surface waves with surface tension is simplified by...
    Resource Type:
    Dissertation
    Full Text:
    survive the averaging theorem that is required for Wiggins-Holmes extension of the generalized

  • Aggregate Path Coupling for the Generalized Curie-Weiss Model

    Creator:
    Barbosa, Bruno
    Abstract:
    The topic of statistical mechanics has been studied for over a century, and it is one of the pillars of modern physics. This theory can be applied to the study of the thermodynamic behavior of large systems of interacting particles, in which case it is referred to as equilibrium statistical...
    Resource Type:
    Dissertation
    Full Text:
    particular version of Theorem 2.4 from [13], which establishes a variational formula for the free energy

  • Numerical Analysis of a System of Parabolic Variational Inequalities with Application to Biofilm Growth

    Creator:
    Alhammali, Azhar S. A.
    Abstract:
    In this work we consider a mathematical and computational model for biofilm growth and nutrient utilization. In particular, we are interested in a model appropriate at a scale of interface. The model is a system of two coupled nonlinear diffusion--reaction partial differential equations (PDEs). One of these PDEs is subject...
    Resource Type:
    Dissertation
    Full Text:
    important theorem in variational formulation literature, which shows the well-posedness of a variational

  • John Archibald Wheeler : a study of mentoring in modern physics

    Creator:
    Christensen, Terry M.
    Abstract:
    This dissertation has two objectives. The first objective is to determine where best to situate the study of mentoring (i.e. the 'making of scientists') on the landscape of the history of science and science studies. This task is accomplished by establishing mentoring studies as a link between the robust body...
    Resource Type:
    Dissertation
    Full Text:
    possible outcomes for the collision of sub-atomic particles, his co-authorship of the first generalized

  • Diffusion in Fissured Media

    Creator:
    Böhm, Michael and Showalter, R. E.
    Abstract:
    See article for Abstract.
    Resource Type:
    Article
    Full Text:
    characteristic function of G and q)a=(I+eA)-lX1. By the strong maximum principle p(x)>0 for every xG. Since a(u(x

  • Systematic identification and communication of type errors

    Creator:
    Chen, Sheng and Erwig, Martin
    Abstract:
    When type inference fails, it is often difficult to pinpoint the cause of the type error among many potential candidates. Generating informative messages to remove the type error is another difficult task due to the limited availability of type information. Over the last three decades many approaches have been developed...
    Resource Type:
    Article
    Full Text:
    provide little or no information for how to remove the type error. Any one of this problems can turn the

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
    Resource Type:
    Dissertation
    Full Text:
    principle, we can make any kind of artifact variational. We can use a type constructor V to represent the