Search results for " Models"

showing 10 items of 4240 documents

Reciprocating Flow in a Plane Channel: Comparison of RANS Turbulence Models and Direct Numerical Simulation

2009

Direct Numerical SimulationUnsteady Turbulent FlowRANS Turbulence ModelsCFDHeat TransferSettore ING-IND/19 - Impianti Nucleari
researchProduct

Modelling mode choice for freight transport using advanced choice experiments

2015

Abstract In this paper we use advanced choice modelling techniques to analyse demand for freight transport in a context of modal choice. To this end, a stated preference (SP) survey was conducted in order to estimate freight shipper preferences for the main attributes that define the service offered by the different transport modes. From a methodological point of view, we focus on two critical issues in the construction of efficient choice experiments. Firstly, in obtaining good quality prior information about the parameters; and secondly, in the improved quality of the experimental data by tailoring a specific efficient design for every respondent in the sample. With these data, different …

Discrete choiceOperations researchLevel of serviceDiscrete choice modelsTransportationSample (statistics)Context (language use)Management Science and Operations ResearchMicroeconomicsMixed logitFreight transportEconomicsmedia_common.cataloged_instanceStated preferenceWillingness to payDiscrete choice experimentsEuropean unionMode choiceChoice modellingCivil and Structural Engineeringmedia_commonTransportation Research Part A: Policy and Practice
researchProduct

Potential approach in marginalizing Gibbs models

1999

Abstract Given an undirected graph G or hypergraph potential H model for a given set of variables V , we introduce two marginalization operators for obtaining the undirected graph G A or hypergraph H A associated with a given subset A ⊂ V such that the marginal distribution of A factorizes according to G A or H A , respectively. Finally, we illustrate the method by its application to some practical examples. With them we show that potential approach allow defining a finer factorization or performing a more precise conditional independence analysis than undirected graph models. Finally, we explain connections with related works.

Discrete mathematicsApplied MathematicsComparability graphStrength of a graphClique graphlaw.inventionTheoretical Computer ScienceCombinatoricslawGraph powerArtificial IntelligenceGibbs modelLine graphGraph (abstract data type)FactorizationNull graphMarginalizationRandom geometric graphHypergraph modelsSoftwareMathematicsInternational Journal of Approximate Reasoning
researchProduct

On the computational power of affine automata

2017

We investigate the computational power of affine automata (AfAs) introduced in [4]. In particular, we present a simpler proof for how to change the cutpoint for any affine language and a method how to reduce error in bounded error case. Moreover, we address to the question of [4] by showing that any affine language can be recognized by an AfA with certain limitation on the entries of affine states and transition matrices. Lastly, we present the first languages shown to be not recognized by AfAs with bounded-error.

Discrete mathematicsFOS: Computer and information sciencesComputer scienceFormal Languages and Automata Theory (cs.FL)Computer Science - Formal Languages and Automata Theory0102 computer and information sciences02 engineering and technologyerror reduction[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]01 natural sciencesBounded errorPower (physics)Automatonaffine automata[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringnon-classical models of automatacutpoint languages020201 artificial intelligence & image processingTransition matricesAffine transformationcompact setsbounded error
researchProduct

The Asynchronous Leontief Model

1992

International audience; The traditional dynamic Leontief model is synchronous: every vertex acts simultaneously. A model with delays of action has been proposed, but it still remains synchronous. In this paper we propose an asynchronous version of the model that allows realistic computations. We fiurnish an algorithm and a program.

Discrete mathematicsLeontief modelVertex (graph theory)JEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsEconomics and EconometricsJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsComputer scienceComputationJEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[SHS.ECO]Humanities and Social Sciences/Economics and FinanceAction (physics)JEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation ModelingJEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation ModelingAsynchronous communicationJEL : D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[ SHS.ECO ] Humanities and Social Sciences/Economies and finances[SHS.ECO] Humanities and Social Sciences/Economics and Finance
researchProduct

Heyting-valued interpretations for Constructive Set Theory

2006

AbstractWe define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

Discrete mathematicsLogicConstructive set theoryFormal topologyHeyting-valued modelsConstructive set theoryHeyting algebraConsistency (knowledge bases)ConstructiveAlgebraMathematics::LogicPointfree topologyConstructive set theory Heyting algebras independence proofsMathematics::Category TheoryComputer Science::Logic in Computer ScienceIndependence (mathematical logic)Heyting algebraFrame (artificial intelligence)FrameSet theoryFormal topologyMathematicsAnnals of Pure and Applied Logic
researchProduct

Impacts of roundabouts in suburban areas on congestion-specific vehicle speed profiles, pollutant and noise emissions: an empirical analysis

2019

Abstract Increasing concern about global warming and air quality has meant an increasing use of energetic and environmental indicators in roundabout design. This research compares different suburban roundabouts in terms of traffic performance, pollutant and noise emissions through an integrated empirical assessment. Field measurements were carried out with a light duty vehicle in single-lane (SL), compact two-lane (CTL) and multi-lane (ML) roundabouts using Portable Emission Measurements Systems, On-Board Diagnostic scan tool and Sound Level Meter, to measure real-world exhaust emissions, engine activity and acoustic data, respectively. Afterwards, predictive discrete choice models that cor…

Discrete models; Noise; On-road emissions; Roundabouts; Speed profilesGeography Planning and Development0211 other engineering and technologiesTransportation02 engineering and technology010501 environmental sciences01 natural sciencesAutomotive engineeringSpeed profilesDiscrete modelsSettore ICAR/04 - Strade Ferrovie Ed Aeroporti021108 energyNoise levelSound level meterAir quality index0105 earth and related environmental sciencesCivil and Structural EngineeringPollutantDiscrete choiceOn-road emissionsRenewable Energy Sustainability and the EnvironmentGlobal warmingRoundaboutsNoiseRoundaboutEnvironmental scienceNoise
researchProduct

Nitric oxide and brain hyperexcitability.

2004

Nitric oxide (NO) is a gaseous messenger involved in atypical forms of intercellular communications, able to exert a strong functional modulation of several neurotransmitter systems. In particular, NO heavily influences the excitatory neurotransmitter glutamate, mainly through NMDA receptors, and the inhibitory neurotransmitter GABA, mainly through GABA A receptors. Due to the involvement of glutamate and GABA in a delicate balance conditioning the functional status of the neural cells, this interaction suggests a role for NO in regulating neuronal excitability and its transition towards hyperexcitability phenomena. This article reviews the main knowledge about the relationships existing be…

Disease Models AnimalEpilepsyNG-Nitroarginine Methyl EsterAnimalsBrainGlutamic AcidHumansNitric oxide glutamate GABA epilepsy reviewNervous System DiseasesNitric OxideSettore BIO/09 - Fisiologiagamma-Aminobutyric AcidIn vivo (Athens, Greece)
researchProduct

Experimental Models of Autoimmune Hepatitis

1991

Disease Models AnimalText miningHepatologybusiness.industryImmunologyAnimalsMedicineAutoimmune hepatitisHepatitis Animalbusinessmedicine.diseaseAutoimmune DiseasesHepatitis ChronicSeminars in Liver Disease
researchProduct

An empirically grounded agent based model for modeling directs, conflict detection and resolution operations in air traffic management

2017

We present an agent based model of the Air Traffic Management socio-technical complex system that aims at modeling the interactions between aircrafts and air traffic controllers at a tactical level. The core of the model is given by the conflict detection and resolution module and by the directs module. Directs are flight shortcuts that are given by air controllers to speed up the passage of an aircraft within a certain airspace and therefore to facilitate airline operations. Conflicts resolution between flight trajectories can arise during the en-route phase of each flight due to both not detailed flight trajectory planning or unforeseen events that perturb the planned flight plan. Our mod…

Distribution CurvesAircraftComputer scienceVelocitylcsh:MedicineTransportation02 engineering and technologySystems ScienceAgent-Based Modeling0202 electrical engineering electronic engineering information engineeringlcsh:ScienceAgent-based modelMultidisciplinaryNegotiatingSimulation and ModelingFlight TestingPhysics05 social sciencesAir traffic managementClassical MechanicsAir traffic controlNavigationPhysical SciencesTrajectoryEngineering and Technology020201 artificial intelligence & image processingFree flightResearch ArticleStatistical DistributionsPhysics - Physics and SocietyComputer and Information SciencesReal-time computingFlight planFOS: Physical sciencesAerospace EngineeringComputerApplications_COMPUTERSINOTHERSYSTEMSPhysics and Society (physics.soc-ph)Air traffic management systemResearch and Analysis MethodsMotion0502 economics and businessHumansComputer Simulation050210 logistics & transportationlcsh:RReproducibility of ResultsModels TheoreticalProbability TheorySettore FIS/07 - Fisica Applicata(Beni Culturali Ambientali Biol.e Medicin)Accidents Aviationlcsh:QAir Traffic management Agent-based models socio-technical complex systemAviationAirspace classMathematicsPLOS ONE
researchProduct