Search results for "Software"

showing 10 items of 7396 documents

Order allocation in a multiple suppliers-manufacturers environment within a dynamic cluster

2015

This study faces the problem of how to evaluate order allocation strategies in a multiple suppliers-manufacturers environment within a dynamic industry cluster that is an environment in which suppliers adopt a policy based on their performance to select the clusters in which to operate. Therefore, the allocation strategy performed by the manufacturers is crucial to keep a long-term supply chain partnership with a specific industry cluster. We use simulation to evaluate order allocation strategies under different market conditions. We show how an allocation strategy that takes into account the whole supply chain’s perspective leads to a sustainable development of the clusters of suppliers.

Sustainable developmentMedia managementOrder allocationComputer scienceMechanical EngineeringSupply chainSettore ING-IND/35 - Ingegneria Economico-GestionaleIndustrial and Manufacturing EngineeringComputer Science ApplicationsNetwork enterprises Coordination Order allocation ClusterSimulationControl and Systems EngineeringGeneral partnershipCluster (physics)Business clusterSoftwareIndustrial organizationSimulationMarket conditions
researchProduct

Usage of European census data for sustainable land management – German case study

2014

AbstractThis paper describes opportunities and results of the usage of high resolution census data for sustainable land management. Following European Union requirements many countries in Europe have counted their population and other indicators in 2011. To take full benefit of the very rich high resolution census data in Germany some country specific problems had to be solved. By applying a semi-automatic procedure the study describes in which way the official topographical and property information systems provided by the surveying authorities are used to determine the boundaries of small scale census units. Linking the census data to the corresponding geographical units enables public adm…

Sustainable land managementeducation.field_of_studyGeographic information systembusiness.industryPopulationLand managementCensuscomputer.software_genreGeographyEarth and Planetary Sciences (miscellaneous)Regional scienceInformation systemmedia_common.cataloged_instanceData miningComputers in Earth SciencesEuropean unioneducationbusinesscomputerSpatial planningCivil and Structural Engineeringmedia_commonSurvey Review
researchProduct

About Objective 3-D Analysis of Airway Geometry in Computerized Tomography

2008

The technology of multislice X-ray computed tomography (MSCT) provides volume data sets with approximately isotropic resolution, which permits a noninvasive 3-D measurement and quantification of airway geometry. In different diseases, like emphysema, chronic obstructive pulmonary disease (COPD), or cystic fribrosis, changes in lung parenchyma are associated with an increase in airway wall thickness. In this paper, we describe an objective measuring method of the airway geometry in the 3-D space. The limited spatial resolution of clinical CT scanners in comparison to thin structures like airway walls causes difficulties in the measurement of the density and the thickness of these structures.…

SwineComputer sciencePulmonary diseaseComputed tomographyGeometrySensitivity and SpecificityCystic fibrosisImaging phantomImaging Three-DimensionalParenchymamedicineAnimalsMultisliceElectrical and Electronic EngineeringQuantitative computed tomographyLungImage resolutionCOPDLungRadiological and Ultrasound Technologymedicine.diagnostic_testPhantoms ImagingReproducibility of ResultsBronchographyComputational geometrymedicine.diseaserespiratory tract diseasesComputer Science ApplicationsRadiographic Image Enhancementmedicine.anatomical_structureAirway wallRadiographic Image Interpretation Computer-AssistedTomographyTomography X-Ray ComputedAirwayAlgorithmsSoftwareIEEE Transactions on Medical Imaging
researchProduct

Another defence of enumerated types

1991

I claim that enumerations, while of course not strictly necessary, are an elegant and useful facility in modern programming languages. I try to show that arguments recently given against them are weak at best and bogus a t worst, for general-purpose programming. Some related issues on types in programming languages are touched as well. These make it even more questionable whether Oberon marks progress or regress in language design.

Symbolic programmingEnumerated typeProgramming languageComputer scienceComparison of multi-paradigm programming languagesNatural language programmingSecond-generation programming languageProgramming language generationscomputer.software_genreComputer Graphics and Computer-Aided DesignVery high-level programming languageThird-generation programming languageLanguage primitiveHigh-level programming languageProgramming language specificationProgramming paradigmFourth-generation programming languageFifth-generation programming languagecomputerLow-level programming languageSoftwareProgramming language theoryACM SIGPLAN Notices
researchProduct

A Rule-Based System for Hardware Configuration and Programming of IoT Devices

2019

Simplifying programming, deployment, and configuration of heterogeneous networked IoT devices requires networking, hardware, representation of knowledge and concepts, design and programming skills. In fact, IoT applications are mostly built by adopting different existing paradigms and technologies on a case-by-case basis. As a result, programming tools hinder adaptability and interoperability of applications with their rigidity. In this paper, we propose a rule-based system that configures and programs IoT devices automatically. The rule base holds formal specifications about hardware platforms, networking protocols, physical world concepts, and applications. Provided with a high-level appl…

Symbolic programmingFormal knowledge representationbusiness.industryComputer scienceSymbolic programmingmedia_common.quotation_subjectInteroperabilityRule-based systemAdaptabilitySoftware deploymentCode generationCode generationFORTHbusinessInternet of ThingsComputer hardwaremedia_common
researchProduct

Symbolic Reductionist Model for Program Comprehension

2007

This article presents the main features of a novel construction, symbolic analysis, for automatic source code processing. The method is superior to the known methods, because it uses a semiotic, interpretative approach. Its most important processes and characteristics are considered here. We describe symbolic information retrieval and the process of analysis in which it can be used in order to obtain pragmatic information. This, in turn, is useful in understanding a current Java program version when developing a new version.

Symbolic programmingObject-oriented programmingSource codeComputer scienceProgramming languagebusiness.industrymedia_common.quotation_subjectProgram comprehensioncomputer.software_genreSymbolic data analysisReal time JavaSymbolic trajectory evaluationArtificial intelligencebusinessJava annotationcomputerNatural language processingmedia_common2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)
researchProduct

Programming languages and dynamic instructional tools: Addressing students’ knowledge base

1992

The chapter presents an instructional computer environment to be used in introductory Pascal programming classes. Traditional programming courses do not foster the kind of knowledge structures that are the trademark of expert programmers. These knowledge structures or programming templates provide programmers with a ready-to-use library of routines from which they draw when writing a new program. Developed as a hypertext tool, TAP (Template Assisted Programming) is an instructional environment to teach programming that emphasizes the development and use of such a library of routines by presenting students with a multiple representation of programming knowledge. In TAP students can (a) switc…

Symbolic programmingProcedural programmingProgramming languageComputer scienceProgramming paradigmPascal (programming language)Fifth-generation programming languageProgramming domainFirst-generation programming languagecomputer.software_genrecomputerInductive programmingcomputer.programming_language
researchProduct

The S-kernel: A measure of symmetry of objects

2007

In this paper we introduce a new symmetry feature named ''symmetry kernel'' (SK) to support a measure of symmetry. Given any symmetry transform S, SK of a pattern P is the maximal included symmetric sub-set of P for all directions and shifts. We provide a first algorithm to exhibit this kernel where the centre of symmetry is assumed to be the centre of mass. Then we prove that, in any direction, the optimal axis corresponds to the maximal correlation of a pattern with its symmetric version. That leads to a second algorithm. The associated symmetry measure is a modified difference between the respective surfaces of a pattern and its kernel. A series of experiments supports the actual algorit…

Symmetry operationPlane symmetryRotational symmetryMeasure (mathematics)CombinatoricsKernel methodArtificial IntelligenceKernel (statistics)Signal ProcessingComputer Vision and Pattern RecognitionCircular symmetrySymmetry (geometry)SoftwareMathematicsPattern Recognition
researchProduct

Extensible Visualizations of Ontologies in OWLGrEd

2019

OWLGrEd is a visual editor for OWL 2.0 ontologies that combines UML class diagram notation and textual OWL Manchester syntax for expressions. We review the basic OWLGrEd options for ontology presentation customization and consider the framework of OWLGrEd extensions that enables introducing rich use-case specific functionality to the editor. A number of available OWLGrEd extensions offering rich ontology management features to their end-users are described, as well.

Syntax (programming languages)Computer scienceProgramming languagemedia_common.quotation_subject010401 analytical chemistry02 engineering and technologyOntology (information science)computer.software_genreNotation01 natural sciencesExtensibility0104 chemical sciencesPersonalizationPresentation0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingClass diagramVisual editorcomputermedia_common
researchProduct

A Hidden Markov Model for Automatic Generation of ER Diagrams from OWL Ontology

2014

Connecting ontological representations and data models is a crucial need in enterprise knowledge management, above all in the case of federated enterprises where corporate ontologies are used to share information coming from different databases. OWL to ERD transformations are a challenging research field in this scenario, due to the loss of expressiveness arising when OWL axioms have to be represented using ERD notation. In this paper we propose an innovative technique for estimating the most likely composition of ERD constructs that correspond to a given sequence of OWL axioms. We model such a process using a Hidden Markov Model (HMM) where the OWL inputs are the observable states, while E…

Syntax (programming languages)Computer sciencebusiness.industrycomputer.internet_protocolWeb Ontology Languagecomputer.software_genreNotationOWL-SData modelingSet (abstract data type)Entity–relationship modelArtificial intelligenceHidden Markov modelbusinesscomputerNatural language processingcomputer.programming_language2014 IEEE International Conference on Semantic Computing
researchProduct