GLORIA

GEOMAR Library Ocean Research Information Access

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Document type
Publisher
  • 1
    Publication Date: 2017-01-30
    Description: The application of semantic technologies to the integration of biological data and the interoperability of bioinformatics analysis and visualization tools has been the common theme of a series of annual BioHackathons hosted in Japan for the past five years. Here we provide a review of the activities and outcomes from the BioHackathons held in 2011 in Kyoto and 2012 in Toyama. In order to efficiently implement semantic technologies in the life sciences, participants formed various sub-groups and worked on the following topics: Resource Description Framework (RDF) models for specific domains, text mining of the literature, ontology development, essential metadata for biological databases, platforms to enable efficient Semantic Web technology development and interoperability, and the development of applications for Semantic Web data. In this review, we briefly introduce the themes covered by these sub-groups. The observations made, conclusions drawn, and software development projects that emerged from these activities are discussed.
    Repository Name: EPIC Alfred Wegener Institut
    Type: Article , peerRev
    Format: application/pdf
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Communications in mathematical physics 211 (2000), S. 183-206 
    ISSN: 1432-0916
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract: The present paper is concerned with stationary solutions for discrete velocity models of the Boltzmann equation with reflective boundary condition in the first half space. We obtain a sufficient condition that guarantees the existence and the uniqueness of stationary solutions satisfying the reflective boundary condition as well as the spatially asymptotic condition given by a Maxwellian state. First, the sufficient condition is obtained for the linearized system. Then, this result is applied to prove the existence theorem for the nonlinear equation through the contraction mapping principle. Also, it is shown that the stationary solution approaches the asymptotic Maxwellian state exponentially as the spatial variable tends to infinity. Moreover, we show the time asymptotic stability of the stationary solutions. In the proof, we employ the standard energy method to obtain a priori estimates for nonstationary solutions. The exponential convergence at the spatial asymptotic state of the stationary solutions gives essential information to handle some error terms. Then we discuss some concrete models of the Boltzmann type as an application of our general theory.
    Type of Medium: Electronic Resource
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Communications in mathematical physics 109 (1987), S. 563-589 
    ISSN: 1432-0916
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract Large-time behavior of solutions of the one-dimensional discrete Boltzmann equation is studied. Under suitable assumptions it is proved that as time tends to infinity, the solution approaches a function which is constructed explicitly in terms of the self-similar solutions of the Burgers equation and the linear heat equation.
    Type of Medium: Electronic Resource
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Communications in mathematical physics 70 (1979), S. 97-124 
    ISSN: 1432-0916
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract The compressible and heat-conductive Navier-Stokes equation obtained as the second approximation of the formal Chapman-Enskog expansion is investigated on its relations to the original nonlinear Boltzmann equation and also to the incompressible Navier-Stokes equation. The solutions of the Boltzmann equation and the incompressible Navier-Stokes equation for small initial data are proved to be asymptotically equivalent (mod decay ratet −5/4) ast→+∞ to that of the compressible Navier-Stokes equation for the corresponding initial data.
    Type of Medium: Electronic Resource
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Communications in mathematical physics 207 (1999), S. 385-409 
    ISSN: 1432-0916
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract: We study the existence and the uniqueness of stationary solutions for discrete velocity models of the Boltzmann equation in the first half space. We obtain a sufficient condition that guarantees the existence and the uniqueness of solutions connecting the given boundary data and the Maxwellian state at a spatially asymptotic point. First, a sufficient condition is obtained for the linearized system. Then this result as well as the contraction mapping principle is applied to prove the existence theorem for the nonlinear equation. Also, we show that the stationary wave approaches the Maxwellian state exponentially at a spatially asymptotic point. We also discuss some concrete models of Boltzmann type as an application of our general theory. Here, it turns out that our sufficient condition is general enough to cover many concrete models.
    Type of Medium: Electronic Resource
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Communications in mathematical physics 101 (1985), S. 97-127 
    ISSN: 1432-0916
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract The asymptotic stability of traveling wave solutions with shock profile is investigated for several systems in gas dynamics. 1) The solution of a scalar conservation law with viscosity approaches the traveling wave solution at the ratet −γ (for someγ〉0) ast→∞, provided that the initial disturbance is small and of integral zero, and in addition decays at an algebraic rate for |x|→∞. 2) The traveling wave solution with Nishida and Smoller's condition of the system of a viscous heat-conductive ideal gas is asymptotically stable, provided the initial disturbance is small and of integral zero. 3) The traveling wave solution with weak shock profile of the Broadwell model system of the Boltzmann equation is asymptotically stable, provided the initial disturbance is small and its hydrodynamical moments are of integral zero. Each proof is given by applying an elementary energy method to the integrated system of the conservation form of the original one. The property of integral zero of the initial disturbance plays a crucial role in this procedure.
    Type of Medium: Electronic Resource
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...