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.
Elementi di logica matematica / Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; prefazione di Carlo Cellucci
Elementi di logica matematica / Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; prefazione di Carlo Cellucci
Autore Novikov, Petr Sergeevic
Pubbl/distr/stampa Roma : Editori riuniti, 1975
Descrizione fisica XXX, 312 p. ; 22 cm
Disciplina 511.3
510.3
Collana Nuova biblioteca di cultura, Serie scientifica
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIPARTHENOPE-000012035
Novikov, Petr Sergeevic  
Roma : Editori riuniti, 1975
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Enciclopedia delle matematiche elementari e complementi : con estensione alle principali teorie analitiche, geometriche e fisiche, loro applicazioni e notizie storico-bibliografiche / a cura di L. Berzolari, G. Vivanti e D. Gigli
Enciclopedia delle matematiche elementari e complementi : con estensione alle principali teorie analitiche, geometriche e fisiche, loro applicazioni e notizie storico-bibliografiche / a cura di L. Berzolari, G. Vivanti e D. Gigli
Pubbl/distr/stampa Milano : U. Hoepli, c1957-[196-]
Descrizione fisica v. ; 25 cm
Disciplina 510.3
Altri autori (Persone) Berzolari, Luigi
Vivanti, Giulio
Gigli, Duilio
Soggetto topico Mathematics - Dictionaries and other general reference works
Classificazione AMS 00A20
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto Vol. 1.1 ; Vol. 1.2
Record Nr. UNISALENTO-991003638539707536
Milano : U. Hoepli, c1957-[196-]
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Encyclopaedia of mathematics. Supplement / [managing editor, M. Hazewinkel]
Encyclopaedia of mathematics. Supplement / [managing editor, M. Hazewinkel]
Autore Hazewinkel, Michiel
Pubbl/distr/stampa Dordrecht ; Boston ; London : Kluwer Academic Publishers, c1997-
Descrizione fisica v. : ill. ; 31 cm.
Disciplina 510.3
Soggetto topico Mathematics-encyclopedias
ISBN 0792347099 (v. 1 : acid-free paper)
0792361148 (v. 2 : acid-free paper)
1402001983 (v. 3 : acid-free paper)
Classificazione AMS 00A20
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000860729707536
Hazewinkel, Michiel  
Dordrecht ; Boston ; London : Kluwer Academic Publishers, c1997-
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Encyclopedia of Applied and Computational Mathematics [[electronic resource] /] / edited by Björn Engquist
Encyclopedia of Applied and Computational Mathematics [[electronic resource] /] / edited by Björn Engquist
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (361 illus., 208 illus. in color. eReference.)
Disciplina 510.3
Collana Springer reference
Soggetto topico Computer mathematics
Applied mathematics
Engineering mathematics
Computer science—Mathematics
Computers
Mathematical physics
Computational Mathematics and Numerical Analysis
Applications of Mathematics
Mathematics of Computing
Theory of Computation
Theoretical, Mathematical and Computational Physics
Mathematical and Computational Engineering
ISBN 3-540-70529-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- About the Editor -- Section Editors -- Contributors -- A -- A Posteriori Error Estimates of Quantities of Interest -- Synonyms -- Short Description -- Description -- Model Problem, Quantities of Interest, and Adjoint Problem -- Goal-Oriented Error Estimation -- Adaptive Strategies -- Extension to Nonlinear Problems -- Concluding Remarks -- References -- A Priori and A Posteriori Error Analysis in Chemistry -- Synonyms -- Definition -- Overview -- Error on the Model -- Error on the Discretization -- Error on the Algorithm -- Conclusion -- References -- Absorbing Boundaries and Layers -- Synonyms -- Summary -- Absorbing Boundaries -- Absorbing Layers -- Other Issues and Applications -- References -- Actin Cytoskeleton, Multi-scale Modeling -- Synonyms -- Introduction -- Single Filament Dynamics -- Bulk Filaments in Solution -- Models of Force Generation and Membrane Protrusion -- Integration of Signaling, Network Dynamics, and Force Generation -- Summary -- References -- Adaptive Mesh Refinement -- Synonyms -- Short Definition -- Basic Principles of Adaptive Refinement -- Some Refinement Strategies -- Cross-References -- References -- ADI Methods -- Mathematics Subject Classification -- Synonyms -- Description -- Accuracy and Stability -- Closely Related Issues -- References -- Adjoint Methods as Applied to Inverse Problems -- Synonyms -- Definition -- Overview -- Wave Equation Imaging -- Optical and Impedance Tomography -- References -- Advancing Front Methods -- Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- Basic Algorithm -- Advancing Layers Method -- References -- Agent-Based Models in Infectious Disease and Immunology -- Synonyms -- Acronyms -- Short Definition -- Description -- ABMs as Natural Descriptions of the Immune Response and Infectious Diseases.
The Main Agents of the Immune Response -- ABM Representation of the Immune Response and Infectious Diseases -- Example: Influenza Infection Within a Host -- Platforms for the Implementation of ABMs of Immunology and Infectious Diseases -- References -- Algorithms for Low Frequency Climate Response -- Definition Terms/Glossary -- Description -- Deterministic Dynamics, Fluctuation-Response relation -- Chaotic Dissipative Dynamics, Short-Time FDR -- Chaotic Dissipative Dynamics, Axiom A Response Formula -- Chaotic Dissipative Dynamics, Shadowing -- Chaotic Dissipative Dynamics, UPO Expansion -- Stochastic Dynamics, Fluctuation-Response Relation -- References -- Analysis and Computation of Hyperbolic PDEs with Random Data -- Introduction -- Problem Statement -- Nonintrusive Numerical Methods -- Stochastic Regularity and Convergence of Stochastic Collocation -- Examples: General Stochastic Regularity Properties -- General Results: Stochastic Regularity -- Convergence Results for Stochastic Collocation -- References -- Angiogenesis, Computational Modeling Perspective -- Abstract -- Introduction -- Angiogenesis Modeling Methodology -- Network-Level Modeling -- Molecular-Level Modeling: Reaction Diffusion Modeling -- Intracellular signaling models -- Cell-Based Modeling -- Agent-based programming -- Cellular automata -- Potts model -- Bioinformatics -- Multiscale Modeling -- Conclusions and Therapeutic Applications -- References -- Angiogenesis, Mathematical Modeling Perspective -- Angiogenesis Modeling -- Movement of ECs -- Blood Flow and Vascular Remodeling -- Application to Vascular Tumor Growth -- Future Directions for Angiogenesis Modeling -- References -- Applications to Real Size Biological Systems -- Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- MD Simulations of Biological Systems: A Computational Challenge.
Brute-Force Molecular Dynamics to Address Biological Complexity -- Preferential Sampling and the Simulation of Slow Processes -- A Turning Point in Structural Biology -- References -- Applied Control Theory for Biological Processes -- Synonyms -- Short Definition -- Description -- Model Predictive Control -- Adaptive Model Predictive Control -- Sensitivity and Identifiability Analyses -- Brief Literature Survey of Cellular Process Model Predictive Control -- Illustration of Adaptive Nonlinear Model Predictive Control with Selective Parameter Identification -- Concluding Remarks -- References -- Approximation of Manifold-Valued Functions -- Mathematics Subject Classification -- Definition -- Description -- Historical Remark -- Adaptation Methods -- References -- Atomistic to Continuum Coupling -- Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- Atomistic Models -- Continuum Models -- Accuracy of the Cauchy-Born Approximation -- Crystal Defects and Motivation for A/C Methods -- Energy-Based Methods -- The Energy-Based Quasicontinuum Method -- Accuracy of QCE -- The Blended Quasicontinuum Energy -- Accuracy of the BQCE Method -- Energy-Based Ghost-Force Removal -- Accuracy of Consistent a/c Methods -- Force-Based Methods -- Force-Based a/c Coupling -- Accuracy of the Force-Based a/c Method -- Iterative Solution of Force-Based a/c Coupling -- Extensions -- Overlapping Methods and Weak Coupling -- Multilattices -- Quantum Mechanics -- Finite-Temperature Equilibrium and Dynamics -- References -- B -- Backward Differentiation Formulae -- Synonyms -- Definition -- Review of Stiffness -- Stability Concepts for Multistep Methods -- Backward Differentiation Formulae -- Modified Extended Backward Differentiation Formulae -- Application to DAEs -- Codes -- References -- Bayesian Statistics: Computation.
Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- Prehistory -- Latent Variable Methods in Likelihood Inference: The EM Algorithm -- Bayesian Computation in the 1980s -- Formulation of the Gibbs Sampler -- Introduction of Latent Variables and Collective Moves -- Conclusion -- References -- Belousov-Zhabotinsky Reaction -- What is the Belousov-Zhabotinsky Reaction? -- How to Experiment with the Light Sensitive BZ Reaction -- Qualitative Modelling -- Two-Variable Oregonator -- Very Fast Prototyping: Cellular Automata -- References -- Bézier Curves and Surfaces -- Definition -- Curves -- Tensor-Product Surfaces -- Triangular Surfaces -- References -- Bidomain Model: Analytical Properties -- References -- Bidomain Model: Applications -- Overview -- Extracellularly Applied Electric Fields and Tissue Polarization -- Pacing -- Shock-Induced Arrhythmogenesis and Defibrillation -- Bath Loading Effects and the Forward Problem of Electrocardiography -- Conclusion -- References -- Bidomain Model: Computation -- Overview -- Computational Methods -- Discretization in Space and Time -- Spatial Discretization -- Time Discretization -- Solving Linear Systems -- Adaptive Methods -- Parallel Solvers -- Key Research Findings -- Cross-References -- References -- Bifurcations: Computation -- Computation of Branches -- Bifurcation Test Functions -- Computation of Bifurcation Points -- Branch Switching -- References -- Biofilm Structure and Function, Modeling -- Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- Biofilms -- Mass Balances -- Material Transport -- Active and Reactive Layers -- Summary -- References -- Bootstrapping -- Synonyms -- Short Definition -- Description -- References and Recommended Reading -- References -- Born-Oppenheimer Approximation, Adiabatic Limit, and Related Math. Issues.
Introduction -- The Quantum Mechanical Adiabatic Approximation -- The Traditional Quantum Adiabatic Theorem -- Geometric Phases -- Higher Order Approximations -- Further Generalizations with a Gap -- Adiabatic Theorems Without a Gap -- Adiabatic Theorems with Level Crossings -- Adiabatic Theorems with Avoided Crossings -- Time-Dependent Born-Oppenheimer Approximations -- References -- Boundary Control Method -- Introduction -- Inverse Problem -- BCm Devices -- Solving Inverse Problem -- References -- Boundary Element Methods -- Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- Boundary Integral Equation for Potential Problems -- The Boundary Element Method -- Boundary Element Formulations for General Problems -- References -- Boundary Value Methods: GAMD, TOM -- Synonyms -- Definition -- Overview -- Discrete Problem and Block BVMs -- The Codes GAM and GAMD -- The Code TOM -- References -- Boussinesq Equations -- References -- B-Series -- Synonyms -- Short Definition -- Description -- Introduction -- Order Conditions of Runge-Kutta Methods and B-Series -- Composition of B-Series -- Changes of Variables and Preservation of First Integrals -- Modified Equations for B-Series Methods -- Preservation of Geometric Properties of B-Series Methods -- Cross-References -- References -- Burgers Equation -- Mathematics Subject Classification -- Synonyms -- Short Definition -- Description -- Origin and Motivating Application -- Behavior of Solutions -- Inviscid Case -- Viscous Case -- Vanishing Viscosity Limit -- References -- C -- Calcium Dynamics -- Mathematics Subject Classification -- Short Definition -- Description -- Ubiquitous Calcium -- Calcium Transport -- Mathematical Description -- References -- Calculation of Ensemble Averages -- Mathematical Subject Classification -- Short Definition -- Description.
Computation of Macroscopic Properties.
Record Nr. UNINA-9910300243803321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Encyclopedia of mathematical physics / Editors Jean-Pierre Francoise, Gregory L. Naber, Tsou Sheung Tsun
Encyclopedia of mathematical physics / Editors Jean-Pierre Francoise, Gregory L. Naber, Tsou Sheung Tsun
Pubbl/distr/stampa Amsterdam [etc.] : Elsevier, 2006
Descrizione fisica 5 v. : ill. ; 29 cm
Disciplina 510.3
Soggetto topico Fisica matematica - Enciclopedie
ISBN 01-251-2660-3
01-251-2661-1
01-251-2662-X
01-251-2663-8
01-251-2664-6
01-251-2665-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto : A-C. - XLIX, 679 p. - : D-H. - XLIX, 729 p. - : I-O. - XLIX, 645 p. - : P-Sp. - XLIX, 673 p. - : St-Z ; Index. - XLIX, 549 p.
Record Nr. UNISA-990002982390203316
Amsterdam [etc.] : Elsevier, 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Encyclopedic dictionary of mathematics / [ by Nihon Sugakkai] ; edited by Shôkichi Iyanaga and Yukiyosi Kawada
Encyclopedic dictionary of mathematics / [ by Nihon Sugakkai] ; edited by Shôkichi Iyanaga and Yukiyosi Kawada
Autore NIHON, Sugakkai
Pubbl/distr/stampa Cambridge [etc.] : MIT Press, copyr. 1980
Descrizione fisica 2 v. : ill. ; 28 cm
Disciplina 510.3
Soggetto topico Matematica - Enciclopedie e dizionari
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003234700203316
NIHON, Sugakkai  
Cambridge [etc.] : MIT Press, copyr. 1980
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Fuzzy sets in information retrieval and cluster analysis / by Sadaaki Miyamoto
Fuzzy sets in information retrieval and cluster analysis / by Sadaaki Miyamoto
Autore Miyamoto, Sadaaki
Pubbl/distr/stampa Boston ; Dordrecht ; London : Kluwer Academic, 1990
Descrizione fisica X, 259, [1] p. ; ill. ; 25 cm
Disciplina 510.3
Collana Theory and decision library. Series D, System theory, knowledge engineering and problem solving
Soggetto non controllato Analisi funzionale
Analisi multivariata e multidimensionale dei dati - Classificazione
ISBN 0-7923-0721-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000249740403321
Miyamoto, Sadaaki  
Boston ; Dordrecht ; London : Kluwer Academic, 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
German-english mathematical vocabulary / by Sheila Macintyre and Edith Witte ; with a grammatical sketch by Lilias W. Brebner
German-english mathematical vocabulary / by Sheila Macintyre and Edith Witte ; with a grammatical sketch by Lilias W. Brebner
Autore Macintyre, Sheila
Pubbl/distr/stampa Edinburgh [etc.] : Oliver & Boyd, 1956
Descrizione fisica XI, 95 p. ; 19 cm.
Disciplina 510.3
Altri autori (Persone) Witte, Edith
Collana University mathematical texts
Soggetto topico Matematica - Dizionari, glossari
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNIBAS-000011281
Macintyre, Sheila  
Edinburgh [etc.] : Oliver & Boyd, 1956
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Handbook of applied mathematics / edited by Edward E. Grazda [and] Morris Brenner
Handbook of applied mathematics / edited by Edward E. Grazda [and] Morris Brenner
Edizione [3d ed.]
Pubbl/distr/stampa New York : Van Nostrand, 1955
Descrizione fisica vi, 1044 p. : ill. ; 20 cm
Disciplina 510.3
Soggetto non controllato Matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIPARTHENOPE-000012093
New York : Van Nostrand, 1955
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Le matematiche termine per termine / Ferdinando Nomis di Pollone, Ermanno Monti
Le matematiche termine per termine / Ferdinando Nomis di Pollone, Ermanno Monti
Autore Nomis di Pollone, Ferdinando
Pubbl/distr/stampa [Torino] : <> Quadrante Edizioni, c1987
Descrizione fisica 147 p. ; 24 cm.
Disciplina 510.3
Altri autori (Persone) Monti, Ermanno
Collana Fuoricollana
Soggetto topico Matematica - Enciclopedie e dizionari
ISBN 88-381-0014-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000007946
Nomis di Pollone, Ferdinando  
[Torino] : <<Il>> Quadrante Edizioni, c1987
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui