- Opgavest 10 BAIT-PROB-2007
- Flow Logics for Mobile Ambients Ren e Rydhof Hansen Jacob Grydholt Jensen
- Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers
- Flow Logics for Carmel Rene Rydhof Hansen #
- Static Validation of Licence Conformance Policies Rene Rydhof Hansen
- Opgavest 2 BAIT-PROB-2007
- Bytecode 2005 Preliminary Version Towards Verification of Well-Formed
- Also in this issue: Cloud Computing -The Next
- A Prototype Tool for JavaCard Firewall Analysis Rene Rydhof Hansen #
- Validating Firewalls using Flow Logics Flemming Nielson, Hanne Riis Nielson, Rene Rydhof Hansen.
- Validating Firewalls in Mobile Ambients Flemming Nielson, Hanne Riis Nielson,
- Opgavest 1 BAIT-PROB-2007
- A Hardest Attacker for Leaking References Rene Rydhof Hansen
- From Flow Logic to Static Type Systems for Coordination Languages
- Flow Logic for Language-Based Safety and Security
- Java Card Safety and Security through Static Ren e Rydhof Hansen 1 and Igor Siveroni 2
- Documenting and Automating Collateral Evolutions in Linux Device Drivers
- Kondo Effect of Molecular Complexes at Surfaces: Ligand Control of the Local Spin Coupling P. Wahl, L. Diekhoner,* G. Wittich, L. Vitali, M. A. Schneider, and K. Kern
- Abstract Interpretation of Mobile Ambients Rene Rydhof Hansen, Jacob Grydholt Jensen,
- Abstract Interpretation of Mobile Ambients Flemming Nielson, Rene Rydhof Hansen and
- ARTICLE IN PRESS Information and Computation xxx (2010) xxxxxx
- Electronic Communications of the EASST Volume 33 (2010)
- A predictable Java profile -rationale and implementations Thomas Bgholm, Ren R. Hansen,
- The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the
- Hybrid Logical Analyses of the Ambient Thomas Bolander1
- Where can an Insider attack? Christian W. Probst1
- Program Partitioning using Dynamic Trust Models
- The Succinct Solver Suite Flemming Nielson Hanne Riis Nielson Hongyan Sun
- Semantic Patches Considered Helpful Gilles Muller, Yoann Padioleau
- Non-Interference and Simple Erasure Policies for Java Card Bytecode
- Flow Logic for Language-Based Safety and Security
- Exchange Interaction between Single Magnetic Adatoms L. Diekhoner,3
- Surface States of Cobalt Nanoislands on Cu(111) L. Diekhoner,1
- Typing One-to-One and One-to-Many Correspondences in Security Protocols
- Computer security in the Mobile Ambients calculus Rene Rydhof Hansen and Jacob Grydholt Jensen
- Opgavest 9 BAIT-PROB-2007
- Towards Easing the Diagnosis of Bugs in OS Code Henrik Stuart Ren Rydhof Hansen
- A New Visualization Approach to Re-Contextualize Indigenous Knowledge in Rural Africa
- Foranalyse om eksplorativ Katja Guldbk Rasmussen,
- Product Innovation and User-Producer Interaction
- Under consideration for publication in Math. Struct. in Comp. Science Modal and Mixed Specifications: Key
- PPartnerskab for Vkst Fyn En vaskepulvertablet
- IEEE Communications Magazine June 20112 0163-6804/11/$25.00 2011 IEEE INTRODUCTION
- Sparse Estimation using Bayesian Hierarchical Prior Modeling for Real and Complex Models
- WAVE DRAGON WAVE ENERGY CONVERTERS USED AS COASTAL PROTECTION
- Development, Innovation and International Political
- International Symposium on Outfall Systems, 15 18 May, 2011, Mar del Plata, Argentina, IbroIbroIbroIbro &&&& LarsenLarsenLarsenLarsen
- Design and Control of an Inverter for Photovoltaic Applications
- Before entering the Master's programme, students must have obtained a B.S. degree in
- Int J Disabil Hum Dev 2011;10(1):xxxxxx 2011 by Walter de Gruyter Berlin New York. DOI 10.1515/IJDHD.2011.010 Customising games for non-formal rehabilitation
- Kim Haugblle, Stefan Christoffer Gottlieb, Kalle E. Khknen, Ole Jonny Klakegg, Gran A. Lindahl & Kristian Widn
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- 3DGeoInformation Laserscanning
- Institut for Kultur og Globale Aalborg Universitet
- European Journal of Control (2009)3:1 20 # 2009 EUCA
- FOOD, MEALS AND PHYSICAL ACTIVITY IN DANISH KINDERGARTENS
- Kristian Hegner Reinau Aalborg University High-tech Clusters and Multinational Corporations
- While the current trend towards lightweight con-structions may be of both economical and envi-
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- ISSN 1901-726X DCE Technical Report No. 115
- LOCATION BASED NETWORK OPTIMIZATIONS FOR MOBILE WIRELESS NETWORKS
- AALBORG UNIVERSITET AALBORG UNIVERSITET ESBJERG
- MEDINFO 2007 Studies in Health Technology and Informatics
- VISUALIZATION OF UNCERTAIN CONTOUR TREES Martin Kraus
- 89PERCEPTION, ADFRD OG OPLEVET ARKITEKTONISK KVALITET Perception, adfrd og oplevet
- Redaktionen forbeholder sig ret til at redigere og forkorte indsendte tekster. Kronik-forslag br hjst vre p 8000 tegn inklusiv mellemrum (1250 ord). vrige debatindlg br vre mellem 3000 og 5000 tegn og lserbreve p hjst 2000 tegn. Weekendavisen ptager sig i
- GIS-based Multi-Criteria Analysis of Wind Farm Development Henning Sten Hansen
- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems
- Applications of Statistics and Probability in Civil Engineering Faber, Khler & Nishijima (eds) 2011 Taylor & Francis Group, London, ISBN 978-0-415-66986-3
- Passivhus Norden 2008 1st Nordic passive house conference
- SBi 2010:07 Aleneboendesboligbehov
- 06/07 2010 1 Culture-specific Assumptions and
- Side 12 Onsdag 10. august 2011Vejgaard Avis NLPNLP (eller Neuro Lingvistisk Psykologi) er en praktisk orienteret
- Religion in Scandinavian Crime Fiction By Kim Toft Hansen
- KREATIVPRODUKTUDVIKLING Partnerskab for Vkst Fyn
- Hartvig et al. (2010) Experimental study of the development of scour & backfilling Page 1 of 40
- Eating at worksites in Nordic countries: national experiences
- Institut for Statskundskab Fibigerstrde 1
- REGULAR PAPER Gesture-based mobile training of intercultural behavior
- ARCHITECTURAL QUALITY OF LOW ENERGY HOUSES. By Michael Lauring and Rob Marsh, Aalborg University, Denmark.
- Translating Dominant Institutional Logics in Practice: A Case Study of Mobile Technology institutionalization in Home Care
- AALBORG UNIVERSITY Transforming spatial point processes into
- AALBORG UNIVERSITY Simplicial models for trace spaces II
- IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, VOL. 44, NO. 6, NOVEMBER/DECEMBER 2008 1659 The Cycloid Permanent Magnetic Gear
- Page 1 of 6 Consideration of the Change of Material Emission Signatures due to Long-
- 2154 IEEE TRANSACTIONS ON ANTENNAS AND PROPAGATION, VOL. 54, NO. 7, JULY 2006 Mobile Handset Performance Evaluation Using
- Human Resources Fredrik Bajers Vej 7F
- Studies of MLSS Impact on Fouling Propensity using TMP Steps with Relaxation
- COGNITIVE FITNESS IN IMMERSIVE VIRTUAL
- BOLIG+ an energy neutral multifamily building BOLIG+ is a set of rules for residential buildings of any scale,
- 6th Nordic Conference on Construction Economics and Organisation
- Performance Analysis of Downlink Inter-band Carrier Aggregation in LTE-Advanced
- On the Need of Network coding for Mobile Clouds
- Lring & Medier (LOM) nr. 4 -2010 ISSN: 1903-248X http://forskningsnettet.dk/lom 1
- Fr. Bajersvej 5 P. O. Box 159
- FORBEREDELSESMATERIALE TIL KURSUS I ANVENDELSEN AF
- Experimental evaluation of backfill around monopiles
- Reliability based robustness of timber structures through NDT data updating
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Noname manuscript No. (will be inserted by the editor)
- EN ANALYSE AF LAVFREKVENT STJ FRA STORE VINDMLLER -LUND SYMPOSIUM 2011a
- Seasonal Variation in Monthly Average Air Change Rates Using Passive Tracer Gas Measurements
- EXPTIME-complete Decision Problems for Mixed and Modal Specifications
- Work package 3 Operational tools and adaptive management
- A LEAST SQUARE METHOD FOR DETERMINATION OF RUN-UP FRONT VELOCITIES ON DIKES IN OBLIQUE AND SHORT-CRESTED
- ESSAYS ON THE THEORY OF PRODUCTION
- 15/03/2011_LONESTIDSEN_AALBORGUNIVERSITET_DS/S-061Lysogbelysning_RAmbllDanmark Lys p fremtidens sengestuer
- BIKE INFRASTRUCTURES Collecting knowledge of biking behavior
- Human Resources Fredrik Bajers Vej 7F
- Crime fiction and mediatized religion Towards a theory of post-secular crime fiction
- Computational and Experimental Study of Sprays from the Breakup of Water Sheets
- Tattarillo Award 2011 Appropriate Technologies for Sustainable Development in any South of the World Ingegneria Senza Frontiere Firenze
- Facts about Aalborg University 2 Facts 2009 Aalborg University
- KREATIVPRODUKTUDVIKLING Partnerskab for Vkst Fyn
- 1/05/2011_LONESTIDSEN_AALBORGUNIVERSITET_LIGHT2011,POZNAN Patients' light preferencesin hospital wards: related to light atmosphere in Danish homes
- Performance Assessment of the Wave Dragon Wave Energy Converter
- Side 1 af 14 Gitte Dalgaard Hansen
- AALBORG UNIVERSITY Bayesian inference for Hawkes processes
- The Nordic model and its contemporary inhabitants exploring stability and change from a micro perspective
- PARTNERING, LEAN CONSTRUCTION AND HEALTH AND SAFETY WORK ON THE CONSTRUCTION SITE: CO-PLAYERS OR
- 1692 IEEE TRANSACTIONS ON POWER ELECTRONICS, VOL. 23, NO. 4, JULY 2008 Application of Discontinuous PWM
- Service Degradation in Context Management Ahmed Shawky
- Validation of MPPT strategy for a wind energy conversion system using a hardware-in-the-loop
- Potential energy landscape of metallic Moir patterns This article has been downloaded from IOPscience. Please scroll down to see the full text article.
- Learning Engineering in a Problem-based and Project-oriented Learning Environment -Gendered features of learning and Identity Development
- Learning styles of science and engineering students in problem and project based education
- 1ESTEC Jan 09 /JDN Aalborg University's
- Investigation on moisture and indoor environment in eight different Danish houses
- Measurement, Modeling, and Suppression of Substrate Noise in Wide Band Mixed-Signal ICs
- Det tidlige samspil og musikterapi
- Consolidation Act no. 1368 of 7 December 2007 (Translation)
- Mere end eksperimenter og begreber
- Department of Civil Engineering ISSN 1901-7278
- VISUALIZING CONTOUR TREES WITHIN HISTOGRAMS Martin Kraus
- Helende arkItektur anne kathrine Frandsen,
- The International Conference on Advanced Power System Automation and Protection APAP2011 www.apap2011.org
- Synchronized Multimedia Streaming on the iPhone Platform with Network Coding
- S. Brahnam & L.C. Jain (Eds.): Adv. Comput. Intell. Paradigms in Healthcare 5, SCI 326, pp. 143169. springerlink.com Springer-Verlag Berlin Heidelberg 2010
- Set i bakspejlet; livet som ph.d.-studerende -En personlig beretning.
- Experimental investigation of the heat transfer in a room using night-time cooling by mixing ventilation
- Using Opaque Image Blur for Real-Time Depth-of-Field Rendering
- Institut for Byggeri og Anlg ISSN 1901-726X
- Combining building thermal simulation methods and LCA methods
- AALBORG UNIVERSITY Statistical inference for a class of
- Biogas Co-substrates for the Farm and Food Sectors Workshop
- ForskningscenterforDenKreativePlatform RedigeretafChristianByrgeogSrenHansen,AalborgUniversitet
- Paper for Sunrise Conference, RUC 20 22 April 2010 "Multifrenic Climate Discourses"
- Modeling of Reverberant Radio Channels Using Propagation Graphs
- Human Resources Fredrik Bajers Vej 7F
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Profit Maximization of a Power Plant Martin Kragelund, John Leth, Rafal Wisniewski, and Ulf Jonsson
- LAYOUT: LENA THURMANN, ANETTE RIEMANN KORREKTUR: FLEMMING GERTZ # 35 2. september 2011Weekendavisen Opinion
- PhD Report Series -No. 18 -2010 Likelihood Based
- Holiday Homes and Sustainable Tourism Planning
- Evaluering af "Organisering og samspilsrelationer"
- Sensorless Model Predictive Direct Current Control Using Novel Second Order PLL-Observer for
- Numerical methods for optimizing the performance of buildings Frank Pedersen, Researcher,
- AAU-DLR 2010 Indoor Measurement Campaign
- Thirty First International Conference on Information Systems, St. Louis 2010 1 IT Management in Local Government: Engaged
- Social Welfare in East and West A Tranquilizer for Dialogue Johannes Dragsbaek Schmidt and Bonn Juego1
- 10 ASPECT 6 -11 ASPECT 6 -11 11 Mortgage Finance and
- EUROPEANN REGION ect no. 2006
- Company fair Jointly organized by
- AAU-modellen og e-lring gensidig berigelse Skridt p vejen mod en strategisk satsning
- The HomePort System Jeppe Brnsted
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Challenging the `King of the Road' -exploring mobility battles between cars and bikes in the USA
- Analysis of collisions in wireless sensor networks Muhammad Saleem Vighio and Anders Peter Ravn
- Undervisning og lring med sociale medier/web 2.0
- Organic foods in public catering: Organisational development or a locomotive
- Transformerless Photovoltaic Inverters Connected to the Grid
- Renewable Energy Strategies for Sustainable Development Henrik Lund*
- Activity Based Costing as a method for assessing the economics of modularization a case study and beyond
- Reconciling Work and Welfare in Europe A Network of Excellence of the European Commission's
- Effect of dynamic level in drumming: Measurements of striking velocity, force, and
- Abstract--Pitch angle control is the most common means for adjusting the aerodynamic torque of the wind turbine when wind
- On the Role of Human Vision in Computer Graphics
- USING OPAQUE IMAGE BLUR FOR REAL-TIME DEPTH-OF-FIELD RENDERING
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- BUSINESS-CASE METODE FOR KOMMUNALE
- Human Resources Fredrik Bajers Vej 7F
- AALBORG UNIVERSITY Decomposition of variance for
- China's emerging role in Southeastg g Asian Affairs
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Ethnic diversity, social policy and the Scandinavian welfare states: Similar or different policy responses?
- PPartnerskab for Vkst Fyn DEN RDE LBER:1.
- Doctoral Programme Aalborg University
- LA IDEOLOGA DE LA INDEPENDENCIA DE CHILE Y EL DISCURSO DE LA REVOLUCIN FRANCESA
- Modal Transition Systems as the Basis for Interface Theories and Product Lines
- Af: Pernille Frantz Sberg Oprettet: 23-09-2010 16:47
- millioner dollar investerede Kina
- Department of Civil Engineering Division of Structural Mechanics
- Statutes of Aalborg University Aalborg University is a self-governing institution within public administration under the
- 4 ESBJERG ESB tirsdag 26. oktober 2010 ESBJERG: Hvis Danmark
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- OUTDOOR ILLUMINATION ESTIMATION IN IMAGE SEQUENCES FOR AUGMENTED REALITY
- Abstract--This paper reviews the development of the probabilistic load flow (PLF) techniques. Applications of the PLF
- 03/05/2011_LONESTIDSEN_AALBORGUNIVERSITET_VELUXSYMPOSIUM,LOUSANNE Light Atmosphere
- Robust and fault-tolerant linear parameter-varying control of wind turbines Christoffer Sloth a,,1
- The Overtone Fiddle: an Actuated Acoustic Instrument Dan Overholt
- Please cite this article in press as: J. Muff, E.G. Sgaard, Identification and fate of halogenated PAHs formed during electrochemical treatment of saline aqueous solutions, J. Hazard. Mater. (2011), doi:10.1016/j.jhazmat.2010.12.110
- Populismens grnser. Det muslimske trklde, demokrati og
- Doctoral Programme Aalborg University
- Introducing Variable Factors For Optical Backbone Interconnection Planning
- Curriculum Vitae Lars Diekhner, lektor, ph.d.
- www.itcon.org -Journal of Information Technology in Construction -ISSN 1874-4753 ITcon Vol. 16 (2011),Christiansson, pg. 309
- SEA effectiveness and power in decision-making
- The Creative Platform From kindergarten to workplace (working paper)
- MOBILITY CHALLENGES IN THE REGION OF NORTHERN JUTLAND, Paper for the ESRS 2011, "XXIV European Congress for Rural Sociology", 22-25 August 2011,
- Adapting presence measuring methods for game development
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Human Resources Fredrik Bajers Vej 7F
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
- WCET Analysis of ARM Processors using Real-Time Model Andreas Engelbredt Dalsgaard, Mads Christian Olesen, Martin Toft, Rene Rydhof Hansen
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Musikkens og lydens stetik Et samspil mellem humaniora, teknologi og musikalsk
- Between Earth and Sky: The work of Jrn Utzon, as an exemplary phenomenological
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Wireless Pers Commun (2011) 58:1730 DOI 10.1007/s11277-011-0286-7
- Cooperative Opportunistic Large Array Approach for Cognitive Radio Networks
- PPartnerskab for Vkst Fyn 1. ET FORKLDE MED LOMMER -ELLER ANDET S DU HELE TIDEN HAR TUSCH,
- Computing effects for correspondence types Hans Huttel
- PPartnerskab for Vkst Fyn SPILSTYRERGUIDE TIL FACILITERINGSSPILLET "DEN KREATIVE PLATFORM".
- EPDE2011/187 INTERNATIONAL CONFERENCE ON ENGINEERING AND PRODUCT DESIGN EDUCATION
- Center for Boligforskning og netvrket Young Housing Researchers indbyder til rets boligforskerseminar for aktive boligforskere og for andre med interesse
- MIMO Techniques for UTRA Long Term Evolution
- International Conference NEW ALLIANCES BODY, NATURE
- RESEARCH AND POLICY BRIEF ON ICT FOR INCLUSION OF YOUTH AT RISK: Using ICT to reengage and foster the socio-economic inclusion
- AAG Meeting, April 12-16, 2011 Seattle, WA Session Proposal
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- EPDE2011/249 INTERNATIONAL CONFERENCE ON ENGINEERING AND PRODUCT DESIGN EDUCATION
- EPDE2011/209 INTERNATIONAL CONFERENCE ON ENGINEERING AND PRODUCT DESIGN EDUCATION
- INVOLVING USERS IN THE DEVELOPMENT OF EMBEDDED TECHNOLOGY IN CONSTRUCTION
- Spanish wind capacity distribution. Source: REE Ride-through capability. Source: Spanish grid code P.O.12.3
- SENSITIVITY OF THE RANDOM DEMODULATION FRAMEWORK TO FILTER Pawel J. Pankiewicz, Thomas Arildsen, Torben Larsen
- Project description On-chip noise coupling issues for high sensitivity, short range ultra-wide band com-
- MPPT algorithm for Voltage Controlled PV Inverters T. Kerekes*, R. Teodorescu* , M. Liserre**, R. Mastromauro **, A. Dell'Aquila**
- Sociologisk Arbejdspapir Nr. 32, 2011
- Symposium -forskning i arbejdsmilj Sted: Hotel Scheelsminde, Aalborg
- Integrated management systems Tine Herreborg Jrgensen
- Hvad er vigtigst for dig -og kun dig! -p dine vagter? Dette sprgsml skal ikke besvares i forhold til aktivitetsprojektet, men det skal tnkes helt generelt for dit arbejde!
- 82 IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 24, NO. 1, MARCH 2009 Optimization of Multibrid Permanent-Magnet
- Human Resources Fredrik Bajers Vej 7F
- KREATIVITETSLABORATORIET TRNINGSKORT
- Play Fluency in Music Improvisation Games for Novices Anne-Marie Skriver Hansen
- Department of Civil Engineering ISSN 1901-7308
- IEEE Energy2030 Atlanta, GA USA
- Modelling and Analysis of Variable Speed Wind Turbines with Induction Generator during Grid
- Making European Fisheries Ecosystem Plans Operational EC FP7 project # 212881
- Indicators for fisheries MAnaGement in Europe Proposal/Contract no.: FP6 044227
- P kant med USA Som i alle andre europiske lande var
- HAID10 Program and Papers Haptic Audio Interaction Design 2010
- AALBORG UNIVERSITY Score, pseudo-score and residual diagnostics
- Selecting the Accurate Solar Panel Simulation Model Krisztina Leban, Ewen Ritchie
- Detection and Removal of Chromatic Moving Shadows in Surveillance Scenarios Ivan Huerta
- Hugo Cancino/Steen F. Christensen: Globalizacin...Sociedad y Discurso 18, 2010, Universidad de Aalborg 1 Amrica Latina en tiempos de globalizacin y crisis
- Geographical bias in traffic forecasts? An analysis of accuracy in road-traffic forecasts in cities
- Betydningen af drning ved udfrelse af CPT i siltet jord
- Rosa A. Mastromauro, Student Member, IEEE, Marco Liserre, Senior Member, IEEE, Tamas Kerekes, Student Member, IEEE, Antonio Dell'Aquila, Member, IEEE
- Development of Cubesats in an Educational Context Jesper A. Larsen and Jens Dalsgaard Nielsen
- KREATIVPRODUKTUDVIKLING Partnerskab for Vkst Fyn
- Students`guideforminiproject,4thterms2006,Architecture&Design,AalborgUniversity Students` guide for mini project on 4th term 2006,
- KREATIVITETSLABORATORIET KREATIVITETSLABORATORIET
- Tags in Domain-Specific Sites -New Information? Jeremy Steinhauer,
- Collaboration with Aalborg University -A shortcut to knowledge, expert help and highly qualified employees.
- KREATIVITETSLABORATORIET TRNINGSKORT
- Activated Peroxygens for Remediation of Contaminated Soil and Groundwater
- Partnerskab for Vkst Fyn kreativproduktudvikling
- CMOS Power Amplifiers for Wireless Communication Systems
- An extensible analysable system model5 Christian W. Probsta,
- Fluid Information Systems Christian W. Probst
