Search results for "Theorem"

showing 10 items of 1250 documents

Bayesian reanalysis of a quantitative trait locus accounting for multiple environments by scaling in broilers1

2006

A Bayesian method was developed to handle QTL analyses of multiple experimental data of outbred populations with heterogeneity of variance between sexes for all random effects. The method employed a scaled reduced animal model with random polygenic and QTL allelic effects. A parsimonious model specification was applied by choosing assumptions regarding the covariance structure to limit the number of parameters to estimate. Markov chain Monte Carlo algorithms were applied to obtain marginal posterior densities. Simulation demonstrated that joint analysis of multiple environments is more powerful than separate single trait analyses of each environment. Measurements on broiler BW obtained from…

education.field_of_studybusiness.industryBayesian probabilityPopulationfood and beveragesAccountingMarkov chain Monte CarloGeneral MedicineCovarianceBiologyQuantitative trait locusRandom effects modelsymbols.namesakeBayes' theoremStatisticsGeneticsTraitsymbolsAnimal Science and ZoologybusinesseducationFood ScienceJournal of Animal Science
researchProduct

Search for magnetically-induced signatures in the arrival directions of ultra-high-energy cosmic rays measured at the Pierre Auger Observatory

2020

We search for signals of magnetically-induced effects in the arrival directions of ultra-high-energy cosmic rays detected at the Pierre Auger Observatory. We apply two different methods. One is a search for sets of events that show a correlation between their arrival direction and the inverse of their energy, which would be expected if they come from the same point-like source, they have the same electric charge and their deflection is relatively small and coherent. We refer to these sets of events as "multiplets". The second method, called "thrust", is a principal axis analysis aimed to detect the elongated patterns in a region of interest. We study the sensitivity of both methods using a …

electric [charge]AstronomydeflectionThrustmagnetic fieldAstrophysics01 natural sciencesmass spectrumhelium: nucleusbenchmarksurface [detector]Cosmic ray experimentsUltra-high-energy cosmic ray010303 astronomy & astrophysicsPhysicsHigh Energy Astrophysical Phenomena (astro-ph.HE)astro-ph.HEAstrophysics::Instrumentation and Methods for AstrophysicsCosmic ray experiments; Ultra high energy cosmic raysAugerobservatoryacceleration [cosmic radiation]Astrophysics - High Energy Astrophysical PhenomenasignaturePrincipal axis theoremActive galactic nucleusCherenkov counter: waterAstrophysics::High Energy Astrophysical PhenomenaUHE [cosmic radiation]energy spectrumFOS: Physical sciencesnucleus [helium]Cosmic rayElectric chargeCosmic ray experimentGLASTdetector: fluorescence0103 physical sciencesddc:530thrustcosmic radiation: UHEHigh Energy Physicscosmic radiation: accelerationAGNAstrophysiquePierre Auger Observatoryfluorescence [detector]010308 nuclear & particles physicsdetector: surfacecharge: electricwater [Cherenkov counter]Astronomy and AstrophysicsUltra high energy cosmic raysAstronomiesensitivityGalaxycoherencefluxgamma raymultipletcorrelationExperimental High Energy Physicsgalaxy[PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]RAIOS CÓSMICOS
researchProduct

Design, implementation and experimental results of an inductive power transfer system for electric bicycle wireless charging

2020

The use of renewable energy and the transformation of transport mode are crucial items for achieving an efficient and clean electrical mobility that allow being competitive on the market. In this context the interface between the power system and the Electric Vehicles (EVs) assumes a strategic role. Specifically, wireless energy transmission, based on Inductive Power Transfer (IPT), is an attractive solution for EVs charging. Moreover, the use of electric bicycles or kick scooters as mode of urban transport is continuously growing because they are lightweight, sustainable, easily parking, flexible and efficient transport devices. Owing to its benefits, the wireless power transfer can be con…

electric bikeRenewable Energy Sustainability and the EnvironmentComputer sciencebusiness.industry020209 energy020208 electrical & electronic engineeringelectric vehicleContext (language use)Vehicle-to-grid02 engineering and technologySettore ING-IND/32 - Convertitori Macchine E Azionamenti ElettriciInductive Power TransferAutomotive engineeringRenewable energyElectric power systemElectric power transmission0202 electrical engineering electronic engineering information engineeringwireless battery chargingMaximum power transfer theoremWirelessWireless power transferbusinessIET Renewable Power Generation
researchProduct

Optimal matching between optical rectennas and harvester circuits

2017

This paper deals with optimal coupling issues between rectennas and harvesting circuits. An optical rectenna consists of a nanoantenna usually coupled with an ultra-high speed rectifier. These devices aim to receive and convert solar and thermal radiation in a DC voltage, while a harvester circuit provides the energy to be stored. The rectenna impedance is influenced both by its structure and by the rectifying diode, the harvester circuit impedance has to be matched to optimize the power transfer. The purpose of this contribution is to discuss the best impedance conditions by taking into account the constraints that are due to the individual devices the conversion system consist of. Finally…

energy harvestingEngineeringEnvironmental EngineeringrectennaEnergy Engineering and Power Technology02 engineering and technologyHardware_PERFORMANCEANDRELIABILITYSettore ING-INF/01 - Elettronica01 natural sciencesIndustrial and Manufacturing EngineeringRectifier0103 physical sciencesElectronic engineeringHardware_INTEGRATEDCIRCUITSMaximum power transfer theoremElectrical and Electronic Engineering010306 general physicsElectrical impedanceElectronic circuitDiodeimpedance matchingbusiness.industryElectrical engineering021001 nanoscience & nanotechnologyRectennaImpedance and Voltage matchingnanoantenna0210 nano-technologybusinessEnergy harvestingEnergy (signal processing)
researchProduct

Advanced Techniques for Powering Wireless Sensor Nodes through Energy Harvesting and Wireless Power Transfer

2020

This paper presents three different techniques for efficiently powering an energy-autonomous wireless sensor (EAWS) through both energy harvesting (EH) and RF wireless power transfer (WPT). The aim of the paper is to provide effective strategies and techniques to reduce, as far as possible, the cost of wiring of the automotive production process due to the continuous and constant increase in the use of sensors. The techniques employ a highly integrated state-of-the-art, ultra-low power 2.5 mu W system-on-chip (SoC) system, designed for multi-source RF wireless energy harvesting and power transfer and are designed with the goal of minimizing and, where possible, eliminating the costly mainte…

energy harvestingbusiness.industryComputer science020209 energy020208 electrical & electronic engineeringElectrical engineeringwireless power transfer02 engineering and technologyradio frequencyMaintenance engineeringantennaPower (physics)0202 electrical engineering electronic engineering information engineeringMaximum power transfer theoremWirelessautomotiveRadio frequencyWireless power transferlithium ion batterywireless sensor networksbusinessEnergy harvestingWireless sensor networkwireless battery charger2020 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE)
researchProduct

The case of equality in the dichotomy of Mohammadi-Oh

2017

If $n \geq 3$ and $\Gamma$ is a convex-cocompact Zariski-dense discrete subgroup of $\mathbf{SO}^o(1,n+1)$ such that $\delta_\Gamma=n-m$ where $m$ is an integer, $1 \leq m \leq n-1$, we show that for any $m$-dimensional subgroup $U$ in the horospheric group $N$, the Burger-Roblin measure associated to $\Gamma$ on the quotient of the frame bundle is $U$-recurrent.

ergodic geometryMathematics::Group TheoryrecurrenceBurger-Roblin measure37C45 28A80 53D25 37D40Bowen-Margulis-Sullivan measureBesicovitch projection theoremAstrophysics::High Energy Astrophysical PhenomenaFOS: MathematicsergodicitygeometriaDynamical Systems (math.DS)Mathematics - Dynamical Systems
researchProduct

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

first order logiclogicresolution methodpredicate logicMathematicsofComputing_GENERALresolutionintuitionistic logicHerbrand theorempropositional logicmodel theoryconstructive logicData_FILESComputingMilieux_COMPUTERSANDEDUCATIONnormal formsmathematical logicHardware_ARITHMETICANDLOGICSTRUCTUREScompleteness theorem
researchProduct

MR3104897 Reviewed Mawhin, J. Variations on some finite-dimensional fixed-point theorems. Translation of Ukraïn. Mat. Zh. 65 (2013), no. 2, 266–272. …

2014

Inglese:The author presents an interesting discussion on three fundamental results in the literature and related theory: the Poincaré-Miranda theorem [C. Miranda, Boll. Un. Mat. Ital. (2) 3 (1940), 5–7; MR0004775 (3,60b)], the Pireddu-Zanolin fixed point theorem [M. Pireddu and F. Zanolin, Topol. Methods Nonlinear Anal. 30 (2007), no. 2, 279–319; MR2387829 (2009a:37032)] and the Zgliczyński fixed point theorem [P. Zgliczyński, Nonlinear Anal. 46 (2001), no. 7, Ser. A: Theory Methods, 1039–1062; MR1866738 (2002h:37032)]. The author provides generalizations of the last two fixed point theorems by using the original technique that he developed in a previous paper and the Poincaré-Miranda theor…

fixed pointSettore MAT/05 - Analisi Matematicareduction theoremexpansive-compressive mapping
researchProduct

Phylogeny, biogeography and evolution of Triglochin L. (Juncaginaceae) – Morphological diversification is linked to habitat shifts rather than to gen…

2015

A species-level phylogeny is presented for Triglochin, the largest genus of Juncaginaceae (Alismatales) comprising about 30 species of annual and perennial herbs. Triglochin has an almost cosmopolitan distribution with Australia as centre of species diversity. Trans-Atlantic and trans-African disjunctions exist in the genus. Phylogenetic analyses were conducted based on molecular data obtained from nuclear (ITS, internal transcribed spacer) and chloroplast sequence data (psbA-trnH spacer, matK gene). Based on the phylogeny of the group divergence times were estimated and ancestral distribution areas reconstructed. Our data confirm the monophyly of Triglochin and resolve relationships betwee…

food.ingredientDNA PlantGenes PlantJuncaginaceaeMagnoliopsidaMonophylyfoodCycnogetonGenusGeneticsInternal transcribed spacerMolecular BiologyEcosystemPhylogenyEcology Evolution Behavior and SystematicsModels GeneticbiologyEcologyAustraliaDNA ChloroplastBayes TheoremSequence Analysis DNATriglochinbiology.organism_classificationBiological EvolutionAlismatalesSister groupEvolutionary biologyMolecular Phylogenetics and Evolution
researchProduct

Formālisms kā reālās matemātikas filozofija: 14 argumenti

2015

Referāts Latvijas Universitātes 73.zinātniskajā konferencē 2015.gada 13.februārī.

formalismfoundations of mathematics:MATHEMATICS [Research Subject Categories]:HUMANITIES and RELIGION [Research Subject Categories]incompleteness theoremsaxiomatic set theoryplatonism
researchProduct