408 research outputs found
Piessens Turnover
No full textPiessens Turnover
A shoe plant - a commercial building with offices, showroom, concierge and ware house
City of Malines, 1992-1994
It's our first construction at the basis of a steel framework, placed on a 4.20 x 4.20 meter grid, with offices on entrance level and a showroom on the first level.
fig. column.
On entrance level we chose for a mall ( a roundabout alley) instead of a hall, one that holds together a cluster of offices spaces. Individually, these offices are half-open/half-closed compartments composed of either glass or solid walls that are fit in-between the steel grid structure.
The mall works then as a thermic as much as a sonic buffer toward the exterior. The secondary functions : kitchen, refectory, sanitary functions, anti-chamber sit in an L-shaped building in brick that 'includes' the office spaces. The upper floor has the same seize as the ground floor but is replaced in plan to make it cantilever and throw shade on the mall from the south side, and lit the mall from above at the north side.
The showroom is situated on the first floor. The focus here is inwards and on the merchandise which is exhibited in sequences between red bridges cum balconies; male, female, children shoes are organised around a 8.40x4.20 patio. Cocktail bar at the side.
In the overall building, 4 red elements (boxes or planes) stick out; being the main staircase whichworks as a stage for shoes, an awning to articulate the entrance, the boss offices crossing the mall. The whole idea behind the shoe import plant is a 'blocking' together of oversized shoeboxes. One may find that one is pulled out of the showroom to form the patio and mark the concierge house at the side.status: Publishe
Provably correct inline monitoring for multithreaded Java-like programs
No full textInline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3MS project uses policies, monitoring, and monitor inlining to secure third-party applications running on mobile devices. The focus of this paper is on multi-threaded Java bytecode. An important consideration is that inlining should interfere with the client program only when mandated by the security policy. In a multi-threaded setting, however, this requirement turns out to be problematic. Generally, inliners use locks to control access to shared resources such as an embedded monitor state. This will interfere with application program non-determinism due to Java's relaxed memory consistency model, and rule out the transparency property, that all policy-adherent behaviour of an application program is preserved under inlining. In its place we propose a notion of strong conservativity, to formalise the property that the inliner can terminate the client program only when the policy is about to be violated. An example inlining algorithm is given and proved to be strongly conservative. Finally, benchmarks are given for four example applications studied in the S3MS project.sponsorship: The work of Dam, Lundblad, and Piessens was partially supported by the S3MS project. Additionally, Dam and Lundblad received support through grants 2003-6108 and 2007-6436 from the Swedish Research Council. Bart Jacobs is a Postdoctoral Fellow of the Research Foundation - Flanders (FWO). Jacobs and Piessens were partially funded by the Interuniversity Attraction Poles Programme Belgian State, Belgian Science Policy.status: Publishe
CO2-enhanced oil recovery and CO2 capture and storage : an environmental economic trade-off analysis
No full textAbstract: CO2 enhanced oil recovery can play a significant role in stimulating carbon capture and storage because of additional oil revenues generated. However, it also leads to additional greenhouse gas emissions. We estimate the global warming potential of different CO2 capture scenarios with and without enhanced oil recovery. During a 10 year period in which oil and electricity are produced without CO2 being captured, the global warming potential is 11 MtCO2 equivalents. We show that if CO2 is captured and used for 15 years of enhanced oil recovery, the global warming potential decreases to 3.4 MtCO2 equivalents. This level is 100% higher compared to the scenario in which the captured CO2 would be stored in an offshore aquifer instead. If the capture of CO2 is stopped when the oil reservoir is depleted, the global warming potential resulting from 10 years electricity production is 6 MtCO2 equivalents. However, if CO2 is stored in the depleted reservoir, the global warming potential is six times lower during that period. Electricity production and oil refining are the main contributors to the global warming potential. The net present value analysis indicates that for CO2 prices lower than or equal to 15 /t and oil prices greater than or equal to 115 /t, it is most profitable to capture CO2 for enhanced oil recovery only. Because of the low CO2 price considered, large incomes from oil production are required to stimulate CO2 capture. The environmental economic trade-off analysis shows that if CO2-enhanced oil recovery is followed by CO2 capture and storage, costs increase, but the net present value remains positive and the global warming potential is reduced. Authorities could use these outcomes to support the development of economic mechanisms for shared investments in CO2 capture installations and to mandate both oil producer and large CO2 emitting firms to store CO2 in depleted oil fields
CO 2 -enhanced oil recovery and CO 2 capture and storage: An environmental economic trade-off analysis
No full textCO 2 enhanced oil recovery can play a significant role in stimulating carbon capture and storage because of additional oil revenues generated. However, it also leads to additional greenhouse gas emissions. We estimate the global warming potential of different CO 2 capture scenarios with and without enhanced oil recovery. During a 10 year period in which oil and electricity are produced without CO 2 being captured, the global warming potential is 11 MtCO 2 equivalents. We show that if CO 2 is captured and used for 15 years of enhanced oil recovery, the global warming potential decreases to 3.4 MtCO 2 equivalents. This level is 100% higher compared to the scenario in which the captured CO 2 would be stored in an offshore aquifer instead. If the capture of CO 2 is stopped when the oil reservoir is depleted, the global warming potential resulting from 10 years electricity production is 6 MtCO 2 equivalents. However, if CO 2 is stored in the depleted reservoir, the global warming potential is six times lower during that period. Electricity production and oil refining are the main contributors to the global warming potential. The net present value analysis indicates that for CO 2 prices lower than or equal to 15 €/t and oil prices greater than or equal to 115 €/t, it is most profitable to capture CO 2 for enhanced oil recovery only. Because of the low CO 2 price considered, large incomes from oil production are required to stimulate CO 2 capture. The environmental economic trade-off analysis shows that if CO 2 -enhanced oil recovery is followed by CO 2 capture and storage, costs increase, but the net present value remains positive and the global warming potential is reduced. Authorities could use these outcomes to support the development of economic mechanisms for shared investments in CO 2 capture installations and to mandate both oil producer and large CO 2 emitting firms to store CO 2 in depleted oil fields
Client Side Web Session Integrity as a Non-Interference Property
No full textSessions on the web are fragile. They have been attacked successfully in many ways, by network-level attacks, by direct attacks on session cookies (the main mechanism for implementing the session concept) and by application-level attacks where the integrity of sessions is violated by means of cross-site request forgery or malicious script inclusion. This paper defines a variant of non-interference-the classical security notion from information flow security-that can be used to formally define the notion of client-side application-level web session integrity. The paper also develops and proves correct an enforcement mechanism. Combined with state-of-the-art countermeasures for network-level and cookie-level attacks, this enforcement mechanism gives very strong assurance about the client-side preservation of session integrity for authenticated sessions
Secure Compilation (Dagstuhl Seminar 18201)
No full textSecure compilation is an emerging field that puts together advances in
security, programming languages, verification, systems, and hardware
architectures in order to devise secure compilation chains that
eliminate many of today's vulnerabilities.
Secure compilation aims to protect a source language's abstractions in
compiled code, even against low-level attacks.
For a concrete example, all modern languages provide a notion of
structured control flow and an invoked procedure is expected to return
to the right place.
However, today's compilation chains (compilers, linkers, loaders,
runtime systems, hardware) cannot efficiently enforce this
abstraction: linked low-level code can call and return to arbitrary
instructions or smash the stack, blatantly violating the high-level
abstraction.
The emerging secure compilation community aims to address such
problems by devising formal security criteria, efficient enforcement
mechanisms, and effective proof techniques.
This seminar strived to take a broad and inclusive view of secure
compilation and to provide a forum for discussion on the topic. The
goal was to identify interesting research directions and open
challenges by bringing together people working on building secure
compilation chains, on developing proof techniques and verification
tools, and on designing security mechanisms
Omgaan met diversiteit in opleiding en tewerkstellling, promotor: Dr. marc Verlot, in opdracht van de Vlaamse Gemeenschapscommissie, Onderwijs, Beroepsopleiding en Begroting, Steunpunt ICO, Universiteit Gent, 2001, 77 p.
No full textVideocoachingproject 'Op de vloer'. Eindrapport, promotor: Dr. Marc Verlot. In opdracht van de Vlamse Gemeenschapscommissie, Onderwijs, Beroepsopleiding en Begroting, Steunpunt ICO, Universiteit Gent, 2001, 34 p.
No full text
De grammatica van het welzijnswerk. Het welzijnswerk als een perspectief op de sociale werkelijkheid.
No full text- …
