Advances in set-based motion planning for safe interaction of autonomous vehicles

Συγγραφείς: Carrizosa Rendón, Álvaro

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Institut d'Organització i Control de Sistemes Industrials

Thesis Advisors: Puig Cayuela, Vicenç, Nejjari Akhi-Elarab, Fatiha

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Autonomous Driving, Road Safety, Set Theory, Control Theory, Zonotopes, Linear-Parameter-Varying, Model Predictive Control, Optimal Control, Motion Planning, Reachability Analysis, Àrees temàtiques de la UPC::Informàtica, Àrees temàtiques de la UPC::Enginyeria mecànica, 68 - Indústries oficis i comerç d'articles acabats. Tecnologia cibernètica i automàtica, 629 - Enginyeria dels vehicles de transport

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10803/696997
https://dx.doi.org/10.5821/dissertation-2117-457576

WHAT IS IT TO BE A SOLUTION TO CANTOR'S CONTINUUM PROBLEM?

Συγγραφείς: BLUE, DOUGLAS¹

Πηγή: Journal of Philosophy. Feb2026, Vol. 123 Issue 2, p102-136. 35p.

Θεματικοί όροι: *Continuum hypothesis, *Set theory, *Mathematical logic, *Mathematical analysis

Integral Assessment of the Dynamics of Population Welfare in Ukraine Based on Fuzzy Logic

Συγγραφείς: Holubnyk, Olga, Pryimak, Vasyl

Πηγή: 2026 16th International Conference on Advanced Computer Information Technologies (ACIT) Advanced Computer Information Technologies (ACIT), 2026 16th International Conference on. :654-659 Sep, 2026

Relation: 2026 16th International Conference on Advanced Computer Information Technologies (ACIT)

Scalable and Interpretable Agentic AI Recommendation Framework for Big Data Online Product Recommendation

Συγγραφείς: Liao, Shu-Hsien, Widowati, Retno

Πηγή: 2026 21st Conference on Computer Science and Intelligence Systems (FedCSIS) Computer Science and Intelligence Systems (FedCSIS), 2026 21st Conference on. :567-572 Aug, 2026

Relation: 2026 21st Conference on Computer Science and Intelligence Systems (FedCSIS)

VIKOR-Based Multi-Criteria Decision Making for Cluster-Based Routing in WSNs

Συγγραφείς: P, Vinoth Kumar., Tamilselvi, S., Deepan, S., Anand, C., Rani, R. M., S, Karthik

Πηγή: 2026 6th International Conference on Soft Computing for Security Applications (ICSCSA) Soft Computing for Security Applications (ICSCSA), 2026 6th International Conference on. :683-688 Aug, 2026

Relation: 2026 6th International Conference on Soft Computing for Security Applications (ICSCSA)

Indoor Robot Localization Model Based on Supervised Learning Approach

Συγγραφείς: Hussein, Aya Ayad, Hock, Goh Chin, Kiong, Tiong Sieh, Abdulrazzak, Hazem Noori, Hasan, Ahmed Khaleel

Πηγή: 2026 IEEE 17th Control and System Graduate Research Colloquium (ICSGRC) Control and System Graduate Research Colloquium (ICSGRC), 2026 IEEE 17th. :112-117 Aug, 2026

Relation: 2026 IEEE 17th Control and System Graduate Research Colloquium (ICSGRC)

Measuring differences of opinion: axiomatic foundations, utility representation, and truthtelling.

Συγγραφείς: Nana Noumi, Linus Thierry¹ (AUTHOR) linus-thierry.nana-noumi@cyu.fr, Pongou, Roland² (AUTHOR) roland.pongou@uottawa.ca, Tchantcho, Bertrand^1,3 (AUTHOR) btchantcho@yahoo.fr

Πηγή: Economic Theory. Oct2026, p1-37. 37p.

Θεματικοί όροι: *Utility theory, Axiomatic set theory

Reorganization of Stimulus Classes Established via One-To-Many and Comprehensive Training.

Συγγραφείς: Oliveira, Juliana S. C. D.¹ (AUTHOR), Tomlinson, Gregory M.² (AUTHOR), Petursdottir, Anna Ingeborg³ (AUTHOR) apetursdottir@unr.edu

Πηγή: Psychological Record. Sep2026, p1-15. 15p.

Θεματικοί όροι: Equivalence classes (Set theory), Conditioned response

Generalized Functional and Equivalence Classes through Simple Successive Discriminations.

Συγγραφείς: Alonso-Vega, Jesús¹ (AUTHOR) jesus.alonso@universidadeuropea.es, Barahona, Amanda¹ (AUTHOR), Checa-Guimet, Camila¹ (AUTHOR), Ayres-Pereira, Vanessa² (AUTHOR)

Πηγή: Psychological Record. Sep2026, p1-10. 10p.

Θεματικοί όροι: Equivalence classes (Set theory), Generalization, Reinforcement (Psychology), Differentiation (Cognition), Stimulus & response (Psychology)

Toward an Intermediate Structural Representation of Organization in Complex Systems.

Συγγραφείς: Magotte, Paméla¹ (AUTHOR) pamela.magotte@gmail.com

Πηγή: Systems Research & Behavioral Science. Sep2026, p1. 26p. 3 Illustrations.

Θεματικοί όροι: *Organizational structure, *Organization, Equivalence relations (Set theory), Hypothesis, Complexity (Philosophy), Structural models

Developing continuity theory in a formal predicative set theory.

Συγγραφείς: Avron, Arnon¹ (AUTHOR), Levi, Nissan¹ (AUTHOR)

Πηγή: Logic Journal of the IGPL. Aug2026, Vol. 34 Issue 4, p1-27. 27p.

Θεματικοί όροι: *Mathematical analysis, *Logic, Set theory, Real numbers, Continuous functions, Mathematical logic

Mathematical structures in natural language semantics: Zawadowski’s contribution to linguistics.

Συγγραφείς: Chatzikyriakidis, Stergios, 0, Author, Cooper, Robin, 1947, Author

Συνεισφορές: Chatzikyriakidis, Stergios, 0, Author, Cooper, Robin, 1947, Author

Πηγή: Mathematical Structures in Computer Science. 36:1-12

Θεματικοί όροι: Natural Language Processing, Språkbehandling och datorlingvistik, Comparative Language Studies and Linguistics, Jämförande språkvetenskap och allmän lingvistik, type theory, set theory, dependent types, generalized quantifiers, anaphora continuations

Σύνδεσμος πρόσβασης: https://gup.ub.gu.se/publication/362640

Contributions to the Theory of Large Cardinals Beyond Choice

Συγγραφείς: Mohammd, Marwan Salam

Συνεισφορές: University/Department: Universitat de Barcelona. Departament de Matemàtiques i Informàtica

Thesis Advisors: Bagaria, Joan

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Lògica matemàtica, Lógica matemática, Mathematical logic, Nombres cardinals, Números cardinales, Cardinal numbers, Axioma d'elecció, Axioma de elección, Axiom of choice, Teoria axiomàtica de conjunts, Teoría axiomática de conjuntos, Axiomatic set theory, Forcing (Teoria de models), Forzamiento (Teoría de modelos), Forcing (Model theory), Ciències Experimentals i Matemàtiques

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10803/696835

Emergent Reading of Japanese Hiragana via Stimulus Equivalence: A Preliminary Approach.

Συγγραφείς: Grisante, Priscila Crispillho¹ (AUTHOR), Morais, Saory Miyakawa¹ (AUTHOR), de Moraes Hamasaki, Eliana Isabel¹ (AUTHOR), Tomanari, Gerson Yukio^1,2 (AUTHOR) tomanari@usp.br

Πηγή: Psychological Record. Jun2026, Vol. 76 Issue 2, p211-216. 6p.

Θεματικοί όροι: Equivalence classes (Set theory), Syllabary, Differentiation (Cognition), Equivalence relations (Set theory), Emergent literacy

A note on the axiom of choice in an iterative paraconsistent set theory.

Συγγραφείς: Jockwich, Santiago¹ (AUTHOR), Tarafder, Sourav² (AUTHOR), Venturi, Giorgio³ (AUTHOR)

Πηγή: Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-13. 13p.

Θεματικοί όροι: Axiomatic set theory, Axioms, Set theory, Intuitionistic mathematics

MLRUI-R: Multilabel Feature Selection Considering Relative Uncertainty Information

Συγγραφείς: Huang, W., Lu, X., Dai, J.

Πηγή: IEEE Transactions on Systems, Man, and Cybernetics: Systems IEEE Trans. Syst. Man Cybern, Syst. Systems, Man, and Cybernetics: Systems, IEEE Transactions on. 56(8):4441-4454 Aug, 2026

Adaptive multi-objective anomaly detection of aviation data bus based on MSET-MOEA/D

Συγγραφείς: Li, Huang, Ma, Sai, Wang, Zhen, Guo, Shijie, Song, Guangning, Guo, Jianpeng

Πηγή: 2026 8th International Conference on Electronic Engineering and Informatics (EEI) Electronic Engineering and Informatics (EEI), 2026 8th International Conference on. :1185-1194 Jun, 2026

Relation: 2026 8th International Conference on Electronic Engineering and Informatics (EEI)

Exploring the Decision-Making Rules of Generation Z Cultural Heritage Tourists Using Rough Set Theory

Συγγραφείς: Li, Xinyang, Guo, Wei

Πηγή: 2026 International Conference on Intelligent Engineering and Next-Gen Healthcare Systems (IEHNS) Intelligent Engineering and Next-Gen Healthcare Systems (IEHNS), 2026 International Conference on. :1-5 Jun, 2026

Relation: 2026 International Conference on Intelligent Engineering and Next-Gen Healthcare Systems (IEHNS)

An Experimental Study of the Picture Book Art Therapy Approach to Mental Health Intervention for Chinese University Students

Συγγραφείς: Xia, Nan, Shi, Qing, Zhang, Shifeng

Πηγή: 2026 International Conference on Intelligent Engineering and Next-Gen Healthcare Systems (IEHNS) Intelligent Engineering and Next-Gen Healthcare Systems (IEHNS), 2026 International Conference on. :1-6 Jun, 2026

Relation: 2026 International Conference on Intelligent Engineering and Next-Gen Healthcare Systems (IEHNS)

The Development of Computer Intelligent Proofreading System Based on the Perspective of Data Algorithm

Συγγραφείς: Feng, Lei, Ye, Anyang

Πηγή: 2026 International Conference on Data Science for Cyber-Physical Systems Resilience using Advanced Applications (ICDCA) Data Science for Cyber-Physical Systems Resilience using Advanced Applications (ICDCA), 2026 International Conference on. :1-4 Jun, 2026

Relation: 2026 International Conference on Data Science for Cyber-Physical Systems Resilience using Advanced Applications (ICDCA)