Search results for "botswana"

Hits ?▲	Authors	Title	Venue	Year	Link
23	Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub	Proving uniformity and independence by self-composition and coupling.	LPAR	2017	DBLP DOI BibTeX RDF
23	Agata Ciabattoni, Revantha Ramanayake	Bunched Hypersequent Calculi for Distributive Substructural Logics.	LPAR	2017	DBLP DOI BibTeX RDF
23	Tobias Gleißner, Alexander Steen, Christoph Benzmüller	Theorem Provers For Every Normal Modal Logic.	LPAR	2017	DBLP DOI BibTeX RDF
23	Dmitry Mordvinov, Grigory Fedyukovich	Synchronizing Constrained Horn Clauses.	LPAR	2017	DBLP DOI BibTeX RDF
23	Thibault Gauthier, Cezary Kaliszyk, Josef Urban	TacticToe: Learning to Reason with HOL4 Tactics.	LPAR	2017	DBLP DOI BibTeX RDF
23	Tobias Philipp, Adrián Rebola-Pardo	Towards a Semantics of Unsatisfiability Proofs with Inprocessing.	LPAR	2017	DBLP DOI BibTeX RDF
23	Hira Taqdees Syeda, Gerwin Klein	Reasoning about Translation Lookaside Buffers.	LPAR	2017	DBLP DOI BibTeX RDF
23	Josef Lindsberger, Alexander Maringele, Georg Moser	Quantified Boolean Formulas: Call the Plumber!	LPAR	2017	DBLP DOI BibTeX RDF
23	Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux	Automated analysis of Stateflow models.	LPAR	2017	DBLP DOI BibTeX RDF
23	Matthias Baaz, Norbert Preining	Gödel logics and the fully boxed fragment of LTL.	LPAR	2017	DBLP DOI BibTeX RDF
23	Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere	Blocked Clauses in First-Order Logic.	LPAR	2017	DBLP DOI BibTeX RDF
23	Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf	Quantified Heap Invariants for Object-Oriented Programs.	LPAR	2017	DBLP DOI BibTeX RDF
23	Florian Frohn, Jürgen Giesl	Analyzing Runtime Complexity via Innermost Runtime Complexity.	LPAR	2017	DBLP DOI BibTeX RDF
23	Björn Lellmann, Carlos Olarte, Elaine Pimentel	A uniform framework for substructural logics with modalities.	LPAR	2017	DBLP DOI BibTeX RDF
23	Luís Cruz-Filipe, Peter Schneider-Kamp	Formally Proving the Boolean Pythagorean Triples Conjecture.	LPAR	2017	DBLP DOI BibTeX RDF
23	Jeffrey Fischer, Rupak Majumdar	Programming by Composing Filters.	LPAR	2017	DBLP DOI BibTeX RDF
23	Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell	Propagators and Solvers for the Algebra of Modular Systems.	LPAR	2017	DBLP DOI BibTeX RDF
23	Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk	Deep Network Guided Proof Search.	LPAR	2017	DBLP DOI BibTeX RDF
23	Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek	Seminator: A Tool for Semi-Determinization of Omega-Automata.	LPAR	2017	DBLP DOI BibTeX RDF
23	Dimas Melo Filho, Fred Freitas, Jens Otten	RACCOON: A Connection Reasoner for the Description Logic ALC.	LPAR	2017	DBLP DOI BibTeX RDF
23	Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi	From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.	LPAR	2017	DBLP DOI BibTeX RDF
23	Rachid Echahed, Aude Maignan	Parallel Graph Rewriting with Overlapping Rules.	LPAR	2017	DBLP DOI BibTeX RDF
23	Jean-Pierre Jouannaud, Pierre-Yves Strub	Coq without Type Casts: A Complete Proof of Coq Modulo Theory.	LPAR	2017	DBLP DOI BibTeX RDF
23	Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	A One-Pass Tree-Shaped Tableau for LTL+Past.	LPAR	2017	DBLP DOI BibTeX RDF
23	Ozan Kahramanogullari	Deep Proof Search in MELL.	LPAR	2017	DBLP DOI BibTeX RDF
23	Laura Kovács, Andrei Voronkov	First-Order Interpolation and Interpolating Proof Systems.	LPAR	2017	DBLP DOI BibTeX RDF
23	Nicholas Hollingum, Bernhard Scholz	Cauliflower: a Solver Generator for Context-Free Language Reachability.	LPAR	2017	DBLP DOI BibTeX RDF
23	Jeri J. Burke, Narcisa G. Pricope, James Blum	Thermal Imagery-Derived Surface Inundation Modeling to Assess Flood Risk in a Flood-Pulsed Savannah Watershed in Botswana and Namibia.	Remote. Sens.	2016	DBLP DOI BibTeX RDF
23	Hannah Victoria Herrero, Jane Southworth, Erin Bunting	Utilizing Multiple Lines of Evidence to Determine Landscape Degradation within Protected Area Landscapes: A Case Study of Chobe National Park, Botswana from 1982 to 2011.	Remote. Sens.	2016	DBLP DOI BibTeX RDF
23	Martha A. Tesfalul, Ryan Littman-Quinn, Cynthia Antwi, Siphiwo Ndlovu, Didintle Motsepe, Motsholathebe Phuthego, Boitumelo Tau, Neo Mohutsiwa-Dibe, Carrie L. Kovarik	Evaluating the potential impact of a mobile telemedicine system on coordination of specialty care for patients with complicated oral lesions in Botswana.	J. Am. Medical Informatics Assoc.	2016	DBLP DOI BibTeX RDF
23	Elizabeth Park, Tiny Masupe, Joseph Joseph, Ari Ho-Foster, Afton Chavez, Swetha Jammalamadugu, Andrew J. Marek, Ruth Arumala, Dineo Ketshogileng, Ryan Littman-Quinn, Carrie L. Kovarik	Information needs of Botswana health care workers and perceptions of wikipedia.	Int. J. Medical Informatics	2016	DBLP DOI BibTeX RDF
23	Rachel E. Witt, Masego B. Kebaetse, John H. Holmes, Ryan Littman-Quinn, Dineo Ketshogileng, Cynthia Antwi, Carrie L. Kovarik, Oathokwa Nkomazana	The role of tablets in accessing information throughout undergraduate medical education in Botswana.	Int. J. Medical Informatics	2016	DBLP DOI BibTeX RDF
23	Madeleine C. Fombad	Knowledge management in law firms in Botswana: Some lessons for small law firms.	J. Libr. Inf. Sci.	2016	DBLP DOI BibTeX RDF
23	Paul Thabano Tapela Nleya	Transformative Applications of ICT in Education: The Case of Botswana Expansive School Transformation (Best) Project.	WITFOR	2016	DBLP DOI BibTeX RDF
23	Edwin Thuma, Nkwebi Peace Motlogelwa, Tebo Leburu-Dingalo	Task 3: Patient-Centered Information Retrieval, IRTask 1: ad-hoc search - TEAM ub-botswana.	CLEF (Working Notes)	2016	DBLP BibTeX RDF
23	Joel M. Magogwe, Beauty Ntereke, Keith R. Phetlhe	Facebook and classroom group work: A trial study involving University of Botswana Advanced Oral Presentation students.	Br. J. Educ. Technol.	2015	DBLP DOI BibTeX RDF
23	Lydia Maketo, Chitra Balakrishna	Is Rural Botswana Stuck to the "Chalkboard Only" Era while Others Make Strides in Mobile Learning?	NGMAST	2015	DBLP DOI BibTeX RDF
23	William O. Lesitaokana	Key issues in the development of mobile telephony in Botswana (1998-2011): An empirical investigation.	New Media Soc.	2014	DBLP DOI BibTeX RDF
23	Nicole Bohme Carnegie, Rui Wang, Vladimir A. Novitsky, Victor De Gruttola	Linkage of Viral Sequences among HIV-Infected Village Residents in Botswana: Estimation of Linkage Rates in the Presence of Missing Data.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
23	Suresh Shanmugasundaram, Divyapreya Chidambaram	Volunteer hive computing and virtualization in Botswana's web based edification techniques.	DICTAP	2014	DBLP DOI BibTeX RDF
23	Yirsaw Ayalew, Kris Motlhala	Software Process Practices in Small Software Companies in Botswana.	ICCSA (Workshops/Short Papers/Posters)	2014	DBLP DOI BibTeX RDF
23	Somya Joshi, Kheira Belkacem, Vasilis Koulolias, Vassiliki Zalavra	Inclusive Innovation In Governance: Critical Reflections From Botswana.	UKAIS	2014	DBLP BibTeX RDF
23	Bojelo Esther Mooketsi	Optimisation of Livestock Identification and Trace-back System LITS Database to meet Local Needs: Case Study of Botswana.	J. Community Informatics	2013	DBLP DOI BibTeX RDF
23	Helen Sharp, Nicole Lotz, Richard Blyth, Mark R. Woodroffe, Dino Rajah, Ranganai Turugare	A protocol study of novice interaction design behaviour in Botswana: solution-driven interaction design.	BCS HCI	2013	DBLP BibTeX RDF
23	Martha A. Tesfalul, Ryan Littman-Quinn, Cynthia Antwi, Siphiwo Ndlovu, Didintle Motsepe, Motsholathebe Phuthego, Boitumelo Tau, Neo Mohutsiwa-Dibe, Carrie L. Kovarik	Evaluating the Impact of a Mobile Oral Telemedicine System on Medical Management and Clinical Outcomes of Patients with Complicated Oral Lesions in Botswana.	MedInfo	2013	DBLP DOI BibTeX RDF
23	Ryan Littman-Quinn, Anthony A. Luberti, Carrie L. Kovarik	mHealth to Revolutionize Information Retrieval in Low and Middle Income Countries: Introduction and Proposed Solutions Using Botswana as Reference Point.	MedInfo	2013	DBLP DOI BibTeX RDF
23	Stephen Mudogo Mutula	Library automation in sub Saharan Africa: case study of the University of Botswana.	Program	2012	DBLP DOI BibTeX RDF
23	Aileen Y. Chang, Ryan Littman-Quinn, Dineo Ketshogileng, Amit Chandra 0001, Taatske Rijken, Sankalpo Ghose, Andrea Kyer, Anne K. Seymour, Carrie L. Kovarik	Smartphone-Based Mobile Learning with Physician Trainees in Botswana.	Int. J. Mob. Blended Learn.	2012	DBLP DOI BibTeX RDF
23	Jennifer A. Miller	Using Spatially Explicit Simulated Data to Analyze Animal Interactions: A Case Study with Brown Hyenas in Northern Botswana.	Trans. GIS	2012	DBLP DOI BibTeX RDF
23	Tshepo Batane, Ritva Engeström, Kai Hakkarainen, Denise Newnham, Paul Nleya, Jaakko Virkkunen	Dilemmas of Promoting Expansive Educational Transformation through Information and Communication Technologies (ICTs) in Botswana.	ICLS	2012	DBLP BibTeX RDF
23	Kelvin Joseph Bwalya, Tanya Du Plessis, Chris Rensleigh	Multi-Dimensional Factors Impacting on E-Government Adoption in Botswana, Mozambique and Malawi.	Int. J. E Adopt.	2011	DBLP DOI BibTeX RDF
23	Tiroyamodimo M. Mogotlhwane, Mohammad Talib, Malebogo Mokwena	Role of ICT in Reduction of Poverty in Developing Countries: Botswana as an Evidence in SADC Region.	DICTAP (2)	2011	DBLP DOI BibTeX RDF
23	Faith-Michael E. Uzoka, Klodwig V. Mgaya, Alice P. Shemi, Ernest G. Kitindi, Boluwaji A. Akinnuwesi	Stay or quit: IT personnel turnover in botswana.	CPR	2011	DBLP DOI BibTeX RDF
23	Arthur Tatnall, Omponye Coach Kereteletswe, Adrie J. Visscher (eds.)	Information Technology and Managing Quality Education - 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers	ITEM	2011	DBLP DOI BibTeX RDF
23	Taro Yajima, Kewame R. Gwandu, Martin A. Sigweni	Mapping mafic and ultramafic units using remote sensing data in north east Botswana.	IGARSS	2011	DBLP DOI BibTeX RDF
23	Adeyinka Tella, Stephen M. Mutula, Athulang Mutshewa, Angelina Totolo	An Evaluation of WebCT Course Content Management System at the University of Botswana.	Int. J. E Adopt.	2010	DBLP DOI BibTeX RDF
23	Bwalya Kelvin Joseph	Towards a Knowledge-Based Economy - the Case of Botswana A Discussion Article.	Int. J. Sociotechnology Knowl. Dev.	2010	DBLP DOI BibTeX RDF
23	Stephen Mutula, Tumelo Kalaote	Open source software deployment in the public sector: a review of Botswana and South Africa.	Libr. Hi Tech	2010	DBLP DOI BibTeX RDF
23	John Kiggundu	University Education and Intellectual Property in the Digital Era Whither Botswana?	Int. J. Innov. Digit. Econ.	2010	DBLP DOI BibTeX RDF
23	Bwalya Kelvin Joseph	Botswana's Novel Approaches for Knowledge-Based Economy Facilitation: Issues, Policies and Contextual Framework.	Int. J. Inf. Commun. Technol. Hum. Dev.	2010	DBLP DOI BibTeX RDF
23	Maree A. Skillen	Using Information Technology to Promote Thinking. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	António Castro, Leonel Santos	Implementation of the Technological Plan for Education in Portugal, a School Perspective. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	F. E. K. Bakkabulindi, Beatrice Sekabembe	Age, Gender and Culture as Correlates of Use of Knowledge Management Systems in Makerere University. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Bill Davey, Arthur Tatnall	Managing the Online Student Experience: An Ecological Model. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Beatrice Sekabembe, Jude Ssempebwa	Bridging the Knowledge Gap for African Researchers through Open Access Publishing: The Case of African Higher Education Research Online (AHERO). (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Don Passey	The 'Educational Lot' for Young People Who Are NEET: Quality Management and Roles of Management Information Systems. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Don Passey	Managing Quality Education - Identifying the Learning Needs of the Individual, Then Satisfying Them. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Arthur Tatnall, Karen Manning	Innovation or Renovation? The Management of Strategic and Adoption Decisions within a University. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Nicholas B. Mavengere, Mikko J. Ruohonen	Using Open Source Software for Improving Dialog in Computer Science Education - Case Mozambique University. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Alan Strickley	A Baseline for a School Management Information System. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	David Kabugo	Does Personality Type Affect Teachers' Information Systems Utilization in Pedagogy? The Makerere University Lecturers' Experience. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Alan Strickley, Tim Spiers	The GES Connect Digitally Programme: Shaping Parental Engagement through Technology. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Jacques Bulchand, Omponye Kereteletswe, Antonio Castro, Maipelo Molebatsi, Marcos Maedza	Justification of ICT Expenditure: Input and Outputs. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Paul T. Nleya, Sethunya P. Kgaodi, Letlhogonolo Moaneng, Godfrey S. Kalanke, Javier Osorio, Nicholas B. Mavengere, Ramaraju Gavarraju, Prince O. Marokane, Selefo Sabone	Online Learning Features and Factors in Getting the Blend Right. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Maree A. Skillen	Using Information Technology in Education to Manage a Professional Learning Community (PLC). (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Nazir Ahmad Suhail, Jude T. Lubega	Optimization Technique for Implementation of Blended Learning in Constrained Low Bandwidth Environment. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Jacques Bulchand-Gidumal, Santiago Melián-González, Javier Osorio-Acosta	Value Chain of Technology in Higher Education Institutions: From IT Resources to Technological Performance. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Rita Nankanja, Ronald Bisaso	Emerging Issues in the Utilization of Synchronous ICT in the Delivery of Distance Education at Public Universities in Uganda. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Ronald Bisaso	In Search of a Conceptual Framework for the Capacities of University ITEM. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Javier Osorio, Jacques Bulchand	Moving towards 2020: A Tentative Approach to ITEM. (PDF / PS)	ITEM	2010	DBLP DOI BibTeX RDF
23	Faith-Michael E. Uzoka, Tshepo Ndzinge	Empirical analysis of biometric technology adoption and acceptance in Botswana.	J. Syst. Softw.	2009	DBLP DOI BibTeX RDF
23	Lin Cassidy	Fire, Wealth and Access to Wetland Resources in the Panhandle of Botswana's Okavango Delta.	IGARSS (3)	2009	DBLP DOI BibTeX RDF
23	Tiroyamodimo M. Mogotlhwane	Barriers to successful application of information technology in Botswana.		2008	RDF
23	Christian Almeder, Gustav Feichtinger, Warren C. Sanderson, Vladimir M. Veliov	Prevention and medication of HIV/AIDS: the case of Botswana.	Central Eur. J. Oper. Res.	2007	DBLP DOI BibTeX RDF
23	Buhle Mbambo, Johannes C. Cronjé	Learning with a Website for the Textile Industry in Botswana.	J. Educ. Technol. Soc.	2007	DBLP BibTeX RDF
23	Stephen M. Mutula, Pieter van Brakel	ICT skills readiness for the emerging global digital economy among small businesses in developing countries: Case study of Botswana.	Libr. Hi Tech	2007	DBLP DOI BibTeX RDF
23	Ayoku A. Ojedokun, Kgomotso Moahi	The use of digital library skills in the emergent information market in Botswana.	Educ. Inf.	2007	DBLP BibTeX RDF
23	Cornelis VanderPost, Margaret McFarlane	Groundwater investigation in semi-arid developing countries, using simple GIS tools to facilitate interdisciplinary decision making under poorly mapped conditions: The Boteti area of the Kalahari region in Botswana.	Int. J. Appl. Earth Obs. Geoinformation	2007	DBLP DOI BibTeX RDF
23	George Anderson, Sampson D. Asare, Yirsaw Ayalew, Deepti Garg, Bontle Gopolang, Audrey N. Masizana-Katongo, Opelo Mogotlhwane, Dimane Mpoeleng, Henry O. Nyongesa	Towards a bilingual SMS parser for HIV and AIDS information retrieval in Botswana.	ICTD	2007	DBLP DOI BibTeX RDF
23	Stephen M. Mutula, Trywell Kalusopa, Kgomotso Moahi, Justus Wamukoya	Design and implementation of an online information literacy module: Experience of the Department of Library and Information Studies, University of Botswana.	Online Inf. Rev.	2006	DBLP DOI BibTeX RDF
23	Stephen M. Mutula, Pieter van Brakel	E-readiness of SMEs in the ICT sector in Botswana with respect to information access.	Electron. Libr.	2006	DBLP DOI BibTeX RDF
23	Ronald Bisaso, Omponye Kereteletswe, Ian D. Selwood, Adrie J. Visscher	ITEM in Botswana and Uganda. (PDF / PS)	ITEM	2006	DBLP DOI BibTeX RDF
23	Amy Neuenschwander, Kelley A. Crews-Meyer	Multi-temporal Mapping of Disturbances in the Okavango Delta, Botswana using Landsat TM and ETM+ Data.	IGARSS	2006	DBLP DOI BibTeX RDF
23	David R. Gerhan, Stephen M. Mutula	Bandwidth bottlenecks at the University of Botswana: Complications for library, campus, and national development.	Libr. Hi Tech	2005	DBLP DOI BibTeX RDF
23	Ayoku A. Ojedokun, Kgomotso Moahi	The emerging market for information professionals in Botswana, and the skills requirements.	Educ. Inf.	2005	DBLP BibTeX RDF
23	Reason Baathuli Nfila, Motumi Nini Dintwe, K. N. Rao	Experience of systems migration at the University of Botswana Library: a case study.	Program	2005	DBLP DOI BibTeX RDF
23	Tomas Mauta Sairosse, Stephen M. Mutula	Use of cybercafés: study of Gaborone City, Botswana.	Program	2004	DBLP DOI BibTeX RDF
23	Stephen M. Mutula	Making Botswana an information society: current developments.	Electron. Libr.	2004	DBLP DOI BibTeX RDF
23	Omponoye C. Kereteletse, Ian Selwood	ITEM System Usage in the Ministry of Education in Botswana. (PDF / PS)	ITEM	2004	DBLP DOI BibTeX RDF
23	I. M. N. Kigongo-Bukenya	Towards a viable curriculum: A comparative study of curricula at the East African School of Library and Information Science and the departments of Library and Information Studies of the Universities of Wales, Botswana, and Capetown.	Educ. Inf.	2003	DBLP BibTeX RDF