Search results for "Operation"

showing 10 items of 2969 documents

Approximations and Metric Regularity in Mathematical Programming in Banach Space

1993

This paper establishes verifiable conditions ensuring the important notion of metric regularity for general nondifferentiable programming problems in Banach spaces. These conditions are used to obtain Lagrange-Kuhn-Tucker multipliers for minimization problems with infinitely many inequality and equality constraints.

Minimisation (psychology)Mathematical optimizationGeneral MathematicsMathematics::Optimization and ControlConstrained optimizationBanach spaceSubderivativeManagement Science and Operations ResearchComputer Science Applicationssymbols.namesakeLagrange multiplierMetric (mathematics)symbolsVerifiable secret sharingMinificationMathematicsMathematics of Operations Research
researchProduct

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

Two Novel Ternary Dicopper(II) μ-Guanazole Complexes with Aromatic Amines Strongly Activated by Quantum Dots for DNA Cleavage

2013

Two novel (μ-guanazole)-bridged binuclear copper(II) complexes with 1,10-phenanthroline (phen) or 2,2'-bipyridine (bipy), [Cu2(μ-N2,N4-Hdatrz)(phen)2(H2O)(NO3)4] (1) and [Cu2(μ-N1,N2-datrz)2(μ-OH2)(bipy)2](ClO4)2 (2) (Hdatrz = 3,5-diamino-1,2,4-triazole = guanazole), have been prepared and characterized by X-ray diffraction, spectroscopy, and susceptibility measurements. Compounds 1 and 2 differ in the aromatic amine, which acts as a coligand, and in the Cu···Cu'-bridging system. Compound 1, which contains two mono-bridged copper ions, represents the first example of a discrete Cu-(NCN-trz)-Cu' complex. Compound 2, with two triply bridged copper ions, is one of the few compounds featuring a…

Models MolecularStereochemistryTriazolechemistry.chemical_elementSulfidesCrystallography X-RayCleavage (embryo)Inorganic Chemistrychemistry.chemical_compoundGuanazoleQuantum DotsCadmium CompoundsOrganometallic CompoundsMoleculeAminesDNA CleavagePhysical and Theoretical ChemistrySelenium CompoundsGroup 2 organometallic chemistrychemistry.chemical_classificationMolecular StructureAromatic amineDNAFluorescenceCopperCrystallographychemistryZinc CompoundsTernary operationCopper
researchProduct

What is person-centred care in dementia? Clinical reviews into practice: the development of the VIPS practice model

2013

SummaryThe VIPS framework is a four-part definition of person-centred care for people with dementia (PCC), which arose out of an earlier review article for this journal. The definition has assisted in the practical application of person-centred care. It has been operationalized into the VIPS practice model (VPM), which has been subject to a recent randomized controlled trial within Norwegian nursing homes. The VPM provided a vehicle for the VIPS framework to be utilized during reflective practice meetings focusing on understanding care situations from the perspective of residents with moderate to severe dementia. VPM incorporated an education and coaching approach, clearly defined staff rol…

Moderate to severeOperationalizationbusiness.industryReflective practicePerspective (graphical)Norwegianmedicine.diseaseCoachinglanguage.human_languagelaw.inventionNursingRandomized controlled triallawlanguageMedicineDementiaGeriatrics and GerontologybusinessGerontologyReviews in Clinical Gerontology
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

Phase diagrams calculated for sheared ternary polymer blends

1997

Abstract On the basis of the generalized Gibbs energy of mixing G γ (which is the sum of the Gibbs energy for zero shear and the energy the system stores in steady flow) phase diagrams were calculated as a function of shear rate γ for ternary model blends. This modelling uses simple equations for the description of the stagnant systems (Flory-Huggins) and for the contributions resulting from flow. Surface and alignment effects are neglected. A new procedure, which does not require the derivatives of G γ with respect to composition, was used to that end. Choosing typical values for the binary interaction parameters and molar masses, four classes of ternary systems were studied in greater det…

Molar massAnnihilationPolymers and PlasticsChemistryOrganic ChemistryThermodynamicsAtmospheric temperature rangeGibbs free energyShear ratesymbols.namesakeMaterials ChemistrysymbolsShear flowTernary operationPhase diagramPolymer
researchProduct