Search results for "programming."

showing 10 items of 3035 documents

E-NAUTILUS: A decision support system for complex multiobjective optimization problems based on the NAUTILUS method

2015

Interactive multiobjective optimization methods cannot necessarily be easily used when (industrial) multiobjective optimization problems are involved. There are at least two important factors to be considered with any interactive method: computationally expensive functions and aspects of human behavior. In this paper, we propose a method based on the existing NAUTILUS method and call it the Enhanced NAUTILUS (E-NAUTILUS) method. This method borrows the motivation of NAUTILUS along with the human aspects related to avoiding trading-off and anchoring bias and extends its applicability for computationally expensive multiobjective optimization problems. In the E-NAUTILUS method, a set of Pareto…

ta113Decision support systemMathematical optimizationInformation Systems and ManagementOptimization problemMultiple criteria optimizationGeneral Computer ScienceComputer sciencePareto principleTrading-offManagement Science and Operations ResearchSpace (commercial competition)Multiple objective programmingMulti-objective optimizationIndustrial and Manufacturing EngineeringSet (abstract data type)Modeling and SimulationPoint (geometry)Computational costInteractive methodsEuropean Journal of Operational Research
researchProduct

Open badge factory project consortium

2014

ta113Engineering managementEngineeringKnowledge managementbusiness.industryFactory (object-oriented programming)business
researchProduct

Understanding beginners' mistakes with Haskell

2015

AbstractThis article presents an overview of student difficulties in an introductory functional programming (FP) course taught in Haskell. The motivation for this study stems from our belief that many student difficulties can be alleviated by understanding the underlying causes of errors and by modifying the educational approach and, possibly, the teaching language accordingly. We analyze students' exercise submissions and categorize student errors according to compiler error messages and then manually according to the observed underlying cause. Our study complements earlier studies on the topic by applying computer and manual analysis while focusing on providing descriptive statistics of d…

ta113Functional programmingDescriptive statisticsProgramming languageComputer scienceFunction applicationcomputer.software_genrebeginners' mistakesSyntaxCategorizationHaskellComputingMilieux_COMPUTERSANDEDUCATIONMathematics educationTeaching languagecomputer analysisHaskellCompilercomputerSoftwarecomputer.programming_languageJournal of Functional Programming
researchProduct

Comparing the cost-efficiency of CoAP and HTTP in Web of Things applications

2014

Abstract Constrained Application Protocol (CoAP) has been introduced as a simpler alternative to the Hypertext Transfer Protocol (HTTP) for connecting constrained smart objects to the Web. The adoption of the protocol depends on its relative advantage, and the cost–benefit associated with the use of the protocol is a significant factor affecting a protocol adoption decision. This paper aims at deepening the understanding of the cost–benefits of CoAP and identifies the application scenarios where its use is likely to be economically justifiable. The paper analyzes the costs of using CoAP and HTTP in the Web of Things (WoT) applications, by identifying the components of the total cost of owne…

ta113Information Systems and ManagementHypertext Transfer Protocolta213Cost efficiencyComputer scienceSmart objectsbusiness.industrycomputer.internet_protocolta111Computer securitycomputer.software_genreManagement Information SystemsConstrained Application ProtocolWeb of ThingsArts and Humanities (miscellaneous)Developmental and Educational PsychologyOverhead (computing)businessta512Protocol (object-oriented programming)computerInformation SystemsComputer networkDecision Support Systems
researchProduct

Guidelines for improving the contextual relevance of field surveys: the case of information security policy violations

2014

The information systems (IS) field continues to debate the relative importance of rigor and relevance in its research. While the pursuit of rigor in research is important, we argue that further effort is needed to improve practical relevance, not only in terms of topics, but also by ensuring contextual relevance. While content validity is often performed rigorously, validated survey instruments may still lack contextual relevance and be out of touch with practice. We argue that IS behavioral research can improve its practical relevance without loss of rigor by carefully addressing a number of contextual issues in instrumentation design. In this opinion article, we outline five guidelines – …

ta113Knowledge managementbusiness.industryComputer science05 social sciences02 engineering and technologyInformation securityLibrary and Information SciencesData scienceManagement information systems020204 information systems0502 economics and business0202 electrical engineering electronic engineering information engineeringContent validityInformation systemStrategic information systemSoft systems methodologyRelevance (information retrieval)Instrumentation (computer programming)business050203 business & managementInformation SystemsEuropean Journal of Information Systems
researchProduct

Formal specification of open standards and the case of RSS v2.0

2014

Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…

ta113Language Of Temporal Ordering SpecificationProgramming languageComputer scienceFormal specificationObject languageAlgebraic specificationSpecification languageRefinementcomputer.software_genreFormal methodscomputerFormal verification
researchProduct

Linear fusion of interrupted reports in cooperative spectrum sensing for cognitive radio networks

2015

Interrupted reporting has recently been introduced as an effective method to increase the energy efficiency of cooperative spectrum sensing schemes in cognitive radio networks. In this paper, joint optimization of the reporting and fusion phases in a cooperative sensing with interrupted reporting is considered. This optimization aims at finding the best weights used at the fusion center to construct a linear fusion of the received interrupted reports, jointly with Bernoulli distributions governing the statistical behavior of the interruptions. The problem is formulated by using the deflection criterion and as a nonconvex quadratic program which is then solved for a suboptimal solution, in a…

ta113Mathematical optimizationFusionta213Artificial neural networkComputer sciencedecision fusioncooperative spectrum sensingBernoulli's principleCognitive radionon-ideal reporting channelscorrelationcognitive radio (CR)Quadratic programmingEfficient energy use2015 IEEE 26th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC)
researchProduct

Interactive Multiple Criteria Decision Making based on preference driven Evolutionary Multiobjective Optimization with controllable accuracy

2012

Abstract We present an approach to interactive Multiple Criteria Decision Making based on preference driven Evolutionary Multiobjective Optimization with controllable accuracy. The approach relies on formulae for lower and upper bounds on coordinates of the outcome of an arbitrary efficient variant corresponding to preference information expressed by the Decision Maker. In contrast to earlier works on that subject, here lower and upper bounds can be calculated and their accuracy controlled entirely within evolutionary computation framework. This is made possible by exploration of not only the region of feasible variants – a standard within evolutionary optimization, but also the region of i…

ta113Mathematical optimizationInformation Systems and ManagementGeneral Computer ScienceComputationta111Contrast (statistics)Interactive evolutionary computationManagement Science and Operations ResearchMulti-objective optimizationOutcome (game theory)Industrial and Manufacturing EngineeringEvolutionary computationModeling and SimulationPreference (economics)Evolutionary programmingMathematicsEuropean Journal of Operational Research
researchProduct

Genetic programming through bi-objective genetic algorithms with a study of a simulated moving bed process involving multiple objectives

2013

A new bi-objective genetic programming (BioGP) technique has been developed for meta-modeling and applied in a chromatographic separation process using a simulated moving bed (SMB) process. The BioGP technique initially minimizes training error through a single objective optimization procedure and then a trade-off between complexity and accuracy is worked out through a genetic algorithm based bi-objective optimization strategy. A benefit of the BioGP approach is that an expert user or a decision maker (DM) can flexibly select the mathematical operations involved to construct a meta-model of desired complexity or accuracy. It is also designed to combat bloat - a perennial problem in genetic …

ta113Mathematical optimizationMeta-optimizationArtificial neural networkComputer scienceta111Evolutionary algorithmGenetic programmingOverfittingMulti-objective optimizationSimulation-based optimizationGenetic algorithmMetaheuristicSoftwareApplied Soft Computing
researchProduct

High school students' perspective to university CS1

2013

This paper presents a qualitative study of a school-university collaborative project where a game-themed CS1 course was offered as-is to high school students. Our specific interest was to explore the students' experiences with the university level course. Our analyses indicate that immediate and regular support was highly important for student performance, as support of this kind could mitigate issues related to students' orientation towards the high workload of the course. Students who showed academic interest were likely to pass, whereas students lacking self-direction or work efficiency were likely to drop out. Both passed and drop-outs found the course to be a good learning experience. …

ta113Medical educationHigher educationbusiness.industryComputer scienceGame programmingPerspective (graphical)University levelWorkloadPlan (drawing)OutreachPedagogyComputingMilieux_COMPUTERSANDEDUCATIONta516businessQualitative research
researchProduct