503 Hits in 4.5 sec

SAT Competition 2018

Marijn J. H. Heule, Matti Järvisalo, Martin Suda, Martina Seidl, Luca Pulina
2019 Journal on Satisfiability, Boolean Modeling and Computation  
This article provides an overview of the 2018 edition of the SAT Competitions, including the competition tracks and rules, benchmark submission and selection, and the results of the competition focusing  ...  The SAT Competition series, which started in 2002, is arguably one of the central driving forces of SAT solver development and its benchmark suites have been used in evaluations of hundreds of research  ...  Acknowledgments We would like to thank everyone who contributed to SAT Competition 2018 by submitting solvers or benchmarks.  ... 
doi:10.3233/sat190120 fatcat:gfhil5kbqvczvne65ind2wg3ee

Parameters Winter 2017 – 2018

2017 Parameters  
(Washington, DC: DoD, 2018).  ...  TOC Clausewitz: On War in the 21st Century By Christopher Coker Reviewed by Dale C.  ...  Military Periodicals, US Government Periodicals Index, LexisNexis Government Periodicals Index, Worldwide Political Science Abstracts, Lancaster Index to Defence & International Security Literature (UK  ... 
doi:10.55540/0031-1723.3098 fatcat:foyveirvcvgi5av3cqnlm44vju

Socialist Studies - Fall 2018 - Complete Issue

Sean Cain
2018 Socialist Studies/Études Socialistes  
Socialist Studies - Fall 2018 - Complete Issue  ...  Darrin MacMahon and Samuel Moyn (Oxford: Oxford University Press, 2014). 31 For example, see Kris Manjapra, M.N.  ...  Oxford: Oxford University Press rights of the mother tongue. 6 This particular strand of Punjabi language politics lived a short life, as the Punjabi elite soon abandoned its fears of being sidelined by  ... 
doi:10.18740/ss27272 fatcat:kbpqosxqmjgdrluoobpq7wyi34

A Point Prevalence Survey of Antibiotic Resistance in the Irish Environment, 2018–2019

Brigid Hooban, Kelly Fitzhenry, Niamh Cahill, Aoife Joyce, Louise O' Connor, James E. Bray, Sylvain Brisse, Virginie Passet, Raza Abbas Syed, Martin Cormican, Dearbháile Morris
2021 Environment International  
Sequencing was carried out using the Illumina NovaSeq 6000 platform in Oxford Genomics Centre.  ...  28th Nov 2018 >250 mL Septic tank 664 beds N/A Hospital B2 20th Feb 2019 112 mL Septic tank 664 beds N/A Hospital C 21st Jan 2019 Galway county 2 hospital sewage samples 116 mL  ... 
doi:10.1016/j.envint.2021.106466 pmid:33706038 fatcat:2ojc3huo6bdijhoq2vd3nilnfi

Sustainability and Indicators of Newly Formed World-Class Universities (NFWCUs) between 2010 and 2018: Empirical Analysis from the Rankings of ARWU, QSWUR and THEWUR

Zhimin Liu, Goodluck Jacob Moshi, Cynthia Mwonya Awuor
2019 Sustainability  
By systematic comparison, the US and UK continued to dominate the stability of NFWCUs in 2010 and 2018.  ...  In the 21st century, sustainability and indicators of world-class universities have come within the scope of an academic cottage industry.  ...  Oxford and Cambridge Universities in the UK and Harvard University in the US demonstrate a long history of superior performance.  ... 
doi:10.3390/su11102745 fatcat:zs72zaz7pbddvbyi3vwgudwtdm

TEM issue 206 Cover and Back matter

1998 Tempo  
U.S. address: 24 East 21st Street.  ...  This May his wind quintet Vie Laughing Lotus was performed at the Oxford Festival of Contemporary Music. He is working on his Second Symphony, Tlie Five Seasom.  ... 
doi:10.1017/s0040298200006653 fatcat:3353c35zbvgpvbxn4o6hapqlyy

Seguridad metropolitana mediante el uso coordinado de Drones

Jairo Eduardo Márquez Díaz
2018 Ingenierías USBMed  
Watchkeeper (U-TacS) Peter W Singer (2009) Wired for War: The Robotics Revolution and Conflict in the 21st Century, Penguin:USA Dave Webb, Loring Wirbel and Bill Sulzman (2010) 'From Space, No One  ...  The UK and Drones The UK currently has three drones in service in Afghanistan and several drones in development (for details see Table 2 ).  ...  It was cool and there was good weather. after five minutes I told my son I will just sit in the sun and went to the other end of the roof and sat down. suddenly there was a powerful explosion.  ... 
doi:10.21500/20275846.3299 fatcat:ecakfpy6pvagddcoo5c2y2iyqy

Going to College for History, Linguistics, Ancient Languages, Egyptology or Politics? Without Research from Legesse Allyn You Won't Be Learning the Latest Facts

Legesse Allyn
2018 Arts and Social Scienses Journal  
In the UK there are 1.4 million freelancers, an increase of 14% in the past decade.  ...  Citation: Allyn L (2018) Going to College for History, Linguistics, Ancient Languages, Egyptology or Politics?  ... 
doi:10.4172/2151-6200.1000399 fatcat:fwbwr7ogqva3dkf5qo54f64diu

The Judiciary within the State: Governance and Cohesion of the Judiciary

Lord Thomas of Cwmgiedd
2018 Israel Law Review  
is evident in most states and not just the UK.  ...  Dictionary of National Biography (Oxford University Press 2004). 11 Robert Stevens, The Independence of the Judiciary (Oxford University Press 1993) 98. 12 He was appointed a Law Lord directly from the  ... 
doi:10.1017/s0021223717000243 fatcat:y4enttjrv5cylb43ohihp6zqxq

Marketization of Higher Education: Ethical and Societal Dilemmas [chapter]

Frederick A. Ricci
2018 Encyclopedia of Business and Professional Ethics  
; Gorski, 2018) .  ...  Education Statistical Agency, 2018) .  ... 
doi:10.1007/978-3-319-23514-1_84-1 fatcat:6ybt5miun5dqrm7wpmf5mcua2u


2018 Turkish Studies  
1938 as a daughter of a wealthy family, Caryl Churchill is one of the most important feminist playwrights in the British Theatre during the last quarter of the 20th century and the first years of the 21st  ...  The play was performed countless times outside the UK and USA, succeeding in attracting spectators' attention from the first day.  ...  Churchill started to write plays in 1959 while she was a student at Oxford University. Caryl, who married after graduating from university, has brought three children to the world.  ... 
doi:10.7827/turkishstudies.14191 fatcat:4utdnaks7rfctp6naqyi5w5ra4

We demand work! 'Dispossession', patronage and village labour in Bibiyana, Bangladesh

Katy Gardner
2018 Journal of Peasant Studies  
developments (2012, Pluto) and, with David Lewes, Anthropology and development: 21st century challenges (Pluto, 2015).  ...  Drafts of earlier versions of this paper were shared with the LSE Anthropology Department Friday Morning Seminar in July 2014 and the South Asia seminar at Oxford in October 2016.  ...  Another was so upset that he sat mute and morose through a group discussion with his neighbours and relatives in Burnley.  ... 
doi:10.1080/03066150.2018.1442326 fatcat:p3xht7otnbbl5izdbs44lqmzv4

Constructions of self: ethical overtones in surprising locations [chapter]

2018 The Self in Health and Illness  
Oxford University Press, Oxford. 1995 Campbell A. Health as Liberation. Pilgrim Press, Cleveland, Ohio.  ...  Aging and Society. 19: 629-44. 8 Boult C, Altman M, Gilbertson D et al (1996) Decreasing disability in the 21st century.  ... 
doi:10.1201/9781315378831-8 fatcat:23vkezaslbb37kyelf2i2smiee

Africa's Space Technology Investment and Socio-Economic Returns: The Case of Nigeria

Emmanuel O. Okon
2018 International Journal of Business and Management Future  
Figure 1 :Figure 2 : 12 NigeriaSat-1, UK-DMC-1 and BILSAT 1 flight ready.  ...  Ghana plans to launch its first satellite in 2018.  ... 
doi:10.46281/ijbmf.v2i1.114 fatcat:kukr2yvh5nfjxcjnw3lgcbmai4

'The Elephant in the Room' and Other Tales of Medieval Archaeology [chapter]

Roberta Gilchrist, Andrew Reynolds
2018 Reflections: 50 Years of Medieval Archaeology, 1957–2007  
and burial archaeology also feature prominently in the recent development of medieval archaeology in southern Europe, as does 'the archaeology of architecture' (termed 'buildings archaeology' in the UK  ...  We are more troubled in the 21st century by factors resulting from the professionalization of archaeology -tensions between commercial units and universities, the competing pressures of development and  ... 
doi:10.4324/9781315089034-1 fatcat:4ead35jz6vcmvptlgjlo24n5we
« Previous Showing results 1 — 15 out of 503 results