Search results for " Computer science"
showing 10 items of 3983 documents
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…
Computing Subdivision Surface Intersection
2003
Computer surface intersections is fundamental problem in geometric modeling. Any Boolean operation can be seen as an intersection calculation followed by a selection of parts necessary for building the surface of the resulting object. This paper deals with the computing of intersection curveson subdivision surfaces (surfaces generated by the Loop scheme). We present three variants of our algorithm. The first variant calculates this intersection after classification of the object faces into intersecting and non-intersecting pairs of faces. the second variant is based on 1-neighborhood of the intersecting faces. The third variant uses the concept of bipartite graph.
Modeling and designing a robotic swarm: A quantum computing approach
2023
Nature is a neverending source of inspiration for technology. Quantum physics suggests applications to- ward quantum computing. Swarms’ self-organization leads to robotic swarm developments. Here, quantum computing is applied to swarm robotics. We model local interactions with a quantum circuit, testing it on simulators and quantum computers. To relate local with global behavior, we develop a block matrix-based model. Diagonal sub-matrices contain information on single robots; off-diagonal sub-matrices are the pairwise interaction terms. Comparing different swarms means comparing different block matrices. Choosing initial values and computation rules for off-diagonal blocks (with a particul…
Novel qutrit circuit design for multiplexer, De-multiplexer, and decoder
2022
AbstractDesigning conventional circuits present many challenges, including minimizing internal power dissipation. An approach to overcoming this problem is utilizing quantum technology, which has attracted significant attention as an alternative to Nanoscale CMOS technology. The reduction of energy dissipation makes quantum circuits an up-and-coming emerging technology. Ternary logic can potentially diminish the quantum circuit width, which is currently a limitation in quantum technologies. Using qutrit instead of qubit could play an essential role in the future of quantum computing. First, we propose two approaches for quantum ternary decoder circuit in this context. Then, we propose a qua…
Improving Scalable K-Means++
2021
Two new initialization methods for K-means clustering are proposed. Both proposals are based on applying a divide-and-conquer approach for the K-means‖ type of an initialization strategy. The second proposal also uses multiple lower-dimensional subspaces produced by the random projection method for the initialization. The proposed methods are scalable and can be run in parallel, which make them suitable for initializing large-scale problems. In the experiments, comparison of the proposed methods to the K-means++ and K-means‖ methods is conducted using an extensive set of reference and synthetic large-scale datasets. Concerning the latter, a novel high-dimensional clustering data generation …
Context-Aware Adaptive System For M- Learning Personalization
2014
International audience; Context-aware mobile learning is becoming important because of the dynamic and continually changing learning settings in learner's mobile environment, giving rise to many different learning contexts that are difficult to apprehend. To provide personalization of learning content, we aim to develop a recommender system based on semantic modeling of learning contents and learning context. This modeling is complemented by a behavioral part made up of rules and metaheuristics used to optimize the combination of pieces of learning contents according to learner's context. All these elements form a new approach to mobile learning.
Cybersecurity Attacks on Software Logic and Error Handling Within AIS Implementations: A Systematic Testing of Resilience
2022
To increase situational awareness of maritime vessels and other entities and to enable their exchange of various information, the International Maritime Organization mandated the use of the Automatic Identification System (AIS) in 2004. The AIS is a self-reporting system that uses the VHF radio link. However, any radio-based self-reporting system is prone to forgery, especially in situations where authentication of the message is not designed into the architecture. As AIS was designed in the 1990s when cyberattacks were in their infancy, it does not implement authentication or encryption; thus, it can be seen as fundamentally vulnerable against modern-day cyberattacks. This paper demonstrat…
Introduction to Mathematical Logic, Edition 2021
2021
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
Contributions à l’imagerie polarimétrique et à ses applications en vision pour la robotique
2019
Ce mémoire présente le bilan de l'ensemble de mes travaux de recherche effectués de septembre 2006 à juin 2019 au sein de l'équipe Creusotine du laboratoire Le2i devenue équipe Vibot ERL CNRS 6000 depuis janvier 2018. Les principales activités de recherche que j'ai menées au cours de ces 10 dernières années autour de l'imagerie polarimétrique, de la vision omnidirectionnelle et de leurs applications en vision pour la robotique seront particulièrement détaillées dans ce document. Elles seront présentées selon deux grandes parties : la première concernera plutôt l'aspect mise en œuvre et calibrage des caméras et la seconde se concentrera sur les applications potentielles en vision pour la rob…
Sur la réductibilité des graphes de contraintes géométriques
2017
La modélisation géométrique par contraintes dont les applications intéressent des communautés issues de divers domaines tels l'ingénierie mécanique, la conception assistée par ordinateur, le calcul symbolique ou la chimie moléculaire est maintenant intégré dans les outils standards de modélisation. Dans cette discipline une forme géométrique est spécifiée par les relations que doivent vérifier les composants de cette forme au lieu de spécifier explicitement ces composants. Le but de la résolution est de déduire la forme répondant à toutes ces contraintes. Diverses méthodes ont été proposées pour résoudre ce problème. Nous nous intéresserons spécifiquement aux méthodes dites graphiques ou ba…