-
Heuristics Optimization of Boolean Circuits with application in Attribute Based Encryption
Authors:
Alexandru Ionita,
Denis-Andrei Banu,
Iulian Oleniuc
Abstract:
We propose a method of optimizing monotone Boolean circuits by re-writing them in a simpler, equivalent form. We use in total six heuristics: Hill Climbing, Simulated Annealing, and variations of them, which operate on the representation of the circuit as a logical formula. Our main motivation is to improve performance in Attribute-Based Encryption (ABE) schemes for Boolean circuits. Therefore, we…
▽ More
We propose a method of optimizing monotone Boolean circuits by re-writing them in a simpler, equivalent form. We use in total six heuristics: Hill Climbing, Simulated Annealing, and variations of them, which operate on the representation of the circuit as a logical formula. Our main motivation is to improve performance in Attribute-Based Encryption (ABE) schemes for Boolean circuits. Therefore, we show how our heuristics improve ABE systems for Boolean circuits. Also, we run tests to evaluate the performance of our heuristics, both as a standalone optimization for Boolean circuits and also inside ABE systems.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Transferring knowledge from monitored to unmonitored areas for forecasting parking spaces
Authors:
Andrei Ionita,
André Pomp,
Michael Cochez,
Tobias Meisen,
Stefan Decker
Abstract:
Smart cities around the world have begun monitoring parking areas in order to estimate available parking spots and help drivers looking for parking. The current results are promising, indeed. However, existing approaches are limited by the high cost of sensors that need to be installed throughout the city in order to achieve an accurate estimation. This work investigates the extension of estimatin…
▽ More
Smart cities around the world have begun monitoring parking areas in order to estimate available parking spots and help drivers looking for parking. The current results are promising, indeed. However, existing approaches are limited by the high cost of sensors that need to be installed throughout the city in order to achieve an accurate estimation. This work investigates the extension of estimating parking information from areas equipped with sensors to areas where they are missing. To this end, the similarity between city neighborhoods is determined based on background data, i.e., from geographic information systems. Using the derived similarity values, we analyze the adaptation of occupancy rates from monitored- to unmonitored parking areas.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Enhanced Data Integration for LabVIEW Laboratory Systems
Authors:
Adriana Olteanu,
Grigore Stamatescu,
Anca Daniela Ionita,
Valentin Sgarciu
Abstract:
Integrating data is a basic concern in many accredited laboratories that perform a large variety of measurements. However, the present working style in engineering faculties does not focus much on this aspect. To deal with this challenge, we developed an educational platform that allows characterization of acquisition ensembles, generation of Web pages for lessons, as well as transformation of mea…
▽ More
Integrating data is a basic concern in many accredited laboratories that perform a large variety of measurements. However, the present working style in engineering faculties does not focus much on this aspect. To deal with this challenge, we developed an educational platform that allows characterization of acquisition ensembles, generation of Web pages for lessons, as well as transformation of measured data and storage in a common format. As generally we had to develop individual parsers for each instrument, we also added the possibility to integrate the LabVIEW workbench, often used for rapid development of applications in electrical engineering and automatic control. This paper describes how we configure the platform for specific equipment, i.e. how we model it, how we create the learning material and how we integrate the results in a central database. It also introduces a case study for collecting data from a thermocouple-based acquisition system based on LabVIEW, used by students for a laboratory of measurement technologies and transducers.
△ Less
Submitted 30 August, 2013;
originally announced August 2013.
