Search results for "computer.programming_language"

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…

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…

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.

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.

System for Executing Encrypted Java Programs

2017

An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…

2020

Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…

Grimaces et lèvres pincées : remarques sur la ritualisation pénale (Pascal, Wittgenstein) (Grimaces and Pursed Lips: Remarks on the judicial ritualiz…

2018

Cet article vise à clarifier le recours à une famille de métaphores qui entoure fréquemment le procès (ritualisation, théâtralisation, mise en scène, cérémonie de type religieux), et défend la thèse que la notion de ritualisation judiciaire exprime avant tout la louable intention d'accorder à la justice internationale pénale un temps et des occasions sans finalité préconçue, mais qui permettent la manifestation d'une diversité d'émotions. Il prend principalement appui sur la comparaison des Pensées et des Lettres provinciales de Pascal d'une part, sur le…

Corrigendum: ExGUtils: A Python Package for Statistical Analysis With the ex-Gaussian Probability Density

2018

Soundscape design through evolutionary engines

2008

Abstract Two implementations of an Evolutionary Sound Synthesis method using the Interaural Time Difference (ITD) and psychoacoustic descriptors are presented here as a way to develop criteria for fitness evaluation. We also explore a relationship between adaptive sound evolution and three soundscape characteristics: keysounds, key-signals and sound-marks. Sonic Localization Field is defined using a sound attenuation factor and ITD azimuth angle, respectively (Ii, Li). These pairs are used to build Spatial Sound Genotypes (SSG) and they are extracted from a waveform population set. An explanation on how our model was initially written in MATLAB is followed by a recent Pure Data (Pd) impleme…