Search results for "Computer science"

The Fear of Covid-19 Scale (FCV-19S) in Spain: Adaptation and Confirmatory Evidence of Construct and Concurrent Validity

2021

Fear of the coronavirus has important implications on mental health. In western countries, a significant degree of vaccination has been achieved, but in Spain, less than 75% of the population has received both doses. The current situation is still seen as a threat by many people. Therefore, it is important to have reliable and valid measurement instruments to assess the impact of COVID-19 on the population. In this study, the Fear of COVID-19 Scale has been adapted to Spain, and its psychometric properties have been studied in a Spanish sample using Structural Equation Modeling. This methodology allows obtaining more reliable estimates, regardless of the measurement scale of the variables. …

Levels and Changes of Physical Activity in Adolescents during the COVID-19 Pandemic: Contextualizing Urban vs. Rural Living Environment

2020

The COVID-19 pandemic and the social distancing implemented shortly after influence physical activity levels (PALs). The purpose of this investigation was to evaluate the changes in PAL and factors associated with PALs among Croatian adolescents while considering the impact of community (urban vs. rural living environment). The sample included 823 adolescents (mean age: 16.5 &plusmn

Soft Competencies and Satisfaction Levels for Software Engineers: A Unified Framework

2019

The importance of software engineers’ competency has long been established as a key pillar for the development of robust software in order to achieve quality software. Software engineering competency research is not necessarily lacking. Nevertheless, the satisfaction derived from using software competency needs more investigation. The aim of this study is to identify soft competencies from empirical data and create satisfaction levels for software engineers’ soft competencies. The result shows 63 soft competencies with three different satisfaction levels consisting of basic, performance and delighters. The paper contributes to the SEC research by highlighting the satisfaction levels of soft…

System for Executing Encrypted Java Programs

2017

Enhancing identification of causal effects by pruning

2018

Causal models communicate our assumptions about causes and effects in real-world phe- nomena. Often the interest lies in the identification of the effect of an action which means deriving an expression from the observed probability distribution for the interventional distribution resulting from the action. In many cases an identifiability algorithm may return a complicated expression that contains variables that are in fact unnecessary. In practice this can lead to additional computational burden and increased bias or inefficiency of estimates when dealing with measurement error or missing data. We present graphical criteria to detect variables which are redundant in identifying causal effe…

Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

2021

We present an approach and a tool for automatically providing feedback on solutions that involve complicated reasoning patterns. Currently the tool supports linear systems of equations and inequations that may also contain the absolute value operator and a restricted form of rational functions. This suffices for designing problems that are laborious to solve with standard mechanical procedures, but much easier using short-cuts that students may find by creative thinking. Earlier research has found that struggling with important mathematics promotes conceptual development. Our goal is to encourage students to such struggling. A crucial feature is to give them great freedom to choose the path…

Modeling and designing a robotic swarm: A quantum computing approach

2023

Nature is a neverending source of inspiration for technology. Quantum physics suggests applications to- ward quantum computing. Swarms’ self-organization leads to robotic swarm developments. Here, quantum computing is applied to swarm robotics. We model local interactions with a quantum circuit, testing it on simulators and quantum computers. To relate local with global behavior, we develop a block matrix-based model. Diagonal sub-matrices contain information on single robots; off-diagonal sub-matrices are the pairwise interaction terms. Comparing different swarms means comparing different block matrices. Choosing initial values and computation rules for off-diagonal blocks (with a particul…

Novel qutrit circuit design for multiplexer, De-multiplexer, and decoder

2022

AbstractDesigning conventional circuits present many challenges, including minimizing internal power dissipation. An approach to overcoming this problem is utilizing quantum technology, which has attracted significant attention as an alternative to Nanoscale CMOS technology. The reduction of energy dissipation makes quantum circuits an up-and-coming emerging technology. Ternary logic can potentially diminish the quantum circuit width, which is currently a limitation in quantum technologies. Using qutrit instead of qubit could play an essential role in the future of quantum computing. First, we propose two approaches for quantum ternary decoder circuit in this context. Then, we propose a qua…

Highly occupied gauge theories in 2 + 1 dimensions : a self-similar attractor

2019

Motivated by the boost-invariant Glasma state in the initial stages in heavy-ion collisions, we perform classical-statistical simulations of SU(2) gauge theory in 2+1 dimensional space-time both with and without a scalar field in the adjoint representation. We show that irrespective of the details of the initial condition, the far-from-equilibrium evolution of these highly occupied systems approaches a unique universal attractor at high momenta that is the same for the gauge and scalar sectors. We extract the scaling exponents and the form of the distribution function close to this non-thermal fixed point. We find that the dynamics are governed by an energy cascade to higher momenta with sc…

Experimental Engineering of Arbitrary Qudit States with Discrete-Time Quantum Walks

2019

The capability to generate and manipulate quantum states in high-dimensional Hilbert spaces is a crucial step for the development of quantum technologies, from quantum communication to quantum computation. One-dimensional quantum walk dynamics represents a valid tool in the task of engineering arbitrary quantum states. Here we affirm such potential in a linear-optics platform that realizes discrete-time quantum walks in the orbital angular momentum degree of freedom of photons. Different classes of relevant qudit states in a six-dimensional space are prepared and measured, confirming the feasibility of the protocol. Our results represent a further investigation of quantum walk dynamics in p…