Capítols de llibre
http://hdl.handle.net/2117/3806
2016-10-27T22:51:23ZGeometric constraint graphs decomposition based on computing graph circuits
http://hdl.handle.net/2117/78430
Geometric constraint graphs decomposition based on computing graph circuits
Joan Arinyo, Robert; Tarres Puertas, Marta Isabel; Vila Marta, Sebastià
Geometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve geometric
constraint-based problems by decomposing biconnected graphs. The algorithm is based on recursively splitting the graph through sets with three vertices located on fundamental circuits of the graph. Preliminary practical experiments suggest that the algorithm runtime is at worst quadratic with the total number of vertices in the graph.
2015-10-28T14:11:03ZJoan Arinyo, RobertTarres Puertas, Marta IsabelVila Marta, SebastiàGeometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve geometric
constraint-based problems by decomposing biconnected graphs. The algorithm is based on recursively splitting the graph through sets with three vertices located on fundamental circuits of the graph. Preliminary practical experiments suggest that the algorithm runtime is at worst quadratic with the total number of vertices in the graph.Ultra wideband impulse radio superregenerative reception
http://hdl.handle.net/2117/13397
Ultra wideband impulse radio superregenerative reception
Moncunill Geniz, Francesc Xavier; Palà Schönwälder, Pere; Bonet Dalmau, Jordi; Águila López, Francisco del; Giralt Mas, Ma. Rosa
2011-09-30T13:01:00ZMoncunill Geniz, Francesc XavierPalà Schönwälder, PereBonet Dalmau, JordiÁguila López, Francisco delGiralt Mas, Ma. Rosa