References. [1] Xxxxxx, X., et al., 2014. The core design of XXXXXX, a demonstrator for the European lead-cooled reactors. Nucl. Eng. and Des., Vol. 278, 287-301. [2] OECD/NEA, 2014. Technology Roadmap Update for Generation IV Nuclear Energy Systems, xxx.xxx-0.xxx. [3] Xxxxxxxxx, X., et al., 2013. Current progress and future plans of the FREYA Project. Proc. Int. Conf. Technology and Components of Accelerator Driven Systems (TCADS-2), Nantes, France, May 21-23. [4] xxxx://xxxxx.xx/xx/xxxxxxxxxxxxxx/xxxxxxxx-xxxxxxx-xx-0/. [5] Xxxxxxxxx, X., et al., 2016. Spectrum Index and Minor Actinide fission rate measurements in several fast lead critical cores in the zero power VENUS-F reactor. Proc. Int. Conf. Unifying Theory and Experiments in the 00xx Xxxxxxx (XXXXXX 0000), Xxx Xxxxxx, Xxxxx, XXX, May 1-5. [6] Xxxxxxx, M., et al., 2015. LFR mock-up definition. Deliverable D4.1 EURATOM FP7 “FREYA” project (Technical Report FSN-SICNUC-002, ENEA). [7] Xxxxxxxxx, X., et al., 2015. LFR mock-up characterisation, Deliverable D4.2 EURATOM FP7 “FREYA” project. [8] Xxxxxxx, M., et al., 2015. LFR mock-up reactivity effects, Deliverable D4.3 EURATOM FP7 “FREYA” project (Technical Report FSN-SICNUC-003, ENEA). [9] Xxxxxxxx, X., et al., 2002. The ERANOS code and data system for Fast Reactor neutronic analyses. Proc. Int. Conf. New Frontiers of Nuclear Technology: reactor physics, safety and high-performance computing (PHYSOR 2002), Seoul, Korea, October 7-10. [10] Xxxxxxxx, X., 1997. Physics documentation of Eranos: the Ecco cell code. Technical Report DERSPRC-LEPh-97-001, CEA. [11] Xxxxxxx, X.X., et al., 1993. TGV: a coarse mesh 3 dimensional diffusion-transport module for the CCRR/ERANOS code system. Technical Report XXXX-XXXXXXXx- 00-000, CEA. [12] Xxxxxx, X., et al., 2006. The XXXX-3.1 Nuclear Data Library, NEA Data Bank. Technical Report XXXX Report 21, NEA N_6190, OECD. [13] xxxxx://xxx-xxx.xxxx.xxx/xxxxx/xxxx.xxx [14] Xxxxxxxxx, X., et al., 2011. Guinevere project: updated deterministic model by the ERANOS French code. Technical Report UTFISSM-P9US-001, ENEA. [15] Xxxxxxxxxx, M., et al., 2008. Uncertainty and target accuracy assessment for innovative systems using recent covariance data evaluations (International Evaluation Co-operation Volume 26), OECD/NEA WPEC-26 ISBN 978-92-64- 99053-1, Technical Rep. No. 6410, OECD. [16] Xxxxxxx, X.X., et al., 2013. Initial MCNP6 Release Overview - MCNP6 version 1.0. Technical Report LA-UR-13-22934, Los Alamos National Laboratories. [17] Xxxxxxxx...
References. [1] Mart´ın Abadi, Xxxxxxx Xxxxxxx, Xxxxxx Xxxxxxx, and Xxxxxx Xxxxxxx. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 4(15):706–734, 1993. [2] Mart´ın Xxxxx and Xxxxxx X. Xxxxxxx. A logical view of composition. The- oretical Computer Science, 114(1):3–30, 1993. [3] Xxxxxxx Xxxxxxxxxx and Xxxxxxx Xxxxxx. A logic for contracts. Technical Report DISI-09-034, DISI - Universit`a di Trento, 2009. [4] Xxxxx Xxxxxx, Xxxxxx Xxxxxx, and Xxxxxxxxx Xxxxxxxxx. A calculus for long running transactions. In Proc. FMOODS, 2003. [5] Xxxxxxx Xxxxx, Xxxx´an X. Xxxxxxxxx, and Xxx Xxxxxxxxx. Theoretical foundations for compensations in flow composition languages. In Proc. POPL, 2005. [6] Xxxxx Xxxxxx Xxxxxxx and Xxx Xxxxxxxxx. CC-Pi: A constraint-based language for specifying service level agreements. In Proc. ESOP, 2007. [7] Xxxxxxx X. Xxxxxx, X. X. X. Xxxxx, and Xxxxx Xxxxxxxx. A trace xxxxx- tics for long-running transactions. In 25 Years Communicating Sequential Processes, 2004. [8] Xxxxxxx Xxxxxxxxx and Xxxxxx Xxxxxx. A basic contract language for web services. In Proc. ESOP, 2006. [9] Xxxxxxxx Xxxxxxxx, Xxxx Xxxxxxx, and Xxxx Xxxxxxxx. A theory of con- tracts for web services. ACM Transactions on Programming Languages and Systems, 31(5), 2009. [10] Xxxxxxxx Xxxxxxxx and Xxxx Xxxxxxxx. Contracts for mobile processes. In Proc. CONCUR, volume 5710 of Lecture Notes in Computer Science. Springer, 2009. [11] Xxxxx Xxxxxxxx, Xxxxxxxxx Xxxxxxx, Xxxxx Xxxxx, Xxxxxxx X. Xxxxxx, Xxxxx Xxxxxxxx, and Xxxxx Xxxxxxxxx. Extending the concept of transaction com- pensation. IBM Systems Journal, 41(4):743–758, 2002. [12] Xxxxx Xxxxx and Xxxxxxxxxxx Xxxxxx-Xxxxxxxxxxx. Structured communica- tions with concurrent constraints. In Proc. Trustworthy Global Computing (TGC), volume 5474 of Lecture Notes in Computer Science. Springer, 2008. [13] Xxxxxxx Xxxxx, Xxxxxx-Xxxx Xxxx´xxxx, X´xxxxx Xxxxxxx, Xxxxxxxxxxx Bhar- xxxxx, and Xxxxx X. Xxxxxx. A secure compiler for session abstractions. Journal of Computer Security, 16(5):573–636, 2008. [14] Aspassia Daskalopulu and Xxx Xxxxxxx. Towards electronic contract performance. In Proc. 12th International Workshop on Database and Expert Systems Applications, 2001. [15] Xxxxx Xxxxxxx, Xxxxxxx Xxxxx, and I.V. Xxxxxxxxxxxx. CTR-S: A logic for specifying contracts in semantic web services. In Proc. WWW04, 2004. [16] Xxxxx XxXxxxx, Xxxxxx Xxxx, and Xxxxx Xxxxxxxx. An authorization logic with explici...
References. Xx-Xxxxxxx, X.-D., & Xxxxxx, X. (2005). Xxxx Xxx-Xxxxxx, al-Gharar fil ’Uqud wa Atsaruhu fi at-Thatbiqat al-Mu’ashirah, translated by Saptono Budi Satryo and Fauziah, Transaksi xxx Etika Bisnis Islam. Jakarta: Visi Insani Publishing. Anshori, Ab. G. (2009). Lembaga Kenotariatan Indonesia Perspektif Hukum xxx Etika. Yogyakarta: UII Press.A Xxxxxxx, M. S. (2008). Bank Syariah dari Teori ke Praktik. Jakarta: Xxxx Xxxxxx. Xxxx, X. X. (2007). Filsafat Hukum Islam. Solo: Cipta Libra. As-Saa’di, X. xxx X. (2015). Tafsir xx-Xxxxx ar- Xxxxxx fi Tafsir Kalam Xx-xxxxxx. Jakarta: Darul Haq. Xxxxxxx, M. Y. (2012). Hukum Acara Perdata.
References. XXXXXX XXXXXX M. R., XXXXXX X. & XXXXXX X., 1999 - Applicazioni dei principali sistemi tassonomici xxxx’Orto botanico di Napoli e nel Museo di Paleobotanica ed Etnobotanica. Museologia Scientifica, 6 (1): 49-55. XXXXXXX X. X. & XXXXXX X. X., 1992 - Authors of plant names. Royal Botanic Gardens, Kew. XXXXXXXXX X., 1981-An integrated system of classification of flowering plants. Columbia University Press, New York. XXXXXX X. X. & XXXXXXX X. X. , 1996 – Index Kewensis on C.D. Oxford University Press, Oxford. XXXXX X. X. , 1987 - Fundamentals of palaeobotany. Xxxxxxx and Xxxx, London, New York. PIGNATTI S., 1982 - Flora d’Italia, 1-3 Edagricole, Bologna. XXXXX X. X. & al., 1964 – 1980 – Flora Europaea. Cambridge University Press, Cambridge. Gradiremmo ricevere il vostro Index Seminum We should like to receive your Index Seminum Si ringrazia il personale tutto dell’Orto botanico di Napoli per la consulenza e la preziosa collaborazione che ha reso possibile la realizzazione del presente fascicolo. Un ringraziamento particolare è rivolto ai xxxxxxxxxxx xx ai tecnici dell’Orto botanico di Napoli xxx xxxxx contribuito al reperimento e alla raccolta dei semi in campo. Per qualunque informazione relativa alla disponibilità ed alla raccolta dei semi: Dott. ssa Xxxxxxx Xx Xxxxxxx Xxxxxxx e Sig. Xxxxxxx Xxxxxxx Università degli Studi di Napoli Xxxxxxxx XX - Orto Botanico Via Foria, 223 - 00000 XXXXXX - ITALY Tel. +39/81/449759 Fax. +39/81/295351 e - mail xxxxxxxx@xxxxx.xx - Il materiale deve essere usato per il bene comune nelle aree della ricerca, didattica, conservazione e sviluppo degli orti botanici. - Se il richiedente intende commercializzare del materiale genetico o prodotti derivati, deve essere preventivamente autorizzato dall’Orto botanico di Napoli. - Il materiale non può essere ceduto a xxxxx senza autorizzazione da parte dell’Orto botanico di Napoli - Ogni pubblicazione scientifica legata al materiale inviato, deve menzionare l’Orto botanico di Napoli come fornitore. Queste condizioni si intendono accettate all’atto dell’ordinazione dei semi o di altro materiale vegetale. - Material must be used only for the common good in areas of research, education, conservation and development of botanic gardens. - If the recipient seeks to commercialize either the genetic material, its products or research derived from it, then permission must be sought from the Botanic Garden of Naples. - Material must not be passed to third party without permission from the Botanic G...
References. 1. Xxxxxxxxx M, Xxxxxx T, Xxxx Y et al. The severity of ultrasonographic findings in nonalcoholic fatty liver disease reflects the metabolic syn- drome and visceral fat accumulation. Am J Gastroenterol 2007; 102: 2708- 15.
References. 1. Rajendran P, Rengarajan T, Thangavel J, Nishigaki Y, Sakthisekaran D, Sethi G, Nishigaki I. The vascular endothelium and human diseases. Int. J. Biol. Sci. 2013; 9(10): 1057-1069.
References. 4.1 Normative references and national scheme documents
References. 1a. Search Xxxxx n Drug Designations a nd Approva ls. US Department of Health a nd Huma n Services, US Food a nd Drug Administration.
References. [1] X. Xxxxxxxxxx, X. Xx Xxxxxxxxx, X. Xxxxx, “Semimarkov process in social security problems”, in Cahiers du C.E.R.O., 1981. [2] X. Xx Xxxxxxxxx, Xxxxxxx Xxxxxxx, An algorithmic approach to non-homogeneous semi- Markov processes. Insurance: Mathematics and Economics vol.3, 157-165, 1984 [3] X. Xx Xxxxxxxxx, Xxxxx, R., X. Xxxxxxx, “The Dynamics of Pension Funds in a Stochastic Environment”, Scandinavian Actuarial Journal, 1992. [4] X. Xx Xxxxxxxxx, Xxxxx, R., “A Computational Procedure for the Asyntotic Analysis of Homogeneous Semi-Markov Processes”, Statistics & Probability Letters, North Holland, 1984. [5] X. Xx Xxxxxxxxx, Xxxxx, R., “A Computational Procedure for the Asyntotic Analysis of Homogeneous Semi-Markov Processes”, Statistics & Probability Letters, North Holland, 1984. [6] X.X. Xxxx, “Inhomogeneous semi-Markov processes, select actuarial tables, and duration-dependence in demography”, in T.N.E. Xxxxxxxx, Population, Dynamics, Academic Press, 251-296, 1972. [7] X. Xxxxxx, Dynamic probabilistic systems, vol II, Wiley, 1972. [8] X. Xxxxxxxxx Xxxx, “Non homogeneous semi-Markov processes”, Stud. Lere. Mat. vol 24, 529-533, 1972 [9] X. Xxxxxxx e X. Xxxxx, “A Realistic Non-Homogeneous Stochastic pension Fund Model on Scenario Basis”, Scandinavian Actuarial Journal, 2, 113-137, 1997. [10] X. Xxxxxxx, “Application des processus semi-markoviens à un probléme d’invalidité”, [11] X. Xxxxxxx, X. Xxxxx e X. Xx Xxxxxx “Financial operation evaluation: a semi-Markov approach”, Proc. V AFIR Symposium, Brussels 1995. [12] H. Mine and X. Xxxxx, Xxxxxxxxx decision processes, Elsevier, 1970. [13] X. Xxxxxxx e X. Xxxxxxxx, Introduzione alla teoria attuariale delle assicurazioni di persone, Quaderni dell’UMI, 42, Pitagora Editrice, Bologna, 1997. [14] I. Sahin and X. Xxxxxx, “Stochastic models for a pensionable service”, Oper. Res., 27, 888-903, 1979.
References. Xxxxxxx, M., Xxxxxxxx, C., Xxxxx, X. and Xxxx, P., 2012. From tags to emotions: Ontology-driven sentiment analysis in the social se- mantic web. Intelligenza Artificiale 6(1), pp. 41–54. Xxxxxxxx, X. X., Xxxxx, P. and Xxxx, X., 2008. An agree- ment measure for determining inter-annotator reliability of hu- man judgements on affective text. In: proceedings of the work- shop on human Judgements in Computational Linguistics, Asso- ciation for Computational Linguistics, pp. 58–65. Xxxxxx, X., Xxx, B. and Giro-i Xxxxx, X., 2017. From pixels to sentiment: Fine-tuning cnns for visual sentiment prediction. Image and Vision Computing 65, pp. 15–22. Xxxxxx, F., Xx Xxxxx, M., Xxxxx, S., Xxxxxxxx, M., Xxxxx, X., Xxxxxxxxxxx, X., Xxxxxxxxx, A. and Xxxxxxxx, M., 2015. How to describe cultural heritage resources in the web 2.0 era? In: 2015 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), IEEE, pp. 809–815. Xxxxxxxx, X. and Xxxxxx, E., 2015. An integrated framework to assess complex cultural and natural heritage systems with multi-attribute value theory. Journal of Cultural Heritage 16(5), pp. 688–697. Xxxxxxxx, X., 2017. Protecting cultural heritage during armed con- flict: the italian contribution to cultural peacekeeping. Modern Italy 22(1), pp. 1–17. Xx, X., Xxxxx, X., Xxx, S. and Xxx, J., 2016. Deep residual learning for image recognition. In: Proceedings of the IEEE con- xxxxxxx on computer vision and pattern recognition, pp. 770–778. Xxxxxx, X. and Xxxxx, S., 2015. Image sentiment analysis us- ing deep convolutional neural networks with domain specific fine tuning. In: 2015 International Conference on Information Pro- cessing (ICIP), IEEE, pp. 447–451. Xxxxxxxxxx, X., Xxxxxxxxxxx, C., Xxxxxxxx, X., Xxxxxxx, X. and Xxxxxxxxxx, P., 2010. Performance evaluation of automated ap- proaches to building detection in multi-source aerial data. ISPRS Journal of Photogrammetry and Remote Sensing 65(1), pp. 123– 133. Xxxxxxxxxx, X., Xxxxxxxxx, X. and Xxxxxx, X. X., 2012. Imagenet classification with deep convolutional neural networks. pp. 1106– 1114. Xxxxxx, X., M Lerones, P., Xxxxxx, R., Xxxxxx, E. and Go´mez- Garc´ıa-Xxxxxxx, J., 2017. Classification of architectural heritage images using deep learning techniques. Applied Sciences 7(10), pp. 992. Xxxx, P., de Xxxxxx, M., Xxxxxxxx, G., Xxxxx, X., Xxxxxxxx, F. and Xxx, M., 2009. A semantic content-based recommender system integrating folksonomies for personalized access. In: Web Person...