Search results for "programming."
showing 10 items of 3035 documents
Mathematical and Coding Lessons Based on Creative Origami Activities
2019
AbstractThis paper considers how creativity and creative activities can be encouraged in regular mathematical classes by combining different teaching approaches and academic disciplines. We combined origami and paper folding with fractals and their mathematical properties as well as with coding in Scratch in order to facilitate learning mathematics and computer science. We conducted a case study experiment in a Serbian school with 15 high school students and applied different strategies for learning profound mathematical and coding concepts such as fractals dimension and recursion. The goal of the study was to employ creative activities and examine students’ activities during this process i…
Asymptotic Lipschitz regularity for tug-of-war games with varying probabilities
2018
We prove an asymptotic Lipschitz estimate for value functions of tug-of-war games with varying probabilities defined in $\Omega\subset \mathbb R^n$. The method of the proof is based on a game-theoretic idea to estimate the value of a related game defined in $\Omega\times \Omega$ via couplings.
UV-B exposure causes DNA damage and changes in protein expression in northern pike (Esox lucius) posthatched embryos.
2012
The ongoing anthropogenically caused ozone depletion and climate change has increased the amount of biologically harmful UV-B radiation, which is detrimental to fish in embryonal stages. The effects of UV-B radiation on the levels and locations of DNA damage manifested as cyclobutane pyrimidine dimers (CPDs), heat shock protein 70 (HSP70) and p53 protein in newly hatched embryos of pike were examined. Pike larvae were exposed in the laboratory to current and enhanced doses of UV-B radiation. UV-B exposure caused the formation of CPDs in a fluence rate-dependent manner, and the CPDs were found deeper in the tissues with increasing fluence rates. UV-B radiation induced HSP70 in epidermis, and…
Diverse partner selection with brood recombination in genetic programming
2018
The ultimate goal of learning algorithms is to find the best solution from a search space without testing each and every solution available in the search space. During the evolution process new solutions (children) are produced from existing solutions (parents), where new solutions are expected to be better than existing solutions. This paper presents a new parent selection method for the crossover operation in genetic programming. The idea is to promote crossover between two behaviourally (phenotype) diverse parents such that the probability of children being better than their parents increases. The relative phenotype strengths and weaknesses of pairs of parents are exploited to find out i…
Need for speed? Exploring the relative importance of patents and utility models among German firms
2017
Despite the wide use of two-tiered patent systems (patents and utility models (UMs)), there is little empirical evidence about how often UMs are actually used, what kind of firms use them to protect their intellectual property, and how firms rank them relative to patents. We offer such an analysis using data from Germany. We find that larger firms are more likely to use both protection methods. Moreover, a short life cycle of products and services is associated with an increased likelihood to use UMs. The features and functioning of the German UM system are of broader interest because it has been a benchmark for several second tier patent protection systems around the world. peerReviewed
Hard x-ray photoelectron spectroscopy: a snapshot of the state-of-the-art in 2020
2021
Journal of physics / Condensed matter 33(23), 233001 (1-44) (2021). doi:10.1088/1361-648X/abeacd
Microscratch testing method for systematic evaluation of the adhesion of atomic layer deposited thin films on silicon
2016
The scratch test method is widely used for adhesion evaluation of thin films and coatings. Usual critical load criteria designed for scratch testing of coatings were not applicable to thin atomic layer deposition (ALD) films on silicon wafers. Thus, the bases for critical load evaluation were established and the critical loads suitable for ALD coating adhesion evaluation on silicon wafers were determined in this paper as LCSi1, LCSi2, LCALD1, and LCALD2, representing the failure points of the silicon substrate and the coating delamination points of the ALD coating. The adhesion performance of the ALD Al2O3, TiO2, TiN, and TaCN+Ru coatings with a thickness range between 20 and 600 nm and dep…
La revista Cuadernos de Ágora y sus relaciones con Latinoamérica
2014
Cuadernos de Agora (1956-1964) was a post-war magazine directed by the poet Concha Lagos. His short story (nearly eight years) was characterized by the independent and participatory spirit, also tended bridges to other magazines outside the Spanish territory, both in Europe and in Latin America. This text present one summary of poetic relationship between Spain and Latin America from the perspective of Cuadernos de Agora.
Interactively Learning the Preferences of a Decision Maker in Multi-objective Optimization Utilizing Belief-rules
2020
Many real life problems can be modelled as multiobjective optimization problems. Such problems often consist of multiple conflicting objectives to be optimized simultaneously. Multiple optimal solutions exist to these problems, and a single solution cannot be said to be the best without preferences given by a domain expert. Preferences can be used to find satisfying solutions: optimal solutions, which best match the expert’s preferences. To model the preferences of the expert, and aid him/her in finding satisfying solutions, a novel method is proposed. The method utilizes machine learning combined with belief-rule based systems to adaptively train a belief rule based system to learn a domai…
Linear Types for Higher Order Processes with First Class Directed Channels
1995
Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.