ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
Hosted articles 2006
Historical Lessons on ID Technology and the Consequences of an Unchecked Trajectory (2006-12-01)
The Politics of Disclosure and the Fable (2006-12-01)
Teaching Formal Methods for Computational Linguistics at Uppsala University (2006-12-01)
Identity Management: Is an Identity Card the Solution for Australia? (2006-12-01)
Australia’s Anti‐Terrorism Legislation: The National Security State and the Community Legal Sector (2006-12-01)
Teaching Formal Methods: Practice and Experience - Index (2006-12-01)
Social Impacts of Transport Surveillance (2006-12-01)
Automated Tools for Teaching Formal Software Verification (2006-12-01)
Regulating Telecommunications Interception and Access in the Twenty‐first Century: Technological Evolution or Legal Revolution? (2006-12-01)
Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods (2006-12-01)
Conceptualisation of Terrorism in Modelling Tools: Critical Reflexive Approach (2006-12-01)
National Security: The Social Implications of the Politics of Transparency (2006-12-01)
Teach Z by Reverse Engineering Specifications From Real-Life Implementations (2006-12-01)
Review: Critical Essays on Sylvia Townsend Warner edited by Gill Davies, David Malcolm, John Simons (2006-12-01)
The Application of Critical Social Theory to National Security Research (2006-12-01)
Sylvia in Suffolk (2006-12-01)
“La main à la pâte”, An Abacus to Teach Formal Specifications (2006-12-01)
Review: Dorset Stories by Sylvia Townsend Warner (2006-12-01)
A True Ear (2006-12-01)
Teaching Semantics of Programming Languages with Modular SOS (2006-12-01)
Teaching the Oxford Brookes Formal Specification Module (2006-12-01)
Friendly e-tutor for Natural Deduction (2006-12-01)
Labours of Love: Valentine Ackland on her Centenary (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)
Verifying Invariant Based Programs in the SOCOS Environment (2006-12-01)
Program Verification with the RISC ProofNavigator (2006-12-01)
Contents: The Journal of the Sylvia Townsend Warner Society 2006 (2006-12-01)
Editorial (2006-12-01)
Teaching Formal Methods in a Third World Country: What, Why and How (2006-12-01)
Re-Imagining the Middle Ages: Sylvia Townsend Warner and The Corner That Held Them (2006-12-01)
Logic, damned logic, and statistics (2006-12-01)
Algorithmic Problem Solving — Three Years On (2006-12-01)
Invited Keynote Talk Invariant Based Programming (2006-12-01)
Contributors to this Issue (2006-12-01)
Promoting thinking skills in education (2006-11-01)
Book reviews (2006-11-01)
Becoming what you want to be (2006-11-01)
Students as rational decision-makers: the question of beliefs and attitudes (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)
Some highlights of the 2006/2007 academic year (2006-10-02)
The tenth issue of Archaeology International (2006-10-02)
Horse kicks, flying bombs and potsherds: statistical theory contributes to archaeological survey (2006-10-02)
Anti-apocalypse: the Postclassic period at Lamanai, Belize (2006-10-02)
Registered research students 2006/2007 (2006-10-02)
Diversifying the picture: indigenous responses to European arrival in Cuba (2006-10-02)
Staff and honorary members of the Institute (2006-10-02)
Patrimony and partnership: conserving the khipu legacy of Rapaz, Peru (2006-10-02)
Rapa Nui Landscapes of Construction (2006-10-02)
The Institute’s primary research groups (2006-10-02)
Peter Ucko (1938–2007), Director of the Institute of Archaeology 1996–2005 (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)
Pentecostal Presidency? The Lagos-Ibadan ‘Theocratic Class’ & the Muslim ‘Other’ (2006-09-01)
Confronting Categorical Assumptions About the Power of Religion in Africa (2006-09-01)
Demystifying the Niger Delta conflict: Towards an integrated explanation (2006-09-01)
Angola: Can the politics of disorder become the politics of democratisation & development? (2006-09-01)
Book Reviews (2006-09-01)
Politics, history & problems of humanitarian assistance in Sudan (2006-09-01)
Chad/Darfur: How two crises merge (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)
Comprehensive Peace? An Analysis of the Evolving Tension in Eastern Sudan (2006-09-01)
Africa: The struggle, intellectual & political, continues… (2006-09-01)
Can the Poor Help GM Crops? Technology, representation & cotton in the Makhathini flats, South Africa (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)
Engineering Organization and the Scientist in World War I: The Search for National Service and Recognition (2006-09-01)
A political ecology of wildlife conservation in Africa (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)
Book Reviews (2006-09-01)
Media Diversity and Cross‐Media Regulation (2006-09-01)
Battle of Systems: Learning from Erstwhile Gas–Electricity and Telegraph–Telephone Battles (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)
Muslim Brotherhood in Egypt & Sudan (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)
Religion, Ideology & Conflict in Africa (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)
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)
Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index (2006-07-01)
Urban education: confronting the contradictions: an analysis with special reference to London (2006-07-01)
The 'presence' of evaluation theory and practice in educational and social development: toward an inclusive approach (2006-07-01)
Program Fusion with Paramorphisms (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)
Book reviews (2006-07-01)
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory (2006-07-01)
Urban pedagogy: a proposal for the twenty-first century (2006-07-01)
Compact Fusion (2006-07-01)
Conducting systematic review in education: a reflexive narrative (2006-07-01)
Freyd is Kleisli, for Arrows (2006-07-01)
Algebras for Combinatorial Search (2006-07-01)
Monadic Reflection in Haskell (2006-07-01)
Tait in One Big Step (2006-07-01)
Parameterised Notions of Computation (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)
‘Between a rock & a hard place’: North Africa as a region of emigration, immigration & transit migration (2006-06-01)
Achieving Effective Cross‐Sector R&D Collaboration: A Proposed Management Framework (2006-06-01)
State welfare in Egypt since adjustment: Hegemonic control with a minimalist role (2006-06-01)
Security & insecurity in North Africa (2006-06-01)
Briefings (2006-06-01)
Contributors to this Issue (2006-06-01)
Libya: Reforming the impossible? (2006-06-01)
North Africa: Power, politics & promise (2006-06-01)
America, China & the Scramble for Africa's Oil (2006-06-01)
The political contradictions of Algerian economic reforms (2006-06-01)
Theatre / book reviews (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)
Conducting a Systematic Literature Review from the Perspective of a Ph.D. Student (2006-04-01)
Simulation of Experiments for Data Collection – a replicated study (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)
A Coupling Framework for AspectJ (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)
Prediction of Overoptimistic Predictions (2006-04-01)
Experiences Using Systematic Review Guidelines (2006-04-01)
Software Modernization and Replacement Decision Making in Industry: A Qualitative Study (2006-04-01)
10th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index (2006-04-01)
Do Programmer Pairs make different Mistakes than Solo Programmers? (2006-04-01)
Assessing the Quality and Cleaning of a Software Project Dataset: An Experience Report (2006-04-01)
An empirical study of approaches to determining the semantic relatedness of web pages (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)
A Systematic Review of Cross- vs. Within-Company Cost Estimation Studies (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)
Policy Initiative Dilemmas Surrounding Media Convergence: A Cross National Perspective (2006-03-01)
Negotiating Ethnicity: Identity politics in contemporary Kenya (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)
Addendum (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)
Playing politics with the mobile phone in Nigeria: civil society, big business & the state (2006-03-01)
In search of economic development in Kenya: Colonial legacies & post-independence realities (2006-03-01)
The gender of wealth: markets & power in Central Kenya (2006-03-01)
State, class & civil society in Africa (2006-03-01)
Class relations: AIDS & socioeconomic privilege in Africa (2006-03-01)
Review Article: Unmasking Americanization: de Grazia’s Irresistible Market Empire Advancing through Twentieth Century Europe (2006-03-01)
English Spelling Reform (2006-03-01)
The dual route model and the developmental dyslexias (2006-03-01)
Constructing Advantage: Distributed Innovation and the Management of Local Economic Growth (2006-03-01)
Genes for reading and spelling (2006-03-01)
Contributors to this Issue (2006-03-01)
Learning to read: developing processes for recognizing, understanding and pronouncing written words (2006-03-01)
The politics of control in Kenya: Understanding the bureaucratic-executive state, 1952–78 (2006-03-01)
Visual factors in reading (2006-03-01)
Briefings (2006-03-01)
Book reviews (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)