Search results for "Programming"

showing 10 items of 3090 documents

Hypervisor-Based White Listing of Executables

2019

We describe an efficient system for ensuring code integrity of an operating system (OS), both its own code and application code. The proposed system can protect from an attacker who has full control over the OS kernel. An evaluation of the system's performance suggests the induced overhead is negligible. peerReviewed

operating systemsmicroprogrammingdatabasesvirtualisointiComputer Networks and CommunicationsComputer science0211 other engineering and technologiesListing (computer)02 engineering and technologycomputer.software_genre020204 information systemsMicrocode0202 electrical engineering electronic engineering information engineeringCode (cryptography)Overhead (computing)virtual machine monitorstietoturvaElectrical and Electronic Engineeringimage segmentation021110 strategic defence & security studieskäyttöjärjestelmätLinuxHypervisorcomputer.file_formatmonitoringOperating systemohjelmointiExecutableLawcomputerIEEE Security & Privacy
researchProduct

Modeling epidemics through ladder operators

2020

Highlights • We propose an operatorial model to describe epidemics. • The model describes well the asymptotic numbers of the epidemics. • Ladder operators are used to model exchanges between the “actors” of the system.

operatorial modelCoronavirus disease 2019 (COVID-19)Computer scienceSevere acute respiratory syndrome coronavirus 2 (SARS-CoV-2)General MathematicsGeneral Physics and Astronomy01 natural sciencesMeasure (mathematics)Quantitative Biology::OtherArticle010305 fluids & plasmasOperator (computer programming)Simple (abstract algebra)0103 physical sciencesApplied mathematicsQuantitative Biology::Populations and EvolutionLimit (mathematics)Quantitative Biology - Populations and Evolution010301 acousticsSettore MAT/07 - Fisica MatematicaApplied MathematicsPopulations and Evolution (q-bio.PE)Statistical and Nonlinear PhysicsComputer Science::Social and Information NetworksTransformation (function)Ladder operatorspreading of newsFOS: Biological sciences( H ρ ) -induced dynamicChaos, Solitons, and Fractals
researchProduct

Early science learning with a virtual tutor through multimedia explanations and feedback on spoken questions

2018

The purpose of this pilot study with a within-subject design was to gain a deeper understanding about the promise and restrictions of a virtual tutoring system designed to teach science to first grade students in Finland. Participants were 61 students who received six tutoring science sessions of approximately 20 min each. Sessions consisted of a sequence of narrated multimedia science presentations during which a virtual tutor explained science phenomena displayed in pictures. Narrated science explanations were followed by one or more multiple choice questions with immediate feedback about students’ choices and a possible second attempt, during which students reached 97% accuracy. A pretes…

oppiminenTeaching methodmedia_common.quotation_subjectContext (language use)computer.software_genrespoken questionsEducationConcept learningComputingMilieux_COMPUTERSANDEDUCATION0501 psychology and cognitive sciencesQuality (business)TUTORvirtual tutorscomputer.programming_languageMultiple choicemedia_commonmultimediaMultimediapalaute05 social sciencesEducational technology050301 educationtiedeTransfer of trainingPsychology0503 educationcomputer050104 developmental & child psychologyEducational Technology Research and Development
researchProduct

An Oral History of Programming Practices: Gender and Age Dynamics and Digital (Dis)Engagement Among Computer Programmers in Finland

2015

Since the 1980s, educational policies in many countries have aimed at improving the computer literacy and programming competencies of the population. Over the same period, the possibilities that people have seen regarding programming and everyday programming practices have emerged as an area of strong interest within historical scholarship. The paper contributes to these discussions by drawing on techniques of oral history to focus on programming hobbies and practices in Finland. Examining data from a massive survey of computer hobbyists (N = 1,453) and their recollections about personal computer use (largely during the 1980s), the paper gathers new information on what leads to people’s pur…

oral historylcsh:T58.5-58.64lcsh:Information technologygenderonline surveydigital disengagementprogramming
researchProduct

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…

origamitComputer sciencecomputer.software_genre01 natural sciencesEducationorigamiComputingMilieux_COMPUTERSANDEDUCATIONDevelopmental and Educational Psychology0101 mathematicscomputer.programming_languagecodingMultimedia010102 general mathematics05 social sciences050301 educationScratchLscratchScratchfractalsfraktaalitohjelmointi0503 educationcomputerSocial Sciences (miscellaneous)Coding (social sciences)Open Education Studies
researchProduct

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.

osittaisdifferentiaaliyhtälötPure mathematicsComputer Science::Computer Science and Game TheoryTug of war010102 general mathematicslocal Lipschitz estimatesLipschitz continuity01 natural sciencesnormalized p(x)-laplaciandynamic programming principle010104 statistics & probabilityMathematics - Analysis of PDEsFOS: Mathematicspeliteoria91A05 91A15 91A50 35B65 35J60 35J92stochastic games0101 mathematicsValue (mathematics)AnalysisAnalysis of PDEs (math.AP)Mathematicsstokastiset prosessit
researchProduct

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…

p53Embryo NonmammalianDNA damagehaukiUltraviolet RaysBlotting WesternNorthern pikeGene ExpressionPyrimidine dimerBiologyEyeBiochemistryProtein expressionultravioletti-B-säteilyDNA-vauriotAnimalsHSP70 Heat-Shock ProteinsPhysical and Theoretical ChemistryEsoxHSP70kalan alkiopoikasetPikecomputer.programming_languageEpidermis (botany)BrainEmbryoGeneral MedicineAnatomybiology.organism_classificationMolecular biologyultraviolet-BImmunohistochemistryfish embryosHsp70Pyrimidine DimersEsocidaeDNA damageEpidermisTumor Suppressor Protein p53computerDNA DamagePhotochemistry and photobiology
researchProduct

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…

partner selectionkoneoppiminenbrood recombinationgeneettiset algoritmitmonimuotoisuusgenetic programmingevoluutiolaskenta
researchProduct

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

patentsIntellectual propertyGermanManagement of Technology and InnovationBenchmark (surveying)Germany0502 economics and businessEconomics050207 economicsEmpirical evidenceintellectual property strategyta512Utility modelta511Public economics05 social sciencesRank (computer programming)patenttijärjestelmäthyödyllisyysmallitShort lifelanguage.human_languagetwo-tiered patent systemutility modellanguagePatentpatentitPatent systemGeneral Economics Econometrics and Finance050203 business & managementEconomics of Innovation and New Technology
researchProduct

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

photoemission spectroscopyPhotoemission spectroscopyComputer sciencephotoelectron spectroscopy02 engineering and technology021001 nanoscience & nanotechnologyCondensed Matter Physics01 natural sciencesEngineering physics530X-ray photoelectron spectroscopyhard x-ray photoelectron spectroscopy0103 physical sciencesSnapshot (computer storage)General Materials Scienceddc:530Instrumentation (computer programming)010306 general physics0210 nano-technologyDen kondenserade materiens fysik
researchProduct