00994nam0-22003491i-450-9900013323804033210-540-54793-2000133238FED01000133238(Aleph)000133238FED0100013323820000920d1994----km-y0itay50------baengDifferential models of hysteresisAugusto Visintin.BerlinSpringer-Verlagc1994.xii, 407 p.ill.24 cmApplied mathematical sciences111Equazioni e sistemi paraboliciOperatori non lineariIsteresiModelli matematici515.353Visintin,Augusto<1952- >27706ITUNINARICAUNIMARCBK990001332380403321C-33-(11113475MA1MA135K6047H15Differential models of hysteresis83419UNINAING0101181nam0 22002891i 450 SUN003761220060515120000.088-7038-055-620050704d1983 |0engc50 baengIT|||| |||||Italian still life paintings from three centuries[testo introduttivo di] John T. SpikeFlorence : Centro Di1983141 p. : ill. ; 29 cmCatalogo della Mostra tenuta a New York, Tulsa e Dayton nel 1983FirenzeSUNL00001475821Spike, John T.SUNV026298Centro DiSUNV000621650Spike, J. T.Spike, John T.SUNV065713ITSOL20181109RICASUN0037612UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07 CONS Cb New York 1983 07 14377 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALIIT-CE010314377CONS Cb New York 1983caItalian still life paintings from three centuries848055UNICAMPANIA01118nam2-2200397---450-99000343332020331620100804091512.03-423-05945-1000343332USA01000343332(ALEPH)000343332USA0100034333220100804d1984----km-y0itay50------bagerDE||||||||001yy<<V. 12.>> : L-MythischJacob Grimm und Wilhelm Grimmbearbeitet von Moriz HeyneMünchenDeutscher Taschenbuch Verlag1984VIII, 2848 col.24 cmdtvRipr. facs. del Bd. 6 dell'ed.: Leipzig : Hirzel, 18852001dtv20010010003433172001Lingua tedescaDizionari433.51GRIMM,Jakob19471HEYNE,MorizITsalbcISBD990003433320203316I.0.A.36/121088/12 DSLLBKDSLLDSLL9020100804USA010915L-Mythisch1110063UNISA01192nam0 22003011i 450 VAN001337520061013120000.088-13-19887-6IT98 288020030403d1997 |0itac50 baitaIT|||| |||||Fictio iurisricerche sulla finzione in diritto romano dal periodo arcaico all'epoca augusteaErnesto BianchiPadovaCEDAM1997X, 516 p.24 cm.001VAN00109712001 Pubblicazioni della Università di Pavia. Studi nelle scienze giuridiche e sociali. N.S210 PadovaCEDAM.82Fictiones jurisVANC007094FIPadovaVANL000007347.370721BianchiErnestoVANV009837240687CEDAM <editore>VANV111515650ITSOL20230616RICABIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZAIT-CE0105VAN00VAN0013375BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XVIII.Ed.28 00 16611 20030403 Fictio iuris659885UNICAMPANIA04253nam 22006735 450 991030025330332120250408140815.04-431-55339-810.1007/978-4-431-55339-7(CKB)3710000000571766(EBL)4332308(SSID)ssj0001607022(PQKBManifestationID)16317735(PQKBTitleCode)TC0001607022(PQKBWorkID)14896924(PQKB)10653149(DE-He213)978-4-431-55339-7(MiAaPQ)EBC4332308(PPN)19170105X(EXLCZ)99371000000057176620160108d2015 u| 0engur|n|---|||||txtccrModern Methodology and Applications in Spatial-Temporal Modeling /edited by Gareth William Peters, Tomoko Matsui1st ed. 2015.Tokyo :Springer Japan :Imprint: Springer,2015.1 online resource (123 p.)JSS Research Series in Statistics,2364-0065Description based upon print version of record.4-431-55338-X Includes bibliographical references at the end of each chapters.1 Nonparametric Bayesian Inference with Kernel Mean Embedding (Kenji Fukumizu) -- 2 How to Utilise Sensor Network Data to Efficiently Perform Model Calibration and Spatial Field Reconstruction (Gareth W. Peters, Ido Nevat and Tomoko Matsui) -- 3 Speech and Music Emotion Recognition using Gaussian Processes (Konstantin Markov and Tomoko Matsui) -- 4 Topic Modeling for Speech and Language Processing (Jen-Tzung Chien).This book provides a modern introductory tutorial on specialized methodological and applied aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter deals with non-parametric Bayesian inference via a recently developed framework known as kernel mean embedding which has had a significant influence in machine learning disciplines. The second chapter takes up non-parametric statistical methods for spatial field reconstruction and exceedance probability estimation based on Gaussian process-based models in the context of wireless sensor network data. The third chapter presents signal-processing methods applied to acoustic mood analysis based on music signal analysis. The fourth chapter covers models that are applicable to time series modeling in the domain of speech and language processing. This includes aspects of factor analysis, independent component analysis in an unsupervised learning setting. The chapter moves on to include more advanced topics on generalized latent variable topic models based on hierarchical Dirichlet processes which recently have been developed in non-parametric Bayesian literature. The final chapter discusses aspects of dependence modeling, primarily focusing on the role of extreme tail-dependence modeling, copulas, and their role in wireless communications system models.JSS Research Series in Statistics,2364-0065StatisticsMathematical statisticsData processingStatisticsStatistical Theory and MethodsStatistics and ComputingStatistics in Engineering, Physics, Computer Science, Chemistry and Earth SciencesStatistics.Mathematical statisticsData processing.Statistics.Statistical Theory and Methods.Statistics and Computing.Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences.519.536Peters Gareth Williamedthttp://id.loc.gov/vocabulary/relators/edtMatsui Tomokoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910300253303321Modern methodology and applications in spatial-temporal modeling1522873UNINA05466nam 22008415 450 991048399210332120251226203344.01-280-38724-697866135651673-642-13688-510.1007/978-3-642-13688-7(CKB)2670000000028982(SSID)ssj0000446831(PQKBManifestationID)11267878(PQKBTitleCode)TC0000446831(PQKBWorkID)10504473(PQKB)11254757(DE-He213)978-3-642-13688-7(MiAaPQ)EBC3065437(PPN)149063962(EXLCZ)99267000000002898220100629d2010 u| 0engurnn|008mamaatxtccrTheory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /edited by Laurence Tratt, Martin Gogolla1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 278 p. 95 illus.) Programming and Software Engineering,2945-9168 ;6142Bibliographic Level Mode of Issuance: Monograph3-642-13687-7 Includes bibliographical references.Invited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators.Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at one point, not long ago, it was said by many ‘in the know’ that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.Programming and Software Engineering,2945-9168 ;6142Software engineeringComputer scienceCompilers (Computer programs)Computer networksComputer programmingMachine theorySoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersComputer Communication NetworksProgramming TechniquesFormal Languages and Automata TheorySoftware engineering.Computer science.Compilers (Computer programs)Computer networks.Computer programming.Machine theory.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Computer Communication Networks.Programming Techniques.Formal Languages and Automata Theory.005.10285Gogolla Martin753673Tratt Laurence1751881ICMT 2010MiAaPQMiAaPQMiAaPQBOOK9910483992103321Theory and practice of model transformations4187023UNINA