Corso di estimo / Igino Michieli

• Record Nr.: UNIBAS000017110
• Autore: Michieli, Igino
• Pubbl/distr/stampa: Bologna : Edagricole
• ISBN: 88-206-2269-6
• Descrizione fisica: v. ; 24 cm.
• Disciplina: 333.332
• Soggetti: Estimo - Testi scolastici
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: 1.: Estimo generale : con applicazioni di matematica finanziaria : per gli istituti tecnici agrari, per geometri, per periti edili e per professionisti. - 13 ed. - 1986. - XII, 258 p

Uniform distribution and Quasi-Monte Carlo methods : discrepancy, integration and applications / / edited by Peter Kritzer [and three others]

• Record Nr.: UNINA9910459703703321
• Pubbl/distr/stampa: Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014; ©2014
• ISBN: 3-11-037503-6; 3-11-031793-1
• Descrizione fisica: 1 online resource (270 p.)
• Collana: Radon Series on Computational and Applied Mathematics, , 1865-3707 ; ; Volume 15
• Disciplina: 515.782
• Soggetti: Uniform distribution (Probability theory); Monte Carlo method; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Includes index.
• Nota di contenuto: Front matter -- Preface -- Contents -- Metric number theory, lacunary series and systems of dilated functions / Aistleitner, Christoph -- Strong uniformity / Beck, József -- Discrepancy theory and harmonic analysis / Bilyk, Dmitriy -- Explicit constructions of point sets and sequences with low discrepancy / Dick, Josef / Pillichshammer, Friedrich -- Subsequences of automatic sequences and uniform distribution / Drmota, Michael -- On Atanassov's methods for discrepancy bounds of low-discrepancy sequences / Faure, Henri -- The hybrid spectral test: a unifying concept / Hellekalek, Peter -- Tractability of multivariate analytic problems / Kritzer, Peter / Pillichshammer, Friedrich / Woźniakowski, Henryk -- Discrepancy estimates for sequences: new results and open problems / Larcher, Gerhard -- A short introduction to quasi-Monte Carlo option pricing / Leobacher, Gunther -- The construction of good lattice rules and polynomial lattice rules / Nuyens, Dirk -- Index -- Backmatter
• Sommario/riassunto: This book is summarizing the results of the workshop "Uniform Distribution and Quasi-Monte Carlo Methods" of the RICAM Special ; Semester on "Applications of Algebra and Number Theory" in October 2013. The survey articles in this book focus on number theoretic point constructions, uniform distribution theory, and quasi-Monte Carlo methods. As deterministic versions of the Monte Carlo method, quasi-Monte Carlo rules enjoy increasing popularity, with many fruitful applications in mathematical practice, as for example in finance, computer graphics, and biology. The goal of this book is to give an overview of recent developments in uniform distribution theory, quasi-Monte Carlo methods, and their applications, presented by leading experts in these vivid fields of research.

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / / edited by Clare Dixon, Marcelo Finger

• Record Nr.: UNINA9910484370503321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• ISBN: 3-319-66167-1
• Edizione: [1st ed. 2017.]
• Descrizione fisica: 1 online resource (X, 351 p. 38 illus.)
• Collana: Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10483
• Disciplina: 005.131
• Soggetti: Artificial intelligence; Machine theory; Computer science; Software engineering; Algorithms; Information technology - Management; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Application in Administrative Data Processing
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic -- Designing Theory Solvers with Extensions -- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation -- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors -- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) -- Subtropical Satisfiability -- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description Logics with Interval-Rigid Names -- Superposition with Integrated Induction -- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable -- Decidable Verification of Decision-Theoretic Golog -- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query Probabilistic Numerical Data -- Merging Fragments of Classical Logic -- On Solving Nominal Fixpoint Equations -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from the Perspective of Predicate Logic. .
• Sommario/riassunto: This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com. .