Search results for "Number"

showing 10 items of 3939 documents

On Obtaining Classification Confidence, Ranked Predictions and AUC with Tsetlin Machines

2020

Tsetlin machines (TMs) are a promising approach to machine learning that uses Tsetlin Automata to produce patterns in propositional logic, leading to binary (hard) classifications. In many applications, however, one needs to know the confidence of classifications, e.g. to facilitate risk management. In this paper, we propose a novel scheme for measuring TM confidence based on the logistic function, calculated from the propositional logic patterns that match the input. We then use this scheme to trade off precision against recall, producing area under receiver operating characteristic curves (AUC) for TMs. Empirically, using four real-world datasets, we show that AUC is a more sensitive meas…

Scheme (programming language)Decision support systemReceiver operating characteristicComputer sciencebusiness.industry0206 medical engineeringBinary number02 engineering and technologyPropositional calculusMachine learningcomputer.software_genreAutomatonSupport vector machine0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingArtificial intelligenceLogistic functionbusinesscomputer020602 bioinformaticscomputer.programming_language2020 IEEE Symposium Series on Computational Intelligence (SSCI)
researchProduct

Biochemistry and molecular biology techniques for person characterization

2008

Using the traditional serological tests and the most novel techniques for DNA fingerprinting, forensic scientists scan different traits that vary from person to person and use the data to include or exclude suspects based on matching with the evidence obtained in a criminal case. Although the forensic application of these methods is well known, the procedures and techniques used to obtain these results are not so well studied. Here, we report a laboratory exercise aimed to familiarize the students in several of the methods and markers employed for people individualization. With this exercise, students have to characterize themselves and an unknown sample according to the following character…

Science instructionVariable number tandem repeatDNA profilingeducationCriminal caseBiologyMolecular BiologyBiochemistryMolecular biologyBlood typingBiochemistry and Molecular Biology Education
researchProduct

Interactive roll stabilization comparative analysis for large yacht: gyroscope versus active fins

2020

The problem of the active stabilization of ship motions is particularly important in the case of pleasure boats or in any case of passenger ships, since the commercial value of the ship is directly related to the comfort of the load transported in this case “people”, considered as stresses induced on them by the vessel movements, with particular attention to roll, given the ship geometric characteristics. Naval architects developed trough the years different solutions to reduce the roll of the ship, and consequentially to increase the passengers comfort, and the development of this solutions followed the progress of technology. Active fins have been the most used, but now the gyroscope solu…

SeakeepingComputer scienceGyroscopes020101 civil engineering02 engineering and technology01 natural sciencesShip motionsIndustrial and Manufacturing Engineering010305 fluids & plasmas0201 civil engineeringlaw.inventionsymbols.namesakelawHullSettore ING-IND/17 - Impianti Industriali Meccanici0103 physical sciencesFroude numberSettore ING-IND/01 - Architettura NavaleTowingYachtProcess (computing)GyroscopeNaval architectureModeling and SimulationRoll motionsymbolsEngineering design processStabilityStabilizerMarine engineeringInternational Journal on Interactive Design and Manufacturing (IJIDeM)
researchProduct

Triangular irreducibility of congruences in quasivarieties

2014

Certain forms of irreducibility as well as of equational definability of relative congruences in quasivarieties are investigated. For any integer \({m \geqslant 3}\) and a quasivariety Q, the notion of an m-triangularily meet-irreducible Q-congruence in the algebras of Q is defined. In Section 2, some characterizations of finitely generated quasivarieties involving this notion are provided. Section 3 deals with quasivarieties with equationally definable m-triangular meets of relatively principal congruences. References to finitely based quasivarieties and varieties are discussed.

Section (fiber bundle)Mathematics::LogicPure mathematicsAlgebra and Number TheoryQuasivarietyIntegerMathematics::General MathematicsMathematics::Rings and AlgebrasMathematics::General TopologyIrreducibilityFinitely-generated abelian groupCongruence relationMathematicsAlgebra Universalis
researchProduct

Distribution of Eigenvalues for Semi-classical Elliptic Operators with Small Random Perturbations, Results and Outline

2019

In this chapter we will state a result asserting that for elliptic semi-classical (pseudo-)differential operators the eigenvalues are distributed according to Weyl’s law “most of the time” in a probabilistic sense. The first three sections are devoted to the formulation of the results and in the last section we give an outline of the proof that will be carried out in Chaps. 16 and 17.

Section (fiber bundle)Pure mathematicsElliptic operatorDistribution (number theory)Probabilistic logicState (functional analysis)Differential operatorEigenvalues and eigenvectorsMathematics
researchProduct

Solid sediment transport in turbulent channel flow over irregular rough boundaries

2017

Abstract The presence of a loading of dispersed particles in a turbulent flow affects the dynamics of the carrier flow field which, in turn, drives grains movement. The focus of the paper is on the analysis of the coupling effects between near-bed turbulence structures and the dynamics of dispersed suspended solid particles in wall-bounded turbulent multiphase flows. We consider turbulent horizontal channel flows bounded by rough boundaries. The friction Reynolds number of the unladen flow is R e τ = 180 and the dispersed phase spans one order of magnitude of particle diameter. To analyze sedimentation and suspended phase transport, we adopt concepts and modeling ideas derived from the Eule…

Sedimentation (water treatment)Condensed Matter PhysicLagrangian particle tracking01 natural sciences010305 fluids & plasmasSettore ICAR/01 - IdraulicaPhysics::Fluid Dynamicssymbols.namesakePhase (matter)0103 physical sciences010306 general physicsPhysicsFluid Flow and Transfer ProcessesTurbulenceMechanical EngineeringParticle-laden flowReynolds numberParticle-laden flowsMechanicsCondensed Matter PhysicsTurbulenceClassical mechanicsFlow (mathematics)Point-particle DNSsymbolsLagrangian trackingParticle mass fluxRoughneOrder of magnitude
researchProduct

Assessing flow resistance law in vegetated channels by dimensional analysis and self-similarity

2019

Abstract In this paper experimental data collected by Kouwen et al., Wilson and Horrit, Raffaelli et al. and Carollo et al., using straight flumes having a bed covered by grass-like vegetation with different stem concentrations, were used to analyze flow resistance for flexible submerged elements. At first, the dimensional analysis and the incomplete self-similarity hypothesis was applied to deduce the flow velocity distribution and the resulting theoretical expression of the Darcy-Weisbach friction factor. Then, a relationship between the Γ function of the velocity profile and the biomechanical characteristics of vegetation, the channel slope, the Reynolds number and the flow Froude number…

Self-similarity0207 environmental engineering02 engineering and technology01 natural sciences010309 opticssymbols.namesakeOpen channel0103 physical sciencesFroude numberSettore AGR/08 - Idraulica Agraria E Sistemazioni Idraulico-ForestaliElectrical and Electronic Engineering020701 environmental engineeringInstrumentationMathematicsVegetationReynolds numberFunction (mathematics)VegetationMechanicsComputer Science ApplicationsDistribution (mathematics)Flow resistanceFlow velocityFlow (mathematics)Modeling and SimulationsymbolsFlow Measurement and Instrumentation
researchProduct

Assessing theoretical flow velocity profile and resistance in gravel bed rivers by field measurements

2018

Previous studies showed that integrating a power velocity profile, deduced applying dimensional analysis and the incomplete self-similarity condition, the flow resistance equation for open channel flow can be obtained. At first, in this paper the relationship between the Gamma function of the power velocity profile, the channel slope and the Froude number, which was already empirically introduced in a previous paper, is now theoretically deduced. Then this relationship is calibrated using the field measurements of flow velocity, water depth and bed slope carried out in 101 reaches of gravel bed rivers available by literature. The proposed relationship for estimating Gamma function and the t…

Self-similarityField (physics)0208 environmental biotechnologydimensional analysisBioengineering02 engineering and technologyIndustrial and Manufacturing Engineeringlcsh:Agriculturesymbols.namesakedimensional analysiRange (statistics)Froude numberflow velocity profile.lcsh:Agriculture (General)self-similarityflow velocity profileMechanical Engineeringlcsh:SFunction (mathematics)Mechanicslcsh:S1-972020801 environmental engineeringPower (physics)Open-channel flowFlow resistanceFlow velocitysymbolsGeologygravel bedJournal of Agricultural Engineering
researchProduct

Properties of a matrix group associated to a {K,s+1}-potent matrix

2012

In a previous paper, the authors introduced and characterized a new kind of matrices called {K,s+1}-potent. In this paper, an associated group to a {K, s+1}-potent matrix is explicitly constructed and its properties are studied. Moreover, it is shown that the group is a semidirect product of Z_2 acting on Z_{(s+1)^2-1}. For some values of s, more specifications on the group are derived. In addition, some illustrative examples are given.

Semidirect productAlgebra and Number TheoryGroup (mathematics)Involutory matrixMatrius (Matemàtica)CombinatoricsAlgebraMatrix (mathematics)Matrix groupGroupInvolutory matrixÀlgebra linealMATEMATICA APLICADAMathematics{K s + 1}-potent matrix
researchProduct

NURE: An ERC project to study nuclear reactions for neutrinoless double beta decay

2017

Neutrinoless double beta decay (0{\nu}\b{eta}\b{eta}) is considered the best potential resource to determine the absolute neutrino mass scale. Moreover, if observed, it will signal that the total lepton number is not conserved and neutrinos are their own anti-particles. Presently, this physics case is one of the most important research beyond Standard Model and might guide the way towards a Grand Unified Theory of fundamental interactions. Since the \b{eta}\b{eta} decay process involves nuclei, its analysis necessarily implies nuclear structure issues. The 0{\nu}\b{eta}\b{eta} decay rate can be expressed as a product of independent factors: the phase-space factors, the nuclear matrix elemen…

Semileptonic decayNuclear reactionPhysicsParticle physicsNuclear structureFOS: Physical sciences01 natural sciences7. Clean energyLepton numberStandard ModelydinreaktiotDouble beta decay0103 physical sciencesGrand Unified TheoryNuclear Physics and astrophysicsHigh Energy Physics::ExperimentNeutrinoNuclear Experiment (nucl-ex)010306 general physicsydinfysiikkaNuclear Experiment010303 astronomy & astrophysicsNuclear Experiment
researchProduct