Search

Your search keyword '"Ecole normale supérieure de Rennes - ENS Rennes"' showing total 11 results
Start Over Author "Ecole normale supérieure de Rennes - ENS Rennes" Topic 0202 electrical engineering, electronic engineering, information engineering
11 results on '"Ecole normale supérieure de Rennes - ENS Rennes"'

1. Electric Vehicles Fleet for Frequency Regulation Using a Multi-Agent System

Author

Guy Camilleri, Marie-Pierre Gleizes, Anne Blavette, Jean-Baptiste Blanc-Rouchossé, Conservatoire National des Arts et Métiers - CNAM (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Cachan - ENS Cachan (FRANCE), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - IFSTTAR (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Cergy-Pontoise (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), Université Paris-Sud 11 (FRANCE), Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), École normale supérieure - Rennes (ENS Rennes), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
PV power plants, Electric vehicles, Computer science, 020209 energy, Multi-agent system, [SPI.NRJ]Engineering Sciences [physics]/Electric power, Photovoltaic system, Multi-agent systems, Smart grids, 02 engineering and technology, Solar irradiance, 7. Clean energy, Systèmes embarqués, Energy storage, Automotive engineering, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Electric power system, Smart grid, Frequency regulation, 0202 electrical engineering, electronic engineering, information engineering, Production (economics), Energy (signal processing)
Abstract

International audience; The production of PhotoVoltaic (PV) energy depends on the solar irradiance level. The PV power plant fluctuations may have a significant impact on the frequency regulation in sufficiently small power systems, such as islands. The objective of this paper is to present a method using cooperative multi-agent systems to reduce the frequency fluctuations due to the unpredicted fluctuations of the PV production using electric vehicles as electricity storage units in an isolated power system.

Published
2018

2. Model Transformation Reuse across Metamodels

Author

Esther Guerra, Eugene Syriani, Gunter Mussbacher, Juan de Lara, Jörg Kienzle, Benoit Combemale, Jean-Marc Jézéquel, Jean-Michel Bruel, Hans Vangheluwe, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Institut National des Sciences Appliquées de Rennes - INSA (FRANCE), Institut Mines-Télécom (FRANCE), Université de Montréal - UdeM (CANADA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), Universidad Autonoma de Madrid (SPAIN), Universiteit Antwerpen - UA (BELGIUM), Université de Bretagne Sud - UBS (FRANCE), Université McGill (CANADA), Université de Rennes 1 (FRANCE), Institut de Recherche en Informatique et Systèmes Aléatoires - IRISA (Rennes, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Computer science, Model transformation, Sample (statistics), 02 engineering and technology, Reuse, Interface homme-machine, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, computer.programming_language, Transformation design patterns, business.industry, 020207 software engineering, Multilevel modeling, Grid, Modélisation et simulation, Classification, Concepts A-posteriori typing, Systèmes embarqués, Feature model, Metamodeling, Software design pattern, Cryptographie et sécurité, Model types, 020201 artificial intelligence & image processing, Software engineering, business, computer, Strengths and weaknesses
Abstract

Model transformations (MTs) are essential elements of model-driven engineering (MDE) solutions. MDE promotes the creation of domain-specific metamodels, but without proper reuse mechanisms, MTs need to be developed from scratch for each new metamodel. In this paper, we classify reuse approaches for MTs across different metamodels and compare a sample of specific approaches – model types, concepts, a-posteriori typing, multilevel modeling, and design patterns for MTs – with the help of a feature model developed for this purpose, as well as a common example. We discuss strengths and weaknesses of each approach, provide a reading grid used to compare their features, and identify gaps in current reuse approaches.

Published
2018

3. Unshielded Cable modeling for Conducted Emissions Issues in Electrical Power Drive Systems

Author

Nicolas Roux, Victor Dos Santos, Jean-Pierre Carayon, Bernardo Cougo, Bruno Sareni, Bertrand Revol, Conservatoire National des Arts et Métiers - CNAM (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Cachan - ENS Cachan (FRANCE), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - IFSTTAR (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université de Cergy-Pontoise (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE), Université Paris-Sud 11 (FRANCE), Laboratoire Plasma et Conversion d'Energie - LAPLACE (Toulouse, France), IRT Saint Exupéry - Institut de Recherche Technologique, LAboratoire PLasma et Conversion d'Energie (LAPLACE), Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Groupe ENergie Electrique et SYStémique (LAPLACE-GENESYS), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Engineering, Conducted emissions, Common mode, Electromagnétisme, 02 engineering and technology, 01 natural sciences, Noise (electronics), EMI, Power electronics, 0103 physical sciences, Conducted emissions - Common mode -Modeling, 0202 electrical engineering, electronic engineering, information engineering, Electronic engineering, Common-mode signal, Unshielded cable, 010302 applied physics, Drive, High Frequency, business.industry, 020208 electrical & electronic engineering, [SPI.PLASMA]Engineering Sciences [physics]/Plasmas, Electromagnetic compatibility, Electrical engineering, Modeling, Power (physics), Inductance, [SPI.ELEC]Engineering Sciences [physics]/Electromagnetism, Plasmas, Electric power, business, Cable
Abstract

International audience; In power electronics applications, high frequency models for cables are necessary to understand EMI issues in pulsewidth modulation drives. This paper shows the approach developed at the French Institute of Technology (IRT) Saint-Exupery, in order to take account of the frequency dependency of unshielded power cables per-unit-length parameters for EMC simulations. Fast, predictive models are compared to different shapes numerical models. The method was applied to unshielded two and three wires cables. Finally, common mode (CM) emissions modeling is proposed to predict the CM noise currents, which are the most disturbing in any variable-speed drive systems. The modeling principle is to consider the complete CM circuit as a chain of quadripolar matrices.

Published
2017

4. On lower bounds for non-standard deterministic estimation

Author

Alexandre Renaux, Eric Chaumette, Pascal Larzabal, François Vincent, Jerome Galy, Nabil Kbayer, Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire des signaux et systèmes (L2S), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS), Conservatoire National des Arts et Métiers - CNAM (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Cachan - ENS Cachan (FRANCE), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - IFSTTAR (FRANCE), Télécom Paris (FRANCE), Université de Cergy-Pontoise (FRANCE), CentraleSupélec (FRANCE), Direction Générale de l’Aviation Civile - DGAC (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), Laboratoire de recherche en télécommunications spatiales et aéronautiques - TéSA (FRANCE), Université de Montpellier (FRANCE), and Université Paris-Sud 11 (FRANCE)

Subjects
Mathematical optimization, Mean squared error, Gaussian, Parameterized complexity, Probability density function, 02 engineering and technology, Electronic mail, symbols.namesake, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Applied mathematics, Deterministic parameter estimation, Electrical and Electronic Engineering, Mathematics, Estimation theory, 05 social sciences, Estimation error lower bound, 050301 education, Estimator, 020206 networking & telecommunications, Maximum likelihood estimation, Signal Processing, symbols, 0503 education, Random variable
Abstract

International audience; We consider deterministic parameter estimation and the situation where the probability density function (p.d.f.) parameterized by unknown deterministic parameters results from the marginalization of a joint p.d.f. depending on random variables as well. Unfortunately, in the general case, this marginalization is mathematically intractable, which prevents from using the known standard deterministic lower bounds (LBs) on the mean-squared-error (MSE). Actually the general case can be tackled by embedding the initial observation space in an hybrid one where any standard LB can be transformed into a modified one fitted to non-standard deterministic estimation, at the expense of tightness however. Furthermore, these modified LBs (MLBs) appears to include the sub-matrix of hybrid lower bounds which is a LB for the deterministic parameters. Moreover, since in non-standard estimation, maximum likelihood estimators (MLEs) can be no longer derived, suboptimal non-standard MLEs (NSMLEs) are proposed as being a substitute. We show that any standard LB on the MSE of MLEs has a non-standard version lower bounding the MSE of NSMLEs. We provide an analysis of the relative performance of the NSMLEs, as well as a comparison with the modified LBs for a large class of estimation problems. Last, the general approach introduced is exemplified, among other things, with a new look at the well known Gaussian complex observation models. Index Terms Deterministic parameter estimation, estimation error lower bound, maximum likelihood estimation.

Published
2017
Full Text
View/download PDF

5. The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)

Author

François Schwarzentruber, Emiliano Lorini, Davide Grossi, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), University of Liverpool (UNITED KINGDOM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), University of Liverpool, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Rennes (ENS Rennes), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Discrete mathematics, Logique en informatique, 0209 industrial biotechnology, Logic, Ceteris paribus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 02 engineering and technology, Reasoning, 16. Peace & justice, 020901 industrial engineering & automation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Logics for knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, Dynamic logic (modal logic), 020201 artificial intelligence & image processing, Boolean satisfiability problem, Mathematical economics, Game theory, Mathematics
Abstract

International audience; We present a simple Ceteris Paribus Logic (CP) and study its relationship with existing logics that deal with the representation of choice and power in games in normal form including atemporal STIT, Coalition Logic of Propositional Control (CL-PC) and Dynamic Logic of Propositional Assignments (DL-PA). Thanks to the polynomial reduction of the satisfiability problem for atemporal STIT in the satisfiability problem for CP, we obtain a complexity result for the latter problem.

Published
2017

6. Lower bounds for non standard deterministic estimation

Author

Eric Chaumette, Jerome Galy, François Vincent, Pascal Larzabal, Alexandre Renaux, Conservatoire National des Arts et Métiers - CNAM (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Cachan - ENS Cachan (FRANCE), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - IFSTTAR (FRANCE), Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), Université de Cergy-Pontoise (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), Université de Montpellier (FRANCE), Université Paris-Sud 11 (FRANCE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Laboratoire des signaux et systèmes (L2S), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), and Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS)

Subjects
Mathematical optimization, Estimation theory, 05 social sciences, Estimation error lower bounds, 050301 education, Parameterized complexity, 020206 networking & telecommunications, Probability density function, 02 engineering and technology, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Autre, Transpose, 0202 electrical engineering, electronic engineering, information engineering, Embedding, Bhattacharyya distance, Minification, Deterministic parameter estimation, 0503 education, Random variable, Mathematics
Abstract

International audience; In this paper, non standard deterministic parameters estimation is considered, i.e. the situation where the probability density function (p.d.f.) parameterized by unknown deterministic parameters results from the marginalization of a joint p.d.f. depending on additional random variables. Unfortunately, in the general case, this marginalization is mathematically intractable, which prevents from using the known deterministic lower bounds on the mean-squared-error (MSE). However an embedding mechanism allows to transpose all the known lowers bounds into modified lower bounds fitted with non-standard deterministic estimation, encompassing the modified Cramér-Rao / Bhattacharyya bounds and hybrid lower bounds.

Published
2016
Full Text
View/download PDF

7. Announcements to Attentive Agents

Author

François Schwarzentruber, Pere Pardo, Thomas Bolander, Andreas Herzig, Hans van Ditmarsch, Emiliano Lorini, Danmarks Tekniske Universitet = Technical University of Denmark (DTU), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Institute for Advanced Study in Toulouse (IAST), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), Technical University of Denmark (DENMARK), Université de Lorraine (FRANCE), Laboratoire Lorrain de Recherche en Informatique et ses Applications - LORIA (Nancy, France), Technical University of Denmark [Lyngby] (DTU), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Linguistics and Language, Joint attention, Exploit, 0102 computer and information sciences, 02 engineering and technology, Common belief, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Satisfiability, Mathematics, Cognitive science, Logique en informatique, Multimodal logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Intelligence artificielle, Apprentissage, Epistemology, Philosophy, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Philosophy of logic, Axiomatization, 010201 computation theory & mathematics, Collective attention, 020201 artificial intelligence & image processing, Action model, Action models, Dynamic epistemic logic
Abstract

International audience; In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic. An attention-based announcement can also be described as an action model. We extend our logic by integrating attention change. Finally, we add the notion of common belief to the language, we exploit this to formalize the concept of joint attention, that has been widely discussed in the philosophical and cognitive science literature, and we provide a corresponding axiomatization. This axiomatization also employs the auxiliary notion of attention-based relativized common belief.

Published
2016
Full Text
View/download PDF

8. A Certainty-Based Model for Uncertain Databases

Author

Henri Prade, Olivier Pivert, Symbolic and Human-centric view of dAta MANagement (SHAMAN), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Institut National des Sciences Appliquées de Rennes - INSA (FRANCE), Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Technology, Sydney - UTS (AUSTRALIA), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), IMT Atlantique Bretagne-Pays de la Loire - IMT Atlantique (FRANCE), Université de Bretagne Sud - UBS (FRANCE), Université de Rennes 1 (FRANCE), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Tuple relational calculus, Relation (database), Relational database, Probabilistic database, 02 engineering and technology, Relational algebra, computer.software_genre, Artificial Intelligence, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Artificial Intelligence & Image Processing, Mathematics, Possibility theory, Théorie de l'information, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Database, Uncertain data, Applied Mathematics, Informatique et langage, Relational calculus, Database model, Computational Theory and Mathematics, Control and Systems Engineering, Base de données, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, Query language, computer
Abstract

International audience; This paper considers relational databases containing uncertain attribute values when some knowledge is available about the more or less certain value (or disjunction of values) that a given attribute in a tuple may take. We propose a possibility-theory-based model suited to this context and extend the operators of relational algebra to handle such relations in a “compact,” thus efficient, way. It is shown that the model is a representation system for the whole relational algebra. An important result is that the data complexity associated with the extended operators in this context is the same as in the classical database case, which makes the approach highly scalable.

Published
2015
Full Text
View/download PDF

9. Belief merging in Dynamic Logic of Propositional Assignments

Author

François Schwarzentruber, Andreas Herzig, Pilar Pozos-Parra, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Universidad Juarez Autonoma Tabasco, Mexico, Logic and Applications (LogicA), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Cachan (ENS Cachan), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), École normale supérieure - Cachan (ENS Cachan)-Université de Rennes (UR)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Model checking, Theoretical computer science, Computer science, 0102 computer and information sciences, 02 engineering and technology, Belief change, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Dynamic logic, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 0202 electrical engineering, electronic engineering, information engineering, PSPACE, Logique en informatique, Metalanguage, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Hamming distance, Informatique et langage, Intelligence artificielle, Apprentissage, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Belief merging, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Dynamic logic (modal logic), 020201 artificial intelligence & image processing, Boolean satisfiability problem, Algorithm
Abstract

International audience; We study syntactical merging operations that are defined semantically by means of the Hamming distance between valuations; more precisely, we investigate the Σ-semantics, Gmax-semantics and max-semantics. We work with a logical language containing merging operators as connectives, as opposed to the metalanguage operations of the literature. We capture these merging operators as programs of Dynamic Logic of Propositional Assignments DL-PA. This provides a syntactical characterisation of the three semantically defined merging operators, and a proof system for DL-PA therefore also provides a proof system for these merging operators. We explain how PSPACE membership of the model checking and satisfiability problem of star-free DL-PA can be extended to the variant of DL-PA where symbolic disjunctions that are parametrised by sets (that are not defined as abbreviations, but are proper connectives) are built into the language. As our merging operators can be polynomially embedded into this variant of DL-PA, we obtain that both the model checking and the satisfiability problem of a formula containing possibly nested merging operators is in PSPACE.

Published
2014

10. Listen to me! Public announcements to agents that pay attention - or not

Author

Hans van Ditmarsch, Emiliano Lorini, Andreas Herzig, François Schwarzentruber, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Institut National des Sciences Appliquées de Rennes - INSA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), Telecom Bretagne (FRANCE), Université de Bretagne Sud - UBS (FRANCE), Université de Lorraine (FRANCE), Université de Rennes 1 (FRANCE), Institut de Recherche en Informatique et Systèmes Aléatoires - IRISA (Rennes, France), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Joint attention, Exploit, 0102 computer and information sciences, 02 engineering and technology, Computer security, computer.software_genre, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Attention-based announcement logic, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 0202 electrical engineering, electronic engineering, information engineering, ComputingMilieux_MISCELLANEOUS, Logique en informatique, business.industry, Event (computing), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Intelligence artificielle, Satisfiability, Apprentissage, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, 020201 artificial intelligence & image processing, Artificial intelligence, Action model, business, Psychology, computer, Action models
Abstract

International audience; In public announcement logic it is assumed that all agents pay attention (listen to/observe) to the announcement. Weaker observational conditions can be modelled in event (action) model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic, abbreviated ABAL. We give an axiomatization and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic [2]. We exploit our logic to formalize the concept of joint attention that has been widely discussed in the philosophical and cognitive science literature. Finally, we extend our logic by integrating attention change.

Published
2013
Full Text
View/download PDF

11. Trade-off between Losses and EMI Issues in Three-Phase SiC Inverters for Aircraft Applications

Author

Bruno Sareni, Bernardo Cougo, Bertrand Revol, Victor Dos Santos, Nicolas Roux, Jean-Pierre Carayon, Conservatoire National des Arts et Métiers - CNAM (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - IFSTTAR (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université de Cergy-Pontoise (FRANCE), Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE), IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE), Université Paris-Sud 11 (FRANCE), Laboratoire Plasma et Conversion d'Energie - LAPLACE (Toulouse, France), IRT Saint Exupéry - Institut de Recherche Technologique, LAboratoire PLasma et Conversion d'Energie (LAPLACE), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), École normale supérieure - Rennes (ENS Rennes)-Université Paris-Sud - Paris 11 (UP11)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Université Gustave Eiffel (UNIV GUSTAVE EIFFEL), IEEE, Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National Polytechnique (Toulouse) (Toulouse INP), Groupe ENergie Electrique et SYStémique (LAPLACE-GENESYS), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS), and Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse III - Paul Sabatier (UT3)

Subjects
SiC, Engineering, Conducted emissions, Common mode, EMC models, Gallium nitride, 02 engineering and technology, 7. Clean energy, Electromagnetic interference, common mode, Wide Bandgap, chemistry.chemical_compound, [SPI]Engineering Sciences [physics], EMI, 0202 electrical engineering, electronic engineering, information engineering, Silicon carbide, Electronic engineering, Commutation, Electronique, [PHYS]Physics [physics], Drive, business.industry, [SPI.PLASMA]Engineering Sciences [physics]/Plasmas, 020208 electrical & electronic engineering, Electrical engineering, Inverters, Converters, DC-BUS, [SPI.TRON]Engineering Sciences [physics]/Electronics, chemistry, Three-phase, Plasmas, conducted emissions, 020201 artificial intelligence & image processing, EMC Models, business
Abstract

International audience; Power converters will only be effectively used in future aircrafts if they are compact, efficient and reliable. All these aspects can be improved by the use of disruptive technology such as the so-called Wide Bandgap (WBG) semiconductors made of Silicon Carbide (SiC) or Gallium Nitride (GaN). These components can switch much faster than their silicon counterpart, which can reduce converter losses and also decrease differential mode filter given the increase of switching frequency. However, such a fast commutation increases Electromagnetic Interference (EMI) issues in the converter and loads connected to it. This paper shows the approach developed at the French Institute of Technology (IRT) Saint-Exupery, in order to evaluate the trade-offs between losses and EMI issues of three-phase inverters used in future aircraft applications. Given the voltage DC bus of 540V, SiC MOSFETs are investigated and experimental results show the impact of these components on losses and EMI for different parameters.

Catalog

Books, media, physical & digital resources
See catalog results