Nowadays, the cryptography field is on the increase in the telecommunications world, because of this there is a constant need of more secure and efficient cryptographic algorithms. Thus, a lot of research is being done in order to try to improve the current algorithm performance. At present, one of the alternatives under research is the implementation of these algorithms in FPGAs (Field-Program...

The compilation of Handel-C programs into net-list descriptions of hardware components has been extensively used in commercial tools but never formally verified. In this paper we first introduce a variation of the existing semantic model for Handel-C compilation that is amenable for mechanical proofs and detailed enough to analyse properties about the generated hardware. We then use this model ...

The motivation behind this project is to implement a data stream processing system based on the QUAY system [1]. The prototype called QUAY-FPGA will consist of configurable hardware and software written in the Handel-C language and compiled using the DK design suite [2]. It will be demonstrated that query throughput can be improved by managing memory access patterns and increasing execution par...

In this research, effects of SiO2 nanoparticles (NPs) on the growth, antioxidant properties, and phenolic and flavonoid contents were investigated in Anthemis gilanica plants from the Asteraceae family. Following seed germination, seedlings were cultured under Hoagland growth media and were treated with different concentrations of SiO2NPs (0, 2, 4, 6 and 8 g L-1). The results showed that SiO2 N...

As a result of human activity, the rate extinction species is now 100 to 1000 times faster than under natural conditions [1]. According FAO, 75% genetic diversity agricultural crops worldwide has been lost since 1990. In Poland, about field weeds are in danger extinction. Archaeophytes growing on heavy calcareous soils, which characteristic Lathyro-Melandrietum noctiflori, Caucalido-Scandicetum...