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
Australia’s Anti‐Terrorism Legislation: The National Security State and the Community Legal Sector (2006-12-01)
Teaching Formal Methods for Computational Linguistics at Uppsala University (2006-12-01)
Social Impacts of Transport Surveillance (2006-12-01)
Teaching Formal Methods: Practice and Experience - Index (2006-12-01)
Historical Lessons on ID Technology and the Consequences of an Unchecked Trajectory (2006-12-01)
Identity Management: Is an Identity Card the Solution for Australia? (2006-12-01)
Automated Tools for Teaching Formal Software Verification (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)
Regulating Telecommunications Interception and Access in the Twenty‐first Century: Technological Evolution or Legal Revolution? (2006-12-01)
The Application of Critical Social Theory to National Security Research (2006-12-01)
Teach Z by Reverse Engineering Specifications From Real-Life Implementations (2006-12-01)
Teaching the Oxford Brookes Formal Specification Module (2006-12-01)
Teaching Semantics of Programming Languages with Modular SOS (2006-12-01)
“La main à la pâte”, An Abacus to Teach Formal Specifications (2006-12-01)
Friendly e-tutor for Natural Deduction (2006-12-01)
Microsemantics as a Bootstrap in Teaching Formal Methods (2006-12-01)
Invited Keynote Talk Invariant Based Programming (2006-12-01)
Contributors to this Issue (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)
Algorithmic Problem Solving — Three Years On (2006-12-01)
Program Verification with the RISC ProofNavigator (2006-12-01)
Verifying Invariant Based Programs in the SOCOS Environment (2006-12-01)
Mainstreaming the African environment in development? (2006-09-01)
Demystifying the Niger Delta conflict: Towards an integrated explanation (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)
Angola: Can the politics of disorder become the politics of democratisation & development? (2006-09-01)
Book Reviews (2006-09-01)
An Accidental Sect: How War Made Belief in Sierra Leone (2006-09-01)
Chad/Darfur: How two crises merge (2006-09-01)
Africa: The struggle, intellectual & political, continues… (2006-09-01)
Politics, history & problems of humanitarian assistance in Sudan (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)
Book Reviews (2006-09-01)
Can the Poor Help GM Crops? Technology, representation & cotton in the Makhathini flats, South 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)
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)
Media Diversity and Cross‐Media Regulation (2006-09-01)
Battle of Systems: Learning from Erstwhile Gas–Electricity and Telegraph–Telephone Battles (2006-09-01)
A political ecology of wildlife conservation in Africa (2006-09-01)
Resisting (nuclear) power? Environmental regulation in South Africa (2006-09-01)
Youth Cultures & the Fetishization of Violence in Nigeria (2006-09-01)
Contributors to this Issue (2006-09-01)
Briefings (2006-09-01)
Muslim Brotherhood in Egypt & Sudan (2006-09-01)
Lifescapes & governance: The Régulo system in Central Mozambique (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)
Religion, Ideology & Conflict in Africa (2006-09-01)
Beyond Knowledge to Wisdom in International Business Strategy (2006-09-01)
The Universal Algebra of Computational Effects: Lawvere Theories and Monads (2006-07-01)
Implementing a Normalizer Using Sized Heterogeneous Types (2006-07-01)
The Essence of the ITERATOR Pattern (2006-07-01)
Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index (2006-07-01)
Program Fusion with Paramorphisms (2006-07-01)
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory (2006-07-01)
Compact Fusion (2006-07-01)
Freyd is Kleisli, for Arrows (2006-07-01)
Monadic Reflection in Haskell (2006-07-01)
Parameterised Notions of Computation (2006-07-01)
Algebras for Combinatorial Search (2006-07-01)
Tait in One Big Step (2006-07-01)
Autonomy & Intifadah : New Horizons in Western Saharan Nationalism (2006-06-01)
Review Article: Is State Building the Road to World Order? (2006-06-01)
ICT and Australia’s Productivity Growth: Understanding the Relationship (2006-06-01)
Book Reviews (2006-06-01)
Broadband Technologies in Australia 1993–98: Developing the Social Shaping of Technology Approach (2006-06-01)
State welfare in Egypt since adjustment: Hegemonic control with a minimalist role (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)
Contributors to this Issue (2006-06-01)
Libya: Reforming the impossible? (2006-06-01)
Security & insecurity in North Africa (2006-06-01)
Briefings (2006-06-01)
Theatre / book reviews (2006-06-01)
North Africa: Power, politics & promise (2006-06-01)
Fostering Multidisciplinary Engagement: Communication Challenges for Social Research on Emerging Digital Technologies (2006-06-01)
The political contradictions of Algerian economic reforms (2006-06-01)
Domination & control in Tunisia: Economic levers for the exercise of authoritarian power (2006-06-01)
America, China & the Scramble for Africa's Oil (2006-06-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)
Conducting a Systematic Literature Review from the Perspective of a Ph.D. Student (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)
Experiences Using Systematic Review Guidelines (2006-04-01)
Prediction of Overoptimistic Predictions (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)
An empirical study of approaches to determining the semantic relatedness of web pages (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)
Assessing the value of Architectural Information Extracted from Patterns for Architecting (2006-04-01)
A Systematic Review of Cross- vs. Within-Company Cost Estimation Studies (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)
Negotiating Ethnicity: Identity politics in contemporary Kenya (2006-03-01)
Policy Initiative Dilemmas Surrounding Media Convergence: A Cross National Perspective (2006-03-01)
Book Reviews (2006-03-01)
Ireland’s National Innovation System: An Exploratory Study of Supporting Institutions and Dynamic Actors (2006-03-01)
Addendum (2006-03-01)
‘Low‐tech’ Industries: Innovativeness and Development Perspectives—A Summary of a European Research Project (2006-03-01)
State, class & civil society in Africa (2006-03-01)
Class relations: AIDS & socioeconomic privilege in Africa (2006-03-01)
Playing politics with the mobile phone in Nigeria: civil society, big business & the state (2006-03-01)
English Spelling Reform (2006-03-01)
The gender of wealth: markets & power in Central Kenya (2006-03-01)
In search of economic development in Kenya: Colonial legacies & post-independence realities (2006-03-01)
Constructing Advantage: Distributed Innovation and the Management of Local Economic Growth (2006-03-01)
Review Article: Unmasking Americanization: de Grazia’s Irresistible Market Empire Advancing through Twentieth Century Europe (2006-03-01)
Book reviews (2006-03-01)
Contributors to this Issue (2006-03-01)
Briefings (2006-03-01)
The politics of control in Kenya: Understanding the bureaucratic-executive state, 1952–78 (2006-03-01)