One-Electron Reduction of 2-Nitrotoluene, Nitrocyclopentane, and 1-Nitrobutane in Room Temperature Ionic Liquids: A Comparative Study of Butler–Volmer and Symmetric Marcus–Hush Theories Using Microdisk Electrodes

The voltammetry for the reduction of 2-nitrotoluene at a gold microdisk electrode is reported in two ionic liquids: trihexyltetradecylphosphonium tris(pentafluoroethyl)trifluorophosphate ([P-14,P-6,P-6,P-6][FAP]) and 1-ethyl-3-methylimidazolium bis[(trifluoromethyl)sulfonyl]imide ([Emim][NTf2]). The reduction of nitrocyclopentane (NCP) and 1-nitrobutane (BuN) was investigated using voltammetry at a gold microdisk electrode in the ionic liquid [P-14,P-6,P-6,P-6][FAP]. Simulated voltammograms, generated through the use of ButlerVolmer theory and symmetric MarcusHush theory, were compared to experimental data, with both theories parametrizing the data similarly well. An experimental value for the Marcusian parameter, 1 was also determined in all cases. For the reduction of 2-nitrotoluene, this was 0.5 +/- 0.1 eV in both solvents, while for NCP and BuN in [P-14,P-6,P-6,P-6][FAP], it was 2 +/- 0.1 and 5 +/- 0.1 eV, respectively. This is attributed to the localization of charge on the nitro group and the primary nitro alkyls increased interaction with the environment, resulting in a larger reorganization energy.

A review of behaviour change theories and techniques used in group based self-management programmes for chronic low back pain and arthritis

Background: Medical Research Council (MRC) guidelines recommend applying theory within complex interventions to explain how behaviour change occurs. Guidelines endorse self-management of chronic low back pain (CLBP) and osteoarthritis (OA), but evidence for its effectiveness is weak. Objective: This literature review aimed to determine the use of behaviour change theory and techniques within randomised controlled trials of group-based self-management programmes for chronic musculoskeletal pain, specifically CLBP and OA. Methods: A two-phase search strategy of electronic databases was used to identify systematic reviews and studies relevant to this area. Articles were coded for their use of behaviour change theory, and the number of behaviour change techniques (BCTs) was identified using a 93-item taxonomy, Taxonomy (v1). Results: 25 articles of 22 studies met the inclusion criteria, of which only three reported having based their intervention on theory, and all used Social Cognitive Theory. A total of 33 BCTs were coded across all articles with the most commonly identified techniques being '. instruction on how to perform the behaviour', '. demonstration of the behaviour', '. behavioural practice', '. credible source', '. graded tasks' and '. body changes'. Conclusion: Results demonstrate that theoretically driven research within group based self-management programmes for chronic musculoskeletal pain is lacking, or is poorly reported. Future research that follows recommended guidelines regarding the use of theory in study design and reporting is warranted.

Practical Lattice-Based Digital Signature Schemes

Digital signatures are an important primitive for building secure systems and are used in most real-world security protocols. However, almost all popular signature schemes are either based on the factoring assumption (RSA) or the hardness of the discrete logarithm problem (DSA/ECDSA). In the case of classical cryptanalytic advances or progress on the development of quantum computers, the hardness of these closely related problems might be seriously weakened. A potential alternative approach is the construction of signature schemes based on the hardness of certain lattice problems that are assumed to be intractable by quantum computers. Due to significant research advancements in recent years, lattice-based schemes have now become practical and appear to be a very viable alternative to number-theoretic cryptography. In this article, we focus on recent developments and the current state of the art in lattice-based digital signatures and provide a comprehensive survey discussing signature schemes with respect to practicality. Additionally, we discuss future research areas that are essential for the continued development of lattice-based cryptography.

Lattice-based Encryption Over Standard Lattices in Hardware

Lattice-based cryptography has gained credence recently as a replacement for current public-key cryptosystems, due to its quantum-resilience, versatility, and relatively low key sizes. To date, encryption based on the learning with errors (LWE) problem has only been investigated from an ideal lattice standpoint, due to its computation and size efficiencies. However, a thorough investigation of standard lattices in practice has yet to be considered. Standard lattices may be preferred to ideal lattices due to their stronger security assumptions and less restrictive parameter selection process. In this paper, an area-optimised hardware architecture of a standard lattice-based cryptographic scheme is proposed. The design is implemented on a FPGA and it is found that both encryption and decryption fit comfortably on a Spartan-6 FPGA. This is the first hardware architecture for standard lattice-based cryptography reported in the literature to date, and thus is a benchmark for future implementations.
Additionally, a revised discrete Gaussian sampler is proposed which is the fastest of its type to date, and also is the first to investigate the cost savings of implementing with lamda_2-bits of precision. Performance results are promising in comparison to the hardware designs of the equivalent ring-LWE scheme, which in addition to providing a stronger security proof; generate 1272 encryptions per second and 4395 decryptions per second.

Reflections of universal algebras into semilattices, their Galois theories, and related factorization systems

Estabelecemos uma condição suficiente para a preservação dos produtos finitos, pelo reflector de uma variedade de álgebras universais numa subvariedade, que é, também, condição necessária se a subvariedade for idempotente. Esta condição é estabelecida, seguidamente, num contexto mais geral e caracteriza reflexões para as quais a propriedade de ser semi-exacta à esquerda e a propriedade, mais forte, de ter unidades estáveis, coincidem. Prova-se que reflexões simples e semi-exactas à esquerda coincidem, no contexto das variedades de álgebras universais e caracterizam-se as classes do sistema de factorização derivado da reflexão. Estabelecem-se resultados que ajudam a caracterizar morfismos de cobertura e verticais-estáveis em álgebras universais e no contexto mais geral já referido. Caracterizam-se as classes de morfismos separáveis, puramente inseparáveis e normais. O estudo dos morfismos de descida de Galois conduz a condições suficientes para que o seu par kernel seja preservado pelo reflector.

Editorial: Facing the Other: Novel Theories and Methods in Face Perception Research

The Editorial on the Research Topic: Facing the Other: Novel Theories and Methods in Face Perception Research

The role of implicit theories in the formation of expert opinion in portuguese criminal law

Tese de doutoramento, Ciências e Tecnologias da Saúde (Medicina Legal e Ciências Forenses), Universidade de Lisboa, Faculdade de Medicina, 2014

Questioning the Universality of Institutional Transformation Theories in Spatial Planning: Shopping Mall Developments in Palermo

Theories about institutional transformation in spatial planning, although mainly based on the Anglo-Saxon context, have assumed a dominant role in planning research and theory as means to understand the transformations that have been restructuring planning systems in recent decades in the Western world and beyond. The article, looking at transformations of planning practice through the lenses of the concept of planning cultures, debates the utility of building ‘universal’ theories for spatial planning and advocates for the need for a de-provincialization of planning theories. This is done through a case-study approach applied to the history of the transformation of the retail system in a context characterized by the specificities of the Italian planning context and Southern European cities, namely: the planning processes for, and power relationships underlying, the first shopping malls opened in Palermo, Italy, since 2009 — some decades later than most of Western cities.

From "Spaces of Fear" to "Fearscapes": Mapping for Reframing Theories About the Spatialization of Fear in Urban Space

The article engages with theory about the processes of spatialization of fear in contemporary Western urban space (fortification, privatization, exclusion/seclusion, fragmentation, polarization) and their relation to fear of crime and violence. A threefold taxonomy is outlined (Enclosure, Post-Public Space, Barrier), and “spaces of fear” in the city of Palermo are mapped with the aim of exploring the cumulative large-scale effects of the spatialization of fear on a concrete urban territory. Building on empirical evidence, the author suggests that mainstream theories be reframed as part of a less hegemonic and more discursive approach and that theories mainly based on the analyses of global cities be deprovincialized. The author argues for the deconstruction of the concept of “spaces of fear” in favor of the more discursive concept of “fearscapes” to describe the growing landscapes of fear in contemporary Western cities.