Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
|
|
- Ethan Daniels
- 6 years ago
- Views:
Transcription
1 Querying Geoetric Figure Uing a Controlled Language, Ontological Graph and Dependency Lattice Yanni Haralabou 1 and Pedro Quarea 2 1 Intitut Mine-Téléco, Téléco retagne Coputer Science Departent UMR CNRS 6285 Lab-STICC Technopôle ret Iroie CS 83818, ret Cedex 3, France 2 CISUC/Departaent of Matheatic, Univerity of Coibra P Coibra, Portugal btract. Dynaic geoetry yte (DGS) have becoe baic tool in any area of geoetry a, for exaple, in education. Geoetry utoated Theore Prover (GTP) are an active area of reearch and are conidered a being baic tool in future enhanced educational oftware a well a in a next generation of echanized atheatic aitant. Recently eerged Web repoitorie of geoetric knowledge, like TGTP and Intergeo, are an attept to ake the already vat data et of geoetric knowledge widely available. Conidering the large aount of geoetric inforation already available, we face the need of a query echani for decription of geoetric contruction. In thi paper we dicu two approache for decribing geoetric figure (declarative and procedural), and preent algorith for querying geoetric figure in declaratively and procedurally decribed corpora, by uing a DGS or a dedicated controlled natural language for querie. Introduction Dynaic geoetry yte (DGS) ditinguih theelve fro drawing progra in two ajor way. The firt i their knowledge of geoetry: fro a initial et of object drawn freely in the Carteian plane (or aybe, on another odel of geoetry), one can pecify/contruct a given geoetric figure uing relation between the object, e.g., the interection of two non-parallel line, a line perpendicular to a given line and containing a given point, etc. nother ajor feature of a DGS i it capability to introduce dynaic to a given geoetric contruction oving a (free) baic object alway preerving the geoetric propertie of the contruction [18]. That i, one ue a DGS by contructing a geoetric figure with geoetric object and geoetric relation between the, and not by placing point on pecific Carteian coordinate. Mot (if not all) DGS poe a foral language for the pecification of geoetric contruction. In oe yte thi foral The final publication i available at
2 language i explicit, in other it i hidden fro the uer by the graphical interface. The Intergeo project deigned a coon forat, called I2G, for thi foral language which i already accepted by oe DGS [16,17]. Geoetry autoated theore prover (GTP), being foral yte, need a foral language to decribe geoetric conjecture. GTP are nowaday ature tool capable of proving hundred of geoetric conjecture [2,8]. The I2GTP foral language i an extenion of the foral language ued by the DGS. The I2GTP project goal i to define a coon language, an extenion of the I2G language, to the DGS/GTP tool [12]. The deign of coon language, and the eergence of Web repoitorie of geoetric knowledge i an attept to ake the already vat data et of geoetric knowledge widely available. The Intergeo project [9], GeoTh [7] and TGTP [11] yte already eet oe of thee goal, having provided a large data et of geoetric inforation widely available. In thee yte the quetion of querying the geoetric contruction i not olved, that i, it i not yet poible to query the data et for a contruction iilar to oe other contruction, or to query for all contruction having oe coon geoetric propertie. The goal of our reearch i to develop a earch echani for geoetric contruction (done by a DGS or a GTP) uing the different way of geoetric contruction decription. 1 What You See and How to Get It: Declarative v. Procedural v. nalytic Figure Decription On Fig. 1 the reader can ee (a viual repreentation of) the centroid theore, a iple geoetric figure taken fro the TGTP corpu [11, Fig. 13]. There are any approache for decribing thi figure: the declarative one: we have point, E, on the ae line uch that E = E, point, D, C on the ae line uch that D = DC, point C, F, on the ae line uch that CF = F, and diplayed are C, C,, F, D, CE. The interection of D, CE, F i called G ; the procedural one: draw egent, C, C, take their idpoint E, D, F, draw F, D and CE, take the interection of D and CE and call it G ; the analytic one: point,, C have coordinate (35, 40), (10, 10), (40, 10); point D, E, F, C D F G E Fig. 1. Contruction 13 of the corpu. have coordinate (37.5, 25), (22.5, 25), (25, 10); egent have coordinate ((35, 40), (40, 10)), ((35, 40), (10, 10)), etc. In thi paper we will concentrate on the procedural and declarative decription of a figure.
3 The declarative decription i about what the part of the figure are and how they relate to each other, while the procedural decription i about how to contruct the figure. In the forer we can upply arbitrary (and potentially redundant) inforation about the figure; in the latter we provide only intruction that reult into the given figure. The firt proble we encountered when querying figure wa the fact that a given figure can often be contructed (and hence, procedurally decribed) in everal way. For exaple, Fig. 1 can be procedurally obtained in (at leat) the following two way (cf. [4] for the econd): tart with point,, C draw idpoint of, C, C call the D, E, F draw the egent tart with point D, E, F draw a line at F parallel to DE draw a line at E parallel to DF draw a line at D parallel to EF call the interection, and C reove the line draw the egent That i, we can tart with the triangle and find the idpoint, or we can tart with the idpoint and find the triangle. oth the DGS to be ued (GeoGebra [6]) and the controlled language we will define ( 3) are procedural, and hence decribe a figure by it contruction. there are any contruction reulting in the ae figure, we concluded that our earch yte hould better ue a declarative approach. For thi (ee alo [13]), we convert procedural decription into declarative one and repreent the inforation they contain by the ue of ontological graph. Thi operation i done both for the earch corpu and for the querie, o that a figure query becoe the earch of a graph pattern inide a corpu of ontological graph. The econd proble we encountered i that procedural decription are oetie lacunary, provided the correct viual reult i obtained. For exaple, in the procedural decription of Fig. 1, a it i included in our corpu, the creator of the figure ha defined G a being the interection of D and CE, without going any further. Since the goal wa to obtain the correct viual repreentation of the figure, it wa not neceary to tate that G i alo the interection of F and D a well a of F and CE. Thi ean that, after converion into the declarative repreentation, the inforation provided in it will lack thee fact. Inference can fill oe of the gap and ake a declarative decription ore coplete. For exaple it can detect paralleli or orthogonality relation that are not explicitly tated. 1 The way we propoe to olve thi proble i by going the other way around : intead of aking the corpu richer, we can weaken the query. Thi ethod i called query reduction and i ueful when the query contain too uch inforation and cannot be found in the corpu. 1 In a future developent we plan to ue the deductive databae ethod to find all the fix-point for a given contruction, finding in thi way the iing fact [3].
4 The proble then i, how do we reduce the query? Indeed, when in front of an ontological graph query where all ingredient of the query figure have becoe node, and their relation have becoe edge, how do we chooe the ot uitable node or edge to reove? It i the procedural decription of the query that provide u with an anwer 2 to thi quetion. Fro the procedural data, we build a dependency lattice of the query figure. The lattice tructure provide u with the node to reove, and the order in which to reove the. For thee reaon, we have developed, and will dicu in thi paper, both procedural and declarative decription of geoetric figure. Thank to their copleentarity we obtain en efficient geoetric figure earch yte. 2 Ontological Graph 2.1 Decribing a Geoetric Figure by an Ontological Graph In the following we will ue an ontology pecific to geoetric figure on the plane. Thi ontology contain concept: point: a point of the plane; egent: a egent, defined by two point. It ha an attribute length which induce a relation of ratio aong egent intance; line: a line, defined by two point or in oe other way (for exaple, by a point and a property like perpendicularity); conic: a conic defined in variou way, and, in particular, a circle, defined by it center point and another point; angle: the angle of two egent/line, it ha an attribute value which can have a nueric value or the odal value traight. The relation between intance will be 3 : belong to: a relation whoe doain are both point (belonging to egent, line, circle and angle), and egent (belonging to line); ha ratio: can be ued for length and angle value. It i a 3-ary reified relation, the eber of which are the noinator, denoinator and ratio value; i center of : connect a point with the circle of which it i the center; i parallel to: connect two parallel line (uing inference, we will find all parallel line); i perpendicular to: connect two perpendicular line or egent (uing inference, we will find all perpendicular line or egent, knowing that the perpendicular of a perpendicular i a parallel); i radiu of : connect a egent with the circle of which it i the radiu. 2 Well undertood, the anwer i not unique ince it trongly depend on the way the figure ha been contructed, which i not unique. 3 The lit i not exhautive.
5 Thee concept and relation have been inpired by the eleent type of DTD GeoCon.dtd [10] (the ontology doe not cover XML eleent toward, tranlation, rotation which are ueful for drawing but do not affect the ontological graph of the figure) and of GeoGebra XML chea ggb.xd [6]. Every figure becoe a graph of intance of concept and of relation. Not only thi approach i independent of the way the figure ha been contructed, but it i alo independent of intance nae and allow to focu on the network of relation between the ingredient of the figure. Our choice of concept and relation ake oe graphical contruction obtainable by a ingle relation, for exaple: C C i repreented by intance,, C (point), and C (egent) and C (angle), and the following graph of relation: C C C value= where olid arrow denote the belong to relation, and i the right angle value of the value attribute. Other contruction, although trivial, are ore difficult to encode. For exaple: i tangent at circle c at point c cannot be encoded by a ingle relation. We need to ue the radiu O and ay that c O O c and the graph of relation will be O value= O O c
6 where the dotted arrow repreent the relation i center of and the dahed one, the relation i radiu of. The ontological graph of a geoetrical figure can rapidly increae in ize. It generation i done in a two-tep proce: 1. every XML eleent of the figure decription i converted into a et of concept and relation; 2. then, inference i applied to generate additional relation: (a) we calculate the tranitive cloure of paralleli and orthogonality relation (a // b b // c a // c and a b b c a // c); (b) node having equal length or equal angle value by contruction 4 obtain a ha ratio relation with value attribute equal to 1; (c) if neceary, angle are intantiated for every pair of egent with a coon point. Our corpu of 134 figure, encoded a an XML file of 3,137 eleent reulted into graph of a total of 5,282 concept intance and 10,211 relation intance. 2.2 Exaple Take Fig. 1 repreenting Figure 13 of the corpu (illutrating the fact that edian interect at the barycenter of the triangle). The contruction, a given in the XML file, take arbitrary point,, C, define D (rep. E, F ) a the idpoint of C (rep., C), and G a the interection of D and CE. Furtherore, the egent F i drawn. The ontological graph will contain concept for point,, C, D, E, F, G, and egent, C, D, E, F, C, D, E, F, CD, CE, CF. The relation will all be of type belong to, except for oe 3-ary ha ratio relation repreenting equal length. In Fig. 2, unlabelled arrow denote the belong to relation. 2.3 Querying Ontological Graph To be able to earch in a corpu, we convert all figure of the corpu into ontological graph and we tore the in a graph databae (we ue a neo4j databae [15]). The uer query i a figure drawn by uing a DGS, or a query uing the controlled query language ( 3). Thi figure or CQL tateent i converted into an ontological graph on-the-fly, and then into a Cypher query (Cypher i the query language of the neo4j graph databae yte). The query i end to the databae and return graph intance containing the query a ub-graph. t thi tep, ranking i perfored to preent the reult to the uer in a pertinent way. Our ranking criterion (which we will try to iprove in the future) i the ratio between nuber of node and relation of the query and the nuber of node and relation of the atched graph. Uing thi criterion we obtain firt 4 We ephaize the fact that equality i explicitly given in the contruction and i not the reult of eaureent between object of the figure.
7 value ha ratio 1 noinator E denoin. E E D C CE G D C F noinator noinator D CD F CF F denoin. value denoin. ha ratio 1 C 1 ha ratio value Fig. 2. The ontological graph of Fig. 1. the allet figure poible figure containing the query ubgraph. We intend to ue graphical echani to highlight the atched pattern in the reulting graph by uing, for exaple, a different color. 3 The Controlled Query Language In oe cae the uer ay not wih to ue the DGS to build the query, either becaue it i cuberoe to ue or becaue it doe not provide the neceary abtraction. We propoe, a an alternative to the DGS, a controlled query language that allow the (procedural) decription of a figure in a way that i iple and cloe to natural language. 3.1 Decription of the controlled query language Here i the graar of the controlled query language: S -> query query -> ent drawvp PERIOD query -> ent PERIOD drawvp -> DRW ent ent -> ent SEMICOLON ent ent -> ent ent -> np vrb pp ent -> np vrb ent -> INST LEL ent -> LEL
8 vrb -> VER DJE vrb -> VER NOUN vrb -> VER pp -> ent pent pp -> pent pp -> ent pent -> pent pent pent -> pent pent -> PREP ent ent -> ent ND ent ent -> ent np -> ent NOUN -> /(idpoint foot ediatrix interection biector)[]?/ INST -> /(point egent line angle circle center point egent line angle circle center)/ VER -> /(i are interect[]? connect[]?)/ DJE -> /(perpendicular parallel defined right)/ SEMICOLON -> /;/ ND -> /(, and)/ DRW -> /draw/ PREP -> /(at of by to on)/ PERIOD -> /\./ LEL -> /[-Z]([_]?[0-9]+)?(-[-Z]([_]?[0-9]+)?)*/ and here are it rule 5 : 1. Every query i of the for: [lit of entence eparated by ;] draw [lit of intance eparated by,]. 2. n intance conit of a type and a nae (or jut a nae, if there i no abiguity). It i written in the for type [nae]. 3. priitive intance i an intance of a point, a line or a circle. 4. The nae of a priitive intance atche the regular expreion [-Z]([_]?[0-9]+)?. 5. Nae of non-priitive intance are copoite: they are written by joining nae of point uing the hyphen character (for exaple: egent -). 6. n intance type can be followed by ore than one intance, in that cae it i written in plural for and the intance are eparated by coa (for exaple: point,, C). 7. The firt part of a query define (and draw) new intance, the econd draw already known intance. 8. The following entence can be ued 6 : (a) line? interect line? at point? (b) point? i the idpoint of egent? (c) line? i perpendicular to line? at point? 5 We will ue an erif font for illutrating the controlled language. 6 ll type nae are optional except for center in (h).
9 (d) point? i the foot of point? on line? (e) line? i the ediatrix of egent? (f) line? i parallel to line? at point? (g) line? connect point?,? (h) circle? i defined by center? and point? (i) point?,? are the interection of circle?,? (j) point?,? are the interection of circle? and line? (k) line? i the biector of angle? (l) angle? i right 9. ll entence have plural for where arguent are ditributed at all poition and eparated by coa (for exaple: line L 1, L 2, L 3 connect point 1, 1, 2, 2, 3, 3, which ean that { i, i } L i ). 10. In all entence except (8e), the ter egent and line are ynonyou, with the yntactic difference that egent ut be followed by a copoite nae (for exaple - 1), while line ut be followed by a priitive nae, ince line i a priitive intance. 11. Soe variation i allowed, for exaple and i a ynony of the coa, article the in front of noun are optional. 12. Querie end by a period.. Here i, for exaple, a decription of Fig. 1 in the controlled query language: D, E, F are idpoint of -C, -, -C ; C-E interect -D at G ; draw -C, -F, -, -C, -D, C-E. The query language i copiled, producing a Cypher query, which i then ubitted to the graph databae exactly a when uing the DGS. The copiler ha been developed uing the Python PLY package [1]. 3.2 Future plan for the controlled language In future verion of the controlled language, we plan to introduce the poibility of extending the query ontology by introducing new concept and/or new relation. For exaple, it ay be intereting to define a type quare a Point,, C, D for a quare --C-D when we draw equal egent -, -C, C-D, D- where angle --C, -C-D, C-D-, D-- are right. Thi would allow querie of the for (which will draw the notoriou figure of the Pythagorean theore) ngle --C i right ; -C-C 1-2, , C-- 2-C 2 are quare. 4 Reduced Querie The algorith we decribe in thi paper can be quite ucceful in finding exact atche of querie in the corpu. ut what happen when the figure in the corpu atch only partially the query?
10 4.1 Ontological Graph For exaple, let u conider Fig. 2 anew. The ontological graph of the figure ha been build olely uing the XML data of Figure 13 of the corpu (cf. Fig. 1). What i not viible on Fig. 1 i the fact that G ha not been defined a lying on F, and hence the belong to edge between G and F i iing in the ontological graph. Thi i alo reflected in the CQL query exaple we gave in 3.1, where we requet that C-E interect -D at G but not that -F interect -D at G, probably becaue thi could be inferred fro the previou one, if we had the external Euclidean Geoetry knowledge of the fact that the three edian of a triangle have a coon interection. Neverthele, the uer eeking Fig. 1 i not necearily aware of thi ubtlety, and will earch for a triangle with three edian, which will reult in an ontological graph iilar to the one of Fig. 2 but containing an additional edge G F, and thi graph, of coure, will not atch Figure 13 of the corpu, ince it i not a ub-graph of it. To olve thi proble, a long a a query doe not return any reult, we retry with reduced querie, in the ene of the ae query graph with one or ore intance (or relation) reoved. ut how do we decide which node and edge to reove fro a query, and in what order? The anwer to thi quetion i provided by dependency lattice, decribed in the next ection. 4.2 Dependency Lattice Let u return to the procedural approach of decribing geoetric figure. How do we decribe a figure uing the operation that led to it contruction? Strictly peaking, uch a decription would require a erge-acyclic hypergraph [5, 3], where each operation would be a hyper-edge, connecting the input (the et of known node) and the output (the et of new node), for exaple, in the cae of the idpoint operation on egent C, the hyper-edge would connect {, C} (input) and {} (output). ut there i a ipler way. In fact, it uffice for our need to repreent dependencie a edge of a directed graph. For exaple, in the idpoint exaple, i dependent of and C, ince the latter have been ued to calculate the forer: C y adding a global ource node (located above all ource node) and a global ink node (underneath all final reult ), thi graph becoe a lattice, the partial order of which i the dependency relation. On Fig. 3, the uer can ee the dependency lattice of Fig. 1. We have ued only node that are ued in calculation, o that, for exaple, egent, E, etc. do not appear in the lattice. S and T are the global ource and global ink
11 S C D E F CE F D i G i T Fig. 3. The dependency lattice of Fig. 1, a it i procedurally decribed in the corpu. node, they are connected to node of the lattice by dahed arrow. Full arrow repreent operation and are labelled by their initial letter ( = idpoint, = egent drawing, i = interection). 4.3 Uing Dependency Lattice for Reduced Querie Let u now ee how the dependency lattice would be affected if the XML decription of Fig. 1 had an additional intruction, aying that G i (alo) the interection of D and F. On Fig. 4 one can copare the two graph, on the right ide one can ee the one with the additional intruction. S C D E F CE F D i G T i S C D E F CE F D i i G T i Fig. 4. The dependency lattice of Figure 13 of the corpu (left) and the dependency lattice of Figure 13 plu an additional intruction egent -F interect egent -D at point G (right).
12 Data: corpu of declaratively decribed figure, a query Reult: One or ore figure atching the query if uing controlled query language then write the query in controlled query language; ele draw the query in a DGS; end convert query into ontological graph; apply inference to ontological graph; convert ontological graph to Cypher; ubit to neo4j databae; if no reult returned then convert query into dependency lattice; while no reult returned do extract node or relation fro botto of dependency lattice; reove that node or that relation fro the ontological graph; convert ontological graph to Cypher; ubit to neo4j databae; end end lgorith 1: The Query lgorith for a Declaratively Decribed Corpu. Indeed, the new dependency lattice ha one additional edge F G. On the other hand, the edge F T diappear ince there i a path fro F to T, and F i not a ink anyore. dependencie have to be repected, if we reove a node fro the upper part of the lattice, we will have to reove all decendant of it. For thi reaon, the only reaonable query reduction trategy would be to reove node or edge fro the lower part of the lattice. If we reove, for exaple, the node G (and hence the edge CE G, F G and D G), then we obtain a triangle with three edian but where the barycenter ha not been explicitly drawn. (Interetingly, we till obtain a figure that i viually identical to Fig. 1.) If we go further and reove one of the relation aong CE G, F G and D G (for yetry reaon it doen t atter which relation we reove), then the query will ucceed, while the viual repreentation of the figure till ha not changed. lgorith 1 i a ynthei of the geoetric figure query algorith we propoe. 5 Evaluation We plan to evaluate the algorith decribed in thi paper, in the following way:
13 Querying a ub-figure in a corpu of declaratively decribed figure give a binary reult: either the figure i atching the ub-figure or it i not, o evaluation i iply counting the nuber of uccee. n intereting paraeter to oberve i the nuber and nature of query reduction that were neceary to obtain reult, correlated with the nuber of reult obtained. We will proceed a follow: after viually inpecting the corpu (and hence with no knowledge about the procedural and declarative decription of the figure) we will forulate 20 querie and anually annotate the figure we expect to find. fter uing the algorith, we will count the nuber of uccee and tudy the nuber of reult v. the paraeter of query reduction. 6 Future Work future work, beide extending the controlled natural language ( 3.2), we plan to integrate thi earch echani in repoitorie uch a TGTP and Intergeo, and in learning environent like the Web Geoetry Laboratory [14]. In a ore generic approach, we hould ue a coon forat and develop an application prograing interface that will allow to integrate the earching echani in any geoetric yte in need of it. 7 Concluion In thi paper we have preented algorith for querying geoetric figure in either declaratively or analytically decribed corpora, by uing either a DGS or a dedicated controlled query language. t the tie of ubiion of the article, evaluation wa not copleted, hence it i preented a a plan. Reference 1. eazley, D.: Python Lex-Yacc, 2. Chou, S.C., Gao, X.S.: utoated reaoning in geoetry. In: Handbook of utoated Reaoning. pp Elevier Science Publiher (2001) 3. Chou, S.C., Gao, X.S., Zhang, J.Z.: deductive databae approach to autoated geoetry theore proving and dicovering. Journal of utoated Reaoning 25, (2000) 4. DiffeoR: nwer to I it poible to recontruct a triangle fro the idpoint of it ide? (2014/2/20), 5. Fagin, R.: Degree of acyclicity for hypergraph and relational databae chee. Journal of the CM (JCM) 30(3), (Jul 1983) 6. Hohenwarter, M., Preiner, J.: Dynaic atheatic with GeoGebra. The Journal of Online Matheatic and It pplication 7 (2007), ID 1448
14 7. Janičić, P., Quarea, P.: Syte decription: GCLCprover + GeoTh. In: Furbach, U., Shankar, N. (ed.) utoated Reaoning. Lecture Note in Coputer Science, vol. 4130, pp Springer (2006) 8. Jiang, J., Zhang, J.: review and propect of readable achine proof for geoetry theore. Journal of Syte Science and Coplexity 25, (2012) 9. Kortenkap, U., Dohrann, C., Krei, Y., Dording, C., Libbrecht, P., Mercat, C.: Uing the Intergeo platfor for teaching and reearch. In: Proceeding of the 9th International Conference on Technology in Matheatic Teaching (ICTMT-9) (2009) 10. Quarea, P., Janičić, P., T.J., Vujošević-Janičić, M., Tošić, D.: Counicating Matheatic in The Digital Era, chap. XML-ae Forat for Decription of Geoetric Contruction and Proof, pp K. Peter, Ltd. (2008) 11. Quarea, P.: Thouand of Geoetric proble for geoetric Theore Prover (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (ed.) utoated Deduction in Geoetry, Lecture Note in Coputer Science, vol. 6877, pp Springer (2011) 12. Quarea, P.: n XML-forat for conjecture in geoetry. pp No. 921 in CEUR Workhop Proceeding, achen (2012), Quarea, P., Haralabou, Y.: Geoetry contruction recognition by the ue of eantic graph. In: RECPD 2012: 18th Portuguee Conference on Pattern Recognition, Coibra: October pp (2012) 14. Quarea, P., Santo, V., ouallegue, S.: The Web Geoetry laboratory project. In: CICM 2013 Proceeding. Lecture Note in rtificial Intelligence, vol. 7961, pp Springer (2013) 15. Robinon, I., Webber, J., Eifre, E.: Graph Databae. O Reilly (2013) 16. Santiago, E., Hendrik, M., Krei, Y., Kortenkap, U., Marquè, D.: i2g Coon File Forat Final Verion. Tech. Rep. D3.10, The Intergeo Conortiu (2010), The Intergeo Conortiu: Intergeo ipleentation table. xwiki/bin/view/i2gforat/ipleentationtable (2012) 18. Wikipedia: Lit of interactive geoetry oftware. wiki/lit_of_interactive_geoetry_oftware (February 2014)
Geometry Inspired Algorithms for Linear Programming
Geoetry Inpired Algorith or Linear Prograing Dhananjay P. Mehendale Sir Parahurabhau College, Tilak Road, Pune-4030, India Abtract In thi paper we dicu oe novel algorith or linear prograing inpired by
More informationLaboratory Exercise 1
Laboratory Eercie Switche, Light, and Multipleer The purpoe of thi eercie i to learn how to connect iple input and output device to an FPGA chip and ipleent a circuit that ue thee device. We will ue the
More informationPERFORMANCE MEASUREMENT OF OEE USING DATA ENVELOPMENT ANALYSIS (DEA) Muhamad Arifpin Mansor 1 and Ario Ohsato 2
National Conference in Mechanical Engineering Reearch and Potgraduate Student (1 t NCMER 2010) 26-27 MAY 2010, FKM Conference Hall, UMP, Kuantan, Pahang, Malayia; pp. 65-71 ISBN: 978-967-5080-9501 (CD
More informationA MODULAR COMPOSABLE SOFTWARE ARCHITECTURE FOR THE SIMULATION OF MECHATRONIC SYSTEMS
Proceeding of DETC 98 1998 ASME 18th Coputer in Engineering Conference Septeber 13-16, 1998, Atlanta, Georgia, USA DETC98/CIE-5704 A MODULAR COMPOSABLE SOFTWARE ARCHITECTURE FOR THE SIMULATION OF MECHATRONIC
More informationMAT 155: Describing, Exploring, and Comparing Data Page 1 of NotesCh2-3.doc
MAT 155: Decribing, Exploring, and Comparing Data Page 1 of 8 001-oteCh-3.doc ote for Chapter Summarizing and Graphing Data Chapter 3 Decribing, Exploring, and Comparing Data Frequency Ditribution, Graphic
More informationLecture 14: Minimum Spanning Tree I
COMPSCI 0: Deign and Analyi of Algorithm October 4, 07 Lecture 4: Minimum Spanning Tree I Lecturer: Rong Ge Scribe: Fred Zhang Overview Thi lecture we finih our dicuion of the hortet path problem and introduce
More informationelse end while End References
621-630. [RM89] [SK76] Roenfeld, A. and Melter, R. A., Digital geometry, The Mathematical Intelligencer, vol. 11, No. 3, 1989, pp. 69-72. Sklanky, J. and Kibler, D. F., A theory of nonuniformly digitized
More informationPosition Control of Manipulator s Links Using Artificial Neural Network with Backpropagation Training Algorithm
Poition Control of Manipulator Link Uing Artificial Neural Network with Backpropagation Training Algorith Thiang, Handry Khowanto, Tan Hendra Sutanto Electrical Engineering Departent, Petra Chritian Univerity
More informationChapter S:II (continued)
Chapter S:II (continued) II. Baic Search Algorithm Sytematic Search Graph Theory Baic State Space Search Depth-Firt Search Backtracking Breadth-Firt Search Uniform-Cot Search AND-OR Graph Baic Depth-Firt
More informationUniversität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart.
Univerität Augburg à ÊÇÅÍÆ ËÀǼ Approximating Optimal Viual Senor Placement E. Hörter, R. Lienhart Report 2006-01 Januar 2006 Intitut für Informatik D-86135 Augburg Copyright c E. Hörter, R. Lienhart Intitut
More informationQuadrilaterals. Learning Objectives. Pre-Activity
Section 3.4 Pre-Activity Preparation Quadrilateral Intereting geometric hape and pattern are all around u when we tart looking for them. Examine a row of fencing or the tiling deign at the wimming pool.
More informationOperational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz
Operational emantic Page Operational emantic Cla note for a lecture given by Mooly agiv Tel Aviv Univerity 4/5/7 By Roy Ganor and Uri Juhaz Reference emantic with Application, H. Nielon and F. Nielon,
More informationEdits in Xylia Validity Preserving Editing of XML Documents
dit in Xylia Validity Preerving diting of XML Document Pouria Shaker, Theodore S. Norvell, and Denni K. Peter Faculty of ngineering and Applied Science, Memorial Univerity of Newfoundland, St. John, NFLD,
More informationHigh Quality Normal Map Compression
Graphic Hardware (2006) M. Olano, P. Sluallek (Editor) High Quality Noral Map Copreion Jacob Munkberg Toa Akenine-Möller Jacob Strö 2 Lund Univerity 2 Ericon Reearch Abtract Noral apping i a widely ued
More informationAdvanced Encryption Standard and Modes of Operation
Advanced Encryption Standard and Mode of Operation G. Bertoni L. Breveglieri Foundation of Cryptography - AES pp. 1 / 50 AES Advanced Encryption Standard (AES) i a ymmetric cryptographic algorithm AES
More informationPerformance analysis of hybrid (M/M/1 and M/M/m) client server model using Queuing theory
International Journal of Electronic and Couter cience Engineering vailable Online at wwwijeceorg IN- 77-9 erforance analyi of hybrid M/M/ and M/M/ client erver odel uing ueuing theory atarhi Guta, Dr Rajan
More informationContents. Cameron Ellum and Prof. Naser El- Sheimy 19 April 2005 mobile multi-sensor systems research group
The Coon Adjutent of GPS and Photograetric Caeron Ellu and Prof. Naer El- Sheiy 19 April 2005 obile ulti-enor yte reearch group Content Background Reearch objective Ipleentation Teting Concluion Outlook
More informationHong Yao, Han Zhang, Changkai Zhang and Deze Zeng. Jie Wu* and Huanyang Zheng
330 Int. J. Coputational Science and Engineering, Vol. 4, No. 4, 207 Data or index: a trade-off in obile delay tolerant network Hong Yao, Han Zhang, Changkai Zhang and Deze Zeng Hubei Key Laboratory of
More informationAnisotropy Estimation and Image Remapping Using Model Based Moveout
Aniotropy Etiation and Iae Reappin Uin Model Baed Moveout Z. Liu* (PGS), N.D. Whitore (PGS) & C. Zhou (PGS) SUMMARY Typically odel paraeter etiation i achieved throuh ultiple iteration of linearized tooraphy
More informationA SIMPLE IMPERATIVE LANGUAGE THE STORE FUNCTION NON-TERMINATING COMMANDS
A SIMPLE IMPERATIVE LANGUAGE Eventually we will preent the emantic of a full-blown language, with declaration, type and looping. However, there are many complication, o we will build up lowly. Our firt
More informationDrawing Lines in 2 Dimensions
Drawing Line in 2 Dimenion Drawing a traight line (or an arc) between two end point when one i limited to dicrete pixel require a bit of thought. Conider the following line uperimpoed on a 2 dimenional
More informationChapter 13 Non Sampling Errors
Chapter 13 Non Sampling Error It i a general aumption in the ampling theory that the true value of each unit in the population can be obtained and tabulated without any error. In practice, thi aumption
More informationDistributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router
Ditributed Packet Proceing Architecture with Reconfigurable Hardware Accelerator for 100Gbp Forwarding Performance on Virtualized Edge Router Satohi Nihiyama, Hitohi Kaneko, and Ichiro Kudo Abtract To
More informationxy-monotone path existence queries in a rectilinear environment
CCCG 2012, Charlottetown, P.E.I., Augut 8 10, 2012 xy-monotone path exitence querie in a rectilinear environment Gregory Bint Anil Mahehwari Michiel Smid Abtract Given a planar environment coniting of
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each type of circuit will be implemented in two
More informationHybrid MPI-OpenMP Parallelization Of Image Reconstruction
JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCH 03 687 Hybrid MPI-OpenMP Parallelization Of Iage Recontruction Jinliang Wan College of Coputer and Inforation Engineering, Henan Univerity of Econoic and Law Zhengzhou,
More informationModeling of underwater vehicle s dynamics
Proceeding of the 11th WEA International Conference on YTEM, Agio Nikolao, Crete Iland, Greece, July 23-25, 2007 44 Modeling of underwater vehicle dynamic ANDRZEJ ZAK Department of Radiolocation and Hydrolocation
More informationCutting Stock by Iterated Matching. Andreas Fritsch, Oliver Vornberger. University of Osnabruck. D Osnabruck.
Cutting Stock by Iterated Matching Andrea Fritch, Oliver Vornberger Univerity of Onabruck Dept of Math/Computer Science D-4909 Onabruck andy@informatikuni-onabrueckde Abtract The combinatorial optimization
More informationGeneric Traverse. CS 362, Lecture 19. DFS and BFS. Today s Outline
Generic Travere CS 62, Lecture 9 Jared Saia Univerity of New Mexico Travere(){ put (nil,) in bag; while (the bag i not empty){ take ome edge (p,v) from the bag if (v i unmarked) mark v; parent(v) = p;
More informationAn Intro to LP and the Simplex Algorithm. Primal Simplex
An Intro to LP and the Simplex Algorithm Primal Simplex Linear programming i contrained minimization of a linear objective over a olution pace defined by linear contraint: min cx Ax b l x u A i an m n
More informationRouting Definition 4.1
4 Routing So far, we have only looked at network without dealing with the iue of how to end information in them from one node to another The problem of ending information in a network i known a routing
More informationTopics. Lecture 37: Global Optimization. Issues. A Simple Example: Copy Propagation X := 3 B > 0 Y := 0 X := 4 Y := Z + W A := 2 * 3X
Lecture 37: Global Optimization [Adapted from note by R. Bodik and G. Necula] Topic Global optimization refer to program optimization that encompa multiple baic block in a function. (I have ued the term
More informationSIMIT 7. Component Type Editor (CTE) User manual. Siemens Industrial
SIMIT 7 Component Type Editor (CTE) Uer manual Siemen Indutrial Edition January 2013 Siemen offer imulation oftware to plan, imulate and optimize plant and machine. The imulation- and optimizationreult
More informationarxiv: v1 [cs.ds] 27 Feb 2018
Incremental Strong Connectivity and 2-Connectivity in Directed Graph Louka Georgiadi 1, Giueppe F. Italiano 2, and Niko Parotidi 2 arxiv:1802.10189v1 [c.ds] 27 Feb 2018 1 Univerity of Ioannina, Greece.
More informationNew Structural Decomposition Techniques for Constraint Satisfaction Problems
New Structural Decompoition Technique for Contraint Satifaction Problem Yaling Zheng and Berthe Y. Choueiry Contraint Sytem Laboratory Univerity of Nebraka-Lincoln Email: yzheng choueiry@ce.unl.edu Abtract.
More informationSelect Operation (σ) It selects tuples that satisfy the given predicate from a relation (choose rows). Review : RELATIONAL ALGEBRA
Review : RELATIONAL ALGEBRA Relational databae ytem are expected to be equipped with a query language that can ait it uer to query the databae intance. There are two kind of query language relational algebra
More informationDelaunay Triangulation: Incremental Construction
Chapter 6 Delaunay Triangulation: Incremental Contruction In the lat lecture, we have learned about the Lawon ip algorithm that compute a Delaunay triangulation of a given n-point et P R 2 with O(n 2 )
More informationCERIAS Tech Report EFFICIENT PARALLEL ALGORITHMS FOR PLANAR st-graphs. by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daescu
CERIAS Tech Report 2003-15 EFFICIENT PARALLEL ALGORITHMS FOR PLANAR t-graphs by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daecu Center for Education and Reearch in Information Aurance and Security,
More informationMinimum congestion spanning trees in bipartite and random graphs
Minimum congetion panning tree in bipartite and random graph M.I. Otrovkii Department of Mathematic and Computer Science St. John Univerity 8000 Utopia Parkway Queen, NY 11439, USA e-mail: otrovm@tjohn.edu
More informationLJPS Gurgaon. Class XII- Physics - Assignment Topic: - Ray Optics
LJPS Gurgaon 1. The refractive index of the ediu i 3. What i the angle of refraction, if the unpolaried light i incident on it at the polarizing angle of the ediu? [An : 30 degree] Cla XII- Phyic - Aignent
More informationPlanning of scooping position and approach path for loading operation by wheel loader
22 nd International Sympoium on Automation and Robotic in Contruction ISARC 25 - September 11-14, 25, Ferrara (Italy) 1 Planning of cooping poition and approach path for loading operation by wheel loader
More informationShortest Paths with Single-Point Visibility Constraint
Shortet Path with Single-Point Viibility Contraint Ramtin Khoravi Mohammad Ghodi Department of Computer Engineering Sharif Univerity of Technology Abtract Thi paper tudie the problem of finding a hortet
More informationCSE 250B Assignment 4 Report
CSE 250B Aignment 4 Report March 24, 2012 Yuncong Chen yuncong@c.ucd.edu Pengfei Chen pec008@ucd.edu Yang Liu yal060@c.ucd.edu Abtract In thi project, we implemented the recurive autoencoder (RAE) a decribed
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier a a The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each b c circuit will be decribed in Verilog
More informationA System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems
International Journal of Performability Engineering Vol., No. 3, May 05, pp. 03-. RAMS Conultant Printed in India A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem
More informationLinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage
Proceeding of the World Congre on Engineering 2007 Vol I LinkGuide: Toward a Better Collection of Hyperlink in a Webite Homepage A. Ammari and V. Zharkova chool of Informatic, Univerity of Bradford anammari@bradford.ac.uk,
More informationA Fast Association Rule Algorithm Based On Bitmap and Granular Computing
A Fat Aociation Rule Algorithm Baed On Bitmap and Granular Computing T.Y.Lin Xiaohua Hu Eric Louie Dept. of Computer Science College of Information Science IBM Almaden Reearch Center San Joe State Univerity
More informationStochastic Search and Graph Techniques for MCM Path Planning Christine D. Piatko, Christopher P. Diehl, Paul McNamee, Cheryl Resch and I-Jeng Wang
Stochatic Search and Graph Technique for MCM Path Planning Chritine D. Piatko, Chritopher P. Diehl, Paul McNamee, Cheryl Rech and I-Jeng Wang The John Hopkin Univerity Applied Phyic Laboratory, Laurel,
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in Verilog and implemented
More informationLocalized Minimum Spanning Tree Based Multicast Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Sensor Networks
Localized Minimum Spanning Tree Baed Multicat Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Senor Network Hanne Frey Univerity of Paderborn D-3398 Paderborn hanne.frey@uni-paderborn.de
More information1 The secretary problem
Thi i new material: if you ee error, pleae email jtyu at tanford dot edu 1 The ecretary problem We will tart by analyzing the expected runtime of an algorithm, a you will be expected to do on your homework.
More informationFrequency Table Computation on Dataflow Architecture
Frequency Table Computation on Dataflow Architecture P. Škoda *, V. Sruk **, and B. Medved Rogina * * Ruđer Bošković Intitute, Zagreb, Croatia ** Faculty of Electrical Engineering and Computing, Univerity
More information3D SMAP Algorithm. April 11, 2012
3D SMAP Algorithm April 11, 2012 Baed on the original SMAP paper [1]. Thi report extend the tructure of MSRF into 3D. The prior ditribution i modified to atify the MRF property. In addition, an iterative
More information3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES
MAKARA, TEKNOLOGI, VOL. 9, NO., APRIL 5: 3-35 3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES Mochammad Zulianyah Informatic Engineering, Faculty of Engineering, ARS International Univerity,
More informationSIMPLE AND COMPLEX IN THE APPLICATIONS FORMULATION OF DESCRIPTIVE GEOMETRY
SIMPLE AND COMPLEX IN THE APPLICATIONS FORMULATION OF DESCRIPTIVE GEOMETRY A. prof.dr. eng. Ivona PETRE, Lecturer dr. eng. Carmen POPA Univerity Valahia of Targovite, Department Engineering Mechanical,
More informationBottom Up parsing. Bottom-up parsing. Steps in a shift-reduce parse. 1. s. 2. np. john. john. john. walks. walks.
Paring Technologie Outline Paring Technologie Outline Bottom Up paring Paring Technologie Paring Technologie Bottom-up paring Step in a hift-reduce pare top-down: try to grow a tree down from a category
More informationComputer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder
Computer Arithmetic Homework 3 2016 2017 Solution 1 An adder for graphic In a normal ripple carry addition of two poitive number, the carry i the ignal for a reult exceeding the maximum. We ue thi ignal
More informationLip Segmentation with the Presence of Beards
Lip Segentation with the Preence of Beard Author ang, S., Lau, W., Leung, S., Liew, A. Publihed 004 Conference Title Proceeding of the IEEE International Conference on Acoutic, Speech, and Signal Proceing,
More informationPerformance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks
Performance of a Robut Filter-baed Approach for Contour Detection in Wirele Senor Network Hadi Alati, William A. Armtrong, Jr., and Ai Naipuri Department of Electrical and Computer Engineering The Univerity
More informationAUTOMATIC TEST CASE GENERATION USING UML MODELS
Volume-2, Iue-6, June-2014 AUTOMATIC TEST CASE GENERATION USING UML MODELS 1 SAGARKUMAR P. JAIN, 2 KHUSHBOO S. LALWANI, 3 NIKITA K. MAHAJAN, 4 BHAGYASHREE J. GADEKAR 1,2,3,4 Department of Computer Engineering,
More informationDAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications
DAROS: Ditributed Uer-Server Aignment And Replication For Online Social Networking Application Thuan Duong-Ba School of EECS Oregon State Univerity Corvalli, OR 97330, USA Email: duongba@eec.oregontate.edu
More informationLaboratory Exercise 2
Laoratory Exercie Numer and Diplay Thi i an exercie in deigning cominational circuit that can perform inary-to-decimal numer converion and inary-coded-decimal (BCD) addition. Part I We wih to diplay on
More informationTesting Structural Properties in Textual Data: Beyond Document Grammars
Teting Structural Propertie in Textual Data: Beyond Document Grammar Felix Saaki and Jen Pönninghau Univerity of Bielefeld, Germany Abtract Schema language concentrate on grammatical contraint on document
More informationThe Association of System Performance Professionals
The Aociation of Sytem Performance Profeional The Computer Meaurement Group, commonly called CMG, i a not for profit, worldwide organization of data proceing profeional committed to the meaurement and
More informationAn NoC Traffic Compiler for efficient FPGA implementation of Parallel Graph Applications
An NoC Traffic Copiler for efficient FPGA ipleentation of Parallel Graph Application Nachiket Kapre California Intitute of Technology, Paadena, CA 9115 nachiket@caltech.edu André DeHon Univerity of Pennylvania
More informationES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK
ES05 Analyi and Deign of Engineering Sytem: Lab : An Introductory Tutorial: Getting Started with SIMULINK What i SIMULINK? SIMULINK i a oftware package for modeling, imulating, and analyzing dynamic ytem.
More informationShortest Paths Problem. CS 362, Lecture 20. Today s Outline. Negative Weights
Shortet Path Problem CS 6, Lecture Jared Saia Univerity of New Mexico Another intereting problem for graph i that of finding hortet path Aume we are given a weighted directed graph G = (V, E) with two
More informationExploring Simple Grid Polygons
Exploring Simple Grid Polygon Chritian Icking 1, Tom Kamphan 2, Rolf Klein 2, and Elmar Langetepe 2 1 Univerity of Hagen, Praktiche Informatik VI, 58084 Hagen, Germany. 2 Univerity of Bonn, Computer Science
More informationKinematics Programming for Cooperating Robotic Systems
Kinematic Programming for Cooperating Robotic Sytem Critiane P. Tonetto, Carlo R. Rocha, Henrique Sima, Altamir Dia Federal Univerity of Santa Catarina, Mechanical Engineering Department, P.O. Box 476,
More informationBuilding a Compact On-line MRF Recognizer for Large Character Set using Structured Dictionary Representation and Vector Quantization Technique
202 International Conference on Frontier in Handwriting Recognition Building a Compact On-line MRF Recognizer for Large Character Set uing Structured Dictionary Repreentation and Vector Quantization Technique
More informationSee chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM
Goal programming Objective of the topic: Indentify indutrial baed ituation where two or more objective function are required. Write a multi objective function model dla a goal LP Ue weighting um and preemptive
More informationHow to. write a paper. The basics writing a solid paper Different communities/different standards Common errors
How to write a paper The baic writing a olid paper Different communitie/different tandard Common error Reource Raibert eay My grammar point Article on a v. the Bug in writing Clarity Goal Conciene Calling
More informationKaren L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract
Mot Graph are Edge-Cordial Karen L. Collin Dept. of Mathematic Weleyan Univerity Middletown, CT 6457 and Mark Hovey Dept. of Mathematic MIT Cambridge, MA 239 Abtract We extend the definition of edge-cordial
More informationMinimum Energy Reliable Paths Using Unreliable Wireless Links
Minimum Energy Reliable Path Uing Unreliable Wirele Link Qunfeng Dong Department of Computer Science Univerity of Wiconin-Madion Madion, Wiconin 53706 qunfeng@c.wic.edu Micah Adler Department of Computer
More informationCORRECTNESS ISSUES AND LOOP INVARIANTS
The next everal lecture 2 Study algorithm for earching and orting array. Invetigate their complexity how much time and pace they take Formalize the notion of average-cae and wort-cae complexity CORRECTNESS
More informationToday s Outline. CS 561, Lecture 23. Negative Weights. Shortest Paths Problem. The presence of a negative cycle might mean that there is
Today Outline CS 56, Lecture Jared Saia Univerity of New Mexico The path that can be trodden i not the enduring and unchanging Path. The name that can be named i not the enduring and unchanging Name. -
More informationA Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds *
Advance in Linear Algebra & Matrix Theory, 2012, 2, 20-24 http://dx.doi.org/10.4236/alamt.2012.22003 Publihed Online June 2012 (http://www.scirp.org/journal/alamt) A Linear Interpolation-Baed Algorithm
More informationDENSE CORRESPONDING PIXEL MATCHING USING A FIXED WINDOW WITH RGB INDEPENDENT INFORMATION
ISRS Annal of the hotograetry, Reote Sening and Spatial Inforation Science Volue I-4, 202 XXII ISRS Congre 25 Augut 0 Septeber 202, Melbourne, Autralia DENSE CORRESONDING IXEL MATCHING USING A FIXED WINDOW
More informationComputer Aided Drafting, Design and Manufacturing Volume 26, Number 2, June 2016, Page 13
Coputer Aided Drafting, Design and Manufacturing Volue 26, uber 2, June 2016, Page 13 CADDM 3D reconstruction of coplex curved objects fro line drawings Sun Yanling, Dong Lijun Institute of Mechanical
More informationVariable Resolution Discretization in the Joint Space
Variable Reolution Dicretization in the Joint Space Chritopher K. Monon, David Wingate, and Kevin D. Seppi {c,wingated,keppi}@c.byu.edu Computer Science, Brigham Young Univerity Todd S. Peteron peterto@uvc.edu
More informationManeuverable Relays to Improve Energy Efficiency in Sensor Networks
Maneuverable Relay to Improve Energy Efficiency in Senor Network Stephan Eidenbenz, Luka Kroc, Jame P. Smith CCS-5, MS M997; Lo Alamo National Laboratory; Lo Alamo, NM 87545. Email: {eidenben, kroc, jpmith}@lanl.gov
More informationAN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROBLEM
RAC Univerity Journal, Vol IV, No, 7, pp 87-9 AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROLEM Mozzem Hoain Department of Mathematic Ghior Govt
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
Thi article appeared in a journal publihed by Elevier. The attached copy i furnihed to the author for internal non-commercial reearch and education ue, including for intruction at the author intitution
More informationUC Berkeley International Conference on GIScience Short Paper Proceedings
UC Berkeley International Conference on GIScience Short Paper Proceeding Title A novel method for probabilitic coverage etimation of enor network baed on 3D vector repreentation in complex urban environment
More informationA NEW APPROACH IN MEASURING OF THE ROUGHNESS FOR SURFACE CONSTITUTED WITH MACHINING PROCESS BY MATERIAL REMOVAL
International Journal of Mechanical and Production Engineering Reearch and Development (IJMPERD) ISSN 49-689 Vol. 3, Iue, Mar 3, 4-5 TJPRC Pvt. Ltd. A NEW APPROACH IN MEASURING OF THE ROUGHNESS FOR SURFACE
More informationThe Web Geometry Laboratory Project
The Web Geometry Laboratory Project (Intelligent Geometric Tools) Pedro Quaresma CISUC / University of Coimbra Progress in Decision Procedures, 30 March 2013, University of Belgrade, Serbia 1 / 32 Intelligent
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in VHL and implemented
More informationHow to Select Measurement Points in Access Point Localization
Proceeding of the International MultiConference of Engineer and Computer Scientit 205 Vol II, IMECS 205, March 8-20, 205, Hong Kong How to Select Meaurement Point in Acce Point Localization Xiaoling Yang,
More informationOn successive packing approach to multidimensional (M-D) interleaving
On ucceive packing approach to multidimenional (M-D) interleaving Xi Min Zhang Yun Q. hi ankar Bau Abtract We propoe an interleaving cheme for multidimenional (M-D) interleaving. To achieved by uing a
More informationA note on degenerate and spectrally degenerate graphs
A note on degenerate and pectrally degenerate graph Noga Alon Abtract A graph G i called pectrally d-degenerate if the larget eigenvalue of each ubgraph of it with maximum degree D i at mot dd. We prove
More information999 Computer System Network. (12) Patent Application Publication (10) Pub. No.: US 2006/ A1. (19) United States
(19) United State US 2006O1296.60A1 (12) Patent Application Publication (10) Pub. No.: Mueller et al. (43) Pub. Date: Jun. 15, 2006 (54) METHOD AND COMPUTER SYSTEM FOR QUEUE PROCESSING (76) Inventor: Wolfgang
More informationGeometry. The Method of the Center of Mass (mass points): Solving problems using the Law of Lever (mass points). Menelaus theorem. Pappus theorem.
Noveber 13, 2016 Geoetry. The Method of the enter of Mass (ass points): Solving probles using the Law of Lever (ass points). Menelaus theore. Pappus theore. M d Theore (Law of Lever). Masses (weights)
More information3-D Visualization of a Gene Regulatory Network: Stochastic Search for Layouts
3-D Viualization of a Gene Regulatory Network: Stochatic Search for Layout Naoki Hooyama Department of Electronic Engineering, Univerity of Tokyo, Japan hooyama@iba.k.u-tokyo.ac.jp Abtract- In recent year,
More informationAn Approach to a Test Oracle for XML Query Testing
An Approach to a Tet Oracle for XML Query Teting Dae S. Kim-Park, Claudio de la Riva, Javier Tuya Univerity of Oviedo Computing Department Campu of Vieque, /n, 33204 (SPAIN) kim_park@li.uniovi.e, claudio@uniovi.e,
More informationAlgorithmic Discrete Mathematics 4. Exercise Sheet
Algorithmic Dicrete Mathematic. Exercie Sheet Department of Mathematic SS 0 PD Dr. Ulf Lorenz 0. and. May 0 Dipl.-Math. David Meffert Verion of May, 0 Groupwork Exercie G (Shortet path I) (a) Calculate
More informationConstruction of a regular hendecagon by two-fold origami
J. C. LUCERO /207 Construction of a regular hendecagon by two-fold origai Jorge C. Lucero 1 Introduction Single-fold origai refers to geoetric constructions on a sheet of paper by perforing a sequence
More informationLaboratory Exercise 2
Laoratory Exercie Numer and Diplay Thi i an exercie in deigning cominational circuit that can perform inary-to-decimal numer converion and inary-coded-decimal (BCD) addition. Part I We wih to diplay on
More informationCassia County School District #151. Expected Performance Assessment Students will: Instructional Strategies. Performance Standards
Unit 1 Congruence, Proof, and Constructions Doain: Congruence (CO) Essential Question: How do properties of congruence help define and prove geoetric relationships? Matheatical Practices: 1. Make sense
More informationThe Set Constraint/CFL Reachability Connection in Practice
The Set Contraint/CFL Reachability Connection in Practice John Kodumal EECS Department Univerity of California, Berkeley jkodumal@c.berkeley.edu Alex Aiken Computer Science Department Stanford Univerity
More information(12) Patent Application Publication (10) Pub. No.: US 2011/ A1
(19) United State US 2011 0316690A1 (12) Patent Application Publication (10) Pub. No.: US 2011/0316690 A1 Siegman (43) Pub. Date: Dec. 29, 2011 (54) SYSTEMAND METHOD FOR IDENTIFYING ELECTRICAL EQUIPMENT
More information