Search results for "Programming"

showing 10 items of 3090 documents

Sudoku – A Language Description Case Study

2009

A complete language description includes the structure as well as constraints, textual representation, graphical representation, and behaviour (transformation and execution). As a case study in language description, we consider Sudoku as a language, where a Sudoku puzzle is an instance of the language. Thus we are able to apply meta-model-based technologies for the creation of a language description for Sudoku, including correctness checking of a puzzle, and solving strategies. We identify what has to be expressed and how this can be done with the technology available today.

Structure (mathematical logic)CorrectnessTheoretical computer scienceTransformation (function)Textual representationProgramming languageComputer scienceClass diagramRepresentation (arts)computer.software_genrecomputer
researchProduct

Inquiry-Based Approaches in Primary Science Teacher Education

2018

This chapter introduces an interactional graphic tool together with a model for inquiry-based science teaching (abbreviated as IBST). The combination of the graphic tool and model offers an approach to support the planning, implementation, reflection and analysis of dialogic IBST. The potential use is illustrated here using a case study in which student teachers used IBST to develop their teaching. The interactional graphic and the model are fundamentally related to three established approaches to science teaching: inquiry-based science teaching, dialogic teaching and the communicative approach. Together, these approaches draw attention to learner participation in inquiry-based science teac…

Structure (mathematical logic)DialogicReflection (computer programming)Process (engineering)Professional developmentComputingMilieux_COMPUTERSANDEDUCATIONMathematics educationPrimary scienceCommunicative language teachingPsychologyTeacher education
researchProduct

Two-dimensional filters for structured text

1997

The paper introduces a method for defining filters for structured text. In the method, the text structure is originally defined by a grammar consisting of a set of productions. To describe the information interests, a two-dimensional template is first created interactively from the grammar to show the structure of a set of textual elements, at a chosen level of detail. The template depicts the hierarchical structure of the elements and indicates also optionality, alternatives, and iteration in the structure. Then, the template is filled by constraints and annotations. The constraints allow giving conditions to the content of parts, to the position of parts in an ordered set of parts, and to…

Structure (mathematical logic)Document Structure DescriptionTheoretical computer scienceProperty (programming)Computer sciencebusiness.industryLevel of detail (writing)Library and Information SciencesManagement Science and Operations ResearchComputer Science ApplicationsSet (abstract data type)Formal grammarStructured textMedia TechnologybusinessInformation SystemsGraphical user interfaceInformation Processing & Management
researchProduct

The impact of user’s availability on On-line Ego Networks: a Facebook analysis

2016

We have defined and implemented a Facebook application to log a Facebook dataset.We have studied and validated the structural properties of the whole dataset and of the Dunbar ego networks.We have analyzed the interactions of the users.The availability of the users in the Dunbar ego networks have been investigated.Our results reveal the presence of the temporal homophily property in the Dunbar ego networks. Online Social Networks (OSNs) are the most popular applications in todays Internet and they have changed the way people interact with each other. Understanding the structural properties of OSNs and, in particular, how users behave when they connect to OSNs is crucial for designing user-c…

Structure (mathematical logic)Dunbar's circleOnline Social NetworksOnline Social NetworkSocial networkComputer Networks and CommunicationsProperty (programming)business.industryComputer scienceInternet privacy020206 networking & telecommunicationsSample (statistics)02 engineering and technologyHomophilyTemporal homophilyWorld Wide WebOnline Social Networks; Temporal homophily; Dunbar's circlesLine (geometry)0202 electrical engineering electronic engineering information engineeringDunbar's circles020201 artificial intelligence & image processingThe InternetbusinessSet (psychology)Computer Communications
researchProduct

Organization of Production Processes through the Multi-Service Method by Performing some Identical Operations of the same Duration and Structure

2013

Organisation of production processes, by means of multi service method refers to the performance of attributions within a working system, using simultaneously or successively more inputs or more items in a single means of production, by one or more employees. In the specifically chosen case, in order to outline the advantages that shall be obtained after implementing the multi service method, we want to illustrate a situation where there are the execution conditions of certain identical operations, with the same duration and structure, in which case the running time of the performer and the means of production will be identical. Serving multiple machines finds application in all industrial …

Structure (mathematical logic)EngineeringService (systems architecture)Means of productionbusiness.industryManagement scienceGeneral MedicineIndustrial engineeringRunning timeOperator (computer programming)Order (business)Production (economics)Duration (project management)businessApplied Mechanics and Materials
researchProduct

Integration of Pedagogical Knowledge in the Light of Questions about the Empirical Foundations of General Pedagogy and Understanding of the Concept o…

2018

The main purpose of the article is to show that the studies undertaken by pedagogues, regarding both the experimental foundations of pedagogy and generality, have some common points and that an in-depth reflection on those issues highlights the postulate to treat pedagogical knowledge in an integral manner. The first part presents the relationship between the issue of the empirical foundations of pedagogy and the problems of integrity of pedagogical knowledge; the second part – the relationship between the concept of generality and the problems of integrity, and the concluding part presents a proposed understanding of general pedagogy as integral pedagogy in which the approach towards both …

Structure (mathematical logic)GeneralityReflection (computer programming)integral pedagogygeneral pedagogyTask (project management)experiencePedagogyComputingMilieux_COMPUTERSANDEDUCATIONSociologyElement (criminal law)pedagogical knowledgelcsh:LScientific activitygeneralitylcsh:EducationPaedagogia Christiana
researchProduct

Biproportional Method for Analysing Interindustry Dynamics: the case of France

1990

Two elements are being presented in this paper: (1) A new and original method for analysing matrix dynamics, called the synthetical biproportional projector method (SBP), which can be used to project input–output tables and compare one with another. (2) Some results for France for the important period 1970–85. The paper starts with the observation that no systematic study of the change in the French productive structure as displayed In the input–output tables (tableaux entries-sorties in France) has ever been made. This is unfortunate, since a complete series of data is now available concerning a key period of the French economic evolution including the petroleum crisis, European integratio…

Structure (mathematical logic)JEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsEconomics and EconometricsEngineeringJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsOperations researchbusiness.industryJEL: L - Industrial Organization/L.L1 - Market Structure Firm Strategy and Market Performance/L.L1.L16 - Industrial Organization and Macroeconomics: Industrial Structure and Structural Change • Industrial Price IndicesJEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[SHS.ECO]Humanities and Social Sciences/Economics and FinanceDynamics (music)European integrationJEL : D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[ SHS.ECO ] Humanities and Social Sciences/Economies and financesEvolutionary economicsJEL : L - Industrial Organization/L.L1 - Market Structure Firm Strategy and Market Performance/L.L1.L16 - Industrial Organization and Macroeconomics: Industrial Structure and Structural Change • Industrial Price Indicesbusiness[SHS.ECO] Humanities and Social Sciences/Economics and FinanceMathematical economicsComputingMilieux_MISCELLANEOUS
researchProduct

ViSPE: A Graphical Policy Editor for XACML

2015

In this paper we present the Visual Security Policy Editor (ViSPE), a policy-maker-friendly graphical editor for the eXtensible Access Control Markup Language (XACML). The editor is based on the programming language Scratch and implemented in Smalltalk. It uses a graphical block-based syntax for declaring access control polices that simplifies many of the cumbersome and verbose parts of XACML. Using a graphical language allows the editor to aid the policy-maker in building polices by providing visual feedback and by grouping blocks and operators that fit together and also indicating which blocks that stick together. It simplifies building policies while still maintaining the basic structure…

Structure (mathematical logic)Markup languageSyntax (programming languages)Computer sciencebusiness.industryProgramming languageXACMLAccess controlSecurity policycomputer.software_genreBlock (programming)businesscomputerSmalltalkcomputer.programming_language
researchProduct

Implementation aspects of interactive multiobjective optimization for modeling environments: The case of GAMS-NIMBUS

2014

Abstract. Interactive multiobjective optimization methods have provided promising results in the literature but still their implementations are rare. Here we introduce a core structure of interactive methods to enable their convenient implementation. We also demonstrate how this core structure can be applied when implementing an interactive method using a modeling environment. Many modeling environments contain tools for single objective optimization but not for interactive multiobjective optimization. Furthermore, as a concrete example, we present GAMS-NIMBUS Tool which is an implementation of the classification-based NIMBUS method for the GAMS modeling environment. So far, interactive met…

Structure (mathematical logic)Mathematical optimizationControl and OptimizationModeling languageComputer sciencepareto optimalityApplied Mathematicsinteractive methodsMultiple objective programmingMulti-objective optimizationComputational MathematicsMultiobjective optimization problemSingle objectivemultiple objective programmingNIMBUS methodImplementationmodeling languages
researchProduct

Black-Box solvers in combinatorial optimization

2015

Black box optimizers have a long tradition in the field of operations research. These procedures treat the objective function evaluation as a black box and therefore do not take advantage of its specific structure. Black-box optimization refers to the process in which there is a complete separation between the evaluation of the objective function —and perhaps other functions used to enforce constraints— and the solution procedure. The challenge of optimizing black boxes is to develop methods that can produce outcomes of reasonable quality without taking advantage of problem structure and employing a computational effort that is adequate for the context.

Structure (mathematical logic)Mathematical optimizationLinear programmingProcess (engineering)Computer scienceBlack boxCombinatorial optimizationContext (language use)Multi-objective optimizationField (computer science)2015 International Conference on Industrial Engineering and Systems Management (IESM)
researchProduct