|
||
---|---|---|
hal-01370430v1
Journal articles
Iterative observer-based state and parameter estimation for linear systems ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2018, 24 (1), pp.265-288. ⟨10.1051/cocv/2017005⟩ |
||
hal-01236950v1
Journal articles
Convergence of discrete-time Kalman filter estimate to continuous-time estimate for systems with unbounded observation Mathematics of Control, Signals, and Systems, Springer Verlag, 2018, 30 (3), pp.9. ⟨10.1007/s0049⟩ |
||
hal-01245479v3
Journal articles
Stability and Minimax Optimality of Tangential Delaunay Complexes for Manifold Reconstruction Discrete and Computational Geometry, Springer Verlag, 2018 |
||
hal-02333719v1
Conference papers
A down-to-earth integration of Named Data Networking in the real-world IoT FiCloudW 2018 : 6th International Conference on Future Internet of Things and Cloud Workshops, Aug 2018, Barcelona, Spain. pp.243-249, ⟨10.1109/W-FiCloud.2018.00046⟩ |
||
hal-01864541v1
Conference papers
Towards evaluating Named Data Networking for the IoT: A framework for OMNeT++ OMNeT Community Summit 2018, Sep 2018, Pise, Italy |
||
hal-01949202v1
Conference papers
When Good Components Go Bad 25th ACM Conference on Computer and Communications Security (CCS), Oct 2018, Toronto, Canada. pp.1351--1368, ⟨10.1145/3243734.3243745⟩ ![]() |
||
hal-01673013v1
Conference papers
Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩ |
||
hal-01575370v4
Journal articles
Hybrid High-Order methods for finite deformations of hyperelastic materials Computational Mechanics, Springer Verlag, 2018, 62 (4), pp.909-928. ⟨10.1007/s00466-018-1538-0⟩ |
||
hal-01808948v5
Conference papers
Best of both worlds: Stochastic & adversarial best-arm identification Conference on Learning Theory, 2018, Stockholm, Sweden |
||
hal-01921830v1
Journal articles
Co-occurrence among three divergent plant-castrating fungi in the same Silene host species Molecular Ecology, Wiley, 2018, 27 (16), pp.3357 - 3370. ⟨10.1111/mec.14805⟩ |
||
hal-01562673v1
Journal articles
In silico assessment of the effects of various compounds in MEA/hiPSC-CM assays: Modelling and numerical simulations Journal of Pharmacological and Toxicological Methods, Elsevier, 2018, 89, pp.59-72 |
||
hal-01901222v1
Conference papers
Numerical simulation of weakly compressible multi-material flows SIMAI 2018 - Bi-annual congress of the Italian Society of Applied and Industrial Mathematics, Italian Society of Applied and Industrial Mathematics, Jul 2018, Rome, Italy |
||
hal-01901218v1
Conference papers
An All-Speed Relaxation Scheme for the Simulation of Multi-material Flows SHARK-FV 2018 - 5th experimental Sharing Higher-order Advanced Research Know-how on Finite Volume, May 2018, Minho, Portugal |
||
hal-01940467v1
Journal articles
Group synchronization on grids Mathematical Statistics and Learning, EMS Publishing House, 2018 ![]() |
||
tel-01977804v1
Theses
Fouille de motifs : entre accessibilité et robustesse Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0176⟩ |
||
hal-01862210v1
Conference papers
A Multicore Convex Optimization Algorithm with Applications to Video Restoration IEEE International Conference on Image Processing, Oct 2018, Athens, Greece |
||
hal-01900273v1
Conference papers
Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without Pairings Advances in Cryptology – CRYPTO 2018, Aug 2018, Santa Barbara, United States. ⟨10.1007/978-3-319-96884-1_20⟩ ![]() |
||
hal-01538113v1
Journal articles
Robust Encryption Journal of Cryptology, Springer Verlag, 2018, 31 (2), pp.307-350. ⟨10.1007/s00145-017-9258-8⟩ |
||
hal-02293208v1
Directions of work or proceedings
Public-Key Cryptography – PKC 2018 Michel Abdalla; Ricardo Dahab. Public-Key Cryptography – PKC 2018, Mar 2018, Rio de Janeiro, Brazil. Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-76578-5⟩ |
||
hal-02293219v1
Directions of work or proceedings
Public-Key Cryptography – PKC 2018 Michel Abdalla; Ricardo Dahab. Public-Key Cryptography – PKC 2018, Mar 2018, Rio de Janeiro, Brazil. 10770, Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-76581-5⟩ |
||
hal-01723012v1
Journal articles
Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier Journal of Cryptology, Springer Verlag, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩ ![]() |
||
hal-01654158v1
Journal articles
On the relevance of two manual tumor volume estimation methods for diffuse low-grade gliomas Healthcare Technology Letters, The Institution of Engineering and Technology, 2018, 5 (1), pp.13-17. ⟨10.1049/htl.2017.0013⟩ |
||
hal-01726493v1
Conference papers
The determination of new stable zeolite frameworks using a parallel hybrid genetic algorithm OLA 2018 - International Workshop on Optimization and Learning: Challenges and Applications, Feb 2018, Alicante, Spain. pp.1-2 |
||
hal-03376084v1
Directions of work or proceedings
Model and Data Engineering. 8th International Conference, MEDI 2018, Proceedings Model and Data Engineering. 8th International Conference, MEDI 2018, Oct 2018, Marrakesh, Morocco. Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨10.1007/978-3-030-00856-7⟩ |
||
hal-01933975v1
Directions of work or proceedings
New Trends in Model and Data Engineering MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩ |
||
hal-01897570v3
Reports
A Framework for Edge Infrastructures Monitoring [Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14 |
||
tel-02049129v1
Theses
Conception d’un système de supervision programmable et reconfigurable pour une infrastructure informatique et réseau répartie Autre [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0119⟩ |
||
hal-01869944v1
Journal articles
Hyperspectral Imaging and Classification for Grading Skin Erythema Frontiers in Physics, Frontiers, 2018, 6, pp.1-10. ⟨10.3389/fphy.2018.00072⟩ |
||
hal-01911621v1
Conference papers
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components AsianHOST 2018 - Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩ |
||
hal-01911619v1
Conference papers
A small and adaptive coprocessor for information flow tracking in ARM SoCs ReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩ |
||
hal-01874495v1
Conference papers
Dynamic Extension of ASR Lexicon Using Wikipedia Data IEEE Workshop on Spoken and Language Technology (SLT), Dec 2018, Athènes, Greece |
||
tel-01876314v1
Theses
Counting points on hyperelliptic curves in large characteristic : algorithms and complexity Number Theory [math.NT]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0104⟩ |
||
hal-01816256v3
Conference papers
Counting points on genus-3 hyperelliptic curves with explicit real multiplication ANTS-XIII - Thirteenth Algorithmic Number Theory Symposium, Jul 2018, Madison, United States. pp.1--19 |
||
hal-01826517v1
Poster communications
Disentangling spatio-temporal patterns of brain changes in large-scale brain imaging databases through Independent Gaussian Process Analysis 12ème Conférence Francophone d'Epidémiologie Clinique (EPICLIN) et 25èmes Journées des statisticiens des Centre de Lutte Contre le Cancer (CLCC), May 2018, Nice, France. Revue d'Épidémiologie et de Santé Publique (66), pp.S159, 2018, ⟨10.1016/j.respe.2018.03.108⟩ |
||
hal-01882450v1
Conference papers
Alzheimer's Disease Modelling and Staging through Independent Gaussian Process Analysis of Spatio-Temporal Brain Changes Machine Learning in Clinical Neuroimaging (MLCN) workshop, Sep 2018, Granada, Spain |
||
hal-01853934v1
Conference papers
Humanoid Teleoperation using Task-Relevant Haptic Feedback IROS'18 - IEEE/RSJ Int. Conf. on Intelligent Robots and SystemsIROS'18, Oct 2018, Madrid, Spain. pp.5010-5017, ⟨10.1109/IROS.2018.8593521⟩ |
||
tel-02418608v1
Theses
Contributions to shared control architectures for advanced telemanipulation Robotics [cs.RO]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S120⟩ |
||
hal-01851710v1
Conference papers
User evaluation of a haptic-enabled shared-control approach for robotic telemanipulation IROS 2018 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2018, Madrid, Spain. pp.1-8 |
||
hal-01708613v1
Journal articles
Parameterising wheat leaf and tiller dynamics for faithful reconstruction of wheat plants by structural plant models Field Crops Research, Elsevier, 2018, 218, pp.213-230. ⟨10.1016/j.fcr.2018.01.010⟩ |
||
tel-01863354v1
Theses
Automated Risk Analysis on Privacy in Social Networks Social and Information Networks [cs.SI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0088⟩ |
||
hal-01939277v1
Conference papers
Online Testing of User Profile Resilience Against Inference Attacks in Social Networks ADBIS 2018 - First International Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018, Sep 2018, Budapest, Hungary |
||
hal-01939283v1
Conference papers
Sensitive attribute prediction for social networks users DARLI-AP 2018 - 2nd International workshop on Data Analytics solutions for Real-LIfe APplications, Mar 2018, Vienne, Austria |
||
hal-01718110v1
Conference papers
An Automatic Learning of an Algerian Dialect Lexicon by using Multilingual Word Embeddings 11th edition of the Language Resources and Evaluation Conference, LREC 2018, May 2018, Miyazaki, Japan |
||
hal-01744978v1
Conference papers
Explanations and Transparency in Collaborative Workflows PODS 2018 - 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Jun 2018, Houston, Texas, United States |
||
hal-01875161v1
Book sections
The Digital Shoebox Memory, edited by Philippe Tortell, Mark Turin, and Margot Young, UBC Press, 2018 |
||
hal-01963510v1
Journal articles
Les déclinaisons de la neutralité Annales des Mines - Enjeux Numériques, Conseil général de l'Économie, ministère de l'Économie et des Finances, 2018 |
||
hal-02271613v1
Books
Le bot qui murmurait à l'oreille de la vieille dame (et autres nouvelles numériques) Editions le Pommier, pp.166, 2018, 978-2746517523 |
||
hal-01744283v1
Journal articles
Les algorithmes du commerce Concurrences - revue des droits de la concurrence, Institut de droit de la concurrence, 2018 |
||
hal-01651842v1
Conference papers
Faster ICA under orthogonal constraint International Conference on Acoustics, Speech, & Signal Processing, 2018, Calgary, Canada |
||
hal-01822602v1
Conference papers
Accelerating likelihood optimization for ICA on real signals LVA-ICA 2018, Jul 2018, Guildford, United Kingdom |
||
hal-01970746v1
Journal articles
Faster Independent Component Analysis by Preconditioning With Hessian Approximations IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2018, 66 (15), pp.4040-4049 |
||
hal-01815512v3
Conference papers
Recognition and Localization of Food in Cooking Videos Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management (CEA-MADiMa 2018), Jul 2018, Stockholm, Sweden. pp.21-24, ⟨10.1145/3230519.3230590⟩ |
||
hal-01882395v1
Journal articles
χ-bounded families of oriented graphs Journal of Graph Theory, Wiley, 2018, 89 (3), pp.304 - 326. ⟨10.1002/jgt.22252⟩ |
||
hal-01613842v1
Journal articles
Reversal property of the Brownian tree ALEA : Latin American Journal of Probability and Mathematical Statistics, Instituto Nacional de Matemática Pura e Aplicada, 2018, 15, pp.1293-1309 |
||
hal-02157125v1
Journal articles
Building the Universal Archive of Source Code A global collaborative project for the benefit of all Communications of the ACM, Association for Computing Machinery, 2018, 61 (10), pp.29-31. ⟨10.1145/3183558⟩ |
||
hal-02476494v1
Conference papers
Ordonnancement sous contraintes d’énergie avec stockage et couts linéaires par morceaux ROADEF 2018 - 19e congrès de la société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2018, Lorient, France |
||
hal-02476472v1
Conference papers
Scheduling energy-consuming jobs on parallel machines with piecewise-linear costs and storage resources: A lot-sizing and scheduling perspective 16th International Conference on Project Management and Scheduling - PMS 2018, Apr 2018, Rome, Italy. pp.1-4 |
||
hal-01944274v1
Journal articles
A sharp lower bound on the number of non-equivalent colorings of graphs of order n and maximum degree n − 3 Discrete Applied Mathematics, Elsevier, 2018, 234, pp.3-11 |
||
hal-01888549v1
Conference papers
The Use of Lane-Centering to Ensure the Visible Light Communication Connectivity for a Platoon of Autonomous Vehicles ICVES’2018 - 20th IEEE International Conference on Vehicular Electronics and Safety, Sep 2018, Madrid, Spain |
||
hal-01888576v1
Conference papers
A Proposal for VLC-Assisting IEEE802.11p Communication for Vehicular Environment Using a Prediction-based Handover ITSC 2018 – 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, Hawaii, U.S. Outlying Islands |
||
hal-01826217v1
Journal articles
The K-discretization and K-incident graphs for discretizable Distance Geometry Optimization Letters, Springer Verlag, 2018, 14 (2), pp.1-14. ⟨10.1007/s11590-018-1294-2⟩ |
||
hal-01887065v1
Conference papers
Software Greenability: A Case Study of Cloud-Based Business Applications Provisioning CLOUD 2018 - IEEE 11th International Conference on Cloud Computing, Jul 2018, San Francisco, CA, United States. pp.875-878, ⟨10.1109/CLOUD.2018.00125⟩ |
||
hal-01937946v1
Conference papers
Heartbeat scheduling: provable efficiency for nested parallelism PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩ |
||
hal-01878539v1
Book sections
On solving contact problems with Coulomb friction: formulations and numerical comparisons Springer International Publishing. Advanced Topics in Nonsmooth Dynamics - Transactions of the European Network for Nonsmooth Dynamics, pp.375-457, 2018, 9783319759715. ⟨10.1007/978-3-319-75972-2_10⟩ |
||
hal-01967532v1
Conference papers
Proof Nets and the Linear Substitution Calculus 15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Oct 2018, Stellenbosch, South Africa |
||
hal-01967531v1
Conference papers
Types of Fireballs APLAS 2018 - 16th Asian Symposium on Programming Languages and System, Dec 2018, Wellington, New Zealand |
||
hal-01936141v1
Conference papers
Tight typings and split bounds 23rd ACM International Conference on Functional Programming, Sep 2018, St Louis, United States. pp.1 - 30, ⟨10.1145/3236789⟩ |
||
hal-01721773v1
Conference papers
Cooperative adaptive cruise control over unreliable networks: an observer-based approach to increase robustness to packet loss ECC 2018 - 16th European Control Conference, Jun 2018, Limassol, Cyprus. pp.1399-1404 |
||
hal-01942275v1
Book sections
From Syntactic Proofs to Combinatorial Proofs International Joint Conference on Automated Reasoning, IJCAR 2018, Springer, pp.481-497, 2018, 978-3-319-94204-9 |
||
hal-01931400v1
Journal articles
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics Journal of Automated Reasoning, Springer Verlag, 2018, ⟨10.1007/s10817-018-9466-4⟩ ![]() |
||
lirmm-01651998v1
Journal articles
The virtual food system: Innovative models and experiential feedback in technologies for winemaking, the cereals chain, food packaging and eco-designed starter production Innovative Food Science and Emerging Technologies, Elsevier, 2018, Food Science and Technology in France: INRA’s contribution to this area, 46, pp.54-64. ⟨10.1016/j.ifset.2017.10.006⟩ |
||
hal-02023057v1
Journal articles
Profitable Bandits Proceedings of Machine Learning Research, PMLR, 2018, 95, pp.694-709 |
||
hal-01921868v1
Journal articles
Fine-Grained Control over Tracking to Support the Ad-Based Web Economy ACM Transactions on Internet Technology, Association for Computing Machinery, 2018, 18 (4), pp.1-25. ⟨10.1145/3158372⟩ |
||
hal-01659161v1
Conference papers
VaryLaTeX: Learning Paper Variants That Meet Constraints VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2018, Madrid, Spain. pp.83-88, ⟨10.1145/3168365.3168372⟩ |
||
hal-01829933v1
Conference papers
Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Journal-First Abstract) SPLC2018 - 22nd International Systems and Software Product Line Conference, Sep 2018, Gothenburg, Sweden. pp.1 |
||
hal-01782477v1
Journal articles
Performance Modeling of SEAD Protocol in Vehicular Environment Wireless Networks, Springer Verlag, 2018, pp.1-18. ⟨10.1007/s11276-018-1706-3⟩ |
||
hal-01921891v1
Book sections
Privacy-Preserving Release of Spatio-Temporal Density Handbook of Mobile Data Privacy, Springer, pp.307-335, 2018, 978-3-319-98160-4. ⟨10.1007/978-3-319-98161-1_12⟩ ![]() |
||
tel-01939268v1
Theses
Couplage de La rObotique et de la simulatioN médicalE pour des proCédures automaTisées (CONECT) Optimisation et contrôle [math.OC]. Université de Strasbourg, 2018. Français |
||
hal-01792837v1
Conference papers
Marker-based Registration for Large Deformations -Application to Open Liver Surgery ICRA 2018 - International Conference on Robotics and Automation, May 2018, Brisbane, Australia |
||
hal-01691742v1
Conference papers
Transition didactique de l'activité débranchée à la programmation avec AlgoTouch Didapro 7 – DidaSTIC, Feb 2018, Lausanne, Suisse |
||
hal-01753444v1
Conference papers
Concurrent Geometric Multicasting The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩ ![]() |
||
hal-00998506v4
Other publications
Taxonomy of Coding Techniques for Efficient Network Communications 2018 |
||
hal-01273897v1
Journal articles
Reversibility and further properties of FCFS infinite bipartite matching Mathematics of Operations Research, INFORMS, 2018, 43 (2), pp.347-692. ⟨10.1287/moor.2017.0874⟩ ![]() |
||
hal-02976835v1
Journal articles
On the complexity of a Virtual Network Function Placement and Routing problem Electronic Notes in Discrete Mathematics, Elsevier, 2018, 69, pp.197-204. ⟨10.1016/j.endm.2018.07.026⟩ |
||
tel-02976934v1
Habilitation à diriger des recherches
A journey through optimization: from global to discrete optimization and back. Operations Research [cs.RO]. Université de Lorraine, 2018 |
||
halshs-01643064v2
Preprints, Working Papers, ...
On a Virtual Network Function Placement and Routing problem: properties and formulations 2018 |
||
hal-01538115v2
Preprints, Working Papers, ...
Network Coding with Random Packet-Index Assignment for Data Collection Networks 2018 |
||
hal-01876327v1
Poster communications
A stand-off XML-TEI representation of reference annotation DGfS 2018: 40. Jahrestagung der Deutschen Gesellschaft für Sprachwissenschaft, Mar 2018, Stuttgart, Germany. 2017 |
||
hal-01891223v1
Conference papers
Towards full Waveform Box Tomography in the Deep Mantle: the Case when both Sources and Stations are Outside the Target Region AGU Fall Meeting, Dec 2018, Washington, D.C, United States |
||
hal-01982426v1
Journal articles
Imperfect forward secrecy: How Diffie-Hellman fails in practice Communications of the ACM, Association for Computing Machinery, 2018, 62 (1), pp.106-114. ⟨10.1145/3292035⟩ |
||
hal-01951964v1
Directions of work or proceedings
Proc. 1st JOMO workshop on Interaction-Based Knowledge Sharing (WINKS) WINKS 2017 - 1st JOMO workshop on Interaction-Based Knowledge Sharing (WINKS), Sep 2017, Bozen-Bolzano, Italy. No commercial editor., pp.1-42, 2018 |
||
hal-01970768v1
Conference papers
A Hybrid Temporal RANS-LES Method for internal combustion engine applications Large-Eddy Simulation for Internal Combustion Engines, Dec 2018, Rueil-Malmaison, France |
||
hal-01719918v3
Journal articles
Formalization Techniques for Asymptotic Reasoning in Classical Analysis Journal of Formalized Reasoning, ASDD-AlmaDL, 2018 |
||
hal-01923856v1
Poster communications
Impact of Spatial Scale on Mobility Parameters NetSci 2018 - International Conference on Network Science, Jun 2018, Paris, France. Netsci 2018: Book of Abstracts (Posters - Social) |
||
hal-01579413v2
Preprints, Working Papers, ...
EnMonitor: Experimentation over Large-scale Semantically Annotated Federated IoT data environment 2018 |
||
hal-01960756v1
Conference papers
A New Public-Key Cryptosystem via Mersenne Numbers Crypto 2018, 2018, Santa-Barbara, United States. pp.459-482 |
||
hal-01717248v1
Journal articles
Design and Evaluation of a Wearable Haptic Device for Skin Stretch, Pressure, and Vibrotactile Stimuli IEEE Robotics and Automation Letters, IEEE 2018, 3 (3), pp. 2166-2173. ⟨10.1109/LRA.2018.2810887⟩ |
||
hal-01359208v1
Journal articles
A Large Scale Analysis of Unreliable Stochastic Networks Annals of Applied Probability, Institute of Mathematical Statistics (IMS), In press, 28 (2), pp.36. ⟨10.1214/17-AAP1318⟩ ![]() |
||
hal-01658263v2
Journal articles
An advection-robust Hybrid High-Order method for the Oseen problem Journal of Scientific Computing, Springer Verlag, 2018, 77 (3), pp.1310-1338. ⟨10.1007/s10915-018-0681-2⟩ |
||
hal-01870625v1
Conference papers
Hybrid Finite Volume discretization of two-phase Discrete Fracture Matrix models with nonlinear interface solver ECMOR XVI - 16th European Conference on the Mathematics of Oil Recovery, Sep 2018, Barcelona, France. ⟨10.3997/2214-4609.201802272⟩ |
||
|