Search results for "Operations"

showing 10 items of 1692 documents

Car sequencing versus mixed-model sequencing: A computational study

2014

Abstract The paper deals with the two most important mathematical models for sequencing products on a mixed-model assembly line in order to minimize work overload the mixed-model sequencing (MMS) model and the car sequencing (CS) model. Although both models follow the same underlying objective, only MMS directly addresses the work overload in its objective function. CS instead applies a surrogate objective using so-called sequencing rules which restrict labor-intensive options accompanied with the products in the sequence. The CS model minimizes the number of violations of the respective sequencing rules, which is widely assumed to lead to minimum work overload. This paper experimentally co…

Mixed modelInformation Systems and ManagementGeneral Computer ScienceMathematical modelComputer scienceManagement Science and Operations Researchcomputer.software_genreIndustrial and Manufacturing EngineeringScheduling (computing)WeightingModeling and SimulationData miningcomputerSimulationEuropean Journal of Operational Research
researchProduct

Higher Education Internationalization: The Erasmus-Mundus network added value

2014

International audience; Higher education internationalization can play a major role in developing universities and students' capacities and their opportunities broadly throughout the world. Irrespective of contextual differences within and between countries, nearly all higher education institutions worldwide are engaged in international activities and are seeking to expand them. Engaging with the world is now considered part of the definition of quality in education and research. However, with the current crisis, possible tensions and counter reactions to the development of the internationalization can occur, such as an imminent resistance to a supposed denationalizing effect of internation…

Mobilityerasmus-mundusHigher education[INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO]business.industry4. EducationIdentity (social science)Resistance (psychoanalysis)[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]Bilateral and multilateral collaborationSouth East Asiabilateral and multilateral collaborationmobilityCompetition (economics)InternationalizationErasmus-Mundussouth east asiaSustainabilityDevelopment economicsAdded valueInternationalizationbusinessinternationalizationErasmus+[ INFO.INFO-RO ] Computer Science [cs]/Operations Research [cs.RO]
researchProduct

A DEA-based transport heliports' efficiencies evaluation

2015

Purpose - The purpose of the study is the evaluation of the efficiencies of a group of small Italian airports and the comparison with a set of transport heliports to show the difference in the productivity of the two types of infrastructures. Design/methodology/approach - The methodology used for the evaluation is the data envelopment analysis (DEA). Findings - The better performance of the heliports compared to the small inefficient airports. Research limitations/implications - This research is limited by the field of application and the weaknesses of the DEA methodology. However, it could be the first step for further works that will include more accurate models. Practical implications - …

Mode of transportEngineeringOperations researchbusiness.industryHeliportAerospace EngineeringGeneral MedicineEfficiencyTransport engineeringSettore ICAR/05 - TrasportiData envelopment analysisbusinessPractical implicationsProductivityData envelopment analysi
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

Using the Rasch model to assess a University Service on the Basis of Students Opinions

2008

In this paper we use the Rasch model (RM) as a tool to measure the perceived quality of student services at the Reception Office of an Italian university faculty. This paper has both a substantive and a methodological aim. The former is concerned with measuring the service quality of the Reception Office, while the latter concerns the definition and validation of an instrument for measuring perceived quality. The sample comprised 273 students enrolled at the Faculty of Economics at the University of Palermo (Aiello F. Il modello di Rasch per la costruzione di uno strumento di misura della qualit`a di un Servizio. Ph.D. Thesis, University of Palermo, Palermo, 2005). The RM is applied to prod…

Modeling and Simulationlatent conceptperceived qualitySettore SECS-S/05 - Statistica SocialeManagement Science and Operations ResearchGeneral Business Management and AccountingRasch modelquality evaluation
researchProduct

Modeling software integration scenarios for telecommunications operations software vendors

2007

- Telecom operators deploy a vast number of software systems to support their operations. Vendors of these systems often integrate such software in their products in order to enable innovations, minimize the customer's integration efforts, etc. Different integration scenarios can be envisioned, and the issue of identifying more beneficial scenarios is of a great importance to the vendors. This paper focuses on analyzing different integration scenarios in the context of telecommunications operations software. For each scenario, the overall modularity of the set of software systems is evaluated, and the expected benefits of the scenario are modeled in terms of the modularity gain it provides.…

Modularity (networks)EngineeringTelecommunications control softwareSoftwarebusiness.industryOperations support systemIntegrated softwareSystems engineeringTelecommunications serviceScenario analysisSoftware systembusinessTelecommunications2007 IEEE International Conference on Industrial Engineering and Engineering Management
researchProduct

Boolean operations mediated by an ion-pair receptor of a multi-readout molecular logic gate

2013

A heteroditopic BODIPY dye that performs all basic Boolean operations with a cation (K+) and an anion (F-) as inputs and absorption, transmission and fluorescence as outputs is described. The molecular logic gate can also act as a digital comparator between the inputs.

Molecular logic gateMetal-IonsAnalytical chemistryTopologyCatalysisIonchemistry.chemical_compoundComplexDrivenMaterials ChemistryKeypad LockCrown EtherFluorescence EnhancementChemistryMetals and AlloysGeneral ChemistryIon pairsFluorescenceSurfaces Coatings and FilmsElectronic Optical and Magnetic MaterialsRecognitionTransmission (telecommunications)Ceramics and CompositesDigital comparatorInputsBoolean operations in computer-aided designBODIPY
researchProduct

Scatter Search—Wellsprings and Challenges

2006

I came up with the idea of editing this volume in the summer of 2002 while working on the book "Scatter search methodologies and implementations in C" with Manuel Laguna in the University of Colorado at Boulder. There, Fred Glover kindly let me use his office, where I found a copy of the "Tabu Search Methods for Optimization" special issue that he edited in 1988 for the European Journal of Operational Research. This encounter made me realize that Scatter Search has reached a level of maturity as an optimization method that has parallels with what Tabu Search was experiencing in the late eighties. So I thought that the moment was perfect to embark on this project, which has been supported en…

Moment (mathematics)Information Systems and ManagementGeneral Computer ScienceOperations researchComputer scienceModeling and SimulationVolume (computing)Management Science and Operations ResearchMaturity (finance)Industrial and Manufacturing EngineeringTabu searchEuropean Journal of Operational Research
researchProduct

Multiple-attribute decision support system based on fuzzy logic for performance assessment

2005

Abstract This paper deals with the problem of assessing the performance of a set of production units, simultaneously considering different kinds of information, yielded by a Data Envelopment Analysis, a qualitative data analysis and an expert assessment. The tool for integrating heterogeneous data is a model that applies fuzzy logic to decision support systems. The results obtained are a holistic performance assessment of each unit of the set and a ranking order of the units.

Multi-attribute decision aiding systemsDecision support systemInformation Systems and ManagementGeneral Computer ScienceComputer sciencemedicine.medical_treatmentDecision treeDecision support systemsManagement Science and Operations Researchcomputer.software_genreFuzzy logicIndustrial and Manufacturing EngineeringDEAmedicineData envelopment analysisExpert evaluationDecision engineeringEvidential reasoning approachIntelligent decision support systemDEA; Decision support systems; Expert evaluation; Fuzzy logic; Multi-attribute decision aiding systemsFuzzy logicModeling and SimulationData miningcomputerDecision analysis cycleDecision analysisEuropean Journal of Operational Research
researchProduct

Hierarchical multi-criteria analysis for the selection of a triathlon

2018

Sports activities have an increasingly large impact in different fields: economy, tourism, environment, applied technology, social, culture, etc. This study analyses the most important criteria that triathletes take into account when choosing a triathlon event in Spain. The methodology used was Analytic Hierarchy Process (AHP), which quantifies the weighting of each criterion and sub-criterion in a survey. The survey was drawn up using 14 triathlete experts and was completed by 95 triathlon participants. The results show that the internal aspects associated with the development of the triathlon event, together with the proximity to the athlete's home, the layout and signage of the circuits …

Multi-criteria analysisOperations researchEvent (computing)Computer scienceRAnalytic hierarchy processSatisfactionAnalytic Hierarchy Process (AHP)Physical Therapy Sports Therapy and RehabilitationCriteriaTriathlonWeightingMulti criteriaSignageValue for moneyEducación Física y Deportivalcsh:Sports medicinelcsh:RC1200-1245TourismSelection (genetic algorithm)
researchProduct