 |
 |
 |
|
|
||
|---|---|---|
| hal-01320646v1
Journal articles
Detection of firewall configuration errors with updatable tree International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩ |
||
| hal-01402062v1
Conference papers
Online link disclosure strategies for social networks The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France |
||
| hal-01241619v1
Poster communications
Analyse d'activité et exposition de la vie privée sur les médias sociaux 16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016 |
||
| hal-01377655v1
Conference papers
SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper) Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland |
||
| hal-01409069v1
Journal articles
Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, ⟨10.1017/S0956796816000101⟩ |
||
| hal-01353925v1
Conference papers
Inverse real-time Finite Element simulation for robotic control of flexible needle insertion in deformable tissues IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) , Oct 2016, Daejeon, South Korea |
||
| hal-00726146v2
Journal articles
Variational Bayesian Inference for Source Separation and Robust Feature Extraction IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩ |
||
| hal-01420751v1
Conference papers
LatViz: A New Practical Tool for Performing Interactive Exploration over Concept Lattices CLA 2016 - Thirteenth International Conference on Concept Lattices and Their Applications , Jul 2016, Moscow, Russia |
||
| hal-01420752v1
Conference papers
Interactive Exploration over Concept Lattices with LatViz European Conference on Artificial Intelligence, Software Demo Track., Aug 2016, The Hague, Netherlands |
||
| hal-01420753v1
Conference papers
Steps Towards Interactive Formal Concept Analysis with LatViz Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence ECAI 2016, Aug 2016, The Hague, Netherlands |
||
| hal-01573093v1
Poster communications
Using Content-Based Filtering to Infer Direct Associations between the CATH, Pfam, and SCOP Domain Databases ECCB 2016, Sep 2016, The Hague, Netherlands |
||
| hal-01244517v1
Journal articles
Formulation and accuracy of on-surface radiation conditions for acoustic multiple scattering problems Applied Mathematics and Computation, Elsevier, 2016, 277, pp.82-100. ⟨10.1016/j.amc.2015.12.023⟩ |
||
| hal-01414145v1
Journal articles
Pour un TAL responsable Traitement Automatique des Langues, ATALA, 2016, 57 (2), pp.21 - 45 |
||
| hal-01280938v1
Journal articles
Regard sur « À quoi rêvent les algorithmes » Interstices, INRIA, 2016 |
||
| hal-01280932v1
Conference papers
L'informaticien face au traitement du langage : que peut-on faire et que croit-on que nous faisons ? Séminaire 2015/2016 « Images du savoir pratique : les figures de l’informaticien et du médecin dans les récits de fiction populaire contemporains, Feb 2016, Strasbourg, France |
||
| tel-01415967v2
Habilitation à diriger des recherches
Sémantique et discours - de la modélisation à l'interprétation Informatique [cs]. Université de Lorraine (Nancy), 2016 |
||
| hal-01262284v1
Journal articles
New Insights into the Classification and Integration Specificity of Streptococcus Integrative Conjugative Elements through Extensive Genome Exploration Frontiers in Microbiology, Frontiers Media, 2016, 6 (6), pp.1483. ⟨10.3389/fmicb.2015.01483⟩ |
||
| tel-01754666v2
Theses
Préservation des Intentions et Maintien de la Cohérence des Données Répliquées en Temps Réel Algorithme et structure de données [cs.DS]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0089⟩ |
||
| hal-01196042v2
Journal articles
Localisation of humans, objects and robots interacting on load-sensing floors IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2016, 16 (4), pp.1026-1037. ⟨10.1109/JSEN.2015.2493122⟩ |
||
| hal-01276808v1
Book sections
Optimized Schwarz domain decomposition methods for scalar and vector Helmholtz equations D. Lahaye, J. Tang and K. Vuik. Modern Solvers for Helmholtz Problems, Springer International Publishing, pp.189-213, 2016, Lecture notes in geosystems mathematics and computing, ⟨10.1007/978-3-319-28832-1_8⟩ |
||
| hal-00591456v1
Book sections
Integral Equations and Iterative Schemes for Acoustic Scattering Problems F. Magoulès. Numerical Methods for Acoustics Problems, Saxe-Coburg Editors, 2016, 978-1-874672-46-3 |
||
| hal-01244364v1
Journal articles
On the ground states and dynamics of space fractional nonlinear Schrödinger/Gross-Pitaevskii equations with rotation term and nonlocal nonlinear interactions Journal of Computational Physics, Elsevier, 2016, 325, pp.74-97. ⟨10.1016/j.jcp.2016.08.009⟩ |
||
| hal-01271463v1
Journal articles
High-order IMEX-spectral schemes for computing the dynamics of systems of nonlinear Schrödinger /Gross-Pitaevskii equations Journal of Computational Physics, Elsevier, 2016, 327, pp.252-269. ⟨10.1016/j.jcp.2016.09.020⟩ |
||
| hal-01244354v1
Journal articles
Lagrange–Schwarz Waveform Relaxation domain decomposition methods for linear and nonlinear quantum wave problems Applied Mathematics Letters, Elsevier, 2016, 57, pp.38-45. ⟨10.1016/j.aml.2015.12.012⟩ |
||
| hal-01351398v1
Conference papers
When are three voters enough for privacy properties? 21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece |
||
| hal-01335959v1
Conference papers
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩ |
||
| hal-01269578v1
Journal articles
Multimodal acquisition of articulatory data: Geometrical and temporal registration Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (2), pp.13. ⟨10.1121/1.4940666⟩ |
||
| hal-01384396v2
Journal articles
Recognizing Shrinkable Complexes Is NP-Complete Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.430--443. ⟨10.20382/jocg.v7i1a18⟩ |
||
| hal-01405820v1
Conference papers
Green Growth in NDN: Deployment of Content Stores LANMAN 2016 - IEEE International Symposium on Local and Metropolitan Area Networks, IEEE, Jun 2016, Rome, Italy. ⟨10.1109/LANMAN.2016.7548850⟩ |
||
| hal-01304444v1
Conference papers
Croissance Verte dans NDN: Déploiement des Content Stores ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France |
||
| hal-01322335v1
Conference papers
Proving Determinacy of the PharOS Real-Time Operating System Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩ |
||
| hal-01394707v1
Poster communications
Lossy compression of unordered rooted trees DCC 2016 - Data Compression Conference, Mar 2016, Snowbird, Utah, United States. ⟨10.1109/DCC.2016.73⟩ |
||
| hal-01168651v2
Journal articles
Optimal choice among a class of nonparametric estimators of the jump rate for piecewise-deterministic Markov processes Electronic journal of statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2016, 10 (2), pp.3648-3692. ⟨10.1214/16-EJS1207⟩ |
||
| hal-01539139v1
Conference papers
Estimation non paramétrique optimale du taux de saut d'un processus markovien déterministe par morceaux 48èmes journées de Statistique de la SFDS, Montpellier, May 2016, Montpellier, France |
||
| hal-01322342v1
Conference papers
A Rigorous Correctness Proof for Pastry Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. pp.86-101, ⟨10.1007/978-3-319-33600-8_5⟩ |
||
| hal-01253322v1
Conference papers
Opening Polyhedral Compiler's Black Box CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain |
||
| hal-01089507v1
Journal articles
Better polynomials for GNFS Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩ |
||
| |
||
| hal-01273317v1
Journal articles
Accurate and efficient numerical methods for computing ground states and dynamics of dipolar Bose-Einstein condensates via the nonuniform FFT Communications in Computational Physics, Global Science Press, 2016, 19 (5), pp.1141-1166. ⟨10.4208/cicp.scpde14.37s⟩ |
||
| hal-01277107v2
Preprints, Working Papers, ...
Numerical methods and comparison for the Dirac equation in the nonrelativistic limit regime 2016 |
||
| |
||
| hal-01388976v1
Conference papers
Efficient Instantiation Techniques in SMT (Work In Progress) PAAR 2016 - 5th Workshop on Practical Aspects of Automated Reasoning co-located with IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jul 2016, Coimbra, Portugal. pp.1-10 |
||
| hal-01585324v1
Preprints, Working Papers, ...
Maximum Subarray Problem in 1D and 2D via Weighted Paths in Directed Acyclic Graphs 2016 |
||
| hal-01293516v1
Conference papers
Prosodic Parameters and Prosodic Structures of French Emotional Data Speech Prosody 2016, May 2016, Boston, United States |
||
| hal-01271998v1
Conference papers
Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain |
||
| hal-01277395v2
Reports
Closed combination of context-embedding iterative strategies [Technical Report] LORIA - Université de Lorraine; FEMTO-ST. 2016 |
||
| hal-01316799v1
Conference papers
Modèles prédictifs pour les gliomes diffus de bas grade sous chimiothérapie 18e Colloque Compression et Représentation des Signaux Audiovisuels, CORESA 2016, May 2016, Nancy, France |
||
| hal-01316865v1
Conference papers
Predictive models for diffuse low-grade glioma patients under chemotherapy 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC’16, Aug 2016, Orlando, Florida, United States |
||
| hal-01316879v1
Conference papers
Statistical evaluation of manual segmentation of a diffuse low-grade glioma MRI dataset 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC’16, Aug 2016, Orlando, Florida, United States |
||
| hal-01316788v1
Conference papers
Evaluation statistique de la segmentation manuelle de données IRM de gliomes diffus de bas grade 18e Colloque Compression et Représentation des Signaux Audiovisuels, CORESA 2016, May 2016, Nancy, France |
||
| hal-01384153v1
Reports
Opacity for Linear Constraint Markov Chains [Research Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France; Univ. de Franche-Comté; Ecole Polytechnique de Montréal; LACL, Université Paris-Est. 2016 |
||
| hal-01389228v1
Conference papers
Satisfiability Modulo Free Data Structures Combined with Bridging Functions 14th International Workshop on Satisfiability Modulo Theories, affiliated with IJCAR 2016, Jul 2016, Coimbra, Portugal. pp.71--80 |
||
| hal-01343060v1
Conference papers
A French corpus for distant-microphone speech processing in real homes Interspeech 2016, Sep 2016, San Francisco, United States |
||
| hal-01356053v1
Conference papers
Optimization of Orchestration of Geocrowdsourcing Activities Third International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries (ISCRAM-med 2016), Oct 2016, Madrid, Spain |
||
| hal-01345697v1
Journal articles
Modèles probabilistes formels pour problèmes cognitifs usuels Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), Association pour la Recherche sur la Cognition, 2016, Nouvelles approches en robotique cognitive, 65 (1), pp.111-141. ⟨10.3406/intel.2016.1792⟩ |
||
| hal-01011979v2
Journal articles
Elastic energy of a convex body Mathematical News / Mathematische Nachrichten, Wiley-VCH Verlag, 2016, 289 (5-6), pp.546-574. ⟨10.1002/mana201400256⟩ |
||
| hal-01217547v2
Preprints, Working Papers, ...
Sparse Polynomial Systems with many Positive Solutions from Bipartite Simplicial Complexes 2016 |
||
| hal-01188244v1
Journal articles
System & Contrast : A Polymorphous Model of the Inner Organization of Structural Segments within Music Pieces Music Perception, University of California Press, 2016, 33 (5), pp.631-661. ⟨10.1525/mp.2016.33.5.631⟩ |
||
| hal-01401807v1
Conference papers
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Extended Abstract) Isabelle Workshop 2016, Aug 2016, Nancy, France |
||
| hal-01211748v1
Journal articles
Semi-intelligible Isar Proofs from Machine-Generated Proofs Journal of Automated Reasoning, Springer Verlag, 2016, ⟨10.1007/s10817-015-9335-3⟩ |
||
| hal-01386986v1
Journal articles
A Learning-Based Fact Selector for Isabelle/HOL Journal of Automated Reasoning, Springer Verlag, 2016, 57, pp.219 - 244. ⟨10.1007/s10817-016-9362-8⟩ |
||
| hal-01386988v1
Journal articles
Hammering towards QED Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148 |
||
| hal-01336074v1
Conference papers
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_4⟩ |
||
| hal-01401812v1
Conference papers
Friends with Benefits Isabelle Workshop 2016, Aug 2016, Nancy, France |
||
| hal-01255944v1
Journal articles
Effect of interpolation on noise propagation from images to DIC displacement maps International Journal for Numerical Methods in Engineering, Wiley, 2016, 108 (3), pp.213-232. ⟨10.1002/nme.5212⟩ |
||
| hal-01269655v1
Journal articles
On the propagation of camera sensor noise to displacement maps obtained by DIC - an experimental study Experimental Mechanics, Society for Experimental Mechanics, 2016, 56 (6), pp.919-944. ⟨10.1007/s11340-016-0130-9⟩ |
||
| hal-01276386v1
Conference papers
Delaunay triangulations on orientable surfaces of low genus 32nd International Symposium on Computational Geometry, Jun 2016, Boston, United States. pp.20:1--20:15, ⟨10.4230/LIPIcs.SoCG.2016.20⟩ |
||
| hal-01543507v1
Conference papers
Two-size moment Eulerian multi-fluid method describing the statistical trajectory crossing: modeling and numerical scheme 9th International Conference on Multiphase Flow, May 2016, Firenze, Italy |
||
| hal-01349023v2
Reports
Simple and Scalable Surface Reconstruction [Research Report] LORIA - Université de Lorraine; INRIA Nancy. 2016 |
||
| hal-01113342v1
Journal articles
Two function algebras defining functions in NC k boolean circuits Journal of Information and Computation, Elsevier, 2016, ⟨10.1016/j.ic.2015.12.009⟩ |
||
| tel-01754669v2
Theses
Sécurité des ressources collaboratives dans les réseaux sociaux d'entreprise Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0091⟩ |
||
| hal-01323792v1
Reports
A HMM Classifier with Contextual Observability: Application to Indoor People Tracking [Research Report] LORIA - Université de Lorraine. 2016 |
||
| hal-01342211v2
Journal articles
Solving bivariate systems using Rational Univariate Representations Journal of Complexity, Elsevier, 2016, 37, pp.34--75. ⟨10.1016/j.jco.2016.07.002⟩ |
||
| hal-01404913v1
Conference papers
Une approche de réduction de dimensionnalité pour l'agrégation de préférences qualitatives 16ème Journées Francophones Extraction et Gestion des Connaissances, EGC 2016, Jan 2016, Reims, France. pp.345-350 |
||
| hal-01404567v1
Conference papers
Apprentissage d’intégrales de Sugeno à partir de données inconsistantes 25èmes Rencontre Francophone sur la Logique Floue et ses Applications, Nov 2016, La Rochelle, France. pp.49-56 |
||
| hal-02074061v1
Conference papers
A dimensionality Reduction Approach for Qualitative Preference Aggregation International Symposium on Aggregation and Structures (ISAS 2016), Jul 2016, Luxembourg, Luxembourg |
||
| hal-01366148v1
Conference papers
Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$ 24th International Symposium on Graph Drawing & Network Visualization, Sep 2016, Athens, Greece |
||
| |
||
| hal-01343941v1
Conference papers
High Responsiveness for Group Editing CRDTs ACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩ |
||
| hal-01403214v1
Conference papers
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints 14th International Workshop on Satisfiability Modulo Theories, 2016, Coimbra, Portugal. pp.15-30 |
||
| hal-01403200v1
Conference papers
Fast Cube Tests for LIA Constraint Solving Automated Reasoning - 8th International Joint Conference (IJCAR 2016), 2016, Coimbra, Portugal. pp.116-132, ⟨10.1007/978-3-319-40229-1_9⟩ |
||
| hal-00940743v3
Journal articles
Efficiently navigating a random Delaunay triangulation Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩ |
||
| tel-01273964v1
Theses
Managing large-scale, distributed systems research experiments with control-flows Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2016. English |
||
| hal-01326059v1
Conference papers
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩ |
||
| hal-01162225v4
Journal articles
Homogenization of materials with sign changing coefficients Communications in Mathematical Sciences, International Press, 2016, 14 (4), pp.1137-1154. ⟨10.4310/CMS.2016.v14.n4.a13⟩ |
||
| hal-01421000v1
Conference papers
On Scaling of Fuzzy FCA to Pattern Structures The 13th International Conference on Concept Lattices and their Applications (CLA2016), Jul 2016, Moscow, Russia |
||
| hal-01420997v1
Conference papers
How Fuzzy FCA and Pattern Structures are connected? 5th Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI'2016), Aug 2016, The Hague, Netherlands |
||
| hal-01186715v1
Journal articles
On Mining Complex Sequential Data by Means of FCA and Pattern Structures International Journal of General Systems, Taylor & Francis, 2016, 45 (2), pp.135-159. ⟨10.1080/03081079.2015.1072925⟩ |
||
| hal-01398229v1
Book sections
Recoder les variables pour obtenir un modèle implicatif optimal Régis Gras. L'Analyse Statisqtique Implicative, Cépaduès, 2016 |
||
| hal-01292121v1
Conference papers
Du fichier audio à l’intonation en Français : Graphes pour l’apprentissage de 3 classes intonatives Fouille de données complexes (FDC@EGC2016), Jan 2016, Reims, France |
||
| hal-01399978v1
Reports
MECSYCO: a Multi-agent DEVS Wrapping Platform for the Co-simulation of Complex Systems [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2016 |
||
| hal-01307616v1
Conference papers
Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, Apr 2016, Pasadena, CA, United States. pp.568-575 |
||
| hal-01256738v1
Reports
Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO [Research Report] Université de Lorraine, CNRS, Inria, LORIA, UMR 7503; CentraleSupélec UMI GT-CNRS 2958 Université Paris-Saclay; EDF - R&D MIRE/R44. 2016 |
||
| hal-01397539v2
Journal articles
CIDANE: comprehensive isoform discovery and abundance estimation Genome Biology, BioMed Central, 2016, 17, pp.16. ⟨10.1186/s13059-015-0865-0⟩ |
||
| hal-01294409v1
Journal articles
Delaunay triangulations of closed Euclidean d-orbifolds Discrete and Computational Geometry, Springer Verlag, 2016, 55 (4), pp.827--853. ⟨10.1007/s00454-016-9782-6⟩ |
||
| hal-01231444v2
Journal articles
Optimization of Particle-In-Cell simulations for Vlasov-Poisson system with strong magnetic field ESAIM: Proceedings and Surveys, EDP Sciences, 2016, CEMRACS 2014 - Numerical Modeling of Plasmas, 53, pp.177-190. ⟨10.1051/proc/201653011⟩ |
||
| hal-01306561v1
Journal articles
Automated verification of equivalence properties of cryptographic protocols ACM Transactions on Computational Logic, Association for Computing Machinery, 2016, 17 (4), ⟨10.1145/2926715⟩ |
||
| hal-01377917v1
Conference papers
BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme 23rd ACM Conference on Computer and Communications Security (CCS'16), Oct 2016, Vienna, Austria. ⟨10.1145/2976749.2978337⟩ |
||
| hal-01416469v1
Conference papers
Transgenerational effects of ERalpha36 over-expression on mammary gland development and molecular phenotype: clinical perspective for breast cancer risk and therapy. 21st World Congress on Advances in Oncology and 19th International Symposium on Molecular Medicine, Oct 2016, Athens, Greece |
||
| hal-01342751v1
Conference papers
Keynote : From group collaboration to large scale social collaboration 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2016), Jun 2016, Paris, France |
||
|
|
||