Search results for "register"
showing 10 items of 198 documents
Studi greci e latini nell?antica Università di Altamura (1748-1821)
2019
The article tries to highlight, despite the scarse of available documentation, the Greek and Latin studies (language and texts) in the ancient Apulian University in Altamura (1748-1821). Furthermore, on the basis of unpublished archival materials (school registers and student workbooks) it is possible to shed light on the ancient authors explained at school, the teaching methods, and the study practices.
Sex differences in mate preferences across 45 countries: a large-scale replication
2020
Considerable research has examined human mate preferences across cultures, finding universal sex differences in preferences for attractiveness and resources as well as sources of systematic cultural variation. Two competing perspectives-an evolutionary psychological perspective and a biosocial role perspective-offer alternative explanations for these findings. However, the original data on which each perspective relies are decades old, and the literature is fraught with conflicting methods, analyses, results, and conclusions. Using a new 45-country sample (N = 14,399), we attempted to replicate classic studies and test both the evolutionary and biosocial role perspectives. Support for unive…
Cohort Profile:The Socioeconomic Consequences in Adult Life After Childhood Cancer in Scandinavia (SALiCCS) Research Programme
2021
IntroductionThe growing number of survivors of childhood cancer, with many years of life ahead, demonstrates the increasing clinical and public health relevance of investigating the risks of social and socioeconomic impairment after a childhood cancer diagnosis and the life-saving treatment. To enrich understanding of the mental, social and socioeconomic difficulties that childhood cancer survivors may face during their life-course, identify particularly vulnerable survivors and overcome the limitations of previous research, we initiated the Socioeconomic Consequences in Adult Life after Childhood Cancer in Scandinavia (SALiCCS) research programme.MethodsThis Nordic cross-border research pr…
The Minimum Amount of Useful Space: New Results and New Directions
2014
We consider minimal space requirements when using memory with restricted access policy (pushdown - hence giving pushdown automata (PDAs), and counter - hence giving counter automata (CAs)) in connection with two-way and realtime head motion. The main results are that: (i) loglogn is a tight space lower bound for accepting general nonregular languages on weak realtime PDAs, (ii) there exist unary nonregular languages accepted by realtime alternating CAs within weak logn space, (iii) there exist nonregular languages accepted by two-way DPADs within strong loglogn space, and, (iv) there exist unary nonregular languages accepted by two-way CAs with quantum and classical states within middle log…
Polyomino Number Theory (II)
2003
Polyominoes are connected plane figures formed of joining unit squares edge to edge. We have a monomino, a domino, two trominoes named I and V, five tetrominoes named I, L, N, O and T, respectively, and twelve pentominoes (a registered trademark of Solomon W. Golomb) named F, I, L, N, P, T, U, V, W, X, Y and Z respectively.
The Symbolical Realm and Historical Framework of the Contrade
2017
The chapter describes the contemporary symbolism of the contrade and its historic development in order to allow the reader to follow the subsequent analysis of the content of the contrade’s websites, in which symbols play a key role. It suggests that the contrade of Siena make significant use of mediaeval and Renaissance signs and symbol s such as particular colours, flags, and instruments. Members of a contrada build a community based on a specific district of Siena, and their lives are heavily focused on what is deemed necessary to the win a horse race called palio .
Modeling RISC-V Processor in IP-XACT
2018
IP-XACT is the most used standard in IP (Intellectual Property) integration. It is intended as a language neutral golden reference, from which RTL and HW dependent SW is automatically generated. Despite its wide popularity in the industry, there are practically no public and open design examples for any part of the design flow from IP-XACT to synthesis. One reason is the difficulty of creating IP-XACT models for existing RTL projects. In this paper, we address the issues by modeling the PULPino RISC-V microprocessor that is written in SystemVerilog (SV) and the project distributed over several repositories. We propose how to solve the mismatching concepts between SV project and IP-XACT, and…
A motion planning algorithm for the invalid initial state disassembly problem
2015
Sampling-based motion planners are able to plan disassembly paths at high performance. They are limited by the fact that the input triangle sets of the static and dynamic object need to be free of collision in the initial and all following states. In real world applications, like the disassembly planning in car industry, this often does not hold true. Beside data inaccuracy, this is mainly caused by the modeling of flexible parts as rigid bodies, especially fixture elements like clips. They cause the invalid initial state disassembly problem. In the literature there exists no algorithm that is able to calculate a reasonable disassembly path for an invalid initial state. Our novel algorithm …
Convencionalismo ético en deporte D’Agostino y Morgan en torno a las reglas y convenciones en deporte
2015
In this paper we propose a comparison of the position of D’Agostino with other representatives of convention: William Morgan. We refer to D’Agostino’s position in the first section and in the second section to Morgan’s. We ask whether Morgan, moreover of register his thesis within the Conventionalism, participates also of the internalist conception of sport. Although both authors are conventionalists, there are many different shades that fit between their positions be
One-Counter Verifiers for Decidable Languages
2013
Condon and Lipton (FOCS 1989) showed that the class of languages having a space-bounded interactive proof system (IPS) is a proper subset of decidable languages, where the verifier is a probabilistic Turing machine. In this paper, we show that if we use architecturally restricted verifiers instead of restricting the working memory, i.e. replacing the working tape(s) with a single counter, we can define some IPS’s for each decidable language. Such verifiers are called two-way probabilistic one-counter automata (2pca’s). Then, we show that by adding a fixed-size quantum memory to a 2pca, called a two-way one-counter automaton with quantum and classical states (2qcca), the protocol can be spac…