top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advances in Swarm Intelligence [[electronic resource] ] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Ben Niu
Advances in Swarm Intelligence [[electronic resource] ] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Ben Niu
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXVII, 657 p. 193 illus.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Artificial intelligence
Numerical analysis
Computer science
Data mining
Computer simulation
Artificial Intelligence
Numerical Analysis
Models of Computation
Data Mining and Knowledge Discovery
Computer Modelling
ISBN 3-319-41000-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Trend and models of swarm intelligence research -- Novel swarm-based optimization algorithms.-Swarming behaviour -- Some swarm intelligence algorithms and their applications -- Hybrid search optimization -- Particle swarm optimization -- PSO applications -- Ant colony optimization -- Brain storm optimization -- Fireworks algorithms -- Multi-objective optimization -- Large-scale global optimization -- Biometrics.
Record Nr. UNISA-996465793403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / / edited by Ying Tan, Yuhui Shi, Li Li
Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / / edited by Ying Tan, Yuhui Shi, Li Li
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXVII, 629 p. 260 illus.)
Disciplina 006.3824
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Artificial intelligence
Numerical analysis
Computer science
Data mining
Computer simulation
Artificial Intelligence
Numerical Analysis
Models of Computation
Data Mining and Knowledge Discovery
Computer Modelling
ISBN 3-319-41009-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Scheduling and planning -- Machine learning methods -- Clustering algorithm -- Classification -- Image classification and encryption -- Data mining -- Sensor networks and social networks -- Neural networks -- Swarm intelligence in management decision making and operations research -- Robot control -- Swarm robotics -- Intelligent energy and communications systems -- Intelligent and interactive and tutoring systems. .
Record Nr. UNINA-9910483513103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Ben Niu
Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Ben Niu
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXVII, 657 p. 193 illus.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Artificial intelligence
Numerical analysis
Computer science
Data mining
Computer simulation
Artificial Intelligence
Numerical Analysis
Models of Computation
Data Mining and Knowledge Discovery
Computer Modelling
ISBN 3-319-41000-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Trend and models of swarm intelligence research -- Novel swarm-based optimization algorithms.-Swarming behaviour -- Some swarm intelligence algorithms and their applications -- Hybrid search optimization -- Particle swarm optimization -- PSO applications -- Ant colony optimization -- Brain storm optimization -- Fireworks algorithms -- Multi-objective optimization -- Large-scale global optimization -- Biometrics.
Record Nr. UNINA-9910483527303321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings / / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings / / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XI, 420 pages) : 118 illustrations., 6 illustrations in color
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Models of Computation
Theory of Computation
ISBN 3-642-22944-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On the statistical thermodynamics of reversible communicating processes / Giorgio Bacci, Vincent Danos, Ohad Kammar -- Solving fixed-point equations by derivation tree analysis / Javier Esparza, Michael Luttenberger.
Record Nr. UNISA-996466054703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebra and Coalgebra in Computer Science [[electronic resource] ] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / / edited by Alexander Kurz, Marina Lenisa
Algebra and Coalgebra in Computer Science [[electronic resource] ] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / / edited by Alexander Kurz, Marina Lenisa
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 457 p.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Models of Computation
Theory of Computation
ISBN 3-642-03741-0
Classificazione DAT 500f
DAT 702f
MAT 110f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algebraic Effects and Recursive Equations -- Adequacy for Infinitary Algebraic Effects (Abstract) -- Algebras for Parameterised Monads -- Kleene Monads: Handling Iteration in a Framework of Generic Effects -- Complete Iterativity for Algebras with Effects -- Semantics of Higher-Order Recursion Schemes -- Theory of Coalgebra -- Coalgebraic Components in a Many-Sorted Microcosm -- Complementation of Coalgebra Automata -- Characterising Behavioural Equivalence: Three Sides of One Coin -- Coinduction -- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) -- Circular Coinduction: A Proof Theoretical Foundation -- Bisimulation -- Approximating Labelled Markov Processes Again! -- Weak Bisimilarity Coalgebraically -- Coalgebraic Symbolic Semantics -- Relating Coalgebraic Notions of Bisimulation -- Traces, Executions and Schedulers, Coalgebraically -- Non-strongly Stable Orders Also Define Interesting Simulation Relations -- Stone Duality -- Stone Duality and the Recognisable Languages over an Algebra -- Free Heyting Algebras: Revisited -- Distributive Lattice-Structured Ontologies -- A Duality Theorem for Real C * Algebras -- Game Theory -- Conway Games, Coalgebraically -- A Semantical Approach to Equilibria and Rationality -- Graph Transformation -- Van Kampen Colimits as Bicolimits in Span -- Unfolding Grammars in Adhesive Categories -- Software Development Techniques -- Views on Behaviour Protocols and Their Semantic Foundation -- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation -- Constructor-Based Institutions -- CALCO Tools Workshop -- DBtk: A Toolkit for Directed Bigraphs -- Constraint-Muse: A Soft-Constraint Based System for Music Therapy -- CIRC: A Behavioral Verification Tool Based on Circular Coinduction -- The Priced-Timed Maude Tool -- A Tool Proving Well-Definedness of Streams Using Termination Tools.
Record Nr. UNISA-996465311303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithmic Game Theory [[electronic resource] ] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings / / edited by Marios Mavronicolas, Maria Papadoupoulou
Algorithmic Game Theory [[electronic resource] ] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings / / edited by Marios Mavronicolas, Maria Papadoupoulou
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 359 p.)
Disciplina 003.3
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer simulation
Application software
Computers and civilization
Electronic commerce
Computer science
Numerical analysis
Computer Modelling
Computer and Information Systems Applications
Computers and Society
e-Commerce and e-Business
Models of Computation
Numerical Analysis
ISBN 3-642-04645-2
Classificazione DAT 530f
MAT 920f
SK 860
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Monotonicity in Mechanism Design -- Computational Aspects of Equilibria -- A Modular Approach to Roberts’ Theorem -- Characterizing Incentive Compatibility for Convex Valuations -- Truthful Mechanisms for Selfish Routing and Two-Parameter Agents -- Partition Equilibrium -- Better with Byzantine: Manipulation-Optimal Mechanisms -- On the Planner’s Loss Due to Lack of Information in Bayesian Mechanism Design -- Sequential Pivotal Mechanisms for Public Project Problems -- Characterizing the Existence of Potential Functions in Weighted Congestion Games -- Free-Riding and Free-Labor in Combinatorial Agency -- The Cost of Stability in Coalitional Games -- Non-clairvoyant Scheduling Games -- The Balloon Popping Problem Revisited: Lower and Upper Bounds -- Anarchy, Stability, and Utopia: Creating Better Matchings -- Equilibria in Dynamic Selfish Routing -- Stochastic Stability in Internet Router Congestion Games -- Nash Dynamics in Constant Player and Bounded Jump Congestion Games -- Price of Stability in Survivable Network Design -- Games with Congestion-Averse Utilities -- A New Derandomization of Auctions -- The Computational Complexity of Weak Saddles -- Learning and Approximating the Optimal Strategy to Commit To -- Doing Good with Spam Is Hard -- On Profit-Maximizing Pricing for the Highway and Tollbooth Problems -- On the Complexity of Iterated Weak Dominance in Constant-Sum Games -- Swap Bribery -- Performances of One-Round Walks in Linear Congestion Games -- Nash Equilibria and the Price of Anarchy for Flows over Time -- Bayesian Auctions with Friends and Foes -- On Equilibria for ADM Minimization Games.
Record Nr. UNISA-996465279503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml / / by Liang Wang, Jianxin Zhao
Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml / / by Liang Wang, Jianxin Zhao
Autore Wang Liang
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023
Descrizione fisica 1 electronic resource (472 p.)
Disciplina 005.13
Altri autori (Persone) ZhaoJianxin
Soggetto topico Programming languages (Electronic computers)
Computer science
Artificial intelligence—Data processing
Programming Language
Computer Science
Data Science
Models of Computation
ISBN 1-4842-8853-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1: Introduction.-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography.
Record Nr. UNINA-9910637747103321
Wang Liang  
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Bio-Inspired Systems: Computational and Ambient Intelligence [[electronic resource] ] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez
Bio-Inspired Systems: Computational and Ambient Intelligence [[electronic resource] ] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (LXVI, 1356 p.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Bioinformatics
Pattern recognition systems
Artificial intelligence
Data mining
Computer science
Computational and Systems Biology
Automated Pattern Recognition
Artificial Intelligence
Data Mining and Knowledge Discovery
Models of Computation
ISBN 1-280-38305-4
9786613560964
3-642-02478-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Theoretical Foundations and Models -- Learning and Adaptation -- Self-organizing Networks, Methods and Applications -- Fuzzy Systems -- Evolutionary Computation and Genetic Algoritms -- Pattern Recognition -- Formal Languages in Linguistics -- Agents and Multi-agent on Intelligent Systems -- Brain-Computer Interface (BCI) -- Multiobjetive Optimization -- Robotics -- Bioinformatics -- Biomedical Applications -- Ambient Assisted Living (AAL) and Ambient Intelligence (AI) -- Other Applications.
Record Nr. UNISA-996465538303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bioinspired Optimization Methods and Their Applications [[electronic resource] ] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi
Bioinspired Optimization Methods and Their Applications [[electronic resource] ] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIII, 333 p. 103 illus.)
Disciplina 006
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Artificial intelligence
Algorithms
Software engineering
Computer engineering
Computer networks
Models of Computation
Artificial Intelligence
Software Engineering
Computer Engineering and Networks
ISBN 3-319-91641-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Optimization of Home Care Visits Schedule by Genetic Algorithm -- New Techniques for Inferring L-systems Using Genetic Algorithm -- An Adaptive Metaheuristic for Unconstrained Multimodal Numerical Optimization -- Scrum Task Allocation Based on Particle Swarm Optimization -- Cooperative Model for Nature-Inspired Algorithms in Solving Real-World Optimization Problems -- Collaborative Agent Teams (CAT): from the Paradigm to Implementation Guidelines -- A Bio-inspired Approach for Collaborative Exploration with Mobile Battery Recharging in Swarm Robotics -- Constructive Metaheuristics for the Set Covering Problem -- Single and multiobjective evolutionary algorithms for clustering biomedical information with unknown number of clusters -- Evolutionary algorithms for scheduling of crude oil preheating process under linear fouling -- Hybrid weighted barebones exploiting particle swarm optimization algorithm for time series representation -- Data-driven Preference-based Deep Statistical Ranking for Comparing -- sMulti-Objective Optimization Algorithms -- Construction of heuristic for protein structure optimization using deep reinforcement learning -- Comparing Boundary Control Methods for Firefly Algorithm -- A New Binary Encoding Scheme in Genetic Algorithm for Solving the Capacitated Vehicle Routing Problem -- Ensemble and Fuzzy techniques applied to Imbalanced Traffic Congestion Datasets: a Comparative Study -- Multi-Objective Design of Time-Constrained Bike Routes using Bio-inspired Meta-Heuristics -- Ensemble of Kriging with Multiple Kernel Functions for Engineering Design Optimization -- Path Planning Optimization Method Based on Genetic Algorithm for Mapping Toxic Environment -- Tuning Multi-Objective Optimization Algorithms for the Integration and Testing Order Problem -- Surrogate-Assisted Particle Swarm with Local Search for Expensive Constrained Optimization -- Indicator-based versus Aspect-based Selection in Multi- and Many-objective Biochemical Optimization -- An Approach for Recovering Distributed Systems from Disasters -- Population Diversity Analysis for the Chaotic based Selection of Individuals in Differential Evolution -- Robust Design with Surrogate-Assisted Evolutionary Algorithm: Does it work? -- How Distance based Parameter Adaptation Affects Population Diversity -- Collaborative Variable Neighborhood Search.
Record Nr. UNISA-996465815603316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bioinspired Optimization Methods and Their Applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi
Bioinspired Optimization Methods and Their Applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIII, 333 p. 103 illus.)
Disciplina 006
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Artificial intelligence
Algorithms
Software engineering
Computer engineering
Computer networks
Models of Computation
Artificial Intelligence
Software Engineering
Computer Engineering and Networks
ISBN 3-319-91641-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Optimization of Home Care Visits Schedule by Genetic Algorithm -- New Techniques for Inferring L-systems Using Genetic Algorithm -- An Adaptive Metaheuristic for Unconstrained Multimodal Numerical Optimization -- Scrum Task Allocation Based on Particle Swarm Optimization -- Cooperative Model for Nature-Inspired Algorithms in Solving Real-World Optimization Problems -- Collaborative Agent Teams (CAT): from the Paradigm to Implementation Guidelines -- A Bio-inspired Approach for Collaborative Exploration with Mobile Battery Recharging in Swarm Robotics -- Constructive Metaheuristics for the Set Covering Problem -- Single and multiobjective evolutionary algorithms for clustering biomedical information with unknown number of clusters -- Evolutionary algorithms for scheduling of crude oil preheating process under linear fouling -- Hybrid weighted barebones exploiting particle swarm optimization algorithm for time series representation -- Data-driven Preference-based Deep Statistical Ranking for Comparing -- sMulti-Objective Optimization Algorithms -- Construction of heuristic for protein structure optimization using deep reinforcement learning -- Comparing Boundary Control Methods for Firefly Algorithm -- A New Binary Encoding Scheme in Genetic Algorithm for Solving the Capacitated Vehicle Routing Problem -- Ensemble and Fuzzy techniques applied to Imbalanced Traffic Congestion Datasets: a Comparative Study -- Multi-Objective Design of Time-Constrained Bike Routes using Bio-inspired Meta-Heuristics -- Ensemble of Kriging with Multiple Kernel Functions for Engineering Design Optimization -- Path Planning Optimization Method Based on Genetic Algorithm for Mapping Toxic Environment -- Tuning Multi-Objective Optimization Algorithms for the Integration and Testing Order Problem -- Surrogate-Assisted Particle Swarm with Local Search for Expensive Constrained Optimization -- Indicator-based versus Aspect-based Selection in Multi- and Many-objective Biochemical Optimization -- An Approach for Recovering Distributed Systems from Disasters -- Population Diversity Analysis for the Chaotic based Selection of Individuals in Differential Evolution -- Robust Design with Surrogate-Assisted Evolutionary Algorithm: Does it work? -- How Distance based Parameter Adaptation Affects Population Diversity -- Collaborative Variable Neighborhood Search.
Record Nr. UNINA-9910349429003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui