top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / / edited by Juichi Shinoda, Theodore A. Slaman, and Tosiyuki Tugue
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / / edited by Juichi Shinoda, Theodore A. Slaman, and Tosiyuki Tugue
Edizione [1st ed. 1989.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1989]
Descrizione fisica 1 online resource (V, 226 p.)
Disciplina 511.3
Collana Lecture Notes in Mathematics
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 3-540-48220-2
Classificazione 00B25
03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Recursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic.
Record Nr. UNISA-996466633003316
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1989]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Nonlinear semigroups, partial differential equations and attractors : proceedings of a symposium held in Washington, DC, August 5-8 1985 / / edited by T. L. Gill, Woodford W. Zachary
Nonlinear semigroups, partial differential equations and attractors : proceedings of a symposium held in Washington, DC, August 5-8 1985 / / edited by T. L. Gill, Woodford W. Zachary
Edizione [1st ed. 1987.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer-Verlag, , [1987]
Descrizione fisica 1 online resource (XII, 188 p.)
Disciplina 512.2
Collana Lecture Notes in Mathematics
Soggetto topico Group theory
Differential equations, Partial
ISBN 3-540-47791-8
Classificazione 00B25
35-06
47-06
58-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Convergence properties of strongly-damped semilinear wave equations -- Numerical solution of certain nonlinear parabolic partial differential equations -- The explicit solution of nonlinear ordinary and partial differential equations I. Conceptual ideas -- Uniform boundness and genralized inverses in liapunov-schmidt method for subharmonics -- Existence of radially symmetric solutions of strongly damped wave equations -- Strongly damped semilinear second order equations -- Nonlinear semigroup theory and viscosity solutions of Hamilton-Jacobi PDE -- Evolution equations with nonlinear boundary conditions -- Asymptotically smooth semigroups and applications -- The principle of spatial averaging and inertial manifolds for reaction-diffusion equations -- Applications of semigroup theory to reaction-diffusion systems -- Ultrasingularities in nonlinear waves -- A reaction-hyperbolic system in physiology -- Compact perturbations of linear m-dissipative operators which lack Gihman's property -- Two compactness lemmas -- The riccati equation: When nonlinearity reduces to linearity.
Record Nr. UNISA-996466502303316
Berlin ; ; Heidelberg : , : Springer-Verlag, , [1987]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Seminaire de Probabilites XXV [[electronic resource] /] / edited by Jacques Azema, Paul A. Meyer, Marc Yor
Seminaire de Probabilites XXV [[electronic resource] /] / edited by Jacques Azema, Paul A. Meyer, Marc Yor
Edizione [1st ed. 1991.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
Descrizione fisica 1 online resource (VIII, 444 p.)
Disciplina 519.2
Collana Séminaire de Probabilités
Soggetto topico Probabilities
Probability Theory and Stochastic Processes
ISBN 3-540-38496-0
Classificazione 00B25
60-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Théorie non linéaire du potentiel: Un principe unifié de domination et du maximum et quelques applications -- Quelques cas de représentation chaotique -- The Azéma martingales as components of quantum independent increment processes -- Realisation of a class of Markov processes through unitary evolutions in Fock space -- An additional remark on unitary evolutions in Fock space -- Generalized harmonic oscillators in quantum probability -- Application du “bébé fock” au modèle d’Ising -- Les “fonctions caractéristiques” des distributions sur l’espace de Wiener -- Notes on the Wiener semigroup and renormalization -- Some remarks on the theory of stochastic integration -- Sur la méthode de L. Schwartz pour les é.d.s. -- On almost sure convergence of modified Euler-Peano approximation of solution to an S.D.E. driven by a semimartingale -- On Newton’s method for stochastic differential equations -- Une remarque sur les equations differentielles stochastiques a solutions markoviennes -- Regularite d’ordre quelconque pour un modele statistique filtre -- Condition UT et stabilité en loi des solutions d’équations différentielles stochastiques -- Convergence en loi de fonctions aléatoires continues ou cadlag, propriétés de compacité des lois -- Calcul stochastique avec sauts sur une variete -- Sur le barycentre d’une probabilité dans une variété -- Inégalités de Sobolev faibles : un critère ?2 -- Multiplicative decomposition of nonsingular matrix valued semimartingales -- Intégrale multiple de Stratonovich pour le processus de poisson -- A continuous martingale in the plane that may spiral away to infinity -- Sur la mecanique statistique d’une particule brownienne sur le tore -- New sufficient conditions for the law of the iterated logarithm in Banach spaces -- Un résultat élémentaire de fiabilité. Application à la formule de Weierstrass sur la fonction gamma -- Stochastic integral equations for the random fields -- Decomposition du mouvement brownien avec dérive en un minimum local par juxtaposition de ses excursions positives et négatives -- Une remarque sur la théorie des grandes déviations -- On filtrations of Brownian polynomials -- An extension of Krein’s inverse spectral theorem to strings with nonreflecting left boundaries -- Necessary and sufficient conditions for the existence of m-perfect processes associated with Dirichlet forms -- Second order limit laws for the local times of stable processes -- Sur deux estimations d’intégrales multiples -- Calculs Antisymétriques… -- Generalizations of Gross’ and Minlos’ theorems -- A Generalized Biane process.
Record Nr. UNISA-996466759403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui