LEADER 01278cam a2200265 i 4500 001 991003085129707536 008 071204s2005 it b 10 ita d 035 $ab13627065-39ule_inst 040 $aBiblioteca interfacoltà$bita 082 04$a330.09221 245 00$aFranco Modigliani tra teoria economica e impegno sociale :$batti del convegno internazionale organizzato dall'Accademia Nazionale dei Lincei, Roma, 17-18 febbraio 2005 /$ccomitato ordinatore: Pierluigi Ciocca ... [et al.]. 260 $aRoma :$bBNL,$c2005 300 $a281 p. ;$c25 cm 440 0$aMoneta e credito ;$v58, 230/231 504 $aCon bibliografia. 600 14$aModigliani, Franco$vCongressi 700 1 $aCiocca, Pierluigi$eauthor$4http://id.loc.gov/vocabulary/relators/aut$083962 710 2 $aAccademia Nazionale dei Lincei 711 22$aConvegno internazionale Franco Modigliani tra teoria economica e impegno sociale$d<2005 ;$cRoma> 907 $a.b13627065$b02-04-14$c04-12-07 912 $a991003085129707536 945 $aLE002 330.09 FRA$g1$i2002000898067$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15464350$z30-11-12 996 $aFranco Modigliani tra teoria economica e impegno sociale$91463706 997 $aUNISALENTO 998 $ale002$b04-12-07$cm$da $e-$fita$git $h0$i0 LEADER 02744nam 2200589 450 001 9910788846403321 005 20180613001302.0 010 $a1-4704-0338-2 035 $a(CKB)3360000000464929 035 $a(EBL)3114571 035 $a(SSID)ssj0000910363 035 $a(PQKBManifestationID)11500543 035 $a(PQKBTitleCode)TC0000910363 035 $a(PQKBWorkID)10941325 035 $a(PQKB)10064247 035 $a(MiAaPQ)EBC3114571 035 $a(RPAM)12648098 035 $a(PPN)195416317 035 $a(EXLCZ)993360000000464929 100 $a20020117d2002 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aApproximation and entropy numbers of Volterra operators with application to Brownian motion /$fMikhail A. Lifshits, Werner Linde 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d2002. 215 $a1 online resource (103 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vnumber 745 300 $a"Volume 157, number 745 (first of 5 numbers)." 311 $a0-8218-2791-X 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Main Results""; ""Chapter 3. Scale Transformations""; ""3.1. Increasing Transformations ""; ""3.2. Decreasing Transformations ""; ""3.3. Examples ""; ""3.4. Transformations and Norms ""; ""Chapter 4. Upper Estimates for Entropy Numbers""; ""4.1. A General Bound Based on Partitions""; ""4.2. Proof of Theorem 2.2 (1)""; ""4.3. Proof of Parts (2) and (3) in Theorem 2.2""; ""4.4. Entropy Estimates for T[sub(p,I??)]""; ""4.5. Proof of Theorem 2.3""; ""4.6. Upper Bounds for Forward Integration Operators""; ""4.7. Proof of Theorem 4.9"" 327 $a""7.1. Gaussian Processes and Metric Entropy""""7.2. Weighted Wiener Processes""; ""7.3. Small Ball Estimates for Wiener Processes""; ""7.4. Exact Small Ball Estimates""; ""Appendix""; ""Bibliography"" 410 0$aMemoirs of the American Mathematical Society ;$vno. 745. 606 $aVolterra operators 606 $aEntropy (Information theory) 606 $aBrownian motion processes 615 0$aVolterra operators. 615 0$aEntropy (Information theory) 615 0$aBrownian motion processes. 676 $a510 s 676 $a515/.723 700 $aLifshit?s$b M. A$g(Mikhail Anatol?evich),$f1956-$062305 702 $aLinde$b Werner$f1947- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788846403321 996 $aApproximation and entropy numbers of Volterra operators with application to Brownian motion$93837792 997 $aUNINA LEADER 04241nam 22008295 450 001 9910485038503321 005 20251226195434.0 010 $a3-540-68103-5 024 7 $a10.1007/978-3-540-68103-8 035 $a(CKB)1000000000440589 035 $a(SSID)ssj0000320543 035 $a(PQKBManifestationID)11235229 035 $a(PQKBTitleCode)TC0000320543 035 $a(PQKBWorkID)10248082 035 $a(PQKB)11182294 035 $a(DE-He213)978-3-540-68103-8 035 $a(MiAaPQ)EBC3068652 035 $a(PPN)127048030 035 $a(EXLCZ)991000000000440589 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTypes for Proofs and Programs $eInternational Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /$fedited by Marino Miculan, Ivan Scagnetto, Furio Honsell 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (VII, 203 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4941 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-68084-5 320 $aIncludes bibliographical references and index. 327 $aAlgorithmic Equality in Heyting Arithmetic Modulo -- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist Foundation -- A Declarative Language for the Coq Proof Assistant -- Characterising Strongly Normalising Intuitionistic Sequent Terms -- Intuitionistic vs. Classical Tautologies, Quantitative Comparison -- In the Search of a Naive Type Theory -- Verification of the Redecoration Algorithm for Triangular Matrices -- A Logic for Parametric Polymorphism with Effects -- Working with Mathematical Structures in Type Theory -- On Normalization by Evaluation for Object Calculi -- Attributive Types for Proof Erasure. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4941 606 $aSoftware engineering 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aComputer science$xMathematics 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aSymbolic and Algebraic Manipulation 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs) 615 0$aComputer science$xMathematics. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 676 $a005.13/1 686 $a54.52$2bcl 701 $aMiculan$b Marino$01762555 701 $aScagnetto$b Ivan$0502484 701 $aHonsell$b Furio$0626692 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485038503321 996 $aTypes for proofs and programs$94202563 997 $aUNINA