Reusing Logic Masking to Facilitate Hardware Trojan Detection

Hardware Trojan (HT) and Integrated Circuit (IC)/ Intellectual Property (IP) piracy are important threats which may happen in untrusted fabrication foundries. Modifying structurally the ICs/IPs design to counter the HT threats has been proposed, and it is known as Design-For-Hardware-Trust (DFHT). DFHT methods are used in order to facilitate HT detection methods. In addition, logic masking methods modify the IPs/ICs design to harden them against the IP/IC piracy. These methods modify a circuit such that it does not work correctly without applying the correct key. In this paper, we propose DFHT methods leveraging logic masking approach

Imprints of the Quantum World in Classical Mechanics

The imprints left by quantum mechanics in classical (Hamiltonian) mechanics are much more numerous than is usually believed. We show Using no physical hypotheses) that the Schroedinger equation for a nonrelativistic system of spinless particles is a classical equation which is equivalent to Hamilton's equations.Comment: Paper submitted to Foundations of Physic

Postseismic surface deformations due to lithospheric and asthenospheric viscoelasticity

A model is proposed for post seismic surface deformations attributing them to lithospheric and asthenospheric viscoelasticity. The model predicts that the deformations due to lithospheric viscoelasticity depend on the ratio of the effective shear modulus acting long after the lithospheric viscoelastic relaxation to that acting immediately following the earthquake. While such deformations are generally smaller than those associated with asthenospheric viscoelasticity, they occur on a shorter time scale and may be in opposite direction to both the motion occurring at the time of the earthquake and that occurring as the asthenospheric relaxation occurs

Modern Methods of Time-Frequency Warping of Sound Signals

Tato práce se zabývá reprezentací nestacionárních harmonických signálů s časově proměnnými komponentami. Primárně je zaměřena na Harmonickou transformaci a jeji variantu se subkvadratickou výpočetní složitostí, Rychlou harmonickou transformaci. V této práci jsou prezentovány dva algoritmy využívající Rychlou harmonickou transformaci. Prvni používá jako metodu odhadu změny základního kmitočtu sbírané logaritmické spektrum a druhá používá metodu analýzy syntézou. Oba algoritmy jsou použity k analýze řečového segmentu pro porovnání vystupů. Nakonec je algoritmus využívající metody analýzy syntézou použit na reálné zvukové signály, aby bylo možné změřit zlepšení reprezentace kmitočtově modulovaných signálů za použití Harmonické transformace.This thesis deals with representation of non-stationary harmonic signals with time-varying components. Its main focus is aimed at Harmonic Transform and its variant with subquadratic computational complexity, the Fast Harmonic Transform. Two algorithms using the Fast Harmonic Transform are presented. The first uses the gathered log-spectrum as fundamental frequency change estimation method, the second uses analysis-by-synthesis approach. Both algorithms are used on a speech segment to compare its output. Further the analysis-by-synthesis algorithm is applied on several real sound signals to measure the increase in the ability to represent real frequency-modulated signals using the Harmonic Transform.

A Finite First-Order Presentation of Set Theory

We present a first-order formalization of set theory which has a finite number of axioms. Its syntax is similar to that often used in textbooks: it provides an encoding of the comprehension symbol. We prove that this formalization is a "conservative extension" of Zermelo's set theory. In fact the proof is more general and applies to other variants of Zermelo's set theory like ZF. This formalization rests upon an encoding of the comprehension binder in a language of explicit substitution. This presentation of set theory is also described as a deduction modulo system and the proof of equivalence is done within this formalism

Differenciált Fejlesztés Heterogén Tanulócsoportban

The Complex Basic Program (CBP) is an Educational Program, based on professional teacher development. The aim of the paper is to show the Differentiated Development in Heterogeneous Learning Groups (DDHLG) program, which is the essential element of Complex Basic Program. In this paper we learn about the Differentiated Development in Heterogeneous Learning Groups, which is a teaching program that aims to create more equitable classroom atmosphere in which status differences among pupils do not play a significant role and don’t hinder their learning efforts. It also radically changes the teaching perspective - it allow s for appreciation and evaluation of a variety of intelligence forms and capacities and it makes children active actors o f their own learning. This pedagogical practice is thus successful in introducing high quality education to diverse classrooms, in which social backgrounds and intellectual capacities of pupils differ substantially. It encourages the personal involvement of students in the learning-teaching process, focusing on student collaboration. We also show the importance of the Differentiated Development in Heterogeneous Learning Groups program, namely: - why there is a need for knowledge development and apprenticeships for teacher training, - why equitable and strong scientific results are crucial to the experience of both teachers and students