Search results for "Information Science"
showing 10 items of 3627 documents
The Library of the House of Science as place to today’s 24/7 culture
2019
The Report 3 Baltic University Library Meeting (15-16 May, 2019) at the Library of the University of Latvia (UL) to present the newest branch library of UL – The Library of the House of Science.
Misiņa bibliotēka
2018
Additivity of affine designs
2020
We show that any affine block design $$\mathcal{D}=(\mathcal{P},\mathcal{B})$$ is a subset of a suitable commutative group $${\mathfrak {G}}_\mathcal{D},$$ with the property that a k-subset of $$\mathcal{P}$$ is a block of $$\mathcal{D}$$ if and only if its k elements sum up to zero. As a consequence, the group of automorphisms of any affine design $$\mathcal{D}$$ is the group of automorphisms of $${\mathfrak {G}}_\mathcal{D}$$ that leave $$\mathcal P$$ invariant. Whenever k is a prime p, $${\mathfrak {G}}_\mathcal{D}$$ is an elementary abelian p-group.
Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra
2019
AbstractWe propose three cryptographic key exchange protocols in the octonion algebra. Using the totient function, defined for integral octonions, we generalize the RSA public-key cryptosystem to the octonion arithmetics. The two proposed symmetric cryptographic key exchange protocols are based on the automorphism and the derivation of the octonion algebra.
Finitary shadows of compact subgroups of $$S(\omega )$$
2020
AbstractLet LF be the lattice of all subgroups of the group $$SF(\omega )$$SF(ω) of all finitary permutations of the set of natural numbers. We consider subgroups of $$SF(\omega )$$SF(ω) of the form $$C\cap SF(\omega )$$C∩SF(ω), where C is a compact subgroup of the group of all permutations. In particular, we study their distribution among elements of LF. We measure this using natural relations of orthogonality and almost containedness. We also study complexity of the corresponding families of compact subgroups of $$S(\omega )$$S(ω).
Bornological structures on many-valued sets
2017
Polish G-spaces and continuous logic
2017
Abstract We extend the generalised model theory of H. Becker from [2] to the case of Polish G -spaces when G is an arbitrary Polish group. Our approach is inspired by logic actions of Polish groups which arise in continuous logic.
Unification in superintuitionistic predicate logics and its applications
2018
AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…
Sensor Mining for User Behavior Profiling in Intelligent Environments
2011
The proposed system exploits sensor mining methodologies to profile user behaviors patterns in an intelligent workplace. The work is based in the assumption that users’ habit profiles are implicitly described by sensory data, which explicitly show the consequences of users’ actions over the environment state. Sensor data are analyzed in order to infer relationships of interest between environmental variables and the user, detecting in this way behavior profiles. The system is designed for a workplace equipped in the context of Sensor9k, a project carried out at the Department of Computer Science of Palermo University.
The popularization of plate tectonics: presenting the concepts of dynamics and time
1996
There have been many attempts to describe and represent the theory of plate tectonics to laypeople. In the context of a study conducted at the request of a museum, we have tried to determine how the concepts of both geological time and the movements of the plates have been reformulated. After having systematically studied in detail publications aimed at more or less educated readers, we have selected a corpus of twelve articles from nine different magazines or journals. Among the different means of expression used by the popularizers, rhetorical figures constitute a significant resource. Procedures based on analogy (metaphor, comparison, analogical reasoning) were brought together in a sing…