An information source generates independent and identically distributed status update messages from an observed random phenomenon which takes n distinct values based on a given probability mass function (PMF). These packets are encoded at the transmitter node to be sent receiver wants track variable with as little age possible. The implements selective k encoding policy such that rather than al...

Names and name-binding are useful concepts in the theory and practice of formal systems. In this thesis we study them in the context of dependent type theory. We propose a novel dependent type theory with primitives for the explicit handling of names. As the main application, we consider programming and reasoning with abstract syntax involving variable binders. Gabbay and Pitts have shown that ...

Inspired by the enol-degradation of luciferin, a new oxygen sensor with oppositely changed color and fluorescence has been designed. This new reaction-based dual mode sensor can not only be used as a highly selective instant "fluorescence on" oxygen probe, but also as a freshness indicator of food or food materials by using its property of time-adjustable color fading.

In the last years a large number of different measurement methodologies were applied to measure the freshness of fishes. Among them the connection between freshness and headspace composition has been considered by gas chromatographic analysis and from the last two decades by a number of sensors and biosensors aimed at measuring some characteristic indicators (usually amines). More recently also...

Cooperative intelligent transport systems (C-ITSs) are being deployed all around the world. Shortly, in addition to vehicles, bicycles, pedestrians, buses, and moving equipment will be compatible with C-ITS. These connected through wireless local area networks based on WIFI IEEE 802.11p. The large number of C-ITSs services lead a glut bandwidth networks. To overcome this limitation, we propose ...

In emerging fifth generation and beyond wireless communication systems, nodes are expected to support information flows that freshness-sensitive, along with broadband traffic having high data rate requirements. Freshness-sensitive flows, where freshness is quantified by a metric called the age of (AoI), naturally assigned priority over resources. Motivated this, we consider long-term average th...

Many systems require frequent and regular updates of certain information. These have to be transferred regularly from the source(s) a common destination. We consider scenarios in which an old packet (entire information unit) becomes completely obsolete, presence new packet. transmission channels with unit storage capacity; upon arrival packet, if another is being transmitted then one packets lo...