|
||
---|---|---|
hal-01798576v1
Journal articles
Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека Bulletin of National Technical University of Ukraine "KPI". Series Instrument Making, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018, 55(1), pp.118-125. ⟨10.20535/1970.55(1).2018.135832⟩ |
||
hal-01798555v1
Directions of work or proceedings
Моделирование ритмических движений тазобедренного сустава человека на нейронном и мускульноскелетном уровне May 2018, Kyiv, Ukraine. National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018 |
||
hal-01928217v1
Conference papers
Класифікація комбінованих уявних рухів за допомогою бінарних класифікаторів у нейрокомп’ютерних інтерфейсах XVII International scientific and technical conference “Physical processes and fields of technical and biological objects”, Nov 2018, Kremenchuk, Ukraine |
||
hal-03588715v1
Preprints, Working Papers, ...
φ-FEM: an optimally convergent and easily implementable immersed boundary method for particulate flows and Stokes equations 2022 |
||
hal-01903685v2
Conference papers
ρ-POMDPs have Lipschitz-Continuous ϵ-Optimal Value Functions NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-27 |
||
hal-01906996v1
Conference papers
μNDN: an Orchestrated Microservice Architecture for Named Data Networking ACM-ICN'18 - 5th ACM Conference on Information-Centric Networking, Sep 2018, Boston, United States. pp.12, ⟨10.1145/3267955.3267961⟩ |
||
hal-01445707v2
Conference papers
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15 |
||
tel-02395443v1
Theses
ZX-Calculi for Quantum Computing and their Completeness Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩ |
||
hal-01054395v1
Conference papers
ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16 |
||
hal-01952480v1
Conference papers
Zircaloy-4 cladding hydride reorientation under ring compression test conditions Top Fuel 2009, Sep 2009, Paris, France |
||
hal-02985551v1
Conference papers
Your Age Revealed by Facebook Picture Metadata BBIGAP 2020 - Second Workshop of BI and Big Data Applications, Aug 2020, Lyon / Virtual, France. pp.259-270, ⟨10.1007/978-3-030-55814-7_22⟩ |
||
hal-02974078v1
Conference papers
You are what emojis say about your pictures SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩ |
||
inria-00426624v1
Conference papers
YAPA: A generic tool for computing intruder knowledge 20th International Conference on Rewriting Techniques and Applications - RTA'09, Jun 2009, Brasilia, Brazil. pp.148-163, ⟨10.1007/978-3-642-02348-4_11⟩ ![]() |
||
hal-00732901v1
Journal articles
YAPA: A generic tool for computing intruder knowledge ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩ |
||
hal-01445948v1
Conference papers
Y-Calculus: A language for real Matrices derived from the ZX-Calculus International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands |
||
inria-00176680v1
Conference papers
XML data representation in Document Image Analysis 9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.78-82 |
||
inria-00578884v1
Conference papers
XML Access Control: from XACML to Annotated Schemas Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩ |
||
inria-00160400v1
Conference papers
XMG: eXtending MetaGrammars to MCTAG Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482 |
||
hal-02475775v1
Reports
Xfor: Semantics and Performance [Research Report] Team ICPS (ICube Laboratory). 2014 |
||
hal-01155144v1
Conference papers
XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance 14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨10.1109/ISPDC.2015.19⟩ |
||
tel-01251721v1
Theses
XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations Computation and Language [cs.CL]. Université de Strasbourg, 2015. English |
||
hal-01952304v1
Journal articles
Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2017, 36 (3-6), pp.185-215. ⟨10.3166/tsi.2017.00010⟩ |
||
hal-01946733v1
Conference papers
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom |
||
hal-03556366v1
Conference papers
Would you be friends with a robot?”: The impact of perceived autonomy and perceived risk AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States |
||
hal-01796066v1
Journal articles
Workspace, Joint space and Singularities of a family of Delta-Like Robot Mechanism and Machine Theory, Elsevier, 2018, 127, pp.73-95. ⟨10.1016/j.mechmachtheory.2018.05.004⟩ |
||
hal-01142465v1
Conference papers
Workspace and Singularity analysis of a Delta like family robot 4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France |
||
hal-01006614v1
Conference papers
Workspace and joint space analysis of the 3-RPS parallel robot ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. pp.1-10 |
||
hal-00646845v1
Conference papers
Workshop Proposal for Young Researchers' Roundtable on Spoken Dialogue Systems 2011 Young Researchers' Roundtable on Spoken Dialogue Systems 2011, Jun 2011, Portland, United States |
||
hal-01956367v1
Directions of work or proceedings
Workshop Notes of the Sixth International Workshop "What can FCA do for Artificial Intelligence? Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2018 - 6th International Workshop "What can FCA do for Artificial Intelligence"?, Jul 2018, Stockholm, Sweden. 2149, CEUR Proceedings, pp.150, 2018 |
||
hal-02431335v1
Directions of work or proceedings
Workshop Notes of the Seventh International Workshop "What can FCA do for Artificial Intelligence? Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2019 (What can FCA do for Artificial Intelligence?), 2019, CEUR Workshop Proceedings 2529, CEUR-WS.org, pp.87, 2019 |
||
hal-01252624v1
Directions of work or proceedings
Workshop Notes International Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015) Kuznetsov, Sergei O. ; Napoli, Amedeo; Rudolph, Sebastian. France. CEUR Workshop Proceedings 1430, 2015, CEUR Workshop Proceedings 1430 |
||
inria-00440785v1
Conference papers
Word Order Constraints for Lexical Disambiguation of Interaction Grammars Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France |
||
hal-01212587v1
Conference papers
Witnessing (Co)datatypes ESOP 2015, Apr 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_15⟩ |
||
hal-03122844v1
Preprints, Working Papers, ...
Windowed total variation denoising and noise variance monitoring 2021 |
||
tel-00543961v1
Theses
Wikis sémantiques distribués sur réseaux pair-à-pair Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français |
||
tel-03468027v1
Theses
Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0200⟩ |
||
hal-03038206v1
Journal articles
Widening the scope of an eigenvector stochastic approximation process and application to streaming PCA and related methods Journal of Multivariate Analysis, Elsevier, 2021, 182, pp.104694. ⟨10.1016/j.jmva.2020.104694⟩ |
||
hal-03404607v1
Reports
Wide Function Pointer Types for Pairing Code and Data [Research Report] 2787, ISO JCT1/SC22/WG14. 2021 |
||
hal-00644373v1
Journal articles
Wide Frequency Band Numerical Approaches for Multiple Scattering Problems by Disks Journal of Algorithms and Computational Technology, SAGE and Multi-science, 2012, 6 (2), pp.241-260. ⟨10.1260/1748-3018.6.2.241⟩ |
||
hal-00597903v1
Conference papers
Why, Where and How to use Semantic Annotation for Systems Interoperability 1st UNITE Doctoral Symposium, Jun 2011, Bucarest, Romania. pp.71-78 |
||
inria-00543927v1
Journal articles
Why and How to Use Arbitrary Precision Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩ ![]() |
||
hal-03245005v1
Conference papers
Whole-body teleoperation of the Talos humanoid robot: preliminary results ICRA 2021 - 5th Workshop on Teleoperation of Dynamic Legged Robots in Real Scenarios, May 2021, Xi’an / Virtual, China |
||
hal-01399360v1
Journal articles
Whole-body multi-contact motion in humans and humanoids: Advances of the CoDyCo European project Robotics and Autonomous Systems, Elsevier, 2016, ⟨10.1016/j.robot.2016.08.017⟩ |
||
hal-01790597v1
Conference papers
Whole-Body Compliant Control of iCub: first results with OpenSoT IEEE/RAS ICRA Workshop on Dynamic Legged Locomotion in Realistic Terrains, May 2018, Brisbane, Australia |
||
hal-01851097v1
Preprints, Working Papers, ...
Whole Number Recursion Formulae for High Order Clebsch-Gordan Coupling Coefficients 2018 |
||
hal-01494043v1
Conference papers
Who wants to play Zombie? A survey of the players on ZOMBILINGO Games4NLP 2017 - Using Games and Gamification for Natural Language Processing, Apr 2017, Valencia, Spain. pp.2 |
||
hal-02944663v1
Conference papers
White-Box Traitor-Tracing from Tardos Probabilistic Codes SecITC 2019: Innovative Security Solutions for Information Technology and Communications, Nov 2019, Bucharest, Romania. pp.125-141, ⟨10.1007/978-3-030-41025-4_9⟩ |
||
|
||
inria-00423047v1
Conference papers
Which Semantics for Neighbourhood Semantics? Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676 |
||
hal-03585479v1
Book sections
Which Pattern for a Low Pattern-Induced Bias? Sharlotte L.B. Kramer, Rachael Tighe, Ming-Tzer Lin, Cosme Furlong, Chi-Hung Hwang. Thermomechanics & Infrared Imaging, Inverse Problem Methodologies, Mechanics of Additive & Advanced Manufactured Materials, and Advancements in Optical Methods & Digital Image Correlation, Volume 4, Springer International Publishing, pp.103-105, 2022, Conference Proceedings of the Society for Experimental Mechanics Series, ⟨10.1007/978-3-030-86745-4_15⟩ |
||
hal-00784890v1
Conference papers
Which notion of energy for bilinear quantum systems? LHMNLC - 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear Control - 2012, Aug 2012, Bertinoro, Italy. pp.226-230 |
||
hal-01283962v1
Journal articles
Which distributions have the Matsumoto-Yor property? Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011, 16, pp.49. ⟨10.1214/ECP.v16-1663⟩ |
||
hal-01078045v1
Conference papers
Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology Crowdsourcing and human computation multidisciplinary workshop, CNRS, Sep 2014, Paris, France |
||
hal-01154767v1
Conference papers
When sharing computer science with everyone also helps avoiding digital prejudices SCRATCH, Aug 2015, Amsterdam, Netherlands |
||
|
||
hal-02864071v2
Conference papers
When nominal analogical proportions do not fail SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83 |
||
hal-01588876v1
Conference papers
When mismatched training data outperform matched data Systematic approaches to deep learning methods for audio, Sep 2017, Vienna, Austria |
||
hal-02185645v1
Conference papers
When Mating Improves On-line Collective Robotics GECCO’19 Proceedings of the 2019 Genetic and Evolutionary Computation Conference, Jul 2019, Prague, Czech Republic |
||
inria-00589470v1
Conference papers
When Fish Moonwalk American Control Conference 2010, Jun 2010, Baltimore, United States |
||
hal-02880731v1
Book sections
When Evolutionary Computing Meets Astro- and Geoinformatics Knowledge Discovery in Big Data from Astronomy and Earth Observation, pp.283-306, 2020 |
||
hal-00826099v1
Conference papers
When early vision in the retina attempts to take decisions about visual motion events : the role of konio cells Third International Symposium on Biology of Decision Making, Université Pierre et Marie Curie (Paris 6), May 2013, Paris, France |
||
hal-02933431v1
Journal articles
When Deep Learning Meets Digital Image Correlation Optics and Lasers in Engineering, Elsevier, 2021, 136, pp.106308. ⟨10.1016/j.optlaseng.2020.106308⟩ |
||
hal-03021720v1
Conference papers
When Collaborative Treebank Curation Meets Graph Grammars LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France |
||
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-02984693v1
Conference papers
What’s All the FUSS About Free Universal Sound Separation Data? ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto/Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414774⟩ |
||
inria-00598774v1
Journal articles
What's the buzz about moving from Lean to Agile integrated supply chains? A fuzzy intelligent-agents based approach International Journal of Production Research, Taylor & Francis, 2008, 46 (23), pp.6649-6677. ⟨10.1080/00207540802230462⟩ |
||
inria-00599398v1
Conference papers
What's the buzz about moving from flexible to reconfigurable manufacturing system\? 5th International Conference on Innovative Production Machines and Systems, Jul 2009, Cardiff, United Kingdom |
||
halshs-01424902v1
Conference papers
What we can learn from asr errors about low-resourced languages: a case-study of luxembourgish and austrian Errors by Humans and Machines in Multimedia, Multimodal, Multilingual Data Processing (ERRARE 2013), Nov 2013, Ermenonville, France |
||
hal-01889792v1
Poster communications
What MDL can bring to Pattern Mining ISWS 2018 - International Semantic Web Research Summer School, Jul 2018, Bertinoro, Italy |
||
hal-02563438v1
Journal articles
What matters to patients? A mixed method study of the importance and consideration of oncology patient demands BMC Health Services Research, BioMed Central, 2021, 21, pp.256. ⟨10.1186/s12913-021-06247-0⟩ |
||
hal-00333705v1
Journal articles
What is the optimal shape of a pipe? Archive for Rational Mechanics and Analysis, Springer Verlag, 2010, 196 (1), pp.281--302. ⟨10.1007/s00205-009-0243-8⟩ |
||
inria-00599438v1
Conference papers
What can we hope about output tracking of bilinear quantum systems? 4th International Scientific Conference on Physics and Control, Luigi Fortuna and Alexander Fradkov and Mattia Frasca, Sep 2009, Catane, Italy. pp.251-256 |
||
hal-00169087v1
Journal articles
Wellposedness for the system modelling the motion of a rigid body of arbitrary form in an incompressible viscous fluid Czechoslovak Mathematical Journal, Akademie věd České republiky, Matematický ústav, 2007, 58 (4), pp.961-992 |
||
inria-00000889v1
Journal articles
Wellposedness for the Navier-Stokes flow in the exterior of a rotating obstacle Mathematical Methods in the Applied Sciences, Wiley, 2006, 29 (5), pp.595--623. ⟨10.1002/mma.702⟩ ![]() |
||
hal-00753108v1
Conference papers
Wellposedness and stabilization of a class of infinite dimensional bilinear control systems 51st IEEE Conference on Decision and Control, CDC 2012, Dec 2012, Maui, Hawaii, United States. pp.CDROM |
||
hal-01939464v1
Journal articles
Well-posedness for the coupling between a viscous incompressible fluid and an elastic structure Nonlinearity, IOP Publishing, 2019, 32, pp.3548-3592. ⟨10.1088/1361-6544/ab128c⟩ |
||
hal-00789315v1
Journal articles
Well-posedness for a one-dimensional fluid-particle interaction model SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2014, 46 (2) |
||
hal-01095677v1
Journal articles
Well-posed systems—The LTI case and beyond Automatica, Elsevier, 2014, 50, pp.1757 - 1779. ⟨10.1016/j.automatica.2014.04.016⟩ |
||
hal-00641326v1
Conference papers
Web Services Verification and Prudent Implementation 4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium |
||
tel-00643552v1
Theses
Web services governance : Security and Data handling aspects Web. Université Nancy II, 2011. English |
||
inria-00537943v1
Journal articles
Web Services Compositions Modelling and Choreographies Analysis International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩ |
||
hal-00764804v1
Conference papers
Web services composition verification using satisfiability solving IEEE 19th International Conference on Web Services, Jun 2012, Honolulu, United States. pp.242-249, ⟨10.1109/ICWS.2012.75⟩ |
||
hal-01378355v1
Conference papers
Weakly-supervised text-to-speech alignment confidence measure International Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan |
||
hal-00620733v2
Journal articles
Weakly-coupled systems in quantum control IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2013, 58 (9), pp.2205-2216. ⟨10.1109/TAC.2013.2255948⟩ |
||
hal-00594870v1
Journal articles
Weak turbulence theory and simulation of the gyro-water-bag model Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2008, 77 (5), pp.056410. ⟨10.1103/PhysRevE.77.056410⟩ |
||
hal-01289196v1
Journal articles
Weak solutions for the motion of a self-propelled deformable structure in a viscous Incompressible fluid Acta Applicandae Mathematicae, Springer Verlag, 2011, 116 (3), pp.329-352. ⟨10.1007/s10440-011-9646-2⟩ |
||
hal-03140597v1
Journal articles
Weak Solutions for a System Modeling the Movement of a Piston in a Viscous Compressible Gas Journal of Mathematical Fluid Mechanics, Springer Verlag, 2020, 22 (3), pp.40. ⟨10.1007/s00021-020-0481-y⟩ |
||
hal-01323885v1
Reports
Weak instances on composite order protocols [Research Report] INRIA. 2014, pp.1--13 |
||
hal-02313981v1
Journal articles
Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩ ![]() |
||
tel-02074919v3
Theses
Wavelet-based semblance methods to enhance single-trial ERP detection Computer science. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0138⟩ |
||
hal-00756563v1
Conference papers
Wavelet-based Semblance for P300 Single-trial Detection BIOSIGNAL - international conference on Bio-Inspired Systems and Signal Processing - 2013, Feb 2013, Barcelone, Spain |
||
hal-00347894v1
Journal articles
Wavelet Approximations of a Collision Operator in Kinetic Theory Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2003, 337 (5), pp.353-358. ⟨10.1016/S1631-073X(03)00345-5⟩ ![]() |
||
hal-01198594v1
Conference papers
WaveAtlas: surfing through the landscape of current malware packers Virus Bulletin, Sep 2015, Prague, Czech Republic |
||
hal-00594880v1
Journal articles
Water-bag modeling of a multispecies plasma Physics of Plasmas, American Institute of Physics, 2011, 18 (3), pp.032512. ⟨10.1063/1.3565019⟩ |
||
hal-02735272v1
Journal articles
WatchPose: A View-Aware Approach for Camera Pose Data Collection in Industrial Environments Sensors, MDPI, 2020, 20 (11), ⟨10.3390/s20113045⟩ |
||
hal-00697150v1
Conference papers
Watch me playing, I am a professional: a first study on video game live streaming MSND@WWW - International Workshop on Mining Social Network Dynamics - 2012 (in conjunction with WWW - World Wild Web - 2012), May 2012, Lyon, France. pp.1181-1188, ⟨10.1145/2187980.2188259⟩ |
||
hal-01353585v1
Reports
Walking in a Planar Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path [Research Report] RR-8946, INRIA Nancy. 2016 |
||
hal-01712628v1
Journal articles
Walking in a Planar Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path International Journal of Computational Geometry and Applications, World Scientific Publishing, 2018, 28 (3), pp.255-269. ⟨10.1142/S0218195918500061⟩ |
||
hal-01421548v1
Conference papers
Walk the line: Toward an efficient user model for recommendations in museums 11th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2016), Oct 2016, Thessaloniki, Greece. pp.83 - 88, ⟨10.1109/SMAP.2016.7753389⟩ |
||
tel-01750754v2
Theses
Vulnerability Management for Safe Configurations in Autonomic Networks and Systems Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0048⟩ |
||
|