publication . Report . Conference object . Preprint . Article . 2020

Recommending Personalized News in Short User Sessions

Winterhalter , Théo; Sozeau , Matthieu; Tabareau , Nicolas;
Open Access English
  • Published: 01 May 2020
  • Publisher: HAL CCSD
Abstract
Smart Grids aim at leveraging communication and computation capabilities to better operate and control electrical networks. The idea of controlling the output of decentralized photovoltaic (PV) generators so as to avoid current and/or voltage issues in the distribution grid is, in particular, thoroughly investigated by the research community. The simplest and most commonly considered control methods consist in using a feedback controller based on a local voltage measurement at PV generator level. The main advantages of such methods is that they can be implemented at low cost and require no specific information about the network on which they are deployed. In thi...
Subjects
acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESHardware_LOGICDESIGN
arxiv: Computer Science::Logic in Computer Science
free text keywords: Semi-supervised learning settings, [ INFO.INFO-WB ] Computer Science [cs]/Web, Stationarity analysis, Software maintenance tools, [SPI.NRJ]Engineering Sciences [physics]/Electric power, CCS Concepts: • Mathematics of computing → Mathematical software, Universal algebra, equational logic, factor variety, discriminator variety, multi-valued logic, factor circuit., Decreasing dia- grams, Frédérique Robin, comanipulation, Emmanuelle Anceaume, Decentralized Monitoring, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [STAT.OT]Statistics [stat]/Other Statistics [stat.ML], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Network performance evaluation, Mnemonic phrases, Configurable Systems, Monitoring, Proof theory, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Information Extraction, Recommender system, • Computing methodologies → Supervised learning, [ SHS.INFO ] Humanities and Social Sciences/Library and information sciences, Dementia, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], Logic and verification, Inria, physical Human-Robot Interaction, and Emmanuelle Anceaume 2019 Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time 1, I/O, Type theory, Intrusion Detection, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], CCS Concepts: • Mathematics of computing → Convex optimization, Stochastic applications, HPC, equational logic, Constraint Programming, factor circuit, Round model, natural language processing, Machine Learning, Ecole Polytechnique, Palaiseau, CCS Concepts: • Software and its engineering → Software verification, Consensus, Template update, RDF, • Theory of computation → Formal languages and automata theory, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Critical pairs, Screening, Confluence, coinductive types, [ INFO.INFO-DL ] Computer Science [cs]/Digital Libraries [cs.DL], Fast Fourier Transform, [SCCO]Cognitive science, Congestion Control ACM Reference Format:, Additional Key Words and Phrases: physical Human-Human Interaction, Malware analysis, Network measurement, Scheduling, France, Haptic devices, Decreasing diagrams, [INFO]Computer Science [cs], CCS Concepts: • Security and privacy → Biometrics, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Higher-order rewriting, CCS CONCEPTS • Information systems → Content ranking, Systematic Literature Review, Data structures design and analysis, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Dependent Types, haptic communication, Anomaly Detection, 1 Rue Honoré d'Estienne d'Orves, Refactoring, yvesmocquard@irisafr, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Software Product Lines, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], dis-criminator variety, [PHYS.MECA.MSMECA]Physics [physics]/Mechanics [physics]/Materials and structures in mechanics [physics.class-ph], Constructive mathematics, [ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR], non-productive reduction, Translation, Symbolic execution, Semi-supervised Learning, Automata, [SCCO.PSYC]Cognitive science/Psychology, Simulation, Linear programming, Semantics, HPC runtime, • Computing methodologies → Symbolic and algebraic algorithms, Curry-Howard, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Phone-based, [SPI.AUTO]Engineering Sciences [physics]/Automatic, universal algebra, Ornaments, multi-valued logic, omega, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Santo André, Computing methodologies → Information extraction KEYWORDS reviews ranking, Bruno Sericola, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SCCO.LING]Cognitive science/Linguistics, Dependent type theory, Template aging * Current address: Universidade Federal do ABC (UFABC), brunosericola@inriafr, Data types and structures, Formalisation, 1 (July 2019), Brazil †, Usable security, arity, Personalization, IRISA, Rounding error analysis, Automated reasoning, Floating-point arithmetic, • Theory of computation → Design and analysis of algorithms, Runtime Verification, Biometric reference adapta- tion, [STAT.AP]Statistics [stat]/Applications [stat.AP], Satisfiability Mod-ulo Theories (SMT), Université Paris-Saclay -LMS, Rennes, Additional Key Words and Phrases: Smart Grid, [ INFO ] Computer Science [cs], Periodicity, relational model, Logic, FEniCS, Campus de beaulieu, CCS Concepts: • Networks → Traffic engineering algorithms, Speech Analysis, News reading behavior, CCS Concepts: • Mathematics of computing → Probabilistic algorithms Additional Key Words and Phrases: ACM Reference Format: Yves Mocquard, Critical pairs ACM Reference format:, conic programming, Coq, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], System call dependency graph, user modeling, Polymorphism, Scheduling algorithm, Supercomputers, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Network control algorithms, Neighborhood Area Networks, finite element method, Passwords, Markov processes, Eventual Consistency, [ INFO.INFO-PL ] Computer Science [cs]/Programming Languages [cs.PL], factor variety, sequence types, Evaluation methodology, ML, sentiment analysis, Additional Key Words and Phrases: Floating-point arithmetic, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Partially synchrony, Empirical studies, [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, • Computing methodologies → Simulation tools, Additional Key Words and Phrases: Lambda calculus, [INFO.INFO-WB]Computer Science [cs]/Web, CNRS, ACM: F.: Theory of Computation, D33 [Programming Languages]: Language Constructs and Verification, ssreflect, Additional Key Words and Phrases: Adaptive biometric systems, Church-Rosser property, Additional Key Words and Phrases: convex optimization, [SCCO.NEUR]Cognitive science/Neuroscience, Isolation Forest, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Numeric approximation algorithms, Linked Data, Authentication, Rounding error analysis ACM Reference format:, Lambda calculus, Smart grid, Université Paris-Saclay, News reading interests, frederiquerobin@inriafr, Partial synchrony, emmanuelleanceaume@irisafr, 26 pages https://doiorg/10 1145/nnnnnnnnnnnnnn Authors' addresses: Yves Mocquard, Power networks, Fault-tolerant distributed algorithms, Univ Rennes, Logical Relations, Settore INF/01 - Informatica, CCS Concepts: • Human-centered computing → Collaborative interaction, Automated verification, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Settore MAT/01 - Logica Matematica
Funded by
NSF| SHF: Small: Embedded Graph Software-Hardware Models and Maps for Scalable Sparse Computations
Project
  • Funder: National Science Foundation (NSF)
  • Project Code: 1719674
  • Funding stream: Directorate for Computer & Information Science & Engineering | Division of Computing and Communication Foundations
,
NSF| Collaborative Research: An Expedition in Computing for Compiling Printable Programmable Machines
Project
  • Funder: National Science Foundation (NSF)
  • Project Code: 1138967
  • Funding stream: Directorate for Computer & Information Science & Engineering | Division of Computer and Network Systems
,
EC| CoqHoTT
Project
CoqHoTT
Coq for Homotopy Type Theory
  • Funder: European Commission (EC)
  • Project Code: 637339
  • Funding stream: H2020 | ERC | ERC-STG
,
FWF| Formal methodes for the design and analysis of complex systems
Project
  • Funder: Austrian Science Fund (FWF) (FWF)
  • Project Code: Z 211
  • Funding stream: Wittgenstein-Preis
,
EC| QUAREM
Project
QUAREM
Quantitative Reactive Modeling
  • Funder: European Commission (EC)
  • Project Code: 267989
  • Funding stream: FP7 | SP2 | ERC
HAL-Rennes 1
Report . 2019
HAL-Rennes 1
Article . 2020
Hal-Diderot
Conference object . 2018
Provider: Hal-Diderot
HAL-ENS-LYON
Article . 2019
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Report . Conference object . Preprint . Article . 2020

Recommending Personalized News in Short User Sessions

Winterhalter , Théo; Sozeau , Matthieu; Tabareau , Nicolas;