Search results for "Mathematic"

showing 10 items of 24974 documents

La transición de Educación Primaria a Educación Secundaria Obligatoria: sentido y significado del uso de recursos y espacios digitales

2019

espanolEl cambio de la Educacion Primaria a la Educacion Secundaria Obligatoria supone el trasvase de informacion y la colaboracion entre centros para realizar acciones conjuntas que faciliten el proceso de transicion y aprovechen el potencial de aprendizaje que ofrece el cambio. Las Tecnologias de la Informacion y la Comunicacion tienen un papel destacado en este proceso de cambio, ya que suponen un medio que facilita la comunicacion e intervencion entre centros, entre familias y entre estudiantes. El proposito fundamental es analizar el grado en que estas son consideradas como beneficiosas en el proceso de gestion del transito de la Primaria a la Secundaria respecto a las tareas de trasva…

ticlcsh:Theory and practice of educationApplied MathematicsGeneral MathematicsEnsenyament Innovacionslcsh:LB5-3640ReiDoCrea
researchProduct

Annales Fennici Mathematici : tieteellisen lehden uudistamistyö

2022

Tutkimuspalaverissa yhdysvaltalaisten kollegojen kanssa jälleen käydään keskustelua julkaisupaikasta artikkelillemme. Joku kysäisee pian ”What about the Finnish Annals?”, johon vastataan yleisesti positiivisin ja myöntyvin myhäilyin. Kansainvälisesti lehti muistetaankin monilla lempinimillä osittain johtuen sen alkuperäisestä pitkästä nimestä ”Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica”. Toisaalta vaikkei lehti aivan samalla tasolla olekaan kuin Princetonissa julkaistu johtava lehti Annals of Mathematics, niin on sitä myös pitkään arvostettu erityisesti suomalaisen tutkimuksen vahvuusalueella, analyysissä. nonPeerReviewed

tiedelehdetmatematiikkaInternational Physics Olympiad IPhOtieteellinen julkaisutoimintaAnnales Fennici Mathematici
researchProduct

Radical Besinnung in Formale und transzendentale Logik (1929)

2018

This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik (1929). Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and transcendental phenomenology. Ultimately the paper suggests that radical Besinnung should be viewed as a general methodological fram…

tieteenfilosofiaPhilosophy010102 general mathematicsfenomenologia06 humanities and the artsModern philosophy0603 philosophy ethics and religion01 natural sciencesPresuppositionEpistemologyPhenomenology (philosophy)PhilosophyHusserl Edmund060302 philosophyTranscendental number0101 mathematicsFormal science
researchProduct

A Study on the Assessment of Introductory Computational Thinking via Scratch Programming in Primary Schools

2018

Computational thinking (CT), a transversal intellectual foundation integral to computer science, is making its way into compulsory comprehensive education worldwide. Students are expected to attain skills and knowledge in such interdisciplinary CT principles as Algorithmic thinking, Data representation, and Debugging. Problem-solving by designing and manipulating interactive media with Scratch, a graphical programming tool, is popular especially at the primary school level. However, there has been confusion regarding how introductory CT can be operationalized for educational practice. Teachers and students need research-based knowledge for setting appropriate learning goals in addition to i…

tietokoneavusteinen opetusgraphical programmingComputer scienceassessment02 engineering and technologyalakouluprimary schoolFormative assessmentcomputational thinking020204 information systemsComputingMilieux_COMPUTERSANDEDUCATION0202 electrical engineering electronic engineering information engineeringMathematics educationta516computer.programming_languageVisual programming languageta113educationOperationalizationConceptualizationbusiness.industryComputational thinking05 social sciences050301 educationScratchAssessment for learningScratchohjelmointiongelmanratkaisubusiness0503 educationcomputerInteractive media
researchProduct

Arithmetic, Logic, Syntax and MathCheck

2019

MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primari…

tietokoneavusteinen opetusmatematiikkaoppiminenSyntax (programming languages)Computer sciencecomputer-aided educationtietokoneavusteinen oppiminencomputer science educationtietotekniikkaArithmeticmathematics educationProceedings of the 11th International Conference on Computer Supported Education
researchProduct

From South to North? Mobility of Southern Italian Students at the Transition from the First to the Second Level University Degree

2018

In the last decades, the Italian University System has encountered several structural reforms aimed at making it more internationally competitive. Among them, the introduction of the University financial autonomy has triggered an “internal” competition among Universities to attract students from the entire country. Students’ enrollment at the first level has decreased significantly especially after the economic crisis of 2008, while the students’ migration from the South to the Central and Northern regions of the country has increased. These phenomena have created further inequalities within the country and a cultural and socio-economic loss for the South that does not appear to slow down. …

time to eventInequalitymedia_common.quotation_subjectTransition (fiction)Financial autonomyDegree (music)Competition (economics)GeographyWork (electrical)Order (exchange)discrete-time competing risk modelMathematics educationstudents’ mobilityDemographic economicsSettore SECS-S/05 - Statistica Socialestudents’ mobility time to event discrete-time competing risk modelUniversity systemmedia_common
researchProduct

Time-like Proton Form Factors with Initial State Radiation Technique

2022

Electromagnetic form factors are fundamental quantities describing the internal structure of hadrons. They can be measured with scattering processes in the space-like region and annihilation processes in the time-like region. The two regions are connected by crossing symmetry. The measurements of the proton electromagnetic form factors in the time-like region using the initial state radiation technique are reviewed. Recent experimental studies have shown that initial state radiation processes at high luminosity electron-positron colliders can be effectively used to probe the electromagnetic structure of hadrons. The BABAR experiment at the B-factory PEP-II in Stanford and the BESIII experim…

time-likePhysics and Astronomy (miscellaneous)Chemistry (miscellaneous)General Mathematicselectromagnetic form factorsQA1-939Computer Science (miscellaneous)Computer Science::Programming Languagesinitial state radiationHigh Energy Physics::ExperimentComputer Science::Digital LibrariesMathematicsprotonSymmetry
researchProduct

A Time-Non-Homogeneous Double-Ended Queue with Failures and Repairs and Its Continuous Approximation

2018

We consider a time-non-homogeneous double-ended queue subject to catastrophes and repairs. The catastrophes occur according to a non-homogeneous Poisson process and lead the system into a state of failure. Instantaneously, the system is put under repair, such that repair time is governed by a time-varying intensity function. We analyze the transient and the asymptotic behavior of the queueing system. Moreover, we derive a heavy-traffic approximation that allows approximating the state of the systems by a time-non-homogeneous Wiener process subject to jumps to a spurious state (due to catastrophes) and random returns to the zero state (due to repairs). Special attention is devoted to the cas…

time-non-homogeneous jump-diffusion processesComputer scienceGeneral Mathematicsdouble-ended queues01 natural sciencestransition densitiesdouble-ended queues; time-non-homogeneous birth-death processes; catastrophes; repairs; transient probabilities; periodic intensity functions; time-non-homogeneous jump-diffusion processes; transition densities; first-passage-time010104 statistics & probabilitysymbols.namesakeZero state responseWiener processrepairsComputer Science (miscellaneous)Applied mathematicstime-non-homogeneous birth-death processes0101 mathematicsSpurious relationshipEngineering (miscellaneous)Queuefirst-passage-timeQueueing theorytransient probabilitieslcsh:Mathematics010102 general mathematicslcsh:QA1-939catastrophesperiodic intensity functionssymbolsDouble-ended queueFirst-hitting-time modelConstant (mathematics)Mathematics; Volume 6; Issue 5; Pages: 81
researchProduct

Single-cell analysis of population context advances RNAi screening at multiple levels

2012

Isogenic cells in culture show strong variability, which arises from dynamic adaptations to the microenvironment of individual cells. Here we study the influence of the cell population context, which determines a single cell's microenvironment, in image‐based RNAi screens. We developed a comprehensive computational approach that employs Bayesian and multivariate methods at the single‐cell level. We applied these methods to 45 RNA interference screens of various sizes, including 7 druggable genome and 2 genome‐wide screens, analysing 17 different mammalian virus infections and four related cell physiological processes. Analysing cell‐based screens at this depth reveals widespread RNAi‐induce…

toImage ProcessingDruggabilityGenomeImage analysis0302 clinical medicineComputer-AssistedSX00 SystemsX.ch2604 Applied MathematicsSingle-cell analysisRNA interferenceModels2400 General Immunology and MicrobiologyImage Processing Computer-AssistedViralRNA Small Interfering0303 health scienceseducation.field_of_studyApplied MathematicsSystems BiologyGenomics10124 Institute of Molecular Life SciencesCell biologycell variabilityComputational Theory and MathematicsCellular MicroenvironmentVirus DiseasesVirusesRNA ViralRNA InterferenceSingle-Cell AnalysisGeneral Agricultural and Biological SciencesInformation SystemsSystems biologyVirus infectionPopulationContext (language use)Genomics1100 General Agricultural and Biological SciencesBiologySmall InterferingModels BiologicalGeneral Biochemistry Genetics and Molecular BiologySX08 LipidX03 medical and health sciencesViral ProteinsCell-to-cell variability; Image analysis; Population context; RNAi; Virus infection1300 General Biochemistry Genetics and Molecular BiologyHumansComputer Simulationeducation030304 developmental biologyGeneral Immunology and MicrobiologyCell-to-cell variabilityReproducibility of ResultsBayes TheoremcellBiologicalPopulation contextRNAi570 Life sciences; biologyRNA030217 neurology & neurosurgeryHeLa CellsMolecular Systems Biology
researchProduct

Hölder regularity for stochastic processes with bounded and measurable increments

2022

We obtain an asymptotic Hölder estimate for expectations of a quite general class of discrete stochastic processes. Such expectations can also be described as solutions to a dynamic programming principle or as solutions to discretized PDEs. The result, which is also generalized to functions satisfying Pucci-type inequalities for discrete extremal operators, is a counterpart to the Krylov-Safonov regularity result in PDEs. However, the discrete step size $\varepsilon$ has some crucial effects compared to the PDE setting. The proof combines analytic and probabilistic arguments.

todennäköisyyslaskentamatematiikkaApplied Mathematicsp-harmoniousProbability (math.PR)tug-of-war gamesstochastic processdynamic programming principlelocal Hölder estimatesFOS: Mathematicsequations in nondivergence formp-Laplace35B65 35J15 60H30 60J10 91A50Mathematical PhysicsAnalysisAnalysis of PDEs (math.AP)stokastiset prosessit
researchProduct