A Design Environment for Migrating Relational to Object Oriented Database Systems

Size: px
Start display at page:

Download "A Design Environment for Migrating Relational to Object Oriented Database Systems"

Transcription

1 To appear in: 1996 International Conferene on Software Maintenane (ICSM 96); IEEE Computer Soiety, 1996 A Design Environment for Migrating Relational to Objet Oriented Database Systems Jens Jahnke, Wilhelm Shäfer, and Albert Zündorf AG-Softwaretehnik, Fahbereih 17, GH-Paderborn, Warburger Str. 10, D Paderborn, Germany; [jahnke wilhelm zuendorf]@uni-paderborn.de WWW: Abstrat Objet-oriented tehnology has beome mature enough to satisfy many new requirements oming from areas like omputer-aided design (CAD), omputer-integrated manufaturing (CIM), or software engineering (SE). However, a ompetetive information management infrastruture often demands to merge data from CAD-, CIM-, or SE-systems with business data stored in a relational system. In addition, omplex dependenies between those data stored in the different systems might exist and should be maintained. One approah for seamless integration of objet-oriented and relational systems is to migrate the data (and the orresponding shema) from a relational to an objet-oriented system. In this paper we desribe an integrated design environment that supports the migration proess and overomes major drawbaks of omparable approahes. 1 Motivation Objet-oriented tehnology has beome mature enough to satisfy many new requirements oming from areas like omputer-aided design (CAD), omputer-integrated manufaturing (CIM), or software engineering (SE). Those new requirements are not fulfilled by relational tehnology [LS88, Mai89]. However, a ompetetive information management infrastruture often demands to merge data from CAD-, CIM-, or SE-systems with business data stored in a relational system. In addition, omplex dependenies between those data stored in the different systems might exist and should be maintained. One approah for seamless integration of objet-oriented and relational systems is to migrate the data (and the orresponding shema) from a relational to an objet-oriented system. The main advantage of this approah is that it is always feasible beause the objet-oriented data model is a superset of the relational model. In more detail, suh a migration proess onsists of three steps whih are (1) the shema migration proess whih s a relational shema to an equivalent 1 objet oriented shema, (2) the data migration proess whih onverts extensions of the relational shema to equivalent 2 extensions of the objet oriented shema and (3) the appliation migration proess whih reates a new appliation program using the objet oriented database for every appliation program that uses the legay database suh that the input/output behaviours of the orresponding appliation programs are idential for equivalent database extensions. Existing approahes supporting shema migration basially argue for a waterfall-like transformation proess, in many ases even without any user interation [NA87, DA87, SK90, JK90, MM90, And94, FV95]. These approahes suffer from one of the following two drawbaks. Either the struture of the resulting objet oriented shema still looks rather "relational" or non-realisti assumptions about the existing relational shema were made. Examples for suh non-realisti assumptions are that the relational shema has been developed rigorously using a ertain database design method or the relational shema inludes no optimization strutures. Other examples for non-realisti assumptions an be found in [HEH + 93]. In any ase, the result of suh an antisemanti transformation is a bad objet-oriented database shema. Other approahes like [PB94] overome these shortomings by proposing a more robust interative reengineering 1. In this paper a relational database shema and an objet oriented database shema are onsidered to be equivalent iff they represent exatly the same universe of fats. A formal desription of this notion of shema equivalene is beyond the sope of this paper. 2. Two database extensions are onsidered to be equivalent iff they represent exatly the same fats.

2 proess using a set of loosly oupled tools like AWK sripts, simple programs and editor maros. However, loosely oupled tools do not offer enough support for data migration after the shema transformation has been finished. We argue that the usually omplex and thus error prone task of data migration should be arried out automatially. Indeed, our approah in ontrast to loosely oupled tools makes this feasible by establishing and maintaining the neessary dependenies between a relational and an objet-oriented shema. The next setion will sketh a simple user senario with our migration environment to illustrate the reasons for and benefits of an interative shema transformation proess. Setion 3 explains how the dependenies between the relational and objet-oriented shema respetively whih define orresponding syntatial onstruts in the two shemes are formally speified, established and maintained during editing of an objet-oriented shema. Our approah even supports to edit an objet-oriented shema in suh a way that established dependenies get lost (for a while) and are re-established later on again (semi-)automatially. Setion 4 gives an overview about the urrent status of the migration environment and skethes some further plans for its utilization. 2 The Migration Environment: An Example Senario Figure 1 shows an example sreen dump of the migration environment. The left window shows an editor for the relational shema supporting SQL (with additonal semanti annotations) while the right window shows an editor for the objet-oriented shema aording to the ODMG-93 standard 3 [Cat93]. In migrating a database system the first step is to analyse the legay relational system. For this purpose, the shema extration and analysis tool offers ommands within the "Extrat" submenu of the SQL-shema window that inspet existing relational database systems and extrat as muh shema information as possible in order to build up an (initial) SQL-shema. The shema extration tool first will query the relational database system for its shema. This will reveal at least the existing tables together with their ibutes. In more sophistiated database management systems we may gain information on primary keys, foreign keys, referential integrity onstraints, and additional dependenies. By inspeting the ode of database system appliations, stored proedures, and event handling proedures and by inspeting the data 3. Due to layout reasons we use a simplified syntax for the definition of the objet-oriented database shema. itself we may get even more information about e.g. the ardinality of relationships and higher level abstration mehanisms like aggregation and inheritane strutures. A detailed disription on how these informations an be exstrated is beyond the sope of this paper and an be found in other ontributions [And94, FV95, PB94, PKBT94, SLGC94]. As stated in the introdution, a fully automati shema extration normally will fail to detat all relevant information and to reover the higher level design onepts of a shema. Thus, the user, e.g. a database system administrator or an appliation programmer, may add his speifi design and appliation knowledge to the relational shema initially onstruted by the shema extration tool. Let us assume that in Figure 1 the automati shema extration tool was not able to identify the p_hair ibute of table Conf_Info_Addr as foreign-key ibute referening the name ibute of table Person and/or the uniqueness of this ibute. The user ould easily add this information within the SQL-shema window. Another example is the "HINT:" omment that table Conf_Info_-Addr is a kind of subrelation of table Conferene whih suggests an aggregation relationship between these two tables. Sine the user is allowed to annotate the SQL shema manually, he/she may erroneously introdue inonsistenies with the given shema of the desribed relational database system. In order to gain maximal onsisteny, the shema extration tool offers additional ommands that are used to ompare the edited shema with the shema of the legay system (f. ommand "Compare with database" in the popup menu in Figure 1) and e.g. to validate the orretness of ardinality onstraints by inspeting the atual data of the legay system (f. ommand "Validate Constraints"). Suh shema enhanements should be performed by a database system administrator or appliation programmer who is familar with the legay relational system in order to exploit their appliation knowledge within this step. In order to failitate this task for these peoples it is important that they an do this work within the SQL notation they use in their every day work. So these people not neessarilary have to beome experts in the ODMG data definition language and objet oriented design onepts first. A further step in shema migration is the transformation of the SQL shema reahed so far into an equivalent ODMG shema. This transformation must exploit all semanti information ontained in the annotated SQL shema and has to employ the additional expressive power of the objet oriented data model as far as possible. Due to the semanti gap between the two data models this shema transformation an not be done fully-automatially but again user interation is neessary in order to yield a high quality resulting ODMG shema. The shema transformation or ping tool of the proposed migration environment is based on an adaptable set of

3 SQL - Editor X ODMG - Editor X File Edit Extrat Mapping Options File Edit Mapping Redesign Options reate sheme ConfereneOrganisation; reate table Conferene ( onf_id int not null, title varhar(15) not null, start date, end date, primary key ( onf_id )) reate table Conf_Info_Addr ( onf_id int not null, p_hair varhar(15), mail_addr varhar(30), primary key (onf_id), foreign key (onf_id) referenes Conferene(onf_id) on delete asade, unique foreign key (p_hair) referenes Person(name) on delete set null) (* HINT: subrel of Conferene *) reate table Person ( name varhar(15) not null, address varhar (50), title varhar (15), primary key (name) sheme ConfereneOrganisation ( lass Conferene title : string; start : Date; end : Date; p_hair : Ref <Person>; mail_addr : string; lass Person name : string; address : Ref <Address>; lass Address street : string; ity : string; Commands Delete Current Insert New Class Append New Class Compare with database Validate Constraints Map Table to Own Class Merge Into Conferene Aggregation in Conferene Figure 1: User Interfae of the SQL/ODMG Editor/Mapper shema ping rules. Eah ping rule defines how a speifi onstrut or situation in a SQL shema is ped to an equivalent onstrut or situation within the ODMG shema. However, in general there are several alternatives to define the shema ping. For example, within Figure 1 the urrently seleted table Conf_Info_Addr has been ped to a group of ibutes of lass Conferene using the ping rule "Merge into lass of father relation". This was possible sine the additional shema information indiates that for every Conferene tuple/objet there exists exatly one Conf_Info_Addr tuple. Thus, the ibutes of Conf_Info_Addr an be inorporated into lass Conferene without loosing any information. Alternatively, the table Conf_Info_Addr ould have been ped to a omplex (aggregation/tuple) ibute of lass Conferene using the ping rule "Aggregation in lass of father relation". Third, the table Conf_Info_Addr ould have been ped to its own lass Conf_Info_Addr in ombination with a referene Attribute within lass Conferene using the rule "Map Table to Own Class". Within our migration environment first an initial ping from the SQL shema to the ODMG shema is omputed based on (user defined) priorities for alternative ping rules. Sine these general priorities will not fit for all atual situations, the user may inspet the resulting pings and interatively selet more appropriate ping alternatives, f. Figure 1. To provide maximum flexibility the rule set of our migration environment is designed to be easily extended, enhaned or exhanged. This allows to improve the ping tool later on and to deal with SQL shemata belonging to different "design styles/shools". The ping proess desribed so far is based on the information ontained in the SQL shema definition. But, due to the simpliity of the relational data model it ontains no or only little information about the higher level design onepts like aggregation and inheritane strutures. Thus

4 the ODMG shema derived so far an still be enhaned by employing these higher level onepts. Therefore, the migration environment offers a set of equivalene preserving design transformations within its "Redesign" menu. Examples for suh redesign operations are renaming of any element of the ODMG shema, or the ombination of a group of ibutes of a lass to a new omplex aggregation ibute, or the replaement of a group of ibutes by a referene to a newly introdued lass ontaining these ibutes, or the extration of a group of ommon ibutes from several lasses and their reorganisation as a new ommon super lass. All these design transformations will not violate the dependeny between the SQL shema and the ODMG shema, respetively. In addition the database designer has the possibility to edit (any parts of) the ODMG shema freely. He may add new ibutes and/or lasses and drop existing shema parts. Thereby, the designer is allowed to define parts of (or even the whole) ODMG shema anew aording to different design rationals or to new system requirements. Clearly, during free editing dependenies with the SQL shema is lost. Within the migration environment suh unped shema elements will be marked using a speial olour in both windows, the SQL shema window and the ODMG shema window. Using the ping rules dependeies are reestablished automatially or semi-automatially, i.e. in many ases no user interation is neessary to reestablish the orrespondene between the two shemas, in some ases the environment may need advie to identify orresponding syntatial onstruts, and in some ases the user may have to onfirm expliitly the insertion or deletion of syntatial onstruts in the ODMG-shema. During the enhanement of the ODMG shema we oasionally will fae the situation that the ping engineer or the ODMG shema designer will find parts of the shema where some semanti information is missing in the SQL shema. At this point further investigation within the relational database system may reveal additional informations that now an be added to the SQL shema desription. This additional shema information may enable new ping alternatives (perhaps of higher priority) for this shema parts or may even falsifiate old pings. In this situation again the dependenies of the two shemata are reestablished semi-automatially using the ping tool. It is even possible to start with a part of the shema of the legay relational system and to this part first and to extend this partial shema migration by the remaining parts later on. 3 Implementation Conepts Within our migration environment we employ struture oriented editors for the representation and manipulation of the SQL and the ODMG shema. These struture oriented editors internally store an abstrat syntax tree representation of the edited shemas. Figure 2 shows a simplified utout of the internal data strutures of our migration environment for the example szenario shown in Figure 1. The left side of Figure 2 shows the representation of the SQL shema and the right side shows the representation of the ODMG shema. The root of the SQL shema is represented by a node/an objet of type SQLShema arrying the name "Conf.Org." 4 of the example shema as (one of its) ibute(s). The SQL shema node has three outgoing edges/referenes of type leading to the ontained table definitions. A table definition is represented by a node of type table with outgoing edges leading to the ontained ibute definitions. The editors offer struture oriented editing ommands that diretly manipulate the underlying abstrat syntax tree. 5 Additional semanti information like identifier bindings, type information and results of the shema extration tool is represented by additional ibutes and edges. For example, the edge labeled foreign_key leading from node "onf_id" of table "C.Inf.Adr" 6 to the orresponding node of table "Confer." represents a foreign key ondition. Note also the subrel edge relating table "Confer." and table "C.Inf.Adr", f. hint in Figure 1. The struture oriented editors of our migration environments are easily generated from a speifiation of the syntati struture of the orresponding shema language (f. [Emm95]). Besides supporting struture-oriented editing this graphbased approah has an additional advantage in the ontext of database reengineering. The graph-struture is extended by additional nodes and edges whih establish the dependenies between the relational and the objet oriented shema respetively. The formal definition of these dependenies as well as the preservation of these dependenies during editing the ODMG or the SQL definition is given by a triple graph grammar [Lef94, Lef95, Sh94] whih we explain now. The top of Figure 3 shows as an example the tripple graph grammar rule MapTableToClass. Basially, a tripple graph grammar rule, in the following alled a ping rule, 4. Abbreviated due to layout reasons. Stands for "ConfereneOrganisation". 5. The editors are hybrid struture oriented/textual editors. The user may edit any syntati part of the shema in normal text oriented mode. Then a multiple entry parser analysis the edited text and (re)builds the orresponding abstrat syntax subtree. 6. Abbreviation for "Conf_Info_Addr".

5 SQL-Shema Mapping-Desription ODMG-Shema SQLShema Conf.Org Mapping Conf.Org ODMG-Sh. Conf.Org table Confer. MapTo- Own lass Conf. onf_id dep title sub_rel table C.Inf.Adr foreign key MergeTo- FatherRel p_hair mail onf_id p_hair mail table Person foreign key MapTo- Own lass Person type name address dep name address MapTo- Aggreg lass Address type Figure 2: Cut-Out of the Internal Representaion of Douments

6 ping MapTableToClass = 11 : SQLSheme 21 : Mapping 31 : ODMGSheme 20 : MapToOwn 30 : lass ondition 10.Ident = 20.SQLIdent; 20.ODMGIdent = 30.Ident; ping MapMergeToFatherRel = 11 : table 21 : MAP 31 : lass subrel dep 20 : MergeToFatherRel ping MapAggregateInOther = 11 : table 21 : MAP 31 : lass subrel dep 10 : AttrGroup 20 : AggregateInOther 30 : CompAttr Figure 3: Trippel Graph Grammar Rules for tables is a speially notated graph rewriting rule (see [HE95] for an overview on graph grammars). Within a ping rule the solid parts (like the nodes 11, 21, and 31 and the onneting edges) desribe the so alled left hand side. The dashed parts (like node 10, 20, and 30 and the attahed edges) desribe the so alled addition part. A ping rule is exeuted by searhing for an isomorphi image of its left hand side and extending the found image by an isomorphi image of its addition part. The example ping rule MapTableToClass searhes for a node 11 of type SQLShema (the root of the SQL shema) and a node 31 of type ODMG Shema (the root of the ODMG shema) that are onneted to a node 21 of type Mapping (the indiator of a orrespondeny between the two shemata) by two edges. The rule adds a new table 10 to the SQL shema and simultaneously a new lass 30 to the ODMG shema and a ping indiator 20 of type MapToOwn to the urrent data struture. Figure 3 shows two additional rules for SQL tables. Rule MapMergeToFatherRel desribes that a table 10 that is known to be a subrel of another table 11 that already has been ped 7 to lass 31 an be ped to the same lass 31 as its father relation. Rule MapAggregateInOther desribes that in the same situation table 10 also an be

7 forward rule MapTableToClass = 11 : SQLShema 21 : Mapping 31 : ODMGShema 20 : MapToOwn 30 : lass transfer 20.SQLIdent := 10.Ident; 20.ODMGIdent := 10.Ident; 30.Ident := 10.Ident; relating rule MapTableToClass = 11 : SQLShema 21 : Mapping 31 : ODMGShema 20 : MapToOwn 30 : lass transfer 20.SQLIdent := 10.Ident; 20.ODMGIdent := 30.Ident; bakward rule MapTableToClass = 11 : SQLShema 21 : Mapping 31 : ODMGShema 20 : MapToOwn 30 : lass transfer 20.SQLIdent := 30.Ident; 20.ODMGIdent := 30.Ident; 10.Ident := 30.Ident; Figure 4: Graph Grammar Rules derived from MapTableToClass ped to a omplex ibute (of reord or tuple type) of the lass 31 that orresponds to its father relation/table 11. Additional ping rules are used to define the ping of ibutes and ibute types. Formally, a set of suh ping rules (together with an appropriate start graph) builds a (tripple graph) grammar with the set of all pairs of SQL and ODMG shemata as its language that we onsider to be equivalent or to depend on eah other The ping indiator 21 of super lass MAP an be mathed to ping indiators of any of its sublasses, like MapTableToClass, MapMergeToFatherRel, or MapAggregateInOther in our example. 8. The prove that exatly the set of all equivalent shema pairs is defined by a set of ping rules is still a topi of urrent researh. From the ping engineers point of view, eah ping rule defines for a given element/substruture of a SQL shema one possible translation into an element/a substruture of an ODMG shema that he/she onsiders to be equivalent. The ping tool utilizes this equivalene definition by deriving three different operations/graph rewriting rules from every ping rule, a forward transformation rule, a relating rule and a bakward transformation rule. Figure 4 shows the forward transformation, relating, and bakward transformation rules derived from the ping rule MapTableToClass shown in Figure 3. A forward transformation rule is derived from the orresponding ping rule by hanging the dashed SQL parts

8 of the ping rule to beome solid parts. For rule MapTableToClass these parts are node 10 and the attahed edge omming from node 11. The resulting forward transformation rule searhes for a table 9 in the SQLShema and reates an appropriate lass within the orresponding ODMG- Shema (and a ping indiator MapToOwn desribing the orrespondeny of the translated elements). The relating rule is derived from the ping rule by hanging the dashed SQL and the dashed ODMG parts to beome solid. The resulting rule is used to reestablish orrespondeny information that was lost due to editing of the ODMG shema or that had beome invalid due to new shema information added to the SQL shema, e.g. by the shema extration tool. The bakward transformation rule is derived by making the ODMG parts solid. Suh rules an be used to translate an objet oriented oneptual database shema into a logial SQL database shema. 4 Current and Future Work A prototype of the migration environment is available and demonstrates the feasibility of the approah. This prototype is now developed further by a one-year projetinluding 15 graduate students and a number of MS-thesises. In ooperation with loal industry and the Paderborn C- lab (former CADLAB) the resulting environment shall beome part of a design environment for federated data base systems. Through its OpenDM-system (Open Data Base Middleware) C-lab provides the possibility to exeute queries to a federated system whose shema is defined as an ODMG shema, in suh a way that the appropriate loal data base(s) of the federation are queried. The neessary information to translate the result of suh a query bak into the ODMG-model, if the loal system is a relational one, is provided by the migration environment as skethed in this paper. Based on our approah to shema migration our urrent researh fouses on the remaining two migration phases: data migration and appliation migration. Referenes [And94] M. Andersson. Extrating an Entity Relationship Shema from a Relational Database through Reverse Engineering. In Pro. of the 13th Int. Conferene of the Entity Relationship Approah, Manhester, pages Springer, [Cat93] R. Cattell, editor. The Objet Database Standard: ODMG-93. Morgan Kaufman, We employ additional onditions to ensure that the regarded table is not yet transformed. [CEER96] J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg (Eds.). Pro. 5th Int. Workshop on Graph Grammars and Their Appliation to Computer Siene. LNCS Springer-Verlag, [DA87] K. H. Davis and A. K. Arora. Converting a Relational Database Model into an Entity-Relationship Model. In Pro. of the 6th Int. Conferene of the Entity Relationship Approah, New York, pages North-Holland, November [Emm95] W. Emmerih. Tool Constrution for Proess-Centered Software Development Environments based on Objet Database Systems. PhD thesis, University of Paderborn, [FV95] C. Fahrner and G. Vossen. Transforming Relational Database Shemas into Objet-Oriented Shemas aording to ODMG-93. In Pro. of the 4th Int. Conf. of on Dedutive and Objet-Oriented Databases 1995, [HEH + 93] J-L. Hainaut, V. Englebert, J. Henrard, J-M. Hik, and D. Roland. Requirements for information system reverse engineering support. Tehnial Report RP-95-13, University of Namur, Belgium, [JK90] P. Johannesson and K. Kalman. A method for translating relational shemas into oneptual shemas. In F. H. Lohovsky, editor, Entity-Relationship Approah to Database Design and Querying. ERI, [Lef94] Martin Lefering. Development of inremental integration tools using formal speifiations. Tehnial report, RWTH Aahen, [Lef95] Martin Lefering. Integrationswerkzeuge in einer Softwareentwiklungsumgebung. Informatik. Verlag Shaker, [LS88] C. Lewerentz and A. Shürr. GRAS, a management system for graph-like douments. In Pro. of the 3 rd Int. Conf. on Data and Knowledge Bases. Morgan Kaufmann, [Mai89] D. Maier. Making database systems fast enough for CAD appliations. In W. Kim and F. H. Lohovsky, editors, Objet-Oriented Conepts, Databases and Appliations, pages Addison-Wesley, [MM90] V. M. Markowitz and J. A. Makowsky. Identifying extended entity-relationship objet strutures in relational shemas. IEEE Transations on Software Engineering, 16(8): , August [NA87] S. B. Navathe and A. M. Awong. Abstrating Relational and Hierarhial Data with a Semanti Data Model. In Pro. of the 6th Int. Conferene of the Entity Relationship Approah, New York, pages North-Holland, November [PB94] W. J. Premerlani and M. R. Blaha. An approah for reverse engineering of relational databases. Communiations of the ACM, 37(5):42 49, May [PKBT94] J-M. Petit, J. Kouloumdjian, J-F. Bouliaut, and F. Toumani. Using queries to improve database reverse engineering. In Pro. of 13th Int. Conferene of ERA, Manhester, pages Springer, [Sh94] Andreas Shürr. Speifiation of graph translators with triple graph grammars. Tehnial report, RWTH Aahen, [SK90] F. N. Springsteel and C. Kou. Reverse Data Engineering of E-R Designed Relational Shemas. In Pro. of Databases, Parallel Arhitetures and their Appliations, pages Springer, Marh [SLGC94] O. Signore, M. Loffredo, M. Gregori, and M. Cima. Reonstrution of er shema from database appliations: a ognitive approah. In Pro. of 13th Int. Conferene of ERA, Manhester, pages Springer, 1994.

Granular Problem Solving and Software Engineering

Granular Problem Solving and Software Engineering Granular Problem Solving and Software Engineering Haibin Zhu, Senior Member, IEEE Department of Computer Siene and Mathematis, Nipissing University, 100 College Drive, North Bay, Ontario, P1B 8L7, Canada

More information

A Context-Aware Preference Database System

A Context-Aware Preference Database System J. PERVASIVE COMPUT. & COMM. (), MARCH 005. TROUBADOR PUBLISHING LTD) A Context-Aware Preferene Database System Kostas Stefanidis Department of Computer Siene, University of Ioannina,, kstef@s.uoi.gr Evaggelia

More information

Sebastián Bravo López

Sebastián Bravo López Transfinite Turing mahines Sebastián Bravo López 1 Introdution With the rise of omputers with high omputational power the idea of developing more powerful models of omputation has appeared. Suppose that

More information

A Holistic Method for Selecting Web Services in Design of Composite Applications

A Holistic Method for Selecting Web Services in Design of Composite Applications A Holisti Method for Seleting Web Servies in Design of Composite Appliations Mārtiņš Bonders, Jānis Grabis Institute of Information Tehnology, Riga Tehnial University, 1 Kalu Street, Riga, LV 1658, Latvia,

More information

An Enhanced Critical Path Method for Multiple Resource Constraints

An Enhanced Critical Path Method for Multiple Resource Constraints An Enhaned Critial Path Method for Multiple Resoure Constraints Chang-Pin Lin, Hung-Lin Tai, and Shih-Yan Hu Abstrat Traditional Critial Path Method onsiders only logial dependenies between related ativities

More information

Open and Extensible Business Process Simulator

Open and Extensible Business Process Simulator UNIVERSITY OF TARTU FACULTY OF MATHEMATICS AND COMPUTER SCIENCE Institute of Computer Siene Karl Blum Open and Extensible Business Proess Simulator Master Thesis (30 EAP) Supervisors: Luiano Garía-Bañuelos,

More information

FIRE DETECTION USING AUTONOMOUS AERIAL VEHICLES WITH INFRARED AND VISUAL CAMERAS. J. Ramiro Martínez-de Dios, Luis Merino and Aníbal Ollero

FIRE DETECTION USING AUTONOMOUS AERIAL VEHICLES WITH INFRARED AND VISUAL CAMERAS. J. Ramiro Martínez-de Dios, Luis Merino and Aníbal Ollero FE DETECTION USING AUTONOMOUS AERIAL VEHICLES WITH INFRARED AND VISUAL CAMERAS. J. Ramiro Martínez-de Dios, Luis Merino and Aníbal Ollero Robotis, Computer Vision and Intelligent Control Group. University

More information

Context in Artificial Intelligent and Information Modeling

Context in Artificial Intelligent and Information Modeling Context in Artifiial Intelligent and Information Modeling Manos Theodorakis ½ and Niolas Spyratos ¾ ¾ ½ FIT-Fraunhofer Institute for Applied Information Tehnology, D-53754, Sankt Augustin, Germany manos.theodorakis@fit.fraunhofer.de

More information

Intelligent Measurement Processes in 3D Optical Metrology: Producing More Accurate Point Clouds

Intelligent Measurement Processes in 3D Optical Metrology: Producing More Accurate Point Clouds Intelligent Measurement Proesses in 3D Optial Metrology: Produing More Aurate Point Clouds Charles Mony, Ph.D. 1 President Creaform in. mony@reaform3d.om Daniel Brown, Eng. 1 Produt Manager Creaform in.

More information

Channel Assignment Strategies for Cellular Phone Systems

Channel Assignment Strategies for Cellular Phone Systems Channel Assignment Strategies for Cellular Phone Systems Wei Liu Yiping Han Hang Yu Zhejiang University Hangzhou, P. R. China Contat: wliu5@ie.uhk.edu.hk 000 Mathematial Contest in Modeling (MCM) Meritorious

More information

i_~f e 1 then e 2 else e 3

i_~f e 1 then e 2 else e 3 A PROCEDURE MECHANISM FOR BACKTRACK PROGRAMMING* David R. HANSON + Department o Computer Siene, The University of Arizona Tuson, Arizona 85721 One of the diffiulties in using nondeterministi algorithms

More information

OpenScape 4000 CSTA V7 Connectivity Adapter - CSTA III, Part 2, Version 4.1. Developer s Guide A31003-G9310-I200-1-76D1

OpenScape 4000 CSTA V7 Connectivity Adapter - CSTA III, Part 2, Version 4.1. Developer s Guide A31003-G9310-I200-1-76D1 OpenSape 4000 CSTA V7 Connetivity Adapter - CSTA III, Part 2, Version 4.1 Developer s Guide A31003-G9310-I200-1-76 Our Quality and Environmental Management Systems are implemented aording to the requirements

More information

A Keyword Filters Method for Spam via Maximum Independent Sets

A Keyword Filters Method for Spam via Maximum Independent Sets Vol. 7, No. 3, May, 213 A Keyword Filters Method for Spam via Maximum Independent Sets HaiLong Wang 1, FanJun Meng 1, HaiPeng Jia 2, JinHong Cheng 3 and Jiong Xie 3 1 Inner Mongolia Normal University 2

More information

Static Fairness Criteria in Telecommunications

Static Fairness Criteria in Telecommunications Teknillinen Korkeakoulu ERIKOISTYÖ Teknillisen fysiikan koulutusohjelma 92002 Mat-208 Sovelletun matematiikan erikoistyöt Stati Fairness Criteria in Teleommuniations Vesa Timonen, e-mail: vesatimonen@hutfi

More information

TECHNOLOGY-ENHANCED LEARNING FOR MUSIC WITH I-MAESTRO FRAMEWORK AND TOOLS

TECHNOLOGY-ENHANCED LEARNING FOR MUSIC WITH I-MAESTRO FRAMEWORK AND TOOLS TECHNOLOGY-ENHANCED LEARNING FOR MUSIC WITH I-MAESTRO FRAMEWORK AND TOOLS ICSRiM - University of Leeds Shool of Computing & Shool of Musi Leeds LS2 9JT, UK +44-113-343-2583 kia@i-maestro.org www.i-maestro.org,

More information

Hierarchical Clustering and Sampling Techniques for Network Monitoring

Hierarchical Clustering and Sampling Techniques for Network Monitoring S. Sindhuja Hierarhial Clustering and Sampling Tehniques for etwork Monitoring S. Sindhuja ME ABSTRACT: etwork monitoring appliations are used to monitor network traffi flows. Clustering tehniques are

More information

WORKFLOW CONTROL-FLOW PATTERNS A Revised View

WORKFLOW CONTROL-FLOW PATTERNS A Revised View WORKFLOW CONTROL-FLOW PATTERNS A Revised View Nik Russell 1, Arthur H.M. ter Hofstede 1, 1 BPM Group, Queensland University of Tehnology GPO Box 2434, Brisbane QLD 4001, Australia {n.russell,a.terhofstede}@qut.edu.au

More information

Computer Networks Framing

Computer Networks Framing Computer Networks Framing Saad Mneimneh Computer Siene Hunter College of CUNY New York Introdution Who framed Roger rabbit? A detetive, a woman, and a rabbit in a network of trouble We will skip the physial

More information

Parametric model of IP-networks in the form of colored Petri net

Parametric model of IP-networks in the form of colored Petri net Parametri model of IP-networks in the form of olored Petri net Shmeleva T.R. Abstrat A parametri model of IP-networks in the form of olored Petri net was developed; it onsists of a fixed number of Petri

More information

INCOME TAX WITHHOLDING GUIDE FOR EMPLOYERS

INCOME TAX WITHHOLDING GUIDE FOR EMPLOYERS Virginia Department of Taxation INCOME TAX WITHHOLDING GUIDE FOR EMPLOYERS www.tax.virginia.gov 2614086 Rev. 07/14 * Table of Contents Introdution... 1 Important... 1 Where to Get Assistane... 1 Online

More information

' R ATIONAL. :::~i:. :'.:::::: RETENTION ':: Compliance with the way you work PRODUCT BRIEF

' R ATIONAL. :::~i:. :'.:::::: RETENTION ':: Compliance with the way you work PRODUCT BRIEF ' R :::i:. ATIONAL :'.:::::: RETENTION ':: Compliane with the way you work, PRODUCT BRIEF In-plae Management of Unstrutured Data The explosion of unstrutured data ombined with new laws and regulations

More information

A novel active mass damper for vibration control of bridges

A novel active mass damper for vibration control of bridges IABMAS 08, International Conferene on Bridge Maintenane, Safety and Management, 3-7 July 008, Seoul, Korea A novel ative mass damper for vibration ontrol of bridges U. Starossek & J. Sheller Strutural

More information

Computational Analysis of Two Arrangements of a Central Ground-Source Heat Pump System for Residential Buildings

Computational Analysis of Two Arrangements of a Central Ground-Source Heat Pump System for Residential Buildings Computational Analysis of Two Arrangements of a Central Ground-Soure Heat Pump System for Residential Buildings Abstrat Ehab Foda, Ala Hasan, Kai Sirén Helsinki University of Tehnology, HVAC Tehnology,

More information

INCOME TAX WITHHOLDING GUIDE FOR EMPLOYERS

INCOME TAX WITHHOLDING GUIDE FOR EMPLOYERS Virginia Department of Taxation INCOME TAX WITHHOLDING GUIDE FOR EMPLOYERS www.tax.virginia.gov 2614086 Rev. 01/16 Table of Contents Introdution... 1 Important... 1 Where to Get Assistane... 1 Online File

More information

Big Data Analysis and Reporting with Decision Tree Induction

Big Data Analysis and Reporting with Decision Tree Induction Big Data Analysis and Reporting with Deision Tree Indution PETRA PERNER Institute of Computer Vision and Applied Computer Sienes, IBaI Postbox 30 11 14, 04251 Leipzig GERMANY pperner@ibai-institut.de,

More information

) ( )( ) ( ) ( )( ) ( ) ( ) (1)

) ( )( ) ( ) ( )( ) ( ) ( ) (1) OPEN CHANNEL FLOW Open hannel flow is haraterized by a surfae in ontat with a gas phase, allowing the fluid to take on shapes and undergo behavior that is impossible in a pipe or other filled onduit. Examples

More information

Customer Reporting for SaaS Applications. Domain Basics. Managing my Domain

Customer Reporting for SaaS Applications. Domain Basics. Managing my Domain Produtivity Marketpla e Software as a Servie Invoiing Ordering Domains Customer Reporting for SaaS Appliations Domain Basis Managing my Domain Managing Domains Helpful Resoures Managing my Domain If you

More information

Marker Tracking and HMD Calibration for a Video-based Augmented Reality Conferencing System

Marker Tracking and HMD Calibration for a Video-based Augmented Reality Conferencing System Marker Traking and HMD Calibration for a Video-based Augmented Reality Conferening System Hirokazu Kato 1 and Mark Billinghurst 2 1 Faulty of Information Sienes, Hiroshima City University 2 Human Interfae

More information

An Efficient Network Traffic Classification Based on Unknown and Anomaly Flow Detection Mechanism

An Efficient Network Traffic Classification Based on Unknown and Anomaly Flow Detection Mechanism An Effiient Network Traffi Classifiation Based on Unknown and Anomaly Flow Detetion Mehanism G.Suganya.M.s.,B.Ed 1 1 Mphil.Sholar, Department of Computer Siene, KG College of Arts and Siene,Coimbatore.

More information

Chapter 1 Microeconomics of Consumer Theory

Chapter 1 Microeconomics of Consumer Theory Chapter 1 Miroeonomis of Consumer Theory The two broad ategories of deision-makers in an eonomy are onsumers and firms. Eah individual in eah of these groups makes its deisions in order to ahieve some

More information

Findings and Recommendations

Findings and Recommendations Contrating Methods and Administration Findings and Reommendations Finding 9-1 ESD did not utilize a formal written pre-qualifiations proess for seleting experiened design onsultants. ESD hose onsultants

More information

How To Fator

How To Fator CHAPTER hapter 4 > Make the Connetion 4 INTRODUCTION Developing seret odes is big business beause of the widespread use of omputers and the Internet. Corporations all over the world sell enryption systems

More information

Supply chain coordination; A Game Theory approach

Supply chain coordination; A Game Theory approach aepted for publiation in the journal "Engineering Appliations of Artifiial Intelligene" 2008 upply hain oordination; A Game Theory approah Jean-Claude Hennet x and Yasemin Arda xx x LI CNR-UMR 668 Université

More information

Interactive Feature Specification for Focus+Context Visualization of Complex Simulation Data

Interactive Feature Specification for Focus+Context Visualization of Complex Simulation Data Joint EUROGRAPHICS - IEEE TCVG Symposium on Visualization (2003) G.-P. Bonneau, S. Hahmann, C. D. Hansen (Editors) Interative Feature Speifiation for Fous+Context Visualization of Complex Simulation Data

More information

Weighting Methods in Survey Sampling

Weighting Methods in Survey Sampling Setion on Survey Researh Methods JSM 01 Weighting Methods in Survey Sampling Chiao-hih Chang Ferry Butar Butar Abstrat It is said that a well-designed survey an best prevent nonresponse. However, no matter

More information

Recommending Questions Using the MDL-based Tree Cut Model

Recommending Questions Using the MDL-based Tree Cut Model WWW 2008 / Refereed Trak: Data Mining - Learning April 2-25, 2008 Beijing, China Reommending Questions Using the MDL-based Tree Cut Model Yunbo Cao,2, Huizhong Duan, Chin-Yew Lin 2, Yong Yu, and Hsiao-Wuen

More information

Capacity at Unsignalized Two-Stage Priority Intersections

Capacity at Unsignalized Two-Stage Priority Intersections Capaity at Unsignalized Two-Stage Priority Intersetions by Werner Brilon and Ning Wu Abstrat The subjet of this paper is the apaity of minor-street traffi movements aross major divided four-lane roadways

More information

Deadline-based Escalation in Process-Aware Information Systems

Deadline-based Escalation in Process-Aware Information Systems Deadline-based Esalation in Proess-Aware Information Systems Wil M.P. van der Aalst 1,2, Mihael Rosemann 2, Marlon Dumas 2 1 Department of Tehnology Management Eindhoven University of Tehnology, The Netherlands

More information

Chapter 6 A N ovel Solution Of Linear Congruenes Proeedings NCUR IX. (1995), Vol. II, pp. 708{712 Jerey F. Gold Department of Mathematis, Department of Physis University of Utah Salt Lake City, Utah 84112

More information

Agent-Based Grid Load Balancing Using Performance-Driven Task Scheduling

Agent-Based Grid Load Balancing Using Performance-Driven Task Scheduling Agent-Based Grid Load Balaning Using Performane-Driven Task Sheduling Junwei Cao *1, Daniel P. Spooner, Stephen A. Jarvis, Subhash Saini and Graham R. Nudd * C&C Researh Laboratories, NEC Europe Ltd.,

More information

Improved SOM-Based High-Dimensional Data Visualization Algorithm

Improved SOM-Based High-Dimensional Data Visualization Algorithm Computer and Information Siene; Vol. 5, No. 4; 2012 ISSN 1913-8989 E-ISSN 1913-8997 Published by Canadian Center of Siene and Eduation Improved SOM-Based High-Dimensional Data Visualization Algorithm Wang

More information

CIS570 Lecture 4 Introduction to Data-flow Analysis 3

CIS570 Lecture 4 Introduction to Data-flow Analysis 3 Introdution to Data-flow Analysis Last Time Control flow analysis BT disussion Today Introdue iterative data-flow analysis Liveness analysis Introdue other useful onepts CIS570 Leture 4 Introdution to

More information

Petri nets for the verification of Ubiquitous Systems with Transient Secure Association

Petri nets for the verification of Ubiquitous Systems with Transient Secure Association Petri nets for the verifiation of Ubiquitous Systems with Transient Seure Assoiation Fernando Rosa-Velardo Tehnial Report 2/07 Dpto. de Sistemas Informátios y Computaión Universidad Complutense de Madrid

More information

A Survey of Usability Evaluation in Virtual Environments: Classi cation and Comparison of Methods

A Survey of Usability Evaluation in Virtual Environments: Classi cation and Comparison of Methods Doug A. Bowman bowman@vt.edu Department of Computer Siene Virginia Teh Joseph L. Gabbard Deborah Hix [ jgabbard, hix]@vt.edu Systems Researh Center Virginia Teh A Survey of Usability Evaluation in Virtual

More information

Robust Classification and Tracking of Vehicles in Traffic Video Streams

Robust Classification and Tracking of Vehicles in Traffic Video Streams Proeedings of the IEEE ITSC 2006 2006 IEEE Intelligent Transportation Systems Conferene Toronto, Canada, September 17-20, 2006 TC1.4 Robust Classifiation and Traking of Vehiles in Traffi Video Streams

More information

Impedance Method for Leak Detection in Zigzag Pipelines

Impedance Method for Leak Detection in Zigzag Pipelines 10.478/v10048-010-0036-0 MEASUREMENT SCIENCE REVIEW, Volume 10, No. 6, 010 Impedane Method for Leak Detetion in igzag Pipelines A. Lay-Ekuakille 1, P. Vergallo 1, A. Trotta 1 Dipartimento d Ingegneria

More information

Improved Vehicle Classification in Long Traffic Video by Cooperating Tracker and Classifier Modules

Improved Vehicle Classification in Long Traffic Video by Cooperating Tracker and Classifier Modules Improved Vehile Classifiation in Long Traffi Video by Cooperating Traker and Classifier Modules Brendan Morris and Mohan Trivedi University of California, San Diego San Diego, CA 92093 {b1morris, trivedi}@usd.edu

More information

Interpretable Fuzzy Modeling using Multi-Objective Immune- Inspired Optimization Algorithms

Interpretable Fuzzy Modeling using Multi-Objective Immune- Inspired Optimization Algorithms Interpretable Fuzzy Modeling using Multi-Objetive Immune- Inspired Optimization Algorithms Jun Chen, Mahdi Mahfouf Abstrat In this paper, an immune inspired multi-objetive fuzzy modeling (IMOFM) mehanism

More information

Recovering Articulated Motion with a Hierarchical Factorization Method

Recovering Articulated Motion with a Hierarchical Factorization Method Reovering Artiulated Motion with a Hierarhial Fatorization Method Hanning Zhou and Thomas S Huang University of Illinois at Urbana-Champaign, 405 North Mathews Avenue, Urbana, IL 680, USA {hzhou, huang}@ifpuiuedu

More information

INTELLIGENCE IN SWITCHED AND PACKET NETWORKS

INTELLIGENCE IN SWITCHED AND PACKET NETWORKS 22-24 Setember, Sozool, ULGRI INTELLIGENCE IN SWITCHED ND PCKET NETWORKS Ivaylo Ivanov tanasov Deartment of teleommuniations, Tehnial University of Sofia, 7 Kliment Ohridski st., 1000, hone: +359 2 965

More information

Outline. Planning. Search vs. Planning. Search vs. Planning Cont d. Search vs. planning. STRIPS operators Partial-order planning.

Outline. Planning. Search vs. Planning. Search vs. Planning Cont d. Search vs. planning. STRIPS operators Partial-order planning. Outline Searh vs. planning Planning STRIPS operators Partial-order planning Chapter 11 Artifiial Intelligene, lp4 2005/06, Reiner Hähnle, partly based on AIMA Slides Stuart Russell and Peter Norvig, 1998

More information

BENEFICIARY CHANGE REQUEST

BENEFICIARY CHANGE REQUEST Poliy/Certifiate Number(s) BENEFICIARY CHANGE REQUEST *L2402* *L2402* Setion 1: Insured First Name Middle Name Last Name Permanent Address: City, State, Zip Code Please hek if you would like the address

More information

Discovering Trends in Large Datasets Using Neural Networks

Discovering Trends in Large Datasets Using Neural Networks Disovering Trends in Large Datasets Using Neural Networks Khosrow Kaikhah, Ph.D. and Sandesh Doddameti Department of Computer Siene Texas State University San Maros, Texas 78666 Abstrat. A novel knowledge

More information

Classical Electromagnetic Doppler Effect Redefined. Copyright 2014 Joseph A. Rybczyk

Classical Electromagnetic Doppler Effect Redefined. Copyright 2014 Joseph A. Rybczyk Classial Eletromagneti Doppler Effet Redefined Copyright 04 Joseph A. Rybzyk Abstrat The lassial Doppler Effet formula for eletromagneti waves is redefined to agree with the fundamental sientifi priniples

More information

From a strategic view to an engineering view in a digital enterprise

From a strategic view to an engineering view in a digital enterprise Digital Enterprise Design & Management 2013 February 11-12, 2013 Paris From a strategi view to an engineering view in a digital enterprise The ase of a multi-ountry Telo Hervé Paault Orange Abstrat In

More information

FOOD FOR THOUGHT Topical Insights from our Subject Matter Experts

FOOD FOR THOUGHT Topical Insights from our Subject Matter Experts FOOD FOR THOUGHT Topial Insights from our Sujet Matter Experts DEGREE OF DIFFERENCE TESTING: AN ALTERNATIVE TO TRADITIONAL APPROACHES The NFL White Paper Series Volume 14, June 2014 Overview Differene

More information

User s Guide VISFIT: a computer tool for the measurement of intrinsic viscosities

User s Guide VISFIT: a computer tool for the measurement of intrinsic viscosities File:UserVisfit_2.do User s Guide VISFIT: a omputer tool for the measurement of intrinsi visosities Version 2.a, September 2003 From: Multiple Linear Least-Squares Fits with a Common Interept: Determination

More information

State of Maryland Participation Agreement for Pre-Tax and Roth Retirement Savings Accounts

State of Maryland Participation Agreement for Pre-Tax and Roth Retirement Savings Accounts State of Maryland Partiipation Agreement for Pre-Tax and Roth Retirement Savings Aounts DC-4531 (08/2015) For help, please all 1-800-966-6355 www.marylandd.om 1 Things to Remember Complete all of the setions

More information

An integrated optimization model of a Closed- Loop Supply Chain under uncertainty

An integrated optimization model of a Closed- Loop Supply Chain under uncertainty ISSN 1816-6075 (Print), 1818-0523 (Online) Journal of System and Management Sienes Vol. 2 (2012) No. 3, pp. 9-17 An integrated optimization model of a Closed- Loop Supply Chain under unertainty Xiaoxia

More information

In this chapter, we ll see state diagrams, an example of a different way to use directed graphs.

In this chapter, we ll see state diagrams, an example of a different way to use directed graphs. Chapter 19 State Diagrams In this hapter, we ll see state diagrams, an example of a different way to use direted graphs. 19.1 Introdution State diagrams are a type of direted graph, in whih the graph nodes

More information

PROCEEDS OF CRIME (BUSINESS IN THE REGULATED SECTOR) ORDER 2015

PROCEEDS OF CRIME (BUSINESS IN THE REGULATED SECTOR) ORDER 2015 Proeeds of Crime (Business in the Regulated Setor) Order 2015 Artile 1 Statutory Doument No. 2015/0073 Proeeds of Crime At 2008 PROCEEDS OF CRIME (BUSINESS IN THE REGULATED SECTOR) ORDER 2015 Approved

More information

WATER CLOSET SUPPORTS TECHNICAL DATA

WATER CLOSET SUPPORTS TECHNICAL DATA WATER CLOSET SUPPORTS TECHNICAL DATA Smith engineers have developed an unusually omplete line of fixture supports for mounting all types of "off the floor" fixtures. Supports have been designed for water

More information

Behavior Analysis-Based Learning Framework for Host Level Intrusion Detection

Behavior Analysis-Based Learning Framework for Host Level Intrusion Detection Behavior Analysis-Based Learning Framework for Host Level Intrusion Detetion Haiyan Qiao, Jianfeng Peng, Chuan Feng, Jerzy W. Rozenblit Eletrial and Computer Engineering Department University of Arizona

More information

Strategies for Development and Adoption of ERR in German Ambulatory Care

Strategies for Development and Adoption of ERR in German Ambulatory Care Strategies for Development and Adoption of ERR in German Ambulatory Care Sebastian Duennebeil 1, Ali Sunyaev 1, Jan Maro Leimeister 2, Helmut Krmar 1 1 Department of Informatis 1 Tehnishe Universitat MUnhen

More information

Table of Contents. Appendix II Application Checklist. Export Finance Program Working Capital Financing...7

Table of Contents. Appendix II Application Checklist. Export Finance Program Working Capital Financing...7 Export Finane Program Guidelines Table of Contents Setion I General...........................................................1 A. Introdution............................................................1

More information

THE UNIVERSITY OF TEXAS AT ARLINGTON COLLEGE OF NURSING. NURS 6390-004 Introduction to Genetics and Genomics SYLLABUS

THE UNIVERSITY OF TEXAS AT ARLINGTON COLLEGE OF NURSING. NURS 6390-004 Introduction to Genetics and Genomics SYLLABUS THE UNIVERSITY OF TEXAS AT ARLINGTON COLLEGE OF NURSING NURS 6390-004 Introdution to Genetis and Genomis SYLLABUS Summer Interession 2011 Classroom #: TBA and 119 (lab) The University of Texas at Arlington

More information

Programming Basics - FORTRAN 77 http://www.physics.nau.edu/~bowman/phy520/f77tutor/tutorial_77.html

Programming Basics - FORTRAN 77 http://www.physics.nau.edu/~bowman/phy520/f77tutor/tutorial_77.html CWCS Workshop May 2005 Programming Basis - FORTRAN 77 http://www.physis.nau.edu/~bowman/phy520/f77tutor/tutorial_77.html Program Organization A FORTRAN program is just a sequene of lines of plain text.

More information

1.3 Complex Numbers; Quadratic Equations in the Complex Number System*

1.3 Complex Numbers; Quadratic Equations in the Complex Number System* 04 CHAPTER Equations and Inequalities Explaining Conepts: Disussion and Writing 7. Whih of the following pairs of equations are equivalent? Explain. x 2 9; x 3 (b) x 29; x 3 () x - 2x - 22 x - 2 2 ; x

More information

UNIVERSITY AND WORK-STUDY EMPLOYERS WEB SITE USER S GUIDE

UNIVERSITY AND WORK-STUDY EMPLOYERS WEB SITE USER S GUIDE UNIVERSITY AND WORK-STUDY EMPLOYERS WEB SITE USER S GUIDE September 8, 2009 Table of Contents 1 Home 2 University 3 Your 4 Add 5 Managing 6 How 7 Viewing 8 Closing 9 Reposting Page 1 and Work-Study Employers

More information

Asymmetric Error Correction and Flash-Memory Rewriting using Polar Codes

Asymmetric Error Correction and Flash-Memory Rewriting using Polar Codes 1 Asymmetri Error Corretion and Flash-Memory Rewriting using Polar Codes Eyal En Gad, Yue Li, Joerg Kliewer, Mihael Langberg, Anxiao (Andrew) Jiang and Jehoshua Bruk Abstrat We propose effiient oding shemes

More information

Neural network-based Load Balancing and Reactive Power Control by Static VAR Compensator

Neural network-based Load Balancing and Reactive Power Control by Static VAR Compensator nternational Journal of Computer and Eletrial Engineering, Vol. 1, No. 1, April 2009 Neural network-based Load Balaning and Reative Power Control by Stati VAR Compensator smail K. Said and Marouf Pirouti

More information

Software Ecosystems: From Software Product Management to Software Platform Management

Software Ecosystems: From Software Product Management to Software Platform Management Software Eosystems: From Software Produt Management to Software Platform Management Slinger Jansen, Stef Peeters, and Sjaak Brinkkemper Department of Information and Computing Sienes Utreht University,

More information

3 Game Theory: Basic Concepts

3 Game Theory: Basic Concepts 3 Game Theory: Basi Conepts Eah disipline of the soial sienes rules omfortably ithin its on hosen domain: : : so long as it stays largely oblivious of the others. Edard O. Wilson (1998):191 3.1 and and

More information

10.1 The Lorentz force law

10.1 The Lorentz force law Sott Hughes 10 Marh 2005 Massahusetts Institute of Tehnology Department of Physis 8.022 Spring 2004 Leture 10: Magneti fore; Magneti fields; Ampere s law 10.1 The Lorentz fore law Until now, we have been

More information

Fixed-income Securities Lecture 2: Basic Terminology and Concepts. Present value (fixed interest rate) Present value (fixed interest rate): the arb

Fixed-income Securities Lecture 2: Basic Terminology and Concepts. Present value (fixed interest rate) Present value (fixed interest rate): the arb Fixed-inome Seurities Leture 2: Basi Terminology and Conepts Philip H. Dybvig Washington University in Saint Louis Various interest rates Present value (PV) and arbitrage Forward and spot interest rates

More information

Picture This: Molecular Maya Puts Life in Life Science Animations

Picture This: Molecular Maya Puts Life in Life Science Animations Piture This: Moleular Maya Puts Life in Life Siene Animations [ Data Visualization ] Based on the Autodesk platform, Digizyme plug-in proves aestheti and eduational effetiveness. BY KEVIN DAVIES In 2010,

More information

Interaction-Driven Virtual Reality Application Design

Interaction-Driven Virtual Reality Application Design Nar s Parés npares@iua.upf.es Ro Parés rpares@iua.upf.es Audiovisual Institute, Universitat Pompeu Fabra, Pg. Cirumval. laió, 8 08003 Barelona, Spain www.iua.upf.es/, gvirtual Interation-Driven Virtual

More information

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 9, NO. 3, MAY/JUNE 2012 401

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 9, NO. 3, MAY/JUNE 2012 401 IEEE TRASACTIOS O DEPEDABLE AD SECURE COMPUTIG, VOL. 9, O. 3, MAY/JUE 2012 401 Mitigating Distributed Denial of Servie Attaks in Multiparty Appliations in the Presene of Clok Drifts Zhang Fu, Marina Papatriantafilou,

More information

Chapter 1: Introduction

Chapter 1: Introduction Chapter 1: Introdution 1.1 Pratial olumn base details in steel strutures 1.1.1 Pratial olumn base details Every struture must transfer vertial and lateral loads to the supports. In some ases, beams or

More information

AT 6 OF 2012 GAMBLING DUTY ACT 2012

AT 6 OF 2012 GAMBLING DUTY ACT 2012 i e AT 6 OF 2012 GAMBLING DUTY ACT 2012 Gambling Duty At 2012 Index i e GAMBLING DUTY ACT 2012 Index Setion Page PART 1 INTRODUCTORY 5 1 Short title... 5 2 Commenement... 5 3 General interpretation...

More information

GABOR AND WEBER LOCAL DESCRIPTORS PERFORMANCE IN MULTISPECTRAL EARTH OBSERVATION IMAGE DATA ANALYSIS

GABOR AND WEBER LOCAL DESCRIPTORS PERFORMANCE IN MULTISPECTRAL EARTH OBSERVATION IMAGE DATA ANALYSIS HENRI COANDA AIR FORCE ACADEMY ROMANIA INTERNATIONAL CONFERENCE of SCIENTIFIC PAPER AFASES 015 Brasov, 8-30 May 015 GENERAL M.R. STEFANIK ARMED FORCES ACADEMY SLOVAK REPUBLIC GABOR AND WEBER LOCAL DESCRIPTORS

More information

OpenSession: SDN-based Cross-layer Multi-stream Management Protocol for 3D Teleimmersion

OpenSession: SDN-based Cross-layer Multi-stream Management Protocol for 3D Teleimmersion : SN-based ross-layer Multi-stream Management Protool for 3 Teleimmersion hsan refin Raoul Rivas Rehana Tabassum Klara Nahrstedt University of Illinois at Urbana-hampaign, Urbana, IL {marefin2, trivas,

More information

Deduplication with Block-Level Content-Aware Chunking for Solid State Drives (SSDs)

Deduplication with Block-Level Content-Aware Chunking for Solid State Drives (SSDs) 23 IEEE International Conferene on High Performane Computing and Communiations & 23 IEEE International Conferene on Embedded and Ubiquitous Computing Dedupliation with Blok-Level Content-Aware Chunking

More information

SLA-based Resource Allocation for Software as a Service Provider (SaaS) in Cloud Computing Environments

SLA-based Resource Allocation for Software as a Service Provider (SaaS) in Cloud Computing Environments 2 th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing SLA-based Resoure Alloation for Software as a Servie Provider (SaaS) in Cloud Computing Environments Linlin Wu, Saurabh Kumar

More information

Impact Simulation of Extreme Wind Generated Missiles on Radioactive Waste Storage Facilities

Impact Simulation of Extreme Wind Generated Missiles on Radioactive Waste Storage Facilities Impat Simulation of Extreme Wind Generated issiles on Radioative Waste Storage Failities G. Barbella Sogin S.p.A. Via Torino 6 00184 Rome (Italy), barbella@sogin.it Abstrat: The strutural design of temporary

More information

Agile ALM White Paper: Redefining ALM with Five Key Practices

Agile ALM White Paper: Redefining ALM with Five Key Practices Agile ALM White Paper: Redefining ALM with Five Key Praties by Ethan Teng, Cyndi Mithell and Chad Wathington 2011 ThoughtWorks ln. All rights reserved www.studios.thoughtworks.om Introdution The pervasiveness

More information

Retirement Option Election Form with Partial Lump Sum Payment

Retirement Option Election Form with Partial Lump Sum Payment Offie of the New York State Comptroller New York State and Loal Retirement System Employees Retirement System Polie and Fire Retirement System 110 State Street, Albany, New York 12244-0001 Retirement Option

More information

The Application of Mamdani Fuzzy Model for Auto Zoom Function of a Digital Camera

The Application of Mamdani Fuzzy Model for Auto Zoom Function of a Digital Camera (IJCSIS) International Journal of Computer Siene and Information Seurity, Vol. 6, No. 3, 2009 The Appliation of Mamdani Fuzzy Model for Auto Funtion of a Digital Camera * I. Elamvazuthi, P. Vasant Universiti

More information

protection p1ann1ng report

protection p1ann1ng report ( f1re protetion p1ann1ng report I BUILDING CONSTRUCTION INFORMATION FROM THE CONCRETE AND MASONRY INDUSTRIES NO. 15 OF A SERIES A Comparison of Insurane and Constrution Costs for Low-Rise Multifamily

More information

REDUCTION FACTOR OF FEEDING LINES THAT HAVE A CABLE AND AN OVERHEAD SECTION

REDUCTION FACTOR OF FEEDING LINES THAT HAVE A CABLE AND AN OVERHEAD SECTION C I E 17 th International Conferene on Eletriity istriution Barelona, 1-15 May 003 EUCTION FACTO OF FEEING LINES THAT HAVE A CABLE AN AN OVEHEA SECTION Ljuivoje opovi J.. Elektrodistriuija - Belgrade -

More information

i e AT 35 of 1986 ALCOHOLIC LIQUOR DUTIES ACT 1986

i e AT 35 of 1986 ALCOHOLIC LIQUOR DUTIES ACT 1986 i e AT 35 of 1986 ALCOHOLIC LIQUOR DUTIES ACT 1986 Aloholi Liquor Duties At 1986 Index i e ALCOHOLIC LIQUOR DUTIES ACT 1986 Index Setion Page PART I PRELIMINARY 9 1 The aloholi liquors dutiable under

More information

arxiv:astro-ph/0304006v2 10 Jun 2003 Theory Group, MS 50A-5101 Lawrence Berkeley National Laboratory One Cyclotron Road Berkeley, CA 94720 USA

arxiv:astro-ph/0304006v2 10 Jun 2003 Theory Group, MS 50A-5101 Lawrence Berkeley National Laboratory One Cyclotron Road Berkeley, CA 94720 USA LBNL-52402 Marh 2003 On the Speed of Gravity and the v/ Corretions to the Shapiro Time Delay Stuart Samuel 1 arxiv:astro-ph/0304006v2 10 Jun 2003 Theory Group, MS 50A-5101 Lawrene Berkeley National Laboratory

More information

computer science Program Educational Objectives

computer science Program Educational Objectives omputer siene bahelor of siene minor ertifiates: managing information on the world wide web master of siene in omputer siene master of siene in software engineering advaned ertifiate programs: bioinformatis

More information

Transfer of Functions (Isle of Man Financial Services Authority) TRANSFER OF FUNCTIONS (ISLE OF MAN FINANCIAL SERVICES AUTHORITY) ORDER 2015

Transfer of Functions (Isle of Man Financial Services Authority) TRANSFER OF FUNCTIONS (ISLE OF MAN FINANCIAL SERVICES AUTHORITY) ORDER 2015 Transfer of Funtions (Isle of Man Finanial Servies Authority) Order 2015 Index TRANSFER OF FUNCTIONS (ISLE OF MAN FINANCIAL SERVICES AUTHORITY) ORDER 2015 Index Artile Page 1 Title... 3 2 Commenement...

More information

Implementation of PIC Based LED Displays

Implementation of PIC Based LED Displays International Journal of Eletronis and Computer Siene Engineering Available Online at www.ijese.org ISSN- - Implementation of PIC Based LED Displays Htet Htet Thit San, Chaw Myat Nwe and Hla Myo Tun Department

More information

protection p1ann1ng report

protection p1ann1ng report f1re~~ protetion p1ann1ng report BUILDING CONSTRUCTION INFORMATION FROM THE CONCRETE AND MASONRY INDUSTRIES Signifiane of Fire Ratings for Building Constrution NO. 3 OF A SERIES The use of fire-resistive

More information

luxcontrol DALI manual

luxcontrol DALI manual luxcontrol DALI manual . Tridoni GmbH & Co KG Färbergasse 15 6851 Dornbirn Austria Version 3.0 www.tridoni.om Subjet to hange without prior notie. All information is subjet to hange 2 / 93 Table of ontents

More information

Henley Business School at Univ of Reading. Pre-Experience Postgraduate Programmes Chartered Institute of Personnel and Development (CIPD)

Henley Business School at Univ of Reading. Pre-Experience Postgraduate Programmes Chartered Institute of Personnel and Development (CIPD) MS in International Human Resoure Management For students entering in 2012/3 Awarding Institution: Teahing Institution: Relevant QAA subjet Benhmarking group(s): Faulty: Programme length: Date of speifiation:

More information

Automated Test Generation from Vulnerability Signatures

Automated Test Generation from Vulnerability Signatures Automated Test Generation from Vulneraility Signatures Adulaki Aydin, Muath Alkhalaf, and Tevfik Bultan Computer Siene Department University of California, Santa Barara Email: {aki,muath,ultan}@s.us.edu

More information

The Basics of International Trade: A Classroom Experiment

The Basics of International Trade: A Classroom Experiment The Basis of International Trade: A Classroom Experiment Alberto Isgut, Ganesan Ravishanker, and Tanya Rosenblat * Wesleyan University Abstrat We introdue a simple web-based lassroom experiment in whih

More information