Effect of the Output of the System in Signal Detection

We analyze the consequences that the choice of the output of the system has in the efficiency of signal detection. It is shown that the signal and the signal-to-noise ratio (SNR), used to characterize the phenomenon of stochastic resonance, strongly depend on the form of the output. In particular, the SNR may be enhanced for an adequate output.Comment: 4 pages, RevTex, 6 PostScript figure

ASMs and Operational Algorithmic Completeness of Lambda Calculus

We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype. More formally, given an algorithm above a family of computable functions (taken as primitive tools, i.e., kind of oracle functions for the algorithm), for every constant K big enough, each computation step of the algorithm can be simulated by exactly K successive reductions in a natural extension of lambda calculus with constants for functions in the above considered family. The proof is based on a fixed point technique in lambda calculus and on Gurevich sequential Thesis which allows to identify sequential deterministic algorithms with Abstract State Machines. This extends to algorithms for partial computable functions in such a way that finite computations ending with exceptions are associated to finite reductions leading to terms with a particular very simple feature.Comment: 37 page

Large constraint length high speed viterbi decoder based on a modular hierarchial decomposition of the deBruijn graph

A method of formulating and packaging decision-making elements into a long constraint length Viterbi decoder which involves formulating the decision-making processors as individual Viterbi butterfly processors that are interconnected in a deBruijn graph configuration. A fully distributed architecture, which achieves high decoding speeds, is made feasible by novel wiring and partitioning of the state diagram. This partitioning defines universal modules, which can be used to build any size decoder, such that a large number of wires is contained inside each module, and a small number of wires is needed to connect modules. The total system is modular and hierarchical, and it implements a large proportion of the required wiring internally within modules and may include some external wiring to fully complete the deBruijn graph. pg,14

The ethical challenge of Touraine's 'living together'

In Can We Live Together? Alain Touraine combines a consummate analysis of crucial social tensions in contemporary societies with a strong normative appeal for a new emancipatory 'Subject' capable of overcoming the twin threats of atomisation or authoritarianism. He calls for a move from 'politics to ethics' and then from ethics back to politics to enable the new Subject to make a reality out of the goals of democracy and solidarity. However, he has little to say about the nature of such an ethics. This article argues that this lacuna could usefully be filled by adopting a form of radical humanism found in the work of Erich Fromm. It defies convention in the social sciences by operating from an explicit view of the 'is' and the 'ought' of common human nature, specifying reason, love and productive work as the qualities to be realised if we are to move closer to human solidarity. Although there remain significant philosophical and political differences between the two positions, particularly on the role to be played by 'the nation', their juxtaposition opens new lines of inquiry in the field of cosmopolitan ethics

Strategies used as spectroscopy of financial markets reveal new stylized facts

We propose a new set of stylized facts quantifying the structure of financial markets. The key idea is to study the combined structure of both investment strategies and prices in order to open a qualitatively new level of understanding of financial and economic markets. We study the detailed order flow on the Shenzhen Stock Exchange of China for the whole year of 2003. This enormous dataset allows us to compare (i) a closed national market (A-shares) with an international market (B-shares), (ii) individuals and institutions and (iii) real investors to random strategies with respect to timing that share otherwise all other characteristics. We find that more trading results in smaller net return due to trading frictions. We unveiled quantitative power laws with non-trivial exponents, that quantify the deterioration of performance with frequency and with holding period of the strategies used by investors. Random strategies are found to perform much better than real ones, both for winners and losers. Surprising large arbitrage opportunities exist, especially when using zero-intelligence strategies. This is a diagnostic of possible inefficiencies of these financial markets.Comment: 13 pages including 5 figures and 1 tabl

High dynamic GPS receiver validation demonstration

The Validation Demonstration establishes that the high dynamic Global Positioning System (GPS) receiver concept developed at JPL meets the dynamic tracking requirements for range instrumentation of missiles and drones. It was demonstrated that the receiver can track the pseudorange and pseudorange rate of vehicles with acceleration in excess of 100 g and jerk in excess of 100 g/s, dynamics ten times more severe than specified for conventional High Dynamic GPS receivers. These results and analytic extensions to a complete system configuration establish that all range instrumentation requirements can be met. The receiver can be implemented in the 100 cu in volume required by all missiles and drones, and is ideally suited for transdigitizer or translator applications

State pension funds and corporate social responsibility: do beneficiaries’ political values influence funds’ investment decisions?

This study explores the underlying drivers of US public pension funds’ tendency to tilt their portfolios towards companies with stronger corporate social responsibility (CSR). Studying the equity holdings of large, internally-managed US state pension funds, we find evidence that the political leaning of their beneficiaries and political pressures by state politicians affect funds’ investment decisions. State pension funds from states with Democratic-leaning beneficiaries tilt their portfolios more strongly towards companies that perform well on CSR issues, and this tendency is intensified when the state government is dominated by Democratic state politicians. Moreover, we find that funds which tilt their portfolios towards companies with superior CSR scores generate a slightly higher return compared with their counterparts. Overall, our findings indicate that funds align their investment choices with the financial and non-financial interests of their beneficiaries when deciding whether to incorporate CSR into their equity allocations

On the price of morals in markets: an empirical study of the Swedish AP-Funds and the Norwegian Government Pension Fund

This study empirically analyses the exclusion of companies from investors’ investment universe due to a company’s business model (sector-based exclusion) or due to a company’s violations of international norms (normbased exclusion). We conduct a time-series analysis of the performance implications of the exclusion decisions of two leading Nordic investors, Norway’s Government Pension Fund-Global (GPFG) and Sweden’s AP-funds. We find that their portfolios of excluded companies do not generate an abnormal return relative to the funds’ benchmark index. While the exclusion portfolios show higher risk than the respective benchmark, this difference is only statistically significant for the case of GPFG. These findings suggest that the exclusion of the companies generally does not harm funds’ performance. We interpret these findings as indicative that with exclusionary screening, as practiced by the sample funds, asset owners can meet the ethical objectives of their beneficiaries without compromising financial returns

Intuitionistic implication makes model checking hard

We investigate the complexity of the model checking problem for intuitionistic and modal propositional logics over transitive Kripke models. More specific, we consider intuitionistic logic IPC, basic propositional logic BPL, formal propositional logic FPL, and Jankov's logic KC. We show that the model checking problem is P-complete for the implicational fragments of all these intuitionistic logics. For BPL and FPL we reach P-hardness even on the implicational fragment with only one variable. The same hardness results are obtained for the strictly implicational fragments of their modal companions. Moreover, we investigate whether formulas with less variables and additional connectives make model checking easier. Whereas for variable free formulas outside of the implicational fragment, FPL model checking is shown to be in LOGCFL, the problem remains P-complete for BPL.Comment: 29 pages, 10 figure