SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM

Implementation of corporate social responsibility in the republic of Moldova

Perception regarding the role of businesses in our society has been going through a transformation. We no longer identify a company’s sole purpose as being that of maximizing shareholder return but we increasingly expect companies to do good for society. There is growing recognition that Corporate Social Responsibility is essential in today’s business and companies are voluntarily disclosing their effects on the people and communities where they operate. Corporate responsibility is helpful not only for corporations to show higher commitment to practice ethics particularly to develop economic forces and to improve the quality of lives of the workforce and their respective families but also for stakeholders. Social discrimination puts stones in the way of corporations for not to build up good capacity for sustainable livelihoods. This study undertakes the significance of Corporate Social Responsibility not only for wealth creation but also for maximizing the value of wealth creation to society.A percepção relativa ao papel dos negócios na nossa sociedade tem vindo a sofrer uma transformação. Não mais identificamos como o único objectivo de uma empresa o de maximizar o retorno monetário do accionista e cada vez mais se espera que a empresa seja benéfica para a sociedade. Há um crescimento no reconhecimento que a responsabilidade social de uma empresa é essencial nos negócios e as empresas estão voluntariamente a divulgar os seus efeitos junto das comunidades onde operam. A responsabilidade corporativa é vantajosa, não só para que as empresas demonstrem uma maior dedicação à prática de ética particularmente para desenvolver forças económicas e para melhorar a qualidade de vida dos trabalhadores e das suas respectivas famílias, mas também para os accionistas. A discriminação social é um óbice no trajecto das empresas dado não conseguir desenvolver sustentáveis boas condições de vida. Este estudo baseia-se na importância da responsabilidade social empresarial não só como criação de riqueza mas também para maximizar a importância da criação dessa riqueza para a sociedade

Nuclear magnetic resonance spectroscopy: An experimentally accessible paradigm for quantum computing

We present experimental results which demonstrate that nuclear magnetic resonance spectroscopy is capable of efficiently emulating many of the capabilities of quantum computers, including unitary evolution and coherent superpositions, but without attendant wave-function collapse. Specifically, we have: (1) Implemented the quantum XOR gate in two different ways, one using Pound-Overhauser double resonance, and the other using a spin-coherence double resonance pulse sequence; (2) Demonstrated that the square root of the Pound-Overhauser XOR corresponds to a conditional rotation, thus obtaining a universal set of gates; (3) Devised a spin-coherence implementation of the Toffoli gate, and confirmed that it transforms the equilibrium state of a four-spin system as expected; (4) Used standard gradient-pulse techniques in NMR to equalize all but one of the populations in a two-spin system, so obtaining the pseudo-pure state that corresponds to |00>; (5) Validated that one can identify which basic pseudo-pure state is present by transforming it into one-spin superpositions, whose associated spectra jointly characterize the state; (6) Applied the spin-coherence XOR gate to a one-spin superposition to create an entangled state, and confirmed its existence by detecting the associated double-quantum coherence via gradient-echo methods.Comment: LaTeX + epsfig + amsmath packages, 27 pages, 12 figures, to appear in Physica D; revision updates list of authors and reference

EXCESSIVELY DROUGHTY AUTUMN IN THE SOUTH-WEST OF ROMANIA DURING 2011

Eexcessively droughty autumn in the south-west of Romania during 2011. The atypical weather of 2011 continued also in autumn. Consequently, Oltenia had two distinct parts: a first warmish and droughty part, and a second cold part, characterized by drought too. In September, 7 days with maximum temperature values exceeding 35°C were registered. The warmish weather continued also in the first week of October, followed by a sudden cooling. This was the first excessively droughty autumn of the last 13 autumns in Oltenia. In November the weather was colder than normal and negative maximum thermal values were registered during the day, which means that there were winter days. The paper analyzes the characteristics of this autumn in detail and the study is completed by a comparison to the last 12 autumns. The paper is useful to researchers, specialists in climatology, master graduates and Ph.D. candidates

Synthesis, structural characterization and electrocatalytic properties of cobalt phosphides and pyrophosphates derived from glyphosine

Póster presentado en el XXX Simposio del GE3CMetal phosphonates (MPs), a subclass of coordination polymers, result from the bonding of phosphonic acids (RPO32-) with metal ions, giving rise to an uniformly dispersion of the metal sites at the atomic scale. This characteristic allows the preparation of metal-phosphorous-based nano-carbon composites by a simple one-step pyrolysis, what makes them very attractive precursors of Non-Precious Metal Catalysts (NPMCs). Herein, we report the synthesis, characterization and electrochemical properties of three cobalt(II) coordination polymers derived from the glycine-N,N-bis(methylenenphosphonic acid) (BPMGLY), with formula [Co(C4H9O8NP2(H2O)2]·nH2O (n=0, 2). In contrast with the zero-dimensional structure of [Co(C4H9O8NP2(H2O)2]·2H2O (Co-BPMGLY-I), the two new polymorphs synthesized, Co(C4H9O8NP2(H2O)2 (Co-BPMGLY-II and Co-BPMGLY-III), whose structures have been solved from powder diffraction data, show two-dimensional frameworks with different connectivity between the Co2+ ions and the ligand within the sheets. These MPs were used as precursors of NPMCs by pyrolyzing them under 5%-H2/Ar at different temperatures. The electrochemical behavior of the resulting compounds, mainly crystalline cobalt pyrophosphates and/or phosphides, is fully studied regarding to the Oxygen Evolution and Reduction Reactions (OER and ORR, respectively) as well as Hydrogen Evolution Reaction (HER). Cobalt phosphide (CoP) derived from Co-BPMGLY-I displayed the best results, showing an overpotential of 156 mV for HER.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyectos nacionales MAT2016-77648-R y PID2019-110249RB-I0