Search results for "virhe"

showing 10 items of 91 documents

Finding Software Bugs in Embedded Devices

2021

AbstractThe goal of this chapter is to introduce the reader to the domain of bug discovery in embedded systems which are at the core of the Internet of Things. Embedded software has a number of particularities which makes it slightly different to general purpose software. In particular, embedded devices are more exposed to software attacks but have lower defense levels and are often left unattended. At the same time, analyzing their security is more difficult because they are very “opaque”, while the execution of custom and embedded software is often entangled with the hardware and peripherals. These differences have an impact on our ability to find software bugs in such systems. This chapt…

021110 strategic defence & security studiessulautettu tietotekniikkaComputer sciencebusiness.industryembedded devices0211 other engineering and technologies020207 software engineering02 engineering and technologysecurityField (computer science)Domain (software engineering)Embedded softwareSoftwareSoftware bugohjelmointivirheetSoftware deploymentEmbedded systemsoftware bugs0202 electrical engineering electronic engineering information engineeringtietoturvabusinessInternet of ThingsGeneral purpose software
researchProduct

Genome-wide association meta-analysis highlights light-induced signaling as a driver for refractive error

2018

Skin affections after sulfur mustard (SM) exposure include erythema, blister formation and severe inflammation. An antidote or specific therapy does not exist. Anti-inflammatory compounds as well as substances counteracting SM-induced cell death are under investigation. In this study, we investigated the benzylisoquinoline alkaloide berberine (BER), a metabolite in plants like berberis vulgaris, which is used as herbal pharmaceutical in Asian countries, against SM toxicity using a well-established in vitro approach. Keratinocyte (HaCaT) mono-cultures (MoC) or HaCaT/THP-1 co-cultures (CoC) were challenged with 100, 200 or 300 mM SM for 1 h. Post-exposure, both MoC and CoC were treated with 1…

0301 basic medicineAdultMaleCell typeResearchInstitutes_Networks_Beacons/MICRAIn silicotaittovirheetGenome-wide association studyRetinal Pigment EpitheliumBiologyBlindnessPolymorphism Single NucleotideSensory disorders Donders Center for Medical Neuroscience [Radboudumc 12]ArticleRetinaWhite People03 medical and health sciencesHIGH-GRADE MYOPIA ; RETINAL-PIGMENT EPITHELIUM ; SEROTONIN PATHWAY GENES ; FORM-DEPRIVATION MYOPIA ; COMMON VARIANTS ; OCULAR GROWTH ; RETINITIS-PIGMENTOSA ; GENOTYPE IMPUTATION ; MISSENSE MUTATIONS ; DOPAMINE-RECEPTORSAsian Peoplerefractive errorsRetinitis pigmentosaGeneticsmedicineMyopiaJournal ArticleHumansGenetic Predisposition to Disease610 Medicine & healthRegulation of gene expressionRetinaRetinal pigment epitheliummedicine.diseaseRefractive Errors030104 developmental biologymedicine.anatomical_structureManchester Institute for Collaborative Research on AgeingGene Expression Regulationgenetic factorsEye disorderFemalesense organsgeneettiset tekijätNeuroscienceGenome-Wide Association StudySignal Transduction
researchProduct

Fully reliable a posteriori error control for evolutionary problems

2015

Cauchy problemevolutionary problem of parabolic typeerror indicatorsosittaisdifferentiaaliyhtälötnumeeriset menetelmätvirheetOstrowski estimatesreaction-diffusion equationPoincaré-type estimatesnumeerinen analyysifunctional type a posteriori error estimatesepäyhtälötvirheanalyysiPicard-Lindelöf methoddifferentiaaliyhtälöt
researchProduct

Näkemys oikeudenmukaisuudesta ja kihlakunnantuomarin viraltapano 1700-luvun puolivälin Vanhassa Suomessa

2021

Sven Johan Östring hoiti Vanhassa Suomessa sijainneen Savonlinnan tuomiokunnan kihlakunnantuomarin virkaa reilun vuosikymmen ajan keväästä 1747 kesään 1760. Kihlakunnantuomarin ja tuomiokunnan rahvaan välit kärjistyivät 1750-luvun lopulla talonpoikien valittaessa toistuvasti tuomari Östringin väärinkäytöksistä. Talonpoikien mukaan kihlakunnantuomari Östring oli heidän vihamiehensä. Artikkelissa kysytään, miten virkavirhevalitusprosessit etenivät ja mitkä syyt johtivat lopulta kihlakunnantuomarin viraltapanoon. Kihlakunnantuomari Östringin väärinkäytökset olivat luonteeltaan pääasiassa taloudellisia. Valituksissa korostui kuitenkin taloudellisia menetyksiä vahvemmin talonpoikien näkemys oike…

CorruptionViranhoitoväärinkäytöksethenkilöhistoriamedia_common.quotation_subjecthyvä hallintoHistory (General)Economic JusticeDismissalPolitical scienceDD1-2009mikrohistoriavirkavirheethallintohistoriaVanha SuomioikeuslaitosVertaisarvioitu artikkelimedia_commonJurisdictionSavonlinnan tuomiokuntaÖstring Sven JohanAdversaryoikeudenmukaisuusLawRhetorickorruptiokihlakunnantuomaritHistory (General) and history of Europejulkinen hallinto1700-luku
researchProduct

Guaranteed and computable error bounds for approximations constructed by an iterative decoupling of the Biot problem

2021

The paper is concerned with guaranteed a posteriori error estimates for a class of evolutionary problems related to poroelastic media governed by the quasi-static linear Biot equations. The system is decoupled by employing the fixed-stress split scheme, which leads to an iteratively solved semi-discrete system. The error bounds are derived by combining a posteriori estimates for contractive mappings with functional type error control for elliptic partial differential equations. The estimates are applicable to any approximation in the admissible functional space and are independent of the discretization method. They are fully computable, do not contain mesh-dependent constants, and provide r…

DiscretizationPoromechanics010103 numerical & computational mathematicsContraction mappings01 natural sciencesFOS: MathematicsDecoupling (probability)Applied mathematicsMathematics - Numerical Analysis0101 mathematicsvirheanalyysiMathematicsa posteriori error estimatesosittaisdifferentiaaliyhtälötA posteriori error estimatesfixed-stress split iterative schemeBiot numberNumerical Analysis (math.NA)Biot problem010101 applied mathematicsComputational MathematicsBiot problem; Fixed-stress split iterative scheme; A posteriori error estimates; Contraction mappingsComputational Theory and MathematicsElliptic partial differential equationModeling and SimulationNorm (mathematics)contraction mappingsA priori and a posterioriFixed-stress split iterative schemenumeerinen analyysiapproksimointiError detection and correction
researchProduct

Corrective feedback and learner uptake in an EFL classroom

2007

English as a foreign languageclassroom discourselearner uptakepalautevirheetcorrective feedbackopetusenglannin kieliomaksuminen
researchProduct

Mislabel Detection of Finnish Publication Ranks

2019

The paper proposes to analyze a data set of Finnish ranks of academic publication channels with Extreme Learning Machine (ELM). The purpose is to introduce and test recently proposed ELM-based mislabel detection approach with a rich set of features characterizing a publication channel. We will compare the architecture, accuracy, and, especially, the set of detected mislabels of the ELM-based approach to the corresponding reference results on the reference paper.

FOS: Computer and information sciencesComputer Science - Machine LearningComputer sciencerankinglistatMachine Learning (stat.ML)computer.software_genreMachine Learning (cs.LG)Set (abstract data type)Statistics - Machine LearningDigital Libraries (cs.DL)julkaisukanavatvirheanalyysimislabel detectionExtreme learning machineExtreme Learning Machine (ELM)publication channelsComputer Science - Digital LibrariesData setkoneoppiminendataData miningrankingsarviointicomputertieteellinen julkaisutoimintaCommunication channel
researchProduct

NewSQL Database Management System Compiler Errors : Effectiveness and Usefulness

2022

Modern database management is often faced with a high number of concurrent end-users, and the need for database distribution to ensure fault tolerance and high throughput. To flexibly address these challenges, many modern database management systems (DBMS) provide highly automated and effortless, i.e., highly usable database distribution, deployment, and maintenance. However, the usability considerations are yet to extend from the aforementioned DBMS features to query language compilers. In this study, based on participant answers (N = 157), we compare the error message qualities of four modern DBMSs (CockroachDB, SingleStore, NuoDB, and VoltDB) using one objective and three subjective metr…

Human-Computer InteractionSQLkäytettävyysihmisen ja tietokoneen vuorovaikutusviestitvirheettietokannatHuman Factors and ErgonomicskyselykieletComputer Science Applicationstietojärjestelmätkäyttäjätutkimus
researchProduct

Errors and Complications in SQL Query Formulation

2018

SQL is taught in almost all university level database courses, yet SQL has received relatively little attention in educational research. In this study, we present a database management system independent categorization of SQL query errors that students make in an introductory database course. We base the categorization on previous literature, present a class of logical errors that has not been studied in detail, and review and complement these findings by analyzing over 33,000 SQL queries submitted by students. Our analysis verifies error findings presented in previous literature and reveals new types of errors, namely logical errors recurring in similar manners among different students. We…

Information managementlanguagesSQLkieli ja kieletGeneral Computer ScienceComputer scienceexercise designListing (computer)02 engineering and technologytietotekniikkaQuery languageDatabase designkyselykieletEducation020204 information systemsstandardointi0202 electrical engineering electronic engineering information engineeringComputingMilieux_COMPUTERSANDEDUCATIONerrorstietojenkäsittelycomputer.programming_languageComplement (set theory)inhimilliset tekijätta113query languagesstandardizationClass (computer programming)SQLInformation retrievalInformationSystems_DATABASEMANAGEMENT020207 software engineeringCategorizationvirheetcomputerhuman factors
researchProduct

Comparison of myopic progression in Finnish and Singaporean children

2020

Purpose To compare 3-year myopic progression between Finnish and Singaporean children. Methods Myopic progression was compared between 9-year-old (mean age 9.7 ± 0.4 years, n = 92) and 11-year-old (mean age 11.7 ± 0.4 years, n = 144) Finnish (Finnish RCT) children and Singaporean children matched by age and refraction (SCORMMatched, n = 403) and 7- to 8-year-old Singaporean children matched only by refraction (SCORM Young, n = 186). Spherical equivalent (SE) was between −0.50 and −3.00 D. Refraction with cycloplegia was controlled annually for 3 years. Information on parental myopia, mother’s education, time spent on near-work and outdoor time was gathered by parental questionnaire. Results…

MalePediatricsmedicine.medical_specialtyYounger agegenetic structurestaittovirheetlikinäköisyysSpherical equivalentlapset (ikäryhmät)Refraction Ocularlaw.invention03 medical and health sciencesnear work0302 clinical medicineRandomized controlled trialRisk FactorslawSurveys and QuestionnairesSuomiMyopiaHumansMedicineNear workChildFinlandSingaporebusiness.industryVision TestsMean ageCycloplegiaGeneral Medicinemyopia progressionOphthalmologyoutdoorsDisease Progression030221 ophthalmology & optometryFemalemedicine.symptomage of baselinebusinessikä030217 neurology & neurosurgeryFollow-Up Studies
researchProduct