Search results for "methodologies"

showing 10 items of 2106 documents

Using Semantics in the Environment for Multiagent-Based Simulation

2014

In this chapter, we carry out an overview and analysis of the usage of semantics to enhance environments in the domain of multiagent-based simulations. Firstly, we take a look at what a multiagent system (MAS) is, and after that we look at the environment for these systems, and why semantics are required in it. Various propositions to put semantics in the environment for MAS are then reviewed, as well as the strengths and weaknesses for these approaches. These propositions are grouped together under two categories, regarding whether the proposed approach is based on only the environment or on both the agents and the environment. The paper is then concluded with findings that have emerged by…

Denotational semanticsProgramming languageComputer scienceSemantics (computer science)Multiagent based simulationcomputer.software_genreComputingMethodologies_ARTIFICIALINTELLIGENCEcomputerOperational semantics
researchProduct

Continuous-Variable Tomography of Solitary Electrons

2019

A method for characterising the wave-function of freely-propagating particles would provide a useful tool for developing quantum-information technologies with single electronic excitations. Previous continuous-variable quantum tomography techniques developed to analyse electronic excitations in the energy-time domain have been limited to energies close to the Fermi level. We show that a wide-band tomography of single-particle distributions is possible using energy-time filtering and that the Wigner representation of the mixed-state density matrix can be reconstructed for solitary electrons emitted by an on-demand single-electron source. These are highly localised distributions, isolated fro…

Density matrixSciencePhysics::Medical PhysicsComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONGeneral Physics and AstronomyFOS: Physical sciences02 engineering and technologyQuantum entanglementElectron/639/925/92701 natural sciencesGeneral Biochemistry Genetics and Molecular Biology5108 Quantum Physics510symbols.namesake5102 Atomic Molecular and Optical PhysicsElectronic and spintronic devices0103 physical sciencesMesoscale and Nanoscale Physics (cond-mat.mes-hall)Wigner distribution function010306 general physicslcsh:Science/639/766/1130/2798/639/925/357/1017PhysicsMultidisciplinaryCondensed Matter - Mesoscale and Nanoscale PhysicsQuantum dotsFermi levelQarticleGeneral ChemistryQuantum tomography021001 nanoscience & nanotechnologyComputational physicsNanoscale devicessymbolslcsh:Q0210 nano-technology51 Physical SciencesCoherence (physics)Fermi Gamma-ray Space Telescope
researchProduct

Extracting Formal Models from Normative Texts

2016

Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.

Dependency (UML)business.industryComputer scienceFormalism (philosophy)Deontic logic020207 software engineering0102 computer and information sciences02 engineering and technologyPermissioncomputer.software_genre01 natural sciencesCausality (physics)010201 computation theory & mathematicsComputingMethodologies_DOCUMENTANDTEXTPROCESSING0202 electrical engineering electronic engineering information engineeringNormativeObligationArtificial intelligenceHeuristicsbusinesscomputerNatural language processing
researchProduct

Real metrology by using depth map information

2004

Usually in an image no real information about the scene’s depth (in terms of absolute distance) is available. In this paper, a method that extracts real depth measures is developed. This approach starts considering a region located in the center of the depth map. This region can be positioned, interactively, in any part of the depth map in order to measure the real distance of every object inside the scene. The histogram local maxima of this region are determined. Among these values the biggest, that represents the gray-level of the most considerable object, is chosen. This gray-level is used in an exponential mapping function that converts, using the input camera settings, the depth map gr…

Depth from defocusComputer sciencebusiness.industryComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONFunction (mathematics)Object (computer science)Measure (mathematics)Image (mathematics)MetrologyDepth mapComputer Science::Computer Vision and Pattern RecognitionHistogramComputer visionArtificial intelligencebusiness
researchProduct

GW170817: Implications for the Stochastic Gravitational-Wave Background from Compact Binary Coalescences

2018

The LIGO Scientific and Virgo Collaborations have announced the first detection of gravitational waves from the coalescence of two neutron stars. The merger rate of binary neutron stars estimated from this event suggests that distant, unresolvable binary neutron stars create a significant astrophysical stochastic gravitational-wave background. The binary neutron star background will add to the background from binary black holes, increasing the amplitude of the total astrophysical background relative to previous expectations. In the Advanced LIGO-Virgo frequency band most sensitive to stochastic backgrounds (near 25 Hz), we predict a total astrophysical background with amplitude $\Omega_{\rm…

Design sensitivityneutron star: binarygravitational radiation: stochasticAstronomyX-ray binaryGeneral Physics and AstronomyAstrophysicsAstrophysics01 natural sciencesGeneral Relativity and Quantum CosmologylocalizationGravitational wave backgroundGravitational Waves Neutron Stars Stochastic Background Virgo LIGOblack holeLIGOstochastic modelQCQBPhysicsGAMMA-RAY BURSTSSignal to noise ratioStochastic systemsBlack holesGravitational effectsarticleAstrophysics::Instrumentation and Methods for AstrophysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSING[PHYS.GRQC]Physics [physics]/General Relativity and Quantum Cosmology [gr-qc]Gravitational wave sources Experimental studies of gravity Gravitational WavesGravitationBinary neutron starsX-ray bursterBinsAstrophysics::High Energy Astrophysical PhenomenaMERGERSFOS: Physical sciencesGeneral Relativity and Quantum Cosmology (gr-qc)Astrophysics::Cosmology and Extragalactic AstrophysicsGravity wavesgravitational radiation: direct detectionBinary pulsarNeutron starsSTAR-FORMATIONPhysics and Astronomy (all)General Relativity and Quantum CosmologyBinary black holebinary: coalescence0103 physical sciencesFrequency bandsddc:530RATESINTERFEROMETERS010306 general physicsAstrophysics::Galaxy AstrophysicsNeutronsGravitational Waves010308 nuclear & particles physicsGravitational waveVirgogravitational radiation: backgroundgravitational radiationAstronomyNeutron Stars530 Physikbinary: compactsensitivityStarsLIGObackground: stochasticEVOLUTIONsignal noise ratioVIRGOPhysics and Astronomyblack hole: binarygravitational radiation: emissionStellar black holeStochastic BackgroundDewey Decimal Classification::500 | Naturwissenschaften::530 | PhysikHIGH-REDSHIFTneutron star: coalescencePhysical Review Letters
researchProduct

Activities using blackboard, pens and paper

1998

Dictogloss Language Listening comprehension Level Elementary upwards Age Any This is a well established dictation-based activity which helps to develop conscious listening skills in addition to an awareness of phrase and sentence structures. Procedure Choose a sentence suitable for the level of the class. This might be a sentence from a coursebook, but if so, make sure it is one which is not yet familiar to your students. An example sentence is given below. Tell the class that you will read this sentence to them once only. They should write down the key words as you read. You should not have to repeat the sentence, but with a large class you might like to read it once at the front of the ro…

DictoglossClass (computer programming)PhraseDictationComputer scienceComputingMethodologies_DOCUMENTANDTEXTPROCESSINGActive listeningParagraphBlackboard (design pattern)LinguisticsSentence
researchProduct

A generalized integration formula for indefinite integrals of special functions

2020

An integration formula for generating indefinite integrals which was presented in Conway JT [A Lagrangian method for deriving new indefinite integrals of special functions. Integral Transforms Spec...

Differential equationApplied Mathematics010102 general mathematicsMathematicsofComputing_NUMERICALANALYSIS010103 numerical & computational mathematicsIntegral transform01 natural sciencesAlgebraVDP::Teknologi: 500symbols.namesakeTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESSpecial functionsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONsymbols0101 mathematicsAnalysisLagrangianMathematicsIntegral Transforms and Special Functions
researchProduct

Conformation constraints for efficient viscoelastic fluid simulation

2017

The simulation of high viscoelasticity poses important computational challenges. One is the difficulty to robustly measure strain and its derivatives in a medium without permanent structure. Another is the high stiffness of the governing differential equations. Solutions that tackle these challenges exist, but they are computationally slow. We propose a constraint-based model of viscoelasticity that enables efficient simulation of highly viscous and viscoelastic phenomena. Our model reformulates, in a constraint-based fashion, a constitutive model of viscoelasticity for polymeric fluids, which defines simple governing equations for a conformation tensor. The model can represent a diverse pa…

Differential equationComputer scienceConstitutive equationConstraint (computer-aided design)Viscoelasticitat020207 software engineering02 engineering and technologySolverComputer Graphics and Computer-Aided DesignViscoelasticityPhysics::Fluid DynamicsPosition (vector)Inviscid flowSimulació per ordinador0202 electrical engineering electronic engineering information engineeringApplied mathematics020201 artificial intelligence & image processingTensorComputingMethodologies_COMPUTERGRAPHICS
researchProduct

Measurement of the inelastic proton-proton cross-section at √s = 7 TeV with the ATLAS detector

2011

The dependence of the rate of proton–proton interactions on the centre-of-mass collision energy, √s, is of fundamental importance for both hadron collider physics and particle astrophysics. The dependence cannot yet be calculated from first principles; therefore, experimental measurements are needed. Here we present the first measurement of the inelastic proton–proton interaction cross-section at a centre-of-mass energy, √s, of 7 TeV using the ATLAS detector at the Large Hadron Collider. Events are selected by requiring hits on scintillation counters mounted in the forward region of the detector. An inelastic cross-section of 60.3±2.1 mb is measured for ξ>5×10[superscript −6], where ξ is ca…

DiffractionAtlas detectorNuclear TheoryGeneral Physics and AstronomyPP01 natural sciencesHigh Energy Physics - ExperimentHigh Energy Physics - Experiment (hep-ex)[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]Detectors and Experimental TechniquesNuclear ExperimentGeneralLiterature_REFERENCE(e.g.dictionariesencyclopediasglossaries)ComputingMilieux_MISCELLANEOUSddc:539PhysicsMultidisciplinaryLarge Hadron Colliderphysical sciences; particle physicsSettore FIS/01 - Fisica SperimentaleSoftATLASDiffraction DissociationPhotoproductionElastic-ScatteringScintillation counterComputingMethodologies_DOCUMENTANDTEXTPROCESSINGFísica nuclearLHCddc:500Particle Physics - ExperimentParticle physicsCiências Naturais::Ciências Físicas:Ciências Físicas [Ciências Naturais]FOS: Physical sciencesddc:500.2High-Energies530General Biochemistry Genetics and Molecular BiologyArticleNuclear physicsphysical sciencesinelastic; proton–proton cross-section;ATLAS detector0103 physical sciencesAmplitudesHigh Energy Physicsparticle physics010306 general physicsAstroparticle physicsHardScience & Technology010308 nuclear & particles physicsGeneral ChemistryCollisionExperimental High Energy PhysicsPhysics::Accelerator PhysicsHigh Energy Physics::ExperimentModel
researchProduct

Wavelength-compensated time-sequential multiplexed color joint transform correlator

2010

We report a wavelength-compensated three-channel (RGB) joint transform correlator (JTC) for color pattern recognition using a ferroelectric liquid-crystal spatial light modulator (SLM) operating in binary pure phase modulation. We apply a previously reported time-multiplexing technique useful in creating wavelength-compensated diffraction patterns, based on the synchronization of properly scaled diffraction masks with the input wavelength selection obtained by applying a rotating RGB color-filter wheel to an Ar-Kr laser. The application of this technique to a JTC architecture permits real-time color object detection. In order to achieve a high light efficiency for the correlation process, w…

DiffractionChannel (digital image)Computer scienceMaterials Science (miscellaneous)ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONColorPhysics::OpticsMultiplexingIndustrial and Manufacturing EngineeringSpectral linePattern Recognition Automatedlaw.inventionOpticslawImage Processing Computer-AssistedComputer SimulationBusiness and International ManagementComputingMethodologies_COMPUTERGRAPHICSSpatial light modulatorbusiness.industryLasersSpectrum AnalysisLaserObject detectionLiquid CrystalsLiquid crystal on siliconRGB color modelbusinessPhase modulationApplied Optics
researchProduct