Search results for " Computer Science"

showing 10 items of 3983 documents

Negative results in the theory of games with lexicographic utilities

2003

When players may have lexicographic utilities, there are: (i) extensive games having a non-empty set of equilibria but empty sets of sequentially rational, sequential and perfect equilibria (ii) normal form games having a non-empty set of equilibria but an empty set of proper equilibria and no stable set of equilibria and (iii) two extensive games having the same normal form representation and disjoint sets of sequential equilibria.

TheoryofComputation_MISCELLANEOUSComputer Science::Computer Science and Game TheoryTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer Science::Logic in Computer ScienceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERALlexicographic expected utilityComputer Science::Formal Languages and Automata Theoryjel:C7Economics Bulletin
researchProduct

Some decisional problems on rational relations

1997

Abstract In this paper we prove that the problem of deciding whether a deterministic rational relation is star-free is recursively solvable, although the same problem for any rational relation is undecidable. We also prove that a rational relation is star-free if and only if it is aperiodic and deterministic.

TheoryofComputation_MISCELLANEOUSDiscrete mathematicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESGeneral Computer ScienceTheoretical Computer ScienceUndecidable problemTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESIf and only ifAperiodic graphComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONAstrophysics::Solar and Stellar AstrophysicsRational relationComputer Science::Formal Languages and Automata TheoryAstrophysics::Galaxy AstrophysicsComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Multiobjective GRASP with Path Relinking

2015

In this paper we review and propose different adaptations of the GRASP metaheuristic to solve multiobjective combinatorial optimization problems. In particular, we describe several alternatives to specialize the construction and improvement components of GRASP when two or more objectives are considered. GRASP has been successfully coupled with Path Relinking for single-objective optimization. Moreover, we propose different hybridizations of GRASP and Path Relinking for multiobjective optimization. We apply the proposed GRASP with Path Relinking variants to two combinatorial optimization problems, the biobjective orienteering problem and the biobjective path dissimilarity problem. We report …

TheoryofComputation_MISCELLANEOUSMathematical optimizationInformation Systems and ManagementGeneral Computer ScienceBiobjective optimizationGRASPCombinatorial optimization problemOrienteeringManagement Science and Operations ResearchMulti-objective optimizationIndustrial and Manufacturing EngineeringModeling and SimulationPath (graph theory)HeuristicsMetaheuristicMathematicsEuropean Journal of Operational Research
researchProduct

Mean Field Linear Quadratic Games with Set Up Costs

2013

This paper studies linear quadratic games with set up costs monotonic on the number of active players, namely, players whose action is non-null. Such games arise naturally in joint replenishment inventory systems. Building upon a preliminary analysis of the properties of the best response strategies and Nash equilibria for the given game, the main contribution is the study of the same game under large population. We also analyze the influence of an additional disturbance in the spirit of the literature on H∞ control. Numerical illustrations are provided. © 2012 Springer Science+Business Media New York.

TheoryofComputation_MISCELLANEOUSStatistics and ProbabilityComputer Science::Computer Science and Game TheoryEconomics and EconometricsMathematical optimizationSequential gamedifferential games game theory control and optimizationJoint-replenishmentOutcome (game theory)symbols.namesakeMean field gamesGame theoryMathematicsMean field games; Linear quadratic differential games; Joint-replenishment[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]Applied MathematicsNormal-form gameComputingMilieux_PERSONALCOMPUTINGoperational researchTheoryofComputation_GENERALScreening gameComputer Graphics and Computer-Aided DesignComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsNash equilibriumBest responseRepeated gamesymbolsLinear quadratic differential gamesSettore MAT/09 - Ricerca OperativaoptimizationGame theoryMathematical economicsDynamic Games and Applications
researchProduct

Interaction of an odorant lactone with model phospholipid bilayers and its strong fluidizing action in yeast membrane

2003

International audience; Some odorant lactones are naturally present in fruits or in fermented products; they can also be used as food additives and can be produced by microorganisms at the industrial scale by biotechnological processes. Gamma-decalactone was previously shown to have antimicrobial properties. We determined by infrared spectroscopy measurements that this compound rapidly diffused into model phospholipid bilayers (within 2 min), modifying the general physical state of a dimyristoyl-L-alpha-phosphatidylcholine (DMPC) film. In vivo, the lactone strongly increased membrane fluidity in the model yeast Yarrowia lipolytica, as evaluated by fluorescence anisotropy measurements. This …

Time Factors[SDV.BIO]Life Sciences [q-bio]/BiotechnologyLipid BilayersYarrowiaMESH : Models BiologicalLactonesMESH : Spectroscopy Fourier Transform InfraredMESH: Dimyristoylphosphatidylcholinechemistry.chemical_compoundMESH : DimyristoylphosphatidylcholineSpectroscopy Fourier Transform InfraredMembrane fluidityOrganic chemistryMESH : Anti-Bacterial Agents[INFO.INFO-BT]Computer Science [cs]/BiotechnologyAntibacterial agentMESH : Spectrometry FluorescencebiologyMESH: Lipid BilayersMESH: Indicators and Reagentsfood and beveragesGeneral MedicineAnti-Bacterial AgentsMESH : LactonesMembraneBenzyl alcoholDimyristoylphosphatidylcholine[ INFO.INFO-BT ] Computer Science [cs]/BiotechnologyMESH: LactonesMESH: Spectrometry FluorescenceMESH : Time FactorsMESH : YarrowiaPhospholipid[SDV.BC]Life Sciences [q-bio]/Cellular BiologyModels BiologicalMicrobiologyMESH: Spectroscopy Fourier Transform InfraredMESH : Indicators and ReagentsMESH: Anti-Bacterial Agents[ SDV.BC ] Life Sciences [q-bio]/Cellular BiologyMESH: Time FactorsMESH: Models Biological[ SDV.BIO ] Life Sciences [q-bio]/BiotechnologyYarrowiaBiological membranebiology.organism_classificationYeastSpectrometry FluorescencechemistryIndicators and ReagentsMESH: YarrowiaMESH : Lipid BilayersFood ScienceInternational Journal of Food Microbiology
researchProduct

Asynchronously switched control of discrete impulsive switched systems with time delays

2013

This paper is concerned with the stabilization problem for a class of uncertain discrete impulsive switched delay systems under asynchronous switching. The so-called asynchronous switching means that the switches between the candidate controllers and system modes are asynchronous. By using the average dwell time (ADT) approach, sufficient conditions for the existence of an asynchronously switched controller is derived such that the resulting closed-loop system is exponentially stable. The desired controller gains and the admissible switching signals are obtained in terms of a set of matrix inequalities. A numerical example is given to illustrate the effectiveness of the proposed method.

Time delaysInformation Systems and ManagementControl (management)Computer Science ApplicationsTheoretical Computer ScienceSet (abstract data type)Dwell timeMatrix (mathematics)Exponential stabilityArtificial IntelligenceControl and Systems EngineeringControl theoryAsynchronous communicationSoftwareMathematicsInformation Sciences
researchProduct

Sensor Fusion Combining 3-D and 2-D for Depth Data Enhancement

2012

Time-of-Flight (ToF) cameras are known to be cost-efficient 3-D sensing systems capable of providing full scene depth information at a high frame rate. Among many other advantages, ToF cameras are able to provide distance information regardless of the illumination conditions and with no texture dependency, which makes them very suitable for computer vision and robotic applications where reliable distance measurements are required. However, the resolution of the given depth maps is far below the resolution given by standard 2-D video cameras which, indeed, restricts the use of ToF cameras in real applications such as those for safety and surveillance. In this thesis, we therefore investigate…

Time-of-Flight: Computer science [C05] [Engineering computing & technology]Data MatchingSpatio-temporal data enhancementDepth imagesSensor FusionComputer VisionComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONMultimodal SensorsAdaptive Filters: Sciences informatiques [C05] [Ingénierie informatique & technologie]
researchProduct

Contribution of virtual reality to functional rehabilitation

2010

Virtual reality has grown immensely. Practical applications for the use of this technology encompass many fields in both engineering science and human science. In the field of medicine, one of the newest fields to benefit from the advances in VR technology, virtual reality has become a major new therapeutic tool not only in medicine and surgery but also for the treatment of psychological disorders and rehabilitation for impaired person. Our research presented in this thesis aims at developing utilities to aid in functional rehabilitation using virtual reality technology. The main research question of our work concerns the effect of virtual metaphors in learning and training human gestures f…

Time-series data mining.Evaluation d'utilisabilité de l'environnement[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image Processing[INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processingRééducation motriceVirtual realityHuman motion evaluationRéalité virtuelleEvaluation de mouvement[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingMotor rehabilitationFouille de données chronologiqueEvaluate the usability of virtual environment[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing
researchProduct

On the vibrations of a mechanically based non-local beam model

2012

The vibration problem of a Timoshenko non-local beam is addressed. The beam model involves assuming that the equilibrium of each volume element is attained due to contact forces and long-range body forces exerted, respectively, by adjacent and non-adjacent volume elements. The contact forces result in the classical Cauchy stress tensor while the long-range forces are taken as depending on the product of the interacting volume elements and on their relative displacement through a material-dependent distance-decaying function. To derive the motion equations and the related mechanical boundary conditions, the Hamilton's principle is applied The vibration problem of a Timoshenko non-local beam …

Timoshenko beam theoryBody forceNon-local elasticityGeneral Computer ScienceGeneral Physics and AstronomyContact forceLong-range interactionsymbols.namesakeFree vibrations; Hamilton's principle; Long-range interactions; Non-local elasticity; Timoshenko beam theoryGeneral Materials ScienceHamilton's principleVolume elementPhysicsCauchy stress tensorEquations of motionFree vibrationGeneral ChemistryMechanicsComputational MathematicsTimoshenko beam theoryClassical mechanicsHamilton's principleMechanics of MaterialssymbolsSettore ICAR/08 - Scienza Delle CostruzioniBeam (structure)Computational Materials Science
researchProduct

Precise measurement of the top quark mass in dilepton decays using optimized neutrino weighting

2016

We measure the top quark mass in dilepton final states of top-antitop events in proton-antiproton collisions at sqrt(s) = 1.96 TeV, using data corresponding to an integrated luminosity of 9.7 fb^-1 at the Fermilab Tevatron Collider. The analysis features a comprehensive optimization of the neutrino weighting method to minimize the statistical uncertainties. We also improve the calibration of jet energies using the calibration determined in top-antitop to lepton+jets events, which reduces the otherwise limiting systematic uncertainty from the jet energy scale. The measured top quark mass is mt = 173.32 +/- 1.36(stat) +/- 0.85(syst) GeV.

Top quarkdependence [flavor]TevatronATLAS DETECTORJet (particle physics)pair production [top]7. Clean energy01 natural sciencesHigh Energy Physics - ExperimentPhysics Particles & FieldsSubatomär fysikHigh Energy Physics - Experiment (hep-ex)DZEROSubatomic Physics[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]HADRON COLLIDERSBatavia TEVATRON CollFermilabNuclear ExperimentGeneralLiterature_REFERENCE(e.g.dictionariesencyclopediasglossaries)Physicsscattering [anti-p p]Luminosity (scattering theory)PhysicsNuclear & Particles Physicslcsh:QC1-999Physics NuclearPhysical SciencesPOLEflavor [quark]mass: measured [top]Neutrinotop quark mass; dilepton decays; neutrino weightingdata analysis methodParticle physicsNuclear and High Energy PhysicsAstrophysics::High Energy Astrophysical PhenomenaSTANDARD MODELFOS: Physical sciencesAstronomy & AstrophysicsAccelerator Physics and Instrumentation530Standard ModelNuclear physics0202 Atomic Molecular Nuclear Particle And Plasma Physicsfinal state [dilepton]0103 physical sciencesMODEL HIGGS-BOSONddc:530High Energy Physics010306 general physics1960 GeV-cmsScience & TechnologyPP COLLISIONSIDENTIFICATION010308 nuclear & particles physicsDATA processing & computer scienceHigh Energy Physics::PhenomenologyAcceleratorfysik och instrumenteringenergy [jet]PRODUCTION CROSS-SECTION(MS)OVER-BAR MASSEScalibration [jet]Experimental High Energy PhysicsPhysics::Accelerator PhysicsTEVHigh Energy Physics::Experimentddc:004statisticalcolliding beams [anti-p p]lcsh:Physicsexperimental resultsLepton
researchProduct