Semantics of Probabilistic Processes [[electronic resource] ] : An Operational Approach / / by Yuxin Deng |
Autore | Deng Yuxin |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (258 p.) |
Disciplina |
004
004.0151 005.1015113 005.131 005.55 |
Soggetto topico |
Computer logic
Mathematical logic Computer science—Mathematics Mathematical statistics Logics and Meanings of Programs Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Probability and Statistics in Computer Science |
ISBN | 3-662-45198-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4. Probabilistic Testing Semantics -- 5. Testing Finite Probabilistic Processes -- 6. Testing Finitary Probabilistic Processes -- 7. Weak probabilistic bisimulation -- Index. |
Record Nr. | UNINA-9910298989703321 |
Deng Yuxin
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Semantics of the probabilistic typed lambda calculus [[electronic resource] ] : Markov chain semantics, termination behavior, and denotational semantics / / by Dirk Draheim |
Autore | Draheim Dirk |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VIII, 218 p. 6 illus.) |
Disciplina | 004.0151 |
Soggetto topico |
Computers
Programming languages (Electronic computers) Mathematical statistics Theory of Computation Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science |
ISBN | 9783642551987 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: The Probabilistic Lambda-Calculus and its Semantics -- Introduction -- Syntax and Operational Semantics -- The Working Probabilistic Lambda Calculus -- Properties of the Markov Chain Semantics -- Denotational Semantics -- Semantical Correspondences -- Categorical Treatment -- Probabilism and Non-Determinism -- Part II: Natural Probabilistic Reasoning -- On Natural Two-Tier Semantics for Propositional Logics -- Natural Semantics of Propositions -- Finite Discrete Stochastics Reconsidered -- Lambda-Calculus Definitions -- Markov Chains -- Basic Logic Language and Semantics Definitions -- References -- Index. |
Record Nr. | UNINA-9910254817203321 |
Draheim Dirk
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Seminal Contributions to Modelling and Simulation [[electronic resource] ] : 30 Years of the European Council of Modelling and Simulation / / edited by Khalid Al-Begain, Andrzej Bargiela |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XV, 206 p. 84 illus.) |
Disciplina | 003.3 |
Collana | Simulation Foundations, Methods and Applications |
Soggetto topico |
Computer simulation
Computer software—Reusability Mathematical statistics Computers Simulation and Modeling Performance and Reliability Probability and Statistics in Computer Science Models and Principles |
ISBN | 3-319-33786-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The ECMS and its Position in European Simulation History: A Personal Impression -- Brain Maps for Space -- Coordinated Learning of Entorhinal Grid Cells and Hippocampal Place Cells: Space, Time, Attention, and Oscillations -- Adaptive Model Theory: Modelling the Modeller -- Multi-Formalism Modelling of Human Organization -- A New Research Architecture for the Simulation Era -- A Ship Motion Short Term Time Domain Simulator and its Application to Costa Concordia Emergency Manoeuvres Just Before the January 2012 Accident -- Fuzzy Modelling and Fuzzy Collaborative Modelling: A Perspective of Granular Computing -- Control Law and Pseudo-Neural Networks Synthesized by Evolutionary Symbolic Regression Technique -- On Practical Automated Engineering Design -- Flow-Level Packet Loss Analysis of a Markovian Bottleneck Buffer -- Fitting Methods Based on Distance Measures of Marked Markov Arrival Processes -- Markovian Agent Models: A Dynamic Population of Interdependent Markovian Agents. |
Record Nr. | UNINA-9910255011503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Shallow and Deep Learning Principles [[electronic resource] ] : Scientific, Philosophical, and Logical Perspectives / / by Zekâi Şen |
Autore | Şen Zekâi |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (678 pages) |
Disciplina | 006.32 |
Soggetto topico |
Telecommunication
Computer science - Mathematics Mathematical statistics Technological innovations Artificial intelligence Communications Engineering, Networks Probability and Statistics in Computer Science Innovation and Technology Management Artificial Intelligence |
Soggetto non controllato | Mathematics |
ISBN | 3-031-29555-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Philosophical and Logical Principles in Science -- Uncertainty and Modeling Principles -- Mathematical Modeling Principles -- Genetic Algorithm -- Artificial Neural Networks -- Artıfıcıal Intellıgence -- Machıne Learnıng -- Deep Learning -- Conclusion. |
Record Nr. | UNINA-9910728945503321 |
Şen Zekâi
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Similarity Search and Applications [[electronic resource] ] : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings / / edited by Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XI, 333 p. 102 illus.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Artificial intelligence Optical data processing Pattern recognition Software engineering Mathematical statistics Information Storage and Retrieval Artificial Intelligence Image Processing and Computer Vision Pattern Recognition Software Engineering Probability and Statistics in Computer Science |
ISBN | 3-319-68474-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465561203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Similarity Search and Applications [[electronic resource] ] : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings / / edited by Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XI, 333 p. 102 illus.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Artificial intelligence Optical data processing Pattern recognition Software engineering Mathematical statistics Information Storage and Retrieval Artificial Intelligence Image Processing and Computer Vision Pattern Recognition Software Engineering Probability and Statistics in Computer Science |
ISBN | 3-319-68474-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484107003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Simulation and Inference for Stochastic Processes with YUIMA [[electronic resource] ] : A Comprehensive R Framework for SDEs and Other Stochastic Processes / / by Stefano M. Iacus, Nakahiro Yoshida |
Autore | Iacus Stefano M |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 268 p. 83 illus., 32 illus. in color.) |
Disciplina | 519.2 |
Collana | Use R! |
Soggetto topico |
Statistics
Mathematical statistics Probabilities R (Computer program language) Statistics and Computing/Statistics Programs Probability and Statistics in Computer Science Probability Theory and Stochastic Processes |
ISBN | 3-319-55569-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Introduction -- 2 Diffusion processes -- 3 Compound Poisson processes -- 4 Stochastic differential equations driven by Lévy processes -- 5 Stochastic differential equations driven by the fractional Brownian motion -- 6 CARMA models -- 7 COGARCH models -- Reference -- Index. |
Record Nr. | UNINA-9910300127403321 |
Iacus Stefano M
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Soft Methods for Data Science [[electronic resource] /] / edited by Maria Brigida Ferraro, Paolo Giordani, Barbara Vantaggi, Marek Gagolewski, María Ángeles Gil, Przemysław Grzegorzewski, Olgierd Hryniewicz |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (538 p.) |
Disciplina | 620 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Probabilities Mathematical statistics Computational Intelligence Artificial Intelligence Probability Theory and Stochastic Processes Probability and Statistics in Computer Science |
ISBN | 3-319-42972-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mean Value and Variance of Fuzzy Numbers with Non-continuous Membership Functions -- On the Construction of Radially Symmetric Trivariate Copulas -- Simulation of the Night Shift Solid Waste Collection System of Phuket Municipality -- Updating Context in the Equation: An Experimental Argument with Eye Tracking -- Black-Litterman Model with Multiple Experts' Linguistic Views -- Representing Lightweight Ontologies in a Product-Based Possibility Theory Framework -- Asymptotics of Predictive Distributions -- Independent K-Sample Equality Distribution Test Based on the Fuzzy Representation -- Agglomerative Fuzzy Clustering -- Bayesian Inference with Linkage Uncertainty: Applications in Official Statistics -- The Extension of Imprecise Probabilities Based on Generalized Credal Sets -- A Generalized SMART Fuzzy Disjunction of Volatility Indicators Applied to Option Pricing in a Binomial Model -- The Representation of Conglomerative Functionals -- The Likelihood Interpretation of Fuzzy Data -- Combining the Information of Multiple Ranker in Ranked Set Sampling with Fuzzy Set Approach -- A Savage-like Representation Theorem for Preferences on Multi-acts -- On Some Functional Characterizations of (fuzzy) Set-Valued Random Elements -- Maximum Likelihood Under Incomplete Information: Toward a Comparison of Criteria -- The Use of Uncertainty to Choose Matching Variables in Statistical Matching -- Beyond Fuzzy, Possibilistic and Rough: An Investigation of Belief Functions in Clustering -- Small Area Estimation in Presence of Linkage Errors -- A Test for Truncation Invariant Dependence -- Finite Mixture Of Linear Regression Models: An Adaptive Constrained Approach to Maximum Likelihood Estimation -- Detecting Dependence in Tourists' Spending Behavior -- Robust Fuzzy Clustering via Trimming and Constraints -- One-factor Levy-frailty Copulas with Inhomogeneous Trigger Rates -- A Perceptron Classifier and Corresponding Probabilities -- Fuzzy -Signals Fed to Gaussian Channels -- Fuzzy Clustering Through Robust Factor Analyzers -- Consensus-based Clustering in Numerical Decision-Making -- Spatial Outlier Detection Using GAMs and Geographical Information Systems -- Centering and Compound Conditionals Under Coherence -- Approximate Bayesian Methods for Multivariate and Conditonal Copulae -- The Sign Test for the Interval-Valued Data -- Probability Distributions Related to Fuzzy P-Values -- Probabilistic Semantics and Pragmatics for the Language of Uncertainty -- Dynamic Analysis of the Development of Scientific Communities in the Field of Soft Computing -- Talk to your Neighbour: a Belief Propagation Approach to Data Fusion -- The Qualitative Characteristics of Combining Evidence with Discounting -- Measuring the Dissimilarity Between the Distributions of Two Random Fuzzy Numbers -- An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires -- Asymptotic Results for Sums of Independent Random Variables with Alternating Laws -- Dispersion Measures and Multidistances on Rk -- Full Conglomerability, Continuity and Marginal Extension -- On Extreme Points of P-Boxes and Belief Functions -- Modelling the Dependence in Multivariate Longitudinal Data by Pair Copula Decomposition -- Predictability in Probabilistic Discrete Event Systems -- A Sandwich Theorem for Natural Extensions -- Envelopes of Joint Probabilities with Given Marginals Under Absolute Continuity or Equivalence Constraints -- Square of Opposition Under Coherence -- Testing of Coarsening Mechanisms: Coarsening at Random Versus Subgroup Independence -- Two-sample Similarity Test for the Expected Value of Random Intervals -- Handling Uncertainty in Structural Equation Modeling -- Detecting Inconsistencies in Revision Problems -- Tukeys Biweight Loss Function for Fuzzy Set-Valued M-Estimators of Location -- Technical Gestures Recognition by Set-Valued Hidden Markov Models with Prior Knowledge -- Time Series Modeling Based on Fuzzy Transform -- Back to \Reasoning" -- Lexicographic Choice Functions Without Archimedeanicity -- Composition Operator for Credal Sets Reconsidered -- A Nonparametric Linearity Test for a Sort of Multivariate Regression Model with Fuzzy Data -- Treat a Fuzzy Dependence Among Causes and Lives in Insurance with Some Copulas Based Approaches -- A Portfolio Diversication Strategy via Tail Dependence Clustering -- An Upper Bound Estimation About the Sample Average of Interval-valued Random Sets -- On Asymptotic Properties of the Multiple Fuzzy Least Squares Estimator. |
Record Nr. | UNINA-9910254176903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIX, 325 p. 88 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Artificial intelligence Algorithms Mathematical statistics Computers Database management Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management |
ISBN | 3-662-49224-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems. |
Record Nr. | UNINA-9910484043203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIX, 325 p. 88 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Artificial intelligence Algorithms Mathematical statistics Computers Database management Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management |
ISBN | 3-662-49224-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems. |
Record Nr. | UNISA-996466191803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|