Skip to Main content Skip to Navigation

inria-00458042v1  Conference papers
Cédric JoinGérard RobertMichel Fliess. Model-free based water level control for hydroelectric power plants
IFAC Conference on Control Methodologies and Tecnologies for Energy Efficiency, CMTEE, IFAC, 2010, Vilamoura, Portugal. pp.CDROM
inria-00503917v1  Book sections
Arnaud SpiwackThierry Coquand. Constructively Finite?
Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
inria-00537632v1  Conference papers
Serge AbiteboulT-H. Hubert ChanEvgeny KharlamovWerner NuttPierre Senellart. Aggregate Queries for Discrete and Continuous Probabilistic XML
International Conference on Database Theory (ICDT), 2010, Lausanne, Switzerland. pp.50-61
hal-00779934v1  Conference papers
Benedikt BolligJoost-Pieter KatoenCarsten KernMartin LeuckerDaniel Neider et al.  libalf: the Automata Learning Framework
Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), 2010, Edinburgh, Scotland, UK, United Kingdom. pp.360-364, ⟨10.1007/978-3-642-14295-6_32⟩
hal-00779922v1  Journal articles
Benedikt BolligJoost-Pieter KatoenCarsten KernMartin Leucker. Learning Communicating Automata from~MSCs
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3), pp.390-408. ⟨10.1109/TSE.2009.89⟩
hal-00779899v1  Conference papers
Paolo BaldanAlessandro BruniAndrea CorradiniBarbara KönigStefan Schwoon. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
Proceedings of the 5th International Conference on Graph Transformations (ICGT'10), 2010, Enschede, Netherlands. pp.91-106, ⟨10.1007/978-3-642-15928-2_7⟩
hal-00779913v1  Journal articles
Benedikt BolligJoost-Pieter KatoenCarsten KernMartin Leucker. SMA---The Smyle Modeling Approach
Computing and Informatics, Slovak University Press, Bratislava, 2010, 29 (1), pp.45-72
hal-00859448v1  Conference papers
Michael BronsteinIasonas Kokkinos. Scale-invariant heat kernel signatures for non-rigid shape recognition
CVPR - IEEE Conference on Computer Vision and Pattern Recognition, 2010, San Francisco, United States. pp.1704-1711
hal-00857481v1  Conference papers
Iasonas Kokkinos. Highly Accurate Boundary Detection and Grouping
CVPR - IEEE Conf. on Computer Vision and Pattern Recognition, 2010, San Francisco, United States. pp.2520-2527
hal-00857511v1  Conference papers
Iasonas Kokkinos. Boundary Detection using F-Measure-, Filter- and Feature boost
ECCV - Proc. European Conference on Computer Vision, 2010, Heraklion, Greece. pp.650-663
hal-00858382v1  Conference papers
Ben GlockerNikos KomodakisNikos ParagiosNassir Navab. Non-rigid Registration using Discrete MRFs: Application to Thoracic CT Images
Workshop Evaluation of Methods for Pulmonary Image Registration, MICCAI 2010, 2010, China
inria-00442129v1  Journal articles
Jean-Pierre BarbotThierry Floquet. Iterative higher order sliding mode observer for nonlinear systems with unknown inputs
Dynamics of Continuous, Discrete and Impulsive Systems, University of Waterloo, Ontario, Canada, 2010, 17 (6), pp.1019-1033
inria-00348854v1  Journal articles
J. Frederic BonnansPascal Jaisson. Optimal control of a parabolic equation with time-dependent state constraints
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2010, 48 (7), pp.4550-4571
hal-00782987v1  Journal articles
Jing-Rebecca Li. A fast time stepping method for evaluating fractional integrals
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2010, 31 (6), pp.4696--4714. ⟨10.1137/080736533⟩
hal-00974876v1  Journal articles
Daniel RabinovichDan GivoliEliane Bécache. Comparison of High-Order Absorbing Boundary Conditions and Perfectly Matched Layers in the Frequency Domain
International Journal for Numerical Methods in Biomedical Engineering, John Wiley and Sons, 2010, 26, pp.1351-1369
hal-00873060v1  Journal articles
Sonia FlissEric CassanDamien Bernier. Computation of light refraction at the surface of a photonic crystal using DtN approach
Journal of the Optical Society of America B, Optical Society of America, 2010, 27 (7), pp.1492-1503. ⟨10.1364/josab.27.001492⟩
hal-00974954v1  Journal articles
Morgane BergotPatrick Lacoste. Generation of Higher-Order Polynomial Bases of Nédélec H(curl) Finite Elements for Maxwell's Equations
Journal of Computational and Applied Mathematics, Elsevier, 2010, 234 (6)
hal-00873061v1  Journal articles
Julien CoatlévenClaudio Altafini. A kinetic mechanism inducing oscillations in simple chemical reactions networks
Mathematical Biosciences and Engineering, AIMS Press, 2010, 7 (2), pp.301-312. ⟨10.3934/mbe.2010.7.301⟩
hal-00974778v1  Journal articles
Patrick JolyRicardo Weder. Analysis of Acoustic Wave Propagation in a Thin Moving Fluid
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2010, 70, pp.2449-2472
hal-00873062v1  Journal articles
Kersten SchmidtRoman Kappeler. Efficient computation of photonic crystal waveguide modes with dispersive material
Optics Express, Optical Society of America - OSA Publishing, 2010, 18 (7), pp.7307-7322. ⟨10.1364/oe.18.007307⟩
hal-00873057v1  Journal articles
Patrick CiarletClaire Scheid. Electrowetting of a 3D drop: Numerical modelling with electrostatic vector fields
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2010, 44 (4), pp.647-670. ⟨10.1051/m2an/2010014⟩
hal-00849578v1  Journal articles
Éric LunévilleJean-François Mercier. Finite element simulations of multiple scattering in acoustic waveguides
Waves in Random and Complex Media, Taylor & Francis, 2010, 20 (4), pp.615-633. ⟨10.1080/17455031003753000⟩
hal-00739327v1  Journal articles
Laurent BourgeoisHoussem Haddar. Identification of generalized impedance boundary conditions in inverse scattering problems
Inverse Problems and Imaging , AIMS American Institute of Mathematical Sciences, 2010, 4 (1), pp.19-38. ⟨10.3934/ipi.2010.4.19⟩
hal-00873056v1  Journal articles
Laurent Bourgeois. About stability and regularization of ill-posed elliptic Cauchy problems: The case of C1,1 domains
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2010, 44 (4), pp.715-735. ⟨10.1051/m2an/2010016⟩
inria-00515548v4  Journal articles
Georges GonthierAssia Mahboubi. An introduction to small scale reflection in Coq
Journal of Formalized Reasoning, ASDD-AlmaDL, 2010, 3 (2), pp.95-152
inria-00424836v1  Journal articles
Gang ZhengDriss BoutatJean-Pierre Barbot. On uniform controller design for linear switched systems
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 40 (1), pp.189-198. ⟨10.1016/j.nahs.2009.09.008⟩