On Logical Depth and the Running Time of Shortest Programs

The logical depth with significance $b$ of a finite binary string $x$ is the shortest running time of a binary program for $x$ that can be compressed by at most $b$ bits. There is another definition of logical depth. We give two theorems about the quantitative relation between these versions: the first theorem concerns a variation of a known fact with a new proof, the second theorem and its proof are new. We select the above version of logical depth and show the following. There is an infinite sequence of strings of increasing length such that for each $j$ there is a $b$ such that the logical depth of the $j$th string as a function of $j$ is incomputable (it rises faster than any computable function) but with $b$ replaced by $b+1$ the resuling function is computable. Hence the maximal gap between the logical depths resulting from incrementing appropriate $b$'s by 1 rises faster than any computable function. All functions mentioned are upper bounded by the Busy Beaver function. Since for every string its logical depth is nonincreasing in $b$, the minimal computation time of the shortest programs for the sequence of strings as a function of $j$ rises faster than any computable function but not so fast as the Busy Beaver function.Comment: 12 pages LaTex (this supercedes arXiv:1301.4451

Conservation of Orbital Angular Momentum in Stimulated Down-Conversion

We report on an experiment demonstrating the conservation of orbital angular momentum in stimulated down-conversion. The orbital angular momentum is not transferred to the individual beams of the spontaneous down-conversion, but it is conserved when twin photons are taken individually. We observe the conservation law for an individual beam of the down-conversion through cavity-free stimulated emission.Comment: Submitted for publication in Phys. Rev. Let

Precoder and combiner design for generalized spatial modulation based multiuser MIMO systems

Multiple input multiple output (MIMO) schemes based on generalized spatial modulations (GSM) have been widely considered as potential candidate techniques for next-generation wireless networks, as they can improve both spectral and energy efficiency. In this paper we propose a multi-user MIMO system, where a base station transmits precoded GSM symbols to several receivers. In the adopted GSM approach, multiple antennas transmit different high-level QAM symbols simultaneously. The precoder is designed in order to remove interference between users while an iterative algorithm is applied at the receiver to accomplish single-user GSM detection. Simulation results show that the presented GSM MU-MIMO approach is capable to effectively exploit a large number of transmit antennas deployed at the transmitter and also provide performance gains over conventional MU-MIMO schemes with identical spectral efficiencies.info:eu-repo/semantics/acceptedVersio

Precoded generalized spatial modulation for downlink MIMO transmissions in beyond 5G networks

The design of multiple input multiple output (MIMO) schemes capable of achieving both high spectral and energy efficiency constitutes a challenge for next-generation wireless networks. MIMO schemes based on generalized spatial modulations (GSM) have been widely considered as a powerful technique to achieve that purpose. In this paper, a multi-user (MU) GSM MIMO system is proposed, which relies on the transmission of precoded symbols from a base station to multiple receivers. The precoder’s design is focused on the removal of the interference between users and allows the application of single-user GSM detection at the receivers, which is accomplished using a low-complexity iterative algorithm. Link level and system level simulations of a cloud radio access network (C-RAN) comprising several radio remote units (RRUs) were run in order to evaluate the performance of the proposed solution. Simulation results show that the proposed GSM MU-MIMO approach can exploit efficiently a large number of antennas deployed at the transmitter. Moreover, it can also provide large gains when compared to conventional MU-MIMO schemes with identical spectral efficiencies. In fact, regarding the simulated C-RAN scenario with perfect channel estimation, system level results showed potential gains of up to 155% and 139% in throughput and coverage, respectively, compared to traditional cellular networks. The introduction of imperfect channel estimation reduces the throughput gain to 125%.info:eu-repo/semantics/publishedVersio

Observation of Image Transfer and Phase Conjugation in Stimulated Down-Conversion

We observe experimentally the transfer of angular spectrum and image formation in the process of stimulated parametric down-conversion. Images and interference patterns can be transferred from either the pump or the auxiliary laser beams to the stimulated down-converted one. The stimulated field propagates as the complex conjugate of the auxiliary laser. The phase conjugation is observed through intensity pattern measurements

A new approach to implement a customized anatomic insole in orthopaedic footwear of lower limb orthosis

This paper concerns the development of a new approach for orthopaedic footwear to apply in KAFO orthosis (acronym for Knee Ankle Foot Orthosis). This procedure starts with full characterization of the problem with the purpose to characterize a plantar of a patient’s foot with polio. A 3D Scanner was used to collect their feet's data to produce an anatomic insole. After this step, the patient performs a study of his gait using a static and dynamic study with the aim of characterizing the parameters to improve quality in the footwear. The insole was produced using a 3D printing technology. It was essential to optimize manufacturing processes and it was developed a footwear prototype with innovative characteristics, which is 25% lighter, allowing the user to consume less energy in daily routines.This work is supported by FEDER funding on the COMPETE program and by national funds through FCT-Foundation for Science and Technology within the scope of the project POCI-01-0145-FEDER- 007136 and UID/CTM/00264.info:eu-repo/semantics/publishedVersio