Search results for "1103"

showing 10 items of 538 documents

The migrant crisis in the Mediterranean Sea: Empirical evidence on policy interventions

2021

Abstract This paper presents a novel set of empirical evidence to explore several hypotheses regarding the migrant crisis in the Mediterranean Sea. The political instability in transit countries, such as Libya, that made pre-existent repatriation policies ineffective, called for several search-and-rescue operations in the Mediterranean, which in turn have been wrongly accused of fostering illegal immigration and increasing deaths at sea. The empirical results show that the main determinants of the departures are several root causes at the departing African countries, underlining the importance of fighting human smuggling networks. The paper suggests a change in migration studies’ perspectiv…

MigrantsSmuggling humansSearch and rescue (SAR)Pull and push factorsProgram evaluationEconomics and Econometrics021103 operations researchStrategy and Management05 social sciencesGeography Planning and Development0211 other engineering and technologiesPsychological intervention02 engineering and technologyManagement Science and Operations ResearchMigration studiesMediterranean seaIllegal immigrationPolitical science0502 economics and businessDevelopment economicsNarrative050207 economicsStatistics Probability and UncertaintyPolitical instabilityEmpirical evidenceRepatriationSocio-Economic Planning Sciences
researchProduct

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationKnowledge representation and reasoningcomputer.internet_protocolComputer science0211 other engineering and technologies[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]02 engineering and technologycomputer.software_genre01 natural sciencesACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsFormal specificationACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking0202 electrical engineering electronic engineering information engineeringTemporal logicEnterprise information systemFormal verification021103 operations researchDatabase010405 organic chemistrybusiness.industryApplied Mathematics020207 software engineeringService-oriented architectureSystems modeling[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation0104 chemical sciencesComputer Science ApplicationsACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checkingBusiness Process Execution LanguageModeling and Simulation020201 artificial intelligence & image processingWeb serviceSoftware engineeringbusinesscomputer
researchProduct

Medium-chain triglycerides may improve memory in non-demented older adults: a systematic review of randomized controlled trials

2022

Abstract Background Ketosis has been exploited for its neuroprotective impact and treatment of neurological conditions via ketone production. Exogenous medium-chain triglyceride (MCT) supplementation may induce nutritional ketosis. The aim of this systematic review is to explore the effects of MCTs on memory function in older adults without cognitive impairment. Methods A systematic literature search of PubMed, Cochrane Library, Scopus, and Web of Science was employed from inception until April 2022 for randomized controlled trials (RCTs) in accordance with the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines, investigating the impact of MCT oils on com…

Non-demented1106 Human Movement and Sports Sciences1103 Clinical SciencesKetone BodiesKetosisMedium-chain triglyceridesNutritional ketosisMemoryGeriatricsVDP::Medisinske Fag: 700::Klinisk medisinske fag: 750::Geriatri: 778HumansCognitive functionGeriatrics and GerontologyOilsTriglyceridesAgedRandomized Controlled Trials as TopicBMC geriatrics
researchProduct

On the importance of perspective and flexibility for efficiency measurement: effects on the ranking of decision-making units

2017

[EN] The efficiency of a firm can be assessed from several perspectives and using a variety of methodologies. Data envelopment analysis (DEA) is one of the most commonly used methodologies. Conventional DEA analyses or models allow one to classify decision-making units (DMUs) into efficient and inefficient ones based on their efficiency scores, which could also be used for ranking DMUs; however, such rankings generally show many ties. Super-efficiency DEA analyses have been proposed to address the tie issue. On the other hand, conventional DEA analyses only take account of a single perspective in estimating efficiency scores. Cross-efficiency DEA analyses provide an alternative that takes a…

Operations researchStrategy and Management0211 other engineering and technologies02 engineering and technologyManagement Science and Operations Researchcomputer.software_genreFuzzy logicManagement Information SystemsDEAOrder (exchange)Robustness (computer science)0202 electrical engineering electronic engineering information engineeringEconomicsData envelopment analysisTOPSISMarketingFlexibility (engineering)021103 operations researchTOPSISVariety (cybernetics)Fuzzy logicRanking methodsRankingCross-efficiency020201 artificial intelligence & image processingData miningMATEMATICA APLICADAcomputerJournal of the Operational Research Society
researchProduct

Connections of reference vectors and different types of preference information in interactive multiobjective evolutionary algorithms

2016

We study how different types of preference information coming from a human decision maker can be utilized in an interactive multiobjective evolutionary optimization algorithm (MOEA). The idea is to convert different types of preference information into a unified format which can then be utilized in an interactive MOEA to guide the search towards the most preferred solution(s). The format chosen here is a set of reference vectors which is used within the interactive version of the reference vector guided evolutionary algorithm (RVEA). The proposed interactive RVEA is then applied to the multiple-disk clutch brake design problem with five objectives to demonstrate the potential of the idea in…

Optimization problemLinear programmingComputer science0211 other engineering and technologiesEvolutionary algorithmInteractive evolutionary computationpreference information02 engineering and technologyMachine learningcomputer.software_genredecision makingEvolutionary computationSet (abstract data type)vectors0202 electrical engineering electronic engineering information engineeringta113021103 operations researchbusiness.industryta111Approximation algorithmPreferencemultiobjective evolutionary optimization algorithm020201 artificial intelligence & image processingArtificial intelligencebusinessoptimizationcomputer2016 IEEE Symposium Series on Computational Intelligence (SSCI)
researchProduct

Multiple-criteria cash-management policies with particular liquidity terms

2019

Abstract Eliciting policies for cash management systems with multiple assets is by no means straightforward. Both the particular relationship between alternative assets and time delays from control decisions to availability of cash introduce additional difficulties. Here we propose a cash management model to derive short-term finance policies when considering multiple assets with different expected returns and particular liquidity terms for each alternative asset. In order to deal with the inherent uncertainty about the near future introduced by cash flows, we use forecasts as a key input to the model. We express uncertainty as lack of predictive accuracy and we derive a deterministic equiv…

OptimizationECONOMIA APLICADAComputer scienceStrategy and Management0211 other engineering and technologiesMultiple criteria decision-making02 engineering and technologyManagement Science and Operations ResearchManagement Information Systems03 medical and health sciences0302 clinical medicineCash managementFinance021103 operations researchbusiness.industryApplied MathematicsMarket liquidityCash flow030220 oncology & carcinogenesisModeling and SimulationMultiple criteriaLiquidity termsCash flowECONOMIA FINANCIERA Y CONTABILIDADbusinessGeneral Economics Econometrics and FinanceForecasting
researchProduct

Integer programming models for the pre-marshalling problem

2019

[EN] The performance of shipping companies greatly depends on reduced berthing times. The trend towards bigger ships and shorter berthing times places severe stress on container terminals, which cannot simply increase the available cranes indefinitely. Therefore, the focus is on optimizing existing resources. An effective way of speeding up the loading/unloading operations of ships at the container terminal is to use the idle time before the arrival of a ship for sorting the stored containers in advance. The pre-marshalling problem consists in rearranging the containers placed in a bay in the order in which they will be required later, looking for a sequence with the minimum number of moves…

OptimizationMathematical optimizationInformation Systems and ManagementGeneral Computer ScienceComputer scienceESTADISTICA E INVESTIGACION OPERATIVA0211 other engineering and technologies02 engineering and technologyLogisticsManagement Science and Operations ResearchUpper and lower boundsIndustrial and Manufacturing EngineeringMarshalling0502 economics and businessPre-marshallingInteger programmingStorage area050210 logistics & transportationFocus (computing)Sequence021103 operations research05 social sciencesSortingInteger programmingTerminal (electronics)Modeling and SimulationContainer (abstract data type)
researchProduct

A combined interval-valued ELECTRE TRI and TOPSIS approach for solving the storage location assignment problem

2019

Abstract Efficiency and effectiveness of logistic activities, in general, and of distribution networks, in particular, are largely influenced by the way warehouses operate as nodes of these networks. In recent years, warehouse management has undergone major changes due to the increase of e-commerce and competition in time-reduction. Despite that, logistic costs of warehouse processes (e.g. receiving, storage, order picking and shipping, etc.) are still often high. Referring to the order picking process, related activities may be optimized by a proper assignment of products to storage locations. In the literature, this problem is known as Storage Location Assignment Problem (SLAP). Due to th…

Order picking021103 operations researchGeneral Computer ScienceOperations researchComputer scienceProcess (engineering)Random assignment0211 other engineering and technologiesGeneral EngineeringTOPSIS02 engineering and technologyInterval (mathematics)Interval valuedWarehouse managementInterval-valued ELECTRE TRI; Interval-valued TOPSIS; Storage location assignment problem; Warehouse managementSettore ING-IND/17 - Impianti Industriali Meccanici0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingStorage location assignment problemELECTREAssignment problemInterval-valued TOPSISInterval-valued ELECTRE TRI
researchProduct

Fitting random cash management models to data

2019

Abstract Organizations use cash management models to control balances to both avoid overdrafts and obtain a profit from short-term investments. Most management models are based on control bounds which are derived from the assumption of a particular cash flow probability distribution. In this paper, we relax this strong assumption to fit cash management models to data by means of stochastic and linear programming. We also introduce ensembles of random cash management models which are built by randomly selecting a subsequence of the original cash flow data set. We illustrate our approach by means of a real case study showing that a small random sample of data is enough to fit sufficiently goo…

Overdraft021103 operations researchGeneral Computer ScienceComputer science0211 other engineering and technologies02 engineering and technologyManagement Science and Operations ResearchComputer Science::Computers and SocietyProfit (economics)Modeling and Simulation0202 electrical engineering electronic engineering information engineeringEconometricsProbability distribution020201 artificial intelligence & image processingCash flowCash managementComputers & Operations Research
researchProduct

ANOVA-MOP: ANOVA Decomposition for Multiobjective Optimization

2018

Real-world optimization problems may involve a number of computationally expensive functions with a large number of input variables. Metamodel-based optimization methods can reduce the computational costs of evaluating expensive functions, but this does not reduce the dimension of the search domain nor mitigate the curse of dimensionality effects. The dimension of the search domain can be reduced by functional anova decomposition involving Sobol' sensitivity indices. This approach allows one to rank decision variables according to their impact on the objective function values. On the basis of the sparsity of effects principle, typically only a small number of decision variables significantl…

Pareto optimality0209 industrial biotechnologyMathematical optimizationOptimization problempäätöksenteko0211 other engineering and technologies02 engineering and technologyMulti-objective optimizationdecision makingTheoretical Computer Science020901 industrial engineering & automationsensitivity analysisDecomposition (computer science)multiple criteria optimizationdimensionality reductionMathematicsta113021103 operations researchpareto-tehokkuusDimensionality reductionta111metamodelingmonitavoiteoptimointiMetamodelingOptimization methodsSoftwareSIAM Journal on Optimization
researchProduct