A correct-by-construction design and programming approach for open paper-based digital microfluidics

2017 ◽  
Author(s):  
Georgi Tanev ◽  
Jan Madsen
Keyword(s):  
Digital Microfluidics ◽  
Programming Approach ◽  
Construction Design

Analysis of geodetic and legal documentation in the process of expropriation for roads. Krakow case study

2013 ◽  
Vol 62 (1) ◽  
pp. 67-84
Author(s):  
Anna Trembecka
Keyword(s):  
Local Government ◽  
Legal Status ◽  
The State ◽  
Property Value ◽  
Real Property ◽  
Construction Design ◽  
Special Rules ◽  
The City

Abstract Amendment to the Act on special rules of preparation and implementation of investment in public roads resulted in an accelerated mode of acquisition of land for the development of roads. The decision to authorize the execution of road investment issued on its basis has several effects, i.e. determines the location of a road, approves surveying division, approves construction design and also results in acquisition of a real property by virtue of law by the State Treasury or local government unit, among others. The conducted study revealed that over 3 years, in this mode, the city of Krakow has acquired 31 hectares of land intended for the implementation of road investments. Compensation is determined in separate proceedings based on an appraisal study estimating property value, often at a distant time after the loss of land by the owner. One reason for the lengthy compensation proceedings is challenging the proposed amount of compensation, unregulated legal status of the property as well as imprecise legislation. It is important to properly develop geodetic and legal documentation which accompanies the application for issuance of the decision and is also used in compensation proceedings.

A Lower Bounding Linear Programming approach to the Perimeter Patrol Stochastic Control Problem

2012 ◽  
Author(s):  
Krishnamoorthy Kalyanam ◽  
Swaroop Darbha ◽  
Myoungkuk Park ◽  
Meir Pachter ◽  
Phil Chandler ◽  
...  
Keyword(s):  
Linear Programming ◽  
Control Problem ◽  
Stochastic Control ◽  
Programming Approach ◽  
Linear Programming Approach ◽  
Lower Bounding ◽  
Stochastic Control Problem
Sign in / Sign up

Export Citation Format

Share Document