Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
Hosted articles 2006
Identity Management: Is an Identity Card the Solution for Australia? (2006-12-01)
Teaching Formal Methods for Computational Linguistics at Uppsala University (2006-12-01)
Historical Lessons on ID Technology and the Consequences of an Unchecked Trajectory (2006-12-01)
Teaching Formal Methods: Practice and Experience - Index (2006-12-01)
The Politics of Disclosure and the Fable (2006-12-01)
Social Impacts of Transport Surveillance (2006-12-01)
Australia’s Anti‐Terrorism Legislation: The National Security State and the Community Legal Sector (2006-12-01)
Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods (2006-12-01)
Teach Z by Reverse Engineering Specifications From Real-Life Implementations (2006-12-01)
Regulating Telecommunications Interception and Access in the Twenty‐first Century: Technological Evolution or Legal Revolution? (2006-12-01)
Conceptualisation of Terrorism in Modelling Tools: Critical Reflexive Approach (2006-12-01)
Automated Tools for Teaching Formal Software Verification (2006-12-01)
Review: Critical Essays on Sylvia Townsend Warner edited by Gill Davies, David Malcolm, John Simons (2006-12-01)
Sylvia in Suffolk (2006-12-01)
National Security: The Social Implications of the Politics of Transparency (2006-12-01)
The Application of Critical Social Theory to National Security Research (2006-12-01)
A True Ear (2006-12-01)
Friendly e-tutor for Natural Deduction (2006-12-01)
Teaching Semantics of Programming Languages with Modular SOS (2006-12-01)
Teaching the Oxford Brookes Formal Specification Module (2006-12-01)
Review: Dorset Stories by Sylvia Townsend Warner (2006-12-01)
“La main à la pâte”, An Abacus to Teach Formal Specifications (2006-12-01)
Microsemantics as a Bootstrap in Teaching Formal Methods (2006-12-01)
A Friendship Rediscovered: Sylvia Townsend Warner & Ruth Scott (2006-12-01)
Soldiers, Weeding-Women and Linnets (2006-12-01)
Labours of Love: Valentine Ackland on her Centenary (2006-12-01)
Invited Keynote Talk Invariant Based Programming (2006-12-01)
Teaching Formal Methods in a Third World Country: What, Why and How (2006-12-01)
Logic, damned logic, and statistics (2006-12-01)
Verifying Invariant Based Programs in the SOCOS Environment (2006-12-01)
Contributors to this Issue (2006-12-01)
Re-Imagining the Middle Ages: Sylvia Townsend Warner and The Corner That Held Them (2006-12-01)
Algorithmic Problem Solving — Three Years On (2006-12-01)
Program Verification with the RISC ProofNavigator (2006-12-01)
Editorial (2006-12-01)
Contents: The Journal of the Sylvia Townsend Warner Society 2006 (2006-12-01)
Promoting thinking skills in education (2006-11-01)
Students as rational decision-makers: the question of beliefs and attitudes (2006-11-01)
Book reviews (2006-11-01)
Becoming what you want to be (2006-11-01)
Commercial breaks: an overview of corporate opportunities for commercializing education in US and English schools (2006-11-01)
Public–private convergence and the special case of voucher-receiving schools (2006-11-01)
The West Dean Archaeological Project: research and teaching in the Sussex Downs (2006-10-02)
The Knossos Urban Landscape Project: investigating the long-term dynamics of an urban landscape (2006-10-02)
Horse kicks, flying bombs and potsherds: statistical theory contributes to archaeological survey (2006-10-02)
The tenth issue of Archaeology International (2006-10-02)
Anti-apocalypse: the Postclassic period at Lamanai, Belize (2006-10-02)
Some highlights of the 2006/2007 academic year (2006-10-02)
Registered research students 2006/2007 (2006-10-02)
Patrimony and partnership: conserving the khipu legacy of Rapaz, Peru (2006-10-02)
Staff and honorary members of the Institute (2006-10-02)
Diversifying the picture: indigenous responses to European arrival in Cuba (2006-10-02)
Peter Ucko (1938–2007), Director of the Institute of Archaeology 1996–2005 (2006-10-02)
Rapa Nui Landscapes of Construction (2006-10-02)
The Institute’s primary research groups (2006-10-02)
PhDs awarded, 2006 (2006-10-02)
The fragile communities of Antikythera (2006-10-02)
Mainstreaming the African environment in development? (2006-09-01)
Review Article: Resistance is Futile—The Future and Post‐humanity (2006-09-01)
Demystifying the Niger Delta conflict: Towards an integrated explanation (2006-09-01)
Confronting Categorical Assumptions About the Power of Religion in Africa (2006-09-01)
Angola: Can the politics of disorder become the politics of democratisation & development? (2006-09-01)
Pentecostal Presidency? The Lagos-Ibadan ‘Theocratic Class’ & the Muslim ‘Other’ (2006-09-01)
Book Reviews (2006-09-01)
Chad/Darfur: How two crises merge (2006-09-01)
Comprehensive Peace? An Analysis of the Evolving Tension in Eastern Sudan (2006-09-01)
An Accidental Sect: How War Made Belief in Sierra Leone (2006-09-01)
Changing Science: The Advent of Neo‐liberalism (2006-09-01)
Politics, history & problems of humanitarian assistance in Sudan (2006-09-01)
Africa: The struggle, intellectual & political, continues… (2006-09-01)
Battle of Systems: Learning from Erstwhile Gas–Electricity and Telegraph–Telephone Battles (2006-09-01)
Engineering Organization and the Scientist in World War I: The Search for National Service and Recognition (2006-09-01)
Book Reviews (2006-09-01)
Can the Poor Help GM Crops? Technology, representation & cotton in the Makhathini flats, South Africa (2006-09-01)
A political ecology of wildlife conservation in Africa (2006-09-01)
Media Diversity and Cross‐Media Regulation (2006-09-01)
Sectoral Transformation in the Photovoltaics Industry in Australia, Germany and Japan: Contrasting the Co‐evolution of Actors, Knowledge, Institutions and Markets (2006-09-01)
Resisting (nuclear) power? Environmental regulation in South Africa (2006-09-01)
The politics of urban water reform in Ghana (2006-09-01)
Contributors to this Issue (2006-09-01)
Youth Cultures & the Fetishization of Violence in Nigeria (2006-09-01)
Briefings (2006-09-01)
Religion, Ideology & Conflict in Africa (2006-09-01)
Muslim Brotherhood in Egypt & Sudan (2006-09-01)
Lifescapes & governance: The Régulo system in Central Mozambique (2006-09-01)
Beyond Knowledge to Wisdom in International Business Strategy (2006-09-01)
The world bank & urban programmes in Zimbabwe: A critical appraisal (2006-09-01)
World Bank & Heavenly Bank in Poverty & Prosperity: The Case of Tanzanian Faith Gospel (2006-09-01)
Briefings (2006-09-01)
The postmodern university revisited: reframing higher education debates from the 'two cultures' to postmodernity (2006-07-01)
Implementing a Normalizer Using Sized Heterogeneous Types (2006-07-01)
The Universal Algebra of Computational Effects: Lawvere Theories and Monads (2006-07-01)
Individualization in the widening participation debate (2006-07-01)
The Essence of the ITERATOR Pattern (2006-07-01)
Characteristics of graduate professional education: expectations and experiences in psychology and law (2006-07-01)
Program Fusion with Paramorphisms (2006-07-01)
The 'presence' of evaluation theory and practice in educational and social development: toward an inclusive approach (2006-07-01)
Urban education: confronting the contradictions: an analysis with special reference to London (2006-07-01)
Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index (2006-07-01)
Urban pedagogy: a proposal for the twenty-first century (2006-07-01)
Book reviews (2006-07-01)
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory (2006-07-01)
Compact Fusion (2006-07-01)
Tait in One Big Step (2006-07-01)
Parameterised Notions of Computation (2006-07-01)
Freyd is Kleisli, for Arrows (2006-07-01)
Conducting systematic review in education: a reflexive narrative (2006-07-01)
Algebras for Combinatorial Search (2006-07-01)
Monadic Reflection in Haskell (2006-07-01)
Review Article: Is State Building the Road to World Order? (2006-06-01)
Autonomy & Intifadah : New Horizons in Western Saharan Nationalism (2006-06-01)
ICT and Australia’s Productivity Growth: Understanding the Relationship (2006-06-01)
Broadband Technologies in Australia 1993–98: Developing the Social Shaping of Technology Approach (2006-06-01)
Book Reviews (2006-06-01)
Achieving Effective Cross‐Sector R&D Collaboration: A Proposed Management Framework (2006-06-01)
‘Between a rock & a hard place’: North Africa as a region of emigration, immigration & transit migration (2006-06-01)
State welfare in Egypt since adjustment: Hegemonic control with a minimalist role (2006-06-01)
Libya: Reforming the impossible? (2006-06-01)
Briefings (2006-06-01)
Contributors to this Issue (2006-06-01)
Security & insecurity in North Africa (2006-06-01)
The political contradictions of Algerian economic reforms (2006-06-01)
Theatre / book reviews (2006-06-01)
North Africa: Power, politics & promise (2006-06-01)
America, China & the Scramble for Africa's Oil (2006-06-01)
Domination & control in Tunisia: Economic levers for the exercise of authoritarian power (2006-06-01)
Fostering Multidisciplinary Engagement: Communication Challenges for Social Research on Emerging Digital Technologies (2006-06-01)
Simulation of Experiments for Data Collection – a replicated study (2006-04-01)
Conducting a Systematic Literature Review from the Perspective of a Ph.D. Student (2006-04-01)
Experiences of Performance Tuning Software Product Family Architectures Using a Scenario-Driven Approach (2006-04-01)
Software Product Lines in Value Based Software Engineering (2006-04-01)
Trust in Software Outsourcing Relationships: An Analysis of Vietnamese Practitioners’ Views (2006-04-01)
Reusability Ranking of Software Components by Coupling Measure (2006-04-01)
A Coupling Framework for AspectJ (2006-04-01)
Software Modernization and Replacement Decision Making in Industry: A Qualitative Study (2006-04-01)
Experiences Using Systematic Review Guidelines (2006-04-01)
Prediction of Overoptimistic Predictions (2006-04-01)
10th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index (2006-04-01)
Assessing the Quality and Cleaning of a Software Project Dataset: An Experience Report (2006-04-01)
Do Programmer Pairs make different Mistakes than Solo Programmers? (2006-04-01)
An empirical study of approaches to determining the semantic relatedness of web pages (2006-04-01)
A Systematic Review of Cross- vs. Within-Company Cost Estimation Studies (2006-04-01)
Assessing the value of Architectural Information Extracted from Patterns for Architecting (2006-04-01)
The Simula Approach to Experimentation in Software Engineering (2006-04-01)
Kenya: Conflict in the ‘Badlands’: The Turbi massacre in Marsabit district (2006-03-01)
Language skills, learning to read and reading intervention (2006-03-01)
Negotiating Ethnicity: Identity politics in contemporary Kenya (2006-03-01)
Policy Initiative Dilemmas Surrounding Media Convergence: A Cross National Perspective (2006-03-01)
Addendum (2006-03-01)
Ireland’s National Innovation System: An Exploratory Study of Supporting Institutions and Dynamic Actors (2006-03-01)
Book Reviews (2006-03-01)
‘Low‐tech’ Industries: Innovativeness and Development Perspectives—A Summary of a European Research Project (2006-03-01)
Dual route and connectionist models of reading: an overview (2006-03-01)
Constructing Advantage: Distributed Innovation and the Management of Local Economic Growth (2006-03-01)
State, class & civil society in Africa (2006-03-01)
Playing politics with the mobile phone in Nigeria: civil society, big business & the state (2006-03-01)
Genes for reading and spelling (2006-03-01)
Review Article: Unmasking Americanization: de Grazia’s Irresistible Market Empire Advancing through Twentieth Century Europe (2006-03-01)
Class relations: AIDS & socioeconomic privilege in Africa (2006-03-01)
The gender of wealth: markets & power in Central Kenya (2006-03-01)
The dual route model and the developmental dyslexias (2006-03-01)
English Spelling Reform (2006-03-01)
In search of economic development in Kenya: Colonial legacies & post-independence realities (2006-03-01)
Book reviews (2006-03-01)
Contributors to this Issue (2006-03-01)
Visual factors in reading (2006-03-01)
Briefings (2006-03-01)
The politics of control in Kenya: Understanding the bureaucratic-executive state, 1952–78 (2006-03-01)
Learning to read: developing processes for recognizing, understanding and pronouncing written words (2006-03-01)
Editorial (2006-03-01)
Learning to read and learning to comprehend (2006-03-01)
Asperger’s Syndrome and the Eccentricity and Genius of Jeremy Bentham (2006-01-01)
The Influence Of Mary Bentham On John Stuart Mill (2006-01-01)