Search results for " Computer Science"
showing 10 items of 3983 documents
Supporting mathematical modelling by upscaling real context in a sequence of tasks
2021
AbstractCreating and developing mathematical models to solve real-world problems is a complex task and students often have difficulties in tackling it successfully. The design and implementation of sequences that help students autonomously develop their ability to solve modelling tasks could be a useful scaffolding tool to foster modelling learning. In this paper we present a sequence of estimation tasks in a real context based on what we have called the upscaling technique, which consists of scaling the accessibility and knowledge of the context used. A study with two samples of grade 10 students, experimental and control, has allowed us to find out whether this sequence promotes success i…
A model of adaptive decision-making from representation of information environment by quantum fields
2017
We present the mathematical model of decision making (DM) of agents acting in a complex and uncertain environment (combining huge variety of economical, financial, behavioral, and geo-political factors). To describe interaction of agents with it, we apply the formalism of quantum field theory (QTF). Quantum fields are of the purely informational nature. The QFT-model can be treated as a far relative of the expected utility theory, where the role of utility is played by adaptivity to an environment (bath). However, this sort of utility-adaptivity cannot be represented simply as a numerical function. The operator representation in Hilbert space is used and adaptivity is described as in quantu…
On the role of non-effective code in linear genetic programming
2019
In linear variants of Genetic Programming (GP) like linear genetic programming (LGP), structural introns can emerge, which are nodes that are not connected to the final output and do not contribute to the output of a program. There are claims that such non-effective code is beneficial for search, as it can store relevant and important evolved information that can be reactivated in later search phases. Furthermore, introns can increase diversity, which leads to higher GP performance. This paper studies the role of non-effective code by comparing the performance of LGP variants that deal differently with non-effective code for standard symbolic regression problems. As we find no decrease in p…
Efficient evaluation for a subset of recursive queries
1991
Abstract We consider the efficient evaluation of recursive queries in logic databases where the queries are expressed using a Datalog program (function-free Horn-clause program) that contains only regularly or linearly recursive predicates. Using well-known results on graph traversal, we develop an efficient algorithm for evaluating relations defined by a binary-chain program. We also present a transformation by which the evaluation of a subset of queries involving nonbinary relations can be reduced to the evaluation of binary-chain queries. This transformation is guided by the choice of bound arguments in the query, and the bindings are propagated through the program so that in the evaluat…
An inductive inference approach to classification
1992
In this paper, we introduce a formal framework for investigating the relationship of inductive inference and the task of classification. We give the first results on the relationship between functions that can be identified in the limit and functions that can be acquired from unclassified objects only. Moreover, we present results on the complexity of classification functions and the preconditions necessary in order to allow the computation of such functions.
Abstraction in Motion
2015
Folding Pattern is an art project developed by the team of artists, Cristina Ghetti and Emanuele Mazza. The work starts from the idea of proposing a revision of the foundations of perceptual abstraction, that had in it's derivations, one of the art movements more connected with the use of new technologies and one of the art tendencies with more powerful and interesting arguments. We are interested in exploring the developments of abstraction in the digital era, incorporating new media tools, and analyzing how contemporary art is developing the ideas of modernist abstraction introducing the utilization of new technologies, in a context where the influence of science, and of new ways of produ…
Psi4: an open-source ab initio electronic structure program
2011
The Psi4 program is a new approach to modern quantum chemistry, encompassing Hartree–Fock and density-functional theory to configuration interaction and coupled cluster. The program is written entirely in C++ and relies on a new infrastructure that has been designed to permit high-efficiency computations of both standard and emerging electronic structure methods on conventional and high-performance parallel computer architectures. Psi4 offers flexible user input built on the Python scripting language that enables both new and experienced users to make full use of the program's capabilities, and even to implement new functionality with moderate effort. To maximize its impact and usefulness, …
k-Truss Decomposition for Modular Centrality
2018
There is currently much interest in identifying influential spreaders in complex networks due to many applications concerned, such as controlling the outbreak of epidemics and conducting advertisements for commercial products, and so on. A plethora of centrality measures have been proposed over the years based on the topological properties of networks. However, most of these classical centrality measures fail to select the most influential nodes in networks with a modular structure despite that it is an omnipresent property in real-world networks. Few authors have introduced centrality measures tailored to networks with community structure. In a recent work, we have shown that, in this case…
Conclusions: Take-Home Messages
2014
In this chapter, which mainly consists of headlines, the take-home messages of the lecture notes are presented.
How much geometry it takes to reconstruct a 2-manifold in R 3
2009
Known algorithms for reconstructing a 2-manifold from a point sample in R 3 are naturally based on decisions/predicates that take the geometry of the point sample into account. Facing the always present problem of round-off errors that easily compromise the exactness of those predicate decisions, an exact and robust implementation of these algorithms is far from being trivial and typically requires employment of advanced datatypes for exact arithmetic, as provided by libraries like CORE, LEDA, or GMP. In this article, we present a new reconstruction algorithm, one whose main novelties is to throw away geometry information early on in the reconstruction process and to mainly operate combina…