(1) Works listed in the Sheet Music Consortium had more views/work than those not listed. (2) Works at the top of the Sheet Music Consortium browse list had more views by Consortium users than those lower down. (3) Works with cover graphics had more views/work than those with covers containing words alone. (4) Works included in mini-collections received more views/work from users with access to...

În această lucrare discutăm teorema de universalitate a lui Kempe legată de posibilele configuraţii ale unui mecanism plan. CONTENTS Introducere 1 1. Mecanisme plane 1 2. Puţină geometrie semi-algebrică 5 3. Reprezentarea aplicaţiilor polinomiale cu ajutorul mecanismelor 9 4. Demonstraţia teoremei de reprezentabilitate 12 References 16 INTRODUCERE Un mecanism plan este un sistem de bare rigide ...

Along with the extensive prevalence of the network and the portable equipments, people can access network resources conveniently. The protection of participants’ privacy and data confidentiality is significant. Authentication mechanism is essential to assure the authenticity of all participants and forbid the illegal accessing. In this paper, we propose a robust remote authentication scheme wit...

Project acronym: SustainValue Project name: Sustainable value creation in manufacturing networks Call and Contract: FP7-NMP-2010-SMALL-4 Grant Agreement no.: 262931 Project duration: 01.04.2011 – 31.03.2014 (36 months) Co-ordinator VTT VTT Technical Research Centre of Finland (FI) Partners: POLIMI Politecnico di Milano (IT) UiS Center for Industrial asset management, University of Stavanger (NO...

some logicians as avicenna, khaja nasir al-din tusi, and dabiran katebi believe that denotation (dilala) is dependent on volition (irada), and as long as there is no volition, there is no denotation. some others like qutb al-din razi completely reject this idea and maintain that denotation merely depends on “knowledge of designation” (al-ilm bi al-wad’). some of methodologicians of jurisprudenc...

In zilele dela 18—21 Septembrie 1930, a avut loc în Brăila a doua Adunare anuală a Conferinţei Muntenia-Est. Seria şedinţelor Adunării Generale s'a deschis în ziua de 18 Septembrie, orele 10, 30 dimineaţa de către fr . David M. Făurescu, Preşedintele Conferinţei Muntenia-Est, cu cântarea: „Lucrarea Doamne este-a Ta", şi rugăciune. Urmând să se cetească raportul Adunării Generale de anul trecut,...

In trying to use Abadi and Cardelli's object calculi as a foundation for a programming language the addition of algebraic data types arises naturally. This paper deenes such an extension, shows a motivating example, and explores the new calculi by establishing properties such as Church-Rosser, subject reduction and uniqueness of types.

We study an extension of the well-known Abadi-Rogaway logic with hashes. Previously, we have given a sound computational interpretation of this extension using Canetti’s oracle hashing. This paper extends Micciancio and Warinschi’s completeness result for the original logic to this setting.

Coastal lagoons are a common land-margin feature worldwide and function as an important filter for nutrients entering from the watershed. The shallow nature of lagoons leads to dominance by benthic autotrophs, which can regulate benthic–pelagic coupling. Here we demonstrate that both microalgae and macroalgae are important in controlling dissolved inorganic as well as organic nitrogen (DIN and ...