{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":71,"n_cols":5,"rows_kept":71,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[16,2,16,3],[19,2,19,3],[20,2,20,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[37,2,37,3],[42,2,42,3],[43,2,43,3],[47,2,47,3],[50,2,50,3],[50,4,50,5],[51,2,51,3],[51,4,51,5],[52,2,52,3],[52,4,52,5],[53,2,53,3],[54,2,54,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[59,2,59,3],[60,2,60,3],[65,2,65,3],[66,2,66,3],[68,2,68,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990002852600203316"]
[null,null,"Titolo",null,"Il giudice e l'uso delle sentenze straniere : modalita e tecniche della comparazione giuridica : atti del seminario del 21 ottobre 2005 organizzato per la celebrazione del Cinquantesimo dell'insediamento della Corte Costituzionale / a cura di Guido Alpa"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Giuffrè, copyr. 2006"]
[null,null,"ISBN",null,"88-14-12619-4"]
[null,null,"Descrizione fisica",null,"VIII, 113 p. ; 24 cm"]
[null,null,"Collana",null,"Rassegna forense , Quaderni ; 19"]
[null,null,"Disciplina",null,"347.077"]
[null,null,"Soggetti",null,"Sentenze straniere - Riconoscimento - Congressi - Roma - 2005"]
[null,null,"Collocazione",null,"XXVII.1.C. 89 (IG IX 634)"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996393510803316"]
[null,null,"Titolo",null,"By the King, a proclamation for the preservation of the great level of the fens, called Bedford level, and of the works made for the dreining of the same [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by John Bill and Christopher Barker ..., 1662"]
[null,null,"Descrizione fisica",null,"[3] p"]
[null,null,"Soggetti",null,"Drainage - England"]
[{"$nulls":4},"Fens, The (England)"]
[{"$nulls":4},"Great Britain History Charles II, 1660-1685"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Caption title."]
[{"$nulls":4},"Imprint from colophon."]
[{"$nulls":4},"\"Givien at the court at Hampton Court, the thirtieth day of May, 1662. In the fourteenth year of our reign.\""]
[{"$nulls":4},"Reproduction of original in the Harvard University Library."]
[null,null,null,"Sommario/riassunto","eebo-0062"]
[null,"3.","Record Nr.",null,"UNINA9910298349503321"]
[null,null,"Titolo",null,"Recent Advances in Redox Active Plant and Microbial Products : From Basic Chemistry to Widespread Applications in Medicine and Agriculture / / edited by Claus Jacob, Gilbert Kirsch, Alan Slusarenko, Paul G. Winyard, Torsten Burkholz"]
[null,null,"Pubbl/distr/stampa",null,"Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"94-017-8953-3"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (476 p.)"]
[null,null,"Disciplina",null,"572572"]
[{"$nulls":4},"610"]
[{"$nulls":4},"615.1"]
[{"$nulls":4},"615.19"]
[null,null,"Soggetti",null,"Pharmaceutical technology"]
[{"$nulls":4},"Botanical chemistry"]
[{"$nulls":4},"Pharmacy"]
[{"$nulls":4},"Pharmaceutical Sciences/Technology"]
[{"$nulls":4},"Plant Biochemistry"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Introduction -- Sources of redox active secondary metabolites -- The modern art of identification of natural substances in whole plants (I) -- A word on redox activity -- Oxidative stress, antioxidants, chemoprevention and beneficial roles of pro-oxidants -- The French paradox at Tea time: From flavonoids toward synthetic stilbene-based drugs -- Bio reactivity of resveratrol in relation to inflammatory processes; Norbert Latruffe -- Treasures along the oligomeric road from flavonoids to polyphenols and tannins -- The cellular thiolstat as emerging target of secondary metabolites -- Thiosulfinates, organic polysulfanes and related compounds: From an unusual chemistry toward a wealth of potential applications -- Beyond glutathione:- Different low molecular weight thiols as mediators of redox regulation and other metabolic functions in lower organisms -- Garlic based natural “products”: Turning secondary plant metabolites into a commercial success -- Phytol, a chlorophyll component with anti-inflammatory properties -- Recent advances in molecular genetics of "]
[{"$nulls":4},"furanocoumarin synthesis in higher plants -- Natural products molten together: Towards multifunctional hybrid molecules with specific activities and applications -- Nanotaxis for antioxidants -- Industrial uses of redox active enzymes -- Systemic enzyme therapy – Fact or Fiction -- Conclusions and outlook."]
[null,null,null,"Sommario/riassunto","Nature endows us with a treasure chest of Green Gold full of amazing substances we can use as part of our daily life. Many of these compounds are ‘redox-active’, and hence able to trigger or interfere with numerous biological processes which occur in our own body, in animals, bacteria, fungi and plants. The resulting, often rather astonishing events witnessed once such natural products meet biological systems, are omnipresent. We protect our body from damage with the help of (redox-active) vitamins, use redox-active antioxidants on our skin to look better and younger and even try to slow down the natural ageing process by stimulating sirtuins and meddling with epigenetic processes. We habitually consume functional foods enriched in polyphenols, for instance in form of grape seed flour, use redox-active plant metabolites as medicines and also spray them on our roses in the hope to improve our own life and the ones of our beloved shrubs. Amazingly, whilst such natural products are all around and also in us, we still do not fully understand how these compounds actually work. This book therefore attempts to resolve some of the mysteries and riddles associated with such products. Written by more than thirty international experts from academia and industry, the book places a firm focus on modern, forward-looking developments in this field and considers such natural products from various angles, from their isolation and characterization all along to product development, licensing and commercialization. Throughout, the reader will be confronted with a medley of modern approaches which enable the fast and efficient identification and isolation of new natural products, help to elucidate their biochemical mode(s) of action and form the basis for their practical uses in Medicine, Cosmetics, Agriculture, Industry and as functional foods. Emerging new techniques, such as extraction and purification methods based on supercritical fluids, cutting-edge mass spectrometry for rapid identification, nanocrystals to improve bioavailability, synthetic chemistry to create hybrid molecules and product development to arrive at commercially viable products will be portrayed. Ultimately, the book provides a better understanding of the field of redox-active secondary metabolites and also attempts to stimulate further interest in this amazing, facet-rich and thriving area of multidisciplinary research and product development."]
[null,"4.","Record Nr.",null,"UNINA9910983305103321"]
[null,null,"Autore",null,"Jansen Nils"]
[null,null,"Titolo",null,"Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9783031757785"]
[{"$nulls":4},"9783031757778"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (509 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 15262"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Formal Methods and Machine Learning -- Learning Generalized Stochastic Petri Nets From Event Data -- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages -- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community -- Malwa: Learnability by Design -- Formal Verification Techniques for Vision-based Autonomous Systems – A Survey -- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications -- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet -- L# for DFAs -- Verification Techniques -- The Transformation Game: Joining Forces for Verification -- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing -- Compiling Binary Decision Diagrams with Interrupt-based Downsizing -- Modular criticality analysis for dynamic fault trees -- Timed Systems -- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente -- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts -- Urgency Annotations for Alternating "]
[{"$nulls":4},"Choices -- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks -- Games -- Ten Years of Petri Games -- Compositional Solution of Mean Payoff Games by String Diagrams -- Solving parity games, very slowly -- Academia Give Probabilities a Fair Chance -- Making ETAPS Gold Open Access."]
[null,null,null,"Sommario/riassunto","This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter’s main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, and the North Rhine-Westphalian Academy of Science, Humanities and the Arts; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume."]