Search results for "Computer and Information Science"

showing 10 items of 1335 documents

Extended Natural Numbers and Counters

2020

Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.

Applied Mathematics03e10 68v20Mathematics::General Topology020207 software engineeringNatural number0102 computer and information sciences02 engineering and technologysequence01 natural sciencesCombinatoricsComputational MathematicsMathematics::Logic010201 computation theory & mathematicscardinal0202 electrical engineering electronic engineering information engineeringextended natural numbersQA1-939MathematicsMathematicsSequence (medicine)MathematicsofComputing_DISCRETEMATHEMATICSFormalized Mathematics
researchProduct

Identification of multiplicatively acting modulatory mutational signatures in cancer

2022

Abstract Background A deep understanding of carcinogenesis at the DNA level underpins many advances in cancer prevention and treatment. Mutational signatures provide a breakthrough conceptualisation, as well as an analysis framework, that can be used to build such understanding. They capture somatic mutation patterns and at best identify their causes. Most studies in this context have focused on an inherently additive analysis, e.g. by non-negative matrix factorization, where the mutations within a cancer sample are explained by a linear combination of independent mutational signatures. However, other recent studies show that the mutational signatures exhibit non-additive interactions. Resu…

Applied Mathematics3122 CancersMutational signatures113 Computer and information sciencesBiochemistryComputer Science ApplicationsStructural BiologyNeoplasmsMutationModulatory processesHumanssyöpätauditmutaatiotMolecular BiologyCancerBMC Bioinformatics
researchProduct

Wireless Caching Aided 5G Networks

2018

Article SubjectComputer Networks and CommunicationsComputer science5G-tekniikka0102 computer and information sciences02 engineering and technology01 natural scienceslcsh:Technologylcsh:Telecommunicationlcsh:TK5101-67200202 electrical engineering electronic engineering information engineeringWirelessElectrical and Electronic Engineeringwireless cachingta213business.industrylcsh:T020206 networking & telecommunications010201 computation theory & mathematicsnetworksbusiness5G5Glangattomat verkotInformation SystemsComputer networkWireless Communications and Mobile Computing
researchProduct

State classification for autonomous gas sample taking using deep convolutional neural networks

2017

Despite recent rapid advances and successful large-scale application of deep Convolutional Neural Networks (CNNs) using image, video, sound, text and time-series data, its adoption within the oil and gas industry in particular have been sparse. In this paper, we initially present an overview of opportunities for deep CNN methods within oil and gas industry, followed by details on a novel development where deep CNN have been used for state classification of autonomous gas sample taking procedure utilizing an industrial robot. The experimental results — using a deep CNN containing six layers — show accuracy levels exceeding 99 %. In addition, the advantages of using parallel computing with GP…

Artificial neural networkComputer sciencebusiness.industryProperty (programming)Feature extraction0102 computer and information sciences02 engineering and technologyMachine learningcomputer.software_genre01 natural sciencesConvolutional neural networklaw.inventionImage (mathematics)Industrial robot020401 chemical engineeringComputer engineering010201 computation theory & mathematicslawProbability distributionArtificial intelligenceState (computer science)0204 chemical engineeringbusinesscomputer2017 25th Mediterranean Conference on Control and Automation (MED)
researchProduct

A new styracosternan hadrosauroid (Dinosauria: Ornithischia) from the Early Cretaceous of Portell, Spain

2021

A new styracosternan ornithopod genus and species is described based on the right dentary of a single specimen from the Mirambell Formation (Early Cretaceous, early Barremian) at the locality of Portell, (Castellón, Spain).Portellsaurus sosbaynatigen. et sp. nov. is diagnosed by two autapomorphic features as well as a unique combination of characters. The autapomorphies include: the absence of a bulge along the ventral margin directly ventral to the base of the coronoid process and the presence of a deep oval cavity on the medial surface of the mandibular adductor fossa below the eleventh-twelfth tooth position. Phylogenetic analyses reveal that the new Iberian form is more closely related …

Bacterial DiseasesAutapomorphyTeethPhysiologyDigestive PhysiologyMandible010502 geochemistry & geophysics01 natural sciencesDinosaursMedical ConditionsornithischiaCariesMedicine and Health SciencesMusculoskeletal SystemdinosaursPhylogenyData ManagementArchosauriaCretaceous PeriodMultidisciplinarybiologyFossilsQREukaryotaPhylogenetic AnalysisGeologyPrehistoric AnimalsBiodiversityBiological EvolutionCretaceousPhylogeneticsInfectious DiseasesOuranosaurusMesozoic EraMedicineAnatomyOrnithischiaCretaceous periodOrnithischiaResearch ArticleComputer and Information Sciences010506 paleontologyScienceVertebrate PaleontologyMantellisaurusdentitionPaleontologySymphysesAnimalsDentitionEvolutionary SystematicsPaleozoologyTaxonomy0105 earth and related environmental sciencesteethEvolutionary Biologyphylogenetic analysisOrganismsBiology and Life SciencesPaleontologyGeologic TimeBariliumsymphysesbiology.organism_classificationJawSpainEarth SciencesIguanodonPaleobiologyDigestive SystemHeadZoologyOrnithopod
researchProduct

Reference set of Mycobacterium tuberculosis clinical strains: A tool for research and product development

2018

TheMycobacterium tuberculosiscomplex (MTBC) causes tuberculosis (TB) in humans and various other mammals. The human-adapted members of the MTBC comprise seven phylogenetic lineages that differ in their geographical distribution. There is growing evidence that this phylogenetic diversity modulates the outcome of TB infection and disease. For decades, TB research and development has focused on the two canonical MTBC reference strains H37Rv and Erdman, both of which belong to Lineage 4. Relying on only a few laboratory-adapted strains can be misleading as study results might not be directly transferrable to clinical settings where patients are infected with a diverse array of strains, includin…

Bacterial DiseasesResearch FacilitiesExtensively Drug-Resistant TuberculosisLineage (evolution)DiseaseAnimal PhylogeneticsMedicine and Health SciencesPhylogenyData Management0303 health sciencesGeographyPhylogenetic treeStrain (biology)QRGenomics3. Good healthActinobacteriaPhylogeneticsPhylogeographyInfectious DiseasesBiogeographyMycobacterium tuberculosis complexMedicineResearch LaboratoriesResearch ArticleComputer and Information SciencesTuberculosisTuberculosiScienceBiologyResearch and Analysis MethodsMycobacterium tuberculosis03 medical and health sciencesGenomic MedicineGeneticsmedicineTuberculosisHumansEvolutionary SystematicsTaxonomy030304 developmental biologyEvolutionary BiologyPopulation BiologyBacteria030306 microbiologyEcology and Environmental SciencesOrganismsBiology and Life SciencesGenetic VariationMycobacterium tuberculosisTropical Diseasesbiology.organism_classificationmedicine.diseaseGenòmicaPhylogenetic diversityEvolutionary biologyEarth SciencesZoologyPopulation Genetics
researchProduct

Factors affecting peak impact force during soccer headers and implications for the mitigation of head injuries

2020

It has been documented that up to 22% of all soccer injuries are concussions. This is in part due to players purposely using their head to direct the ball during play. To provide a more complete understanding of head trauma in soccer athletes, this study characterized the effects of four soccer ball characteristics (size, inflation pressure, mass, velocity) on the resulting peak impact force as it relates to the potential for incurring neurophysiological changes. A total of six hundred trials were performed on size 4 and 5 soccer balls as well as a novel lightweight soccer ball. Impact force was measured with a force plate and ball velocity was determined using motion capture. These data we…

Ball velocityCritical Care and Emergency MedicinePhysiologyVelocitySocial Sciences0302 clinical medicineMedicine and Health SciencesPsychologyTrauma MedicineMathematicsMultidisciplinaryPhysicsQRClassical MechanicsSoftware EngineeringGame playSports ScienceBiomechanical PhenomenaElectrophysiologyHead InjuryBall sizePhysical SciencesAthletic InjuriesBall (bearing)Safety EquipmentMedicineEngineering and TechnologyImpactAnatomyTraumatic InjuryResearch ArticleSportsmedicine.medical_specialtyComputer and Information SciencesScienceAccelerationNeurophysiologyMotion captureModels BiologicalComputer Software03 medical and health sciencesMotionPhysical medicine and rehabilitationSoccermedicineHumansSports and Exercise MedicineBrain ConcussionBehaviorBiology and Life Sciences030229 sport sciencesAdditional researchRecreationStress Mechanicalhuman activitiesHead030217 neurology & neurosurgeryNeurosciencePLoS ONE
researchProduct

Rejection odds and rejection ratios: A proposal for statistical practice in testing hypotheses

2016

Much of science is (rightly or wrongly) driven by hypothesis testing. Even in situations where the hypothesis testing paradigm is correct, the common practice of basing inferences solely on p-values has been under intense criticism for over 50 years. We propose, as an alternative, the use of the odds of a correct rejection of the null hypothesis to incorrect rejection. Both pre-experimental versions (involving the power and Type I error) and post-experimental versions (depending on the actual data) are considered. Implementations are provided that range from depending only on the p-value to consideration of full Bayesian analysis. A surprise is that all implementations -- even the full Baye…

Bayes' ruleFOS: Computer and information sciencesComputer sciencemedia_common.quotation_subjectBayesian probabilityBayesian01 natural sciencesArticle050105 experimental psychologyStatistical powerOddsMethodology (stat.ME)010104 statistics & probabilityFrequentist inferenceBayes factorsEconometrics0501 psychology and cognitive sciencesp-value0101 mathematicsFrequentistPsychology(all)General PsychologyStatistics - Methodologymedia_commonMathematicsStatistical hypothesis testingApplied Mathematics05 social sciencesBayes factorSurpriseOddsNull hypothesisType I and type II errorsJournal of Mathematical Psychology
researchProduct

Decoding Children's Social Behavior

2013

We introduce a new problem domain for activity recognition: the analysis of children's social and communicative behaviors based on video and audio data. We specifically target interactions between children aged 1-2 years and an adult. Such interactions arise naturally in the diagnosis and treatment of developmental disorders such as autism. We introduce a new publicly-available dataset containing over 160 sessions of a 3-5 minute child-adult interaction. In each session, the adult examiner followed a semi-structured play interaction protocol which was designed to elicit a broad range of social behaviors. We identify the key technical challenges in analyzing these behaviors, and describe met…

Behavior Psychology Dataset Video analysis Speech Analysis AutismInter-action protocolsSocial and communicative behaviorInteraction protocol02 engineering and technologycomputer.software_genreAnnan data- och informationsvetenskapSession (web analytics)Activity recognitionTechnical challenges0202 electrical engineering electronic engineering information engineeringmedicineSocial behaviorAudio signal processingMultimediabusiness.industryDevelopmental disorders020207 software engineeringmedicine.diseaseSemi-structuredResearch questionsActivity recognitionProblem domainKey (cryptography)Autism020201 artificial intelligence & image processingArtificial intelligencePsychologybusinessOther Computer and Information SciencecomputerCognitive psychologySocial behavior2013 IEEE Conference on Computer Vision and Pattern Recognition
researchProduct

Big Data in metagenomics: Apache Spark vs MPI.

2020

The progress of next-generation sequencing has lead to the availability of massive data sets used by a wide range of applications in biology and medicine. This has sparked significant interest in using modern Big Data technologies to process this large amount of information in distributed memory clusters of commodity hardware. Several approaches based on solutions such as Apache Hadoop or Apache Spark, have been proposed. These solutions allow developers to focus on the problem while the need to deal with low level details, such as data distribution schemes or communication patterns among processing nodes, can be ignored. However, performance and scalability are also of high importance when…

Big DataComputer and Information SciencesScienceBig dataMessage Passing InterfaceParallel computingResearch and Analysis MethodsComputing MethodologiesComputing MethodologiesComputer ArchitectureComputer SoftwareDatabase and Informatics MethodsSoftwareSpark (mathematics)GeneticsMammalian GenomicsMultidisciplinarybusiness.industryApplied MathematicsSimulation and ModelingQRBiology and Life SciencesComputational BiologySoftware EngineeringGenomicsDNAGenomic DatabasesGenome AnalysisComputer HardwareSupercomputerBiological DatabasesAnimal GenomicsPhysical SciencesScalabilityEngineering and TechnologyMetagenomeMedicineDistributed memoryMetagenomicsbusinessMathematicsAlgorithmsGenome BacterialSoftwareResearch ArticlePLoS ONE
researchProduct