Filters








12 Hits in 9.7 sec

Hyper Static Analysis of Programs – An Abstract Interpretation-Based Framework for Hyperproperties Verification

Michele Pasqua, Isabella Mastroeni
2019 Zenodo  
In: Static Analysis -24 th International Symposium, (SAS 2017) , New York City, USA, August 30 -September 1, 2017, Proceedings, pp. 232-252. : 10.1007/978-3-319-66706-5_12. : https: //doi.org/10.1007  ...  In: 18 th Italian Conference on Theoretical Computer Science (ICTCS 2017) , Naples, Italy, September 26 -28, 2017, Proceedings, pp. 1-12. : http://ceur-ws. org/Vol-1949/ICTCSpaper13.pdf [Mastroeni and  ...  In : Static Analysis, 12th International Symposium, SAS 2005 , London, UK, September 7-9, 2005 , Proceedings, pp. 171-185. Kuratowski, Kazimierz (1967) . "Topology: Volume I".  ... 
doi:10.5281/zenodo.6584085 fatcat:gllzqtqscrgfhbce6cm3lw7gnq

CuttleSys: Data-Driven Resource Management forInteractive Applications on Reconfigurable Multicores [article]

Neeraj Kulkarni, Gonzalo Gonzalez-Pumariega, Amulya Khurana, Christine Shoemaker, Christina Delimitrou, David Albonesi
2020 arXiv   pre-print
New York, NY, USA: ACM, 2015, pp. 19:1–19:8. heterogeneity into a core,” in Proceedings of the 2012 45th Annual [Online].  ...  New York, NY, USA: ACM, 2010, pp. 29–40. [Online].  ... 
arXiv:2008.00329v1 fatcat:ixlacql2srfsldcosl6wpbldua

Report of the Executive Committee for 2018

A. T. Ashcroft
2020 Acta Crystallographica Section A: Foundations and Advances  
Abel Moreno-Cá rcamo (Mexico), Diego Lamas (Argentina) and Miguel Delgado (Venezuela) are part of the International Programme Committee for the Prague 2020 IUCr Congress.  ...  The topics discussed included the almost completed new synchrotron facility in Brazil (Sirius), the project for the Mexican Synchrotron and the impact that scientific organizations such as the IUCr and  ...  Crystallography Course of the International School of Crystallography, Erice, Italy (Conference on the Chemistry of the Organic Solid State (ICCOSS XXIV), New York City, New York, USA (16-21 June 2019  ... 
doi:10.1107/s2053273319009240 pmid:32124863 fatcat:efvygbk7lvcptmtloyfkeeyz7a

Algorithmic Fairness Datasets: the Story so Far [article]

Alessandro Fabris, Stefano Messina, Gianmaria Silvello, Gian Antonio Susto
2022 arXiv   pre-print
In: Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, Association for Computing Machinery, New York, NY, USA, KDD '18, p 2239-2248, DOI 10.1145/3219819.3220046  ...  In: Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, Association for Computing Machinery, New York, NY, USA, KDD '18, p 1734-1743, DOI 10.1145/ 3219819.3220014  ...  -Affiliation of creators: New York University; University of Washington; DeepMind. -Domain: linguistics.  ... 
arXiv:2202.01711v3 fatcat:kd546yklwjhvtkrbhtzgbzb2xm

Keynote Lecturers [chapter]

2016 Challenges and Innovations in Geotechnics  
Proceedings of the international symposium "New Innovations and Sustainability". Fukuoka International Congress Center, 9-13 November, 2015, 184.  ...  Proceedings of Second International Symposium on Geotechnical Engineering for the Preservation of Monuments and Historic Sites, Naples, Italy, 2013. pp. 779-784.  ... 
doi:10.1201/9781315374949-8 fatcat:3y3nrdy64vatdpfayxmvjzowki

Axitinib, cabozantinib, everolimus, nivolumab, sunitinib and best supportive care in previously treated renal cell carcinoma: a systematic review and economic evaluation

Steve J Edwards, Victoria Wakefield, Peter Cain, Charlotta Karner, Kayleigh Kew, Mariana Bacelar, Natalie Masento, Fatima Salih
2018 Health Technology Assessment  
., NY, USA), cabozantinib (Cabometyx®, Ipsen, Slough, UK), everolimus (Afinitor®, Novartis, Basel, Switzerland), nivolumab (Opdivo®, Bristol-Myers Squibb, NY, USA), sunitinib (Sutent®, Pfizer, Inc., NY  ...  SAs were consistent with the primary analyses.  ...  Data sharing statement This is a systematic review and, therefore, the data used for each analysis are present within the report.  ... 
doi:10.3310/hta22060 pmid:29393024 fatcat:ipokgj4gknb7xhpxsnzkddcohy

Algorithmic Fairness Datasets: the Story so Far [article]

Alessandro Fabris, Stefano Messina, Gianmaria Silvello, Gian Antonio Susto
2022
In: Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, Association for Computing Machinery, New York, NY, USA, KDD '18, p 2239-2248, DOI 10.1145/3219819.3220046  ...  In: Friedler SA, Wilson C (eds) Proceedings of the 1st Conference on Fairness, Accountability and Transparency, PMLR, New York, NY, USA, Proceedings of Machine Learning Research, vol 81, pp 119-133, URL  ...  England, New Zealand and Scotland.  ... 
doi:10.48550/arxiv.2202.01711 fatcat:mav36x3w5namjhurzpevtsmsju

Christianity, Islam and Rwandan Traditional Religion: Perspectives on Memory and Reconciliation

Munyansanga Olivier Ndayizeye, Odair Pedroso Mateus, Jean-Claude Basset
2017
We regret our failure to listen and to share in the suffering experienced by our Rwandan friends 959 Altogether: We urge all members of Rwandan society and their friends in the International Community  ...  Kollman, The Evangelization of slaves,Maryknoll, New York, 2005, p.15.  ...  Analysis and Reports, 30 June, 1993, p.3. 252 Ibid, 253 Ibid, p.175. 254 Ibid,p.177. 255 Bernard Lugan quoted Ndiaye, 2008 :1, Ibid, p. 374. 256 History in dialogue on memories of the slave trade  ... 
doi:10.13097/archive-ouverte/unige:144124 fatcat:4rkxunat65hrtnig7md2qzps5y

Towards a New International Law of the Atmosphere?

Peter Sand, Jonathan Wiener
unpublished
September 2014, available at http://www.who.int/ mediacentre/news/statements/2014/ebola-2nd-ihr-meeting/en/ (last visited 1 August 2016). 89 WHO, 'Statement on the 3rd meeting of the IHR Emergency Committee  ...  1 August 2016).  ...  While an in-depth analysis of varieties of VCCs would be highly desirable, it is beyond the scope of this article.  ... 
fatcat:jeqemlxsp5dizdsluzbruo3mdm

H-Workload 2018: 2nd International Symposium on Human Mental Workload: Models and Applications

Luca Longo, Maria Chiara Leva
2018
Annals of the New York Academy of Sciences, 896(1), 30-47 (1999). 31.  ...  "Stress, appraisal and coping", New York : Springer. 30.  ...  One of the pillars of this system is the follow up of a "work standard" designed by the methods engineers [1] .  ... 
doi:10.21427/0gj9-wb95 fatcat:gnuez7nl2fdn3p7dng6nbpagqa

Developing a flood hazard analysis framework in the Cuvelai Basin, Namibia, using a flood model, remote sensing, and GIS [article]

Frans C. Persendt, University Of Canterbury
2017
The flood hazard analysis framework (FHAF) developed for this study consists of two steps: (a) preliminary analysis and (b) hazard estimation.  ...  The preliminary analysis enable the development of a hydro-meteorological (floods and droughts) archive using different data sources as well [...]  ...  New York, NY, USA: Cambridge University Press. Filali-Meknassi, Y., Ouarda, T. B. M. J., & Wilcox, C. (2014).  ... 
doi:10.26021/6617 fatcat:rbf3m4oqnneb5geghhduoce3mi

TITIAN AND THE CULTURE OF MID-CENTURY ROME: THE VENETIAN AMID THE RUINS [article]

(:Unkn) Unknown, University, My, Tracy E. Cooper
2020
York: New York University Press, 1977).  ...  183-5; and Hans Tietze, Titian, the Paintings and Drawings, 2nd ed., vol. 1 (New York: Oxford University Press, 1950) , 159-160.  ... 
doi:10.34944/dspace/1084 fatcat:sqqzmammezbdffrr3oyaevn23q