Black Sheep, Outsiders, and the Qumran Movement : Social-Psychological Perspectives on Norm-Deviant Behaviour

Peer reviewe

The Motor System: The Whole and its Parts

Our knowledge of components of the human motor system has been growing steadily, but our understanding of its integration into a system is lagging behind. It is suggested that a combination of measurements of forces and movements of the motor system in a functionally meaningful environment in conjunction with computer simulations of the motor system may help us in understanding motor system properties. Neurotrauma can be seen as a natural deviation, with recovery as a slow path to yet another deviant state of the motor system. In that form they may be useful in explaining the close interaction between form and function of the human motor system

GATT-UR and Philippine Agriculture: Facts and Fallacies

GATT-UR provisions on agriculture have been most controversial. Its ratification depends on the establishment of adequate “safety nets” to protect farmers from the anticipated adverse welfare impacts of the GATT-UR implementation. This paper argues that the global and Philippine trade liberalization in the spirit of GATT-UR will benefit the poor and farmers. Senate should therefore ratify the agreements to allow the government to attend their business of carrying out economic and institutional reform for sustainable economic growth.agriculture sector, General Agreement on Tariff and Trade, rural sector

GATT-UR and Philippine Agriculture: Facts and Fallacies

GATT-UR provisions on agriculture have been most controversial. Its ratification depends on the establishment of adequate “safety nets” to protect farmers from the anticipated adverse welfare impacts of the GATT-UR implementation. This paper argues that the global and Philippine trade liberalization in the spirit of GATT-UR will benefit the poor and farmers. Senate should therefore ratify the agreements to allow the government to attend their business of carrying out economic and institutional reform for sustainable economic growth.agriculture sector, General Agreement on Tariff and Trade, rural sector

Direct Detection of the Cosmic Neutrino Background Including Light Sterile Neutrinos

Current cosmological data drop an interesting hint about the existence of sub-eV sterile neutrinos, which should be a part of the cosmic neutrino background (C$\nu$B). We point out that such light sterile neutrinos may leave a distinct imprint on the electron energy spectrum in the capture of relic electron neutrinos by means of radioactive beta-decaying nuclei. We examine possible signals of sterile neutrinos relative to active neutrinos, characterized by their masses and sensitive to their number densities, in the reaction $\nu^{}_e + ~^3{\rm H} \to ~^3{\rm He} + e^-$ against the corresponding tritium beta decay. We stress that this kind of direct laboratory detection of the C$\nu$B and its sterile component might not be hopeless in the long term.Comment: Minor changes. Accepted for publication in Phys. Lett.

Towards the Integration of an Intuitionistic First-Order Prover into Coq

An efficient intuitionistic first-order prover integrated into Coq is useful to replay proofs found by external automated theorem provers. We propose a two-phase approach: An intuitionistic prover generates a certificate based on the matrix characterization of intuitionistic first-order logic; the certificate is then translated into a sequent-style proof.Comment: In Proceedings HaTT 2016, arXiv:1606.0542

Responses to the Draft Mental Health Bill

Responses and comments on the Draft Mental Health Bill are provided by:The Law SocietyThe Royal College of PsychiatristsLibertyGuy Otten, Regional Chair for Trent, Yorkshire and Northern RegionRobert Brown, Independent Trainer of ASWs and MHA Commissione

Limited discrepancy AND/OR search and its application to optimization tasks in graphical models

Many combinatorial problems are solved with a Depth-First search (DFS) guided by a heuristic and it is well-known that this method is very fragile with respect to heuristic mistakes. One standard way to make DFS more robust is to search by increasing number of discrepancies. This approach has been found useful in several domains where the search structure is a height-bounded OR tree. In this paper we investigate the generalization of discrepancy-based search to AND/OR search trees and propose an extension of the Limited Discrepancy Search (LDS) algorithm. We demonstrate the relevance of our proposal in the context of Graphical Models. In these problems, which can be solved with either a standard OR search tree or an AND/OR tree, we show the superiority of our approach. For a fixed number of discrepancies, the search space visited by the AND/OR algorithm strictly contains the search space visited by standard LDS, and many more nodes can be visited due to the multiplicative effect of the AND/OR decomposition. Besides, if the AND/OR tree achieves a significant size reduction with respect to the standard OR tree, the cost of each iteration of the AND/OR algorithm is asymptotically lower than in standard LDS. We report experiments on the minsum problem on different domains and show that the AND/OR version of LDS usually obtains better solutions given the same CPU time.Peer ReviewedPostprint (published version