Search results for "COMPUTATION"

showing 10 items of 7362 documents

"If I don’t enjoy it, how are my kids going to enjoy it?" : case study in English grammar teaching

2015

The question over how grammar should be taught has been discussed amongst s everal linguistics scholars. Different grammar teaching methods present different focus on the target language, grammar and learner’s role. All of the methods have their strengths and weaknesses and in order to know which method to pick, one must know all the strengths and weaknesses of these methods. In this case study, a teacher from Central Finland was interviewed on her grammar teaching methods and the reasons behind these methods for fifth-graders. Factors influencing her selection of methods were the grammatical topic to be taught, learners’ different learning styles, relevance of the topic and the most natura…

learner- centeredTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputingMilieux_COMPUTERSANDEDUCATIONstrengths and weaknessesgrammar teaching methods
researchProduct

Virtual screening : development of a novel structure-based method

2013

ligandipohjaiset menetelmätmolekyylimekaniikkanegative image-based screeninglääkeainekehitysrakennepohjaiset menetelmätliganditvirtual screeningmolecular dynamicscomputational drug discoverylääkesuunnittelulääkeaihiotlaskennalliset menetelmätmolekyylidynamiikkavirtuaaliseulontabinding free energy
researchProduct

Kinematics of perceived dyadic coordination in dance

2019

We investigated the relationships between perceptions of similarity and interaction in spontaneously dancing dyads, and movement features extracted using novel computational methods. We hypothesized that dancers’ movements would be perceived as more similar when they exhibited spatially and temporally comparable movement patterns, and as more interactive when they spatially oriented more towards each other. Pairs of dancers were asked to move freely to two musical excerpts while their movements were recorded using optical motion capture. Subsequently, in two separate perceptual experiments we presented stick figure animations of the dyads to observers, who rated degree of interaction and si…

liikkeetliikeoppivuorovaikutuskoordinaatio (motoriikka)tanssiHuman behaviourComputational sciencelcsh:Rlcsh:Medicinekehonhallintalcsh:Qlcsh:ScienceArticleScientific Reports
researchProduct

The Syllogistic with Unity

2011

We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.

logic and natural languageFOS: Computer and information sciencesPure mathematicsComputer Science - Logic in Computer Sciencecomputational complexityComputational complexity theoryComputational logicSyllogismMathematics - Logicproof theorysyllogismsDerivation relationLogic in Computer Science (cs.LO)Reductio ad absurdumPhilosophyPhilosophy of logicProof theoryCalculusFOS: MathematicsF.4.0Logic (math.LO)Finite setMathematics03B65
researchProduct

Logic and the Myth of the Perfect Language

2010

We argue that the dream of a ‘perfect language’ – namely, a universal, unambiguous and semantically transparent medium of expression –, whose intriguing story has been told by Umberto Eco (1993), is deeply intertwined with the myth of instant rationality: the idea that a perfect language is one in which all logical relations becomeimmediatly visible, so that the language itself “does the thinkingfor us” (Frege 1884). In the first part of this paper we trace this versionof the dream in the works of Leibniz, Frege, Russell and Wittgenstein. In the second part we re-examine it in the light of more recent negative results in logic and theoretical computer science.

logiccomputa- tional complexitycomputational complexity.perfect languageSettore M-FIL/05 - Filosofia E Teoria Dei Linguaggiperfect language; instant rationality; logic; computa- tional complexityinstant rationality
researchProduct

Механика композитных материалов, 2022, Т. 58, No 1, Январь-февраль

2022

low-velocity impactcomposite structure:NATURAL SCIENCES::Physics::Other physics::Computational physics [Research Subject Categories]statistical controlmechanical propertiespolypropylene
researchProduct

Updating strategies for distance based classification model with recursive least squares

2022

Abstract. The idea is to create a self-learning Minimal Learning Machine (MLM) model that is computationally efficient, easy to implement and performs with high accuracy. The study has two hypotheses. Experiment A examines the possibilities of introducing new classes with Recursive Least Squares (RLS) updates for the pre-trained self learning-MLM model. The idea of experiment B is to simulate the push broom spectral imagers working principles, update and test the model based on a stream of pixel spectrum lines on a continuous scanning process. Experiment B aims to train the model with a significantly small amount of labelled reference points and update it continuously with (RLS) to reach ma…

luokitus (toiminta)Minimal Learning Machinemachine learningkoneoppiminenclassificationhyperspectral imagingkaukokartoitusRecursive Least Squaresreal-time computationhyperspektrikuvantaminen
researchProduct

Investigating Novice Developers’ Code Commenting Trends Using Machine Learning Techniques

2023

Code comments are considered an efficient way to document the functionality of a particular block of code. Code commenting is a common practice among developers to explain the purpose of the code in order to improve code comprehension and readability. Researchers investigated the effect of code comments on software development tasks and demonstrated the use of comments in several ways, including maintenance, reusability, bug detection, etc. Given the importance of code comments, it becomes vital for novice developers to brush up on their code commenting skills. In this study, we initially investigated what types of comments novice students document in their source code and further categoriz…

luokitus (toiminta)Numerical Analysismachine learning techniquesohjelmistokehittäjätvasta-alkajatTheoretical Computer Sciencesource code commentsComputational MathematicskoneoppiminenclassificationComputational Theory and Mathematicssource code comments; classification; machine learning techniqueslähdekooditohjelmointiohjelmistokehitysAlgorithms; Volume 16; Issue 1; Pages: 53
researchProduct

Discovery of Retinoic Acid-Related Orphan Receptor γt Inverse Agonists via Docking and Negative Image-Based Screening

2018

Retinoic acid-related orphan receptor γt (RORγt) has a vital role in the differentiation of T-helper 17 (TH17) cells. Potent and specific RORγt inverse agonists are sought for treating TH17-related diseases such as psoriasis, rheumatoid arthritis, and type 1 diabetes. Here, the aim was to discover novel RORγt ligands using both standard molecular docking and negative image-based screening. Interestingly, both of these in silico techniques put forward mostly the same compounds for experimental testing. In total, 11 of the 34 molecules purchased for testing were verified as RORγt inverse agonists, thus making the effective hit rate 32%. The pIC50 values for the compounds varied from 4.9 (11 μ…

lymphocytes0301 basic medicinedrug designGeneral Chemical EngineeringIn silicoRetinoic acidStructural diversityComputational biologyta3111Scaffold hopping01 natural sciencesArticlelääkesuunnittelulcsh:Chemistry03 medical and health scienceschemistry.chemical_compoundRAR-related orphan receptor gammaInverse agonistOrphan receptorligandsChemistryta1182liganditGeneral Chemistryproteins0104 chemical sciences010404 medicinal & biomolecular chemistry030104 developmental biologylcsh:QD1-999Docking (molecular)proteiinitlymfosyytitACS Omega
researchProduct

Lyapunov quantities and limit cycles in two-dimensional dynamical systems : analytical methods, symbolic computation and visualization

2011

mallintaminenLienard systemhidden oscillationslimit cyclesLyapunov exponentsdynamical systemssymbolic computationLyapunov quantitiesPoincare-Lyapunov constantscomputer visualizationtwo-dimensional dynamical systemsKolmogorov's problemmatemaattiset mallittietojenkäsittely
researchProduct