Search results for "Computer-aided"

showing 10 items of 416 documents

Sustainable Development: E-teaching (now) for Lifelong E-Learning

2011

Abstract To attain knowledge, add things every day. To attain wisdom, remove things every day. LAO TZU , “Tao Te Ching” The paper aims at convincing psychologist to cooperate in permanent education, by giving them a general idea about the first objectives of the PhD thesis titled “Nondeterministic e-Teaching for Sustainable Development in Rapidly Changing Environments”: a) Validating the role of e-teaching for sustainable development in Eastern Europe in line with the Europe 2020 strategy. (Europe 2020 is a 10-year strategy proposed by the European Commission on 3 March 2010 for reviving the economy of the European Union. It aims at “smart, sustainable, inclusive growth” with greater coordi…

Sustainable developmentReductionismsustainable developmentLifelong learningComputer-Aided SemiosisInclusive growthEu 2020 strategyCircumstantial evidenceBounded rationalityEpistemologycognitive psychologymedia_common.cataloged_instanceGeneral Materials ScienceSociologye-teachingSocial scienceEuropean unionZeitgeistmedia_commonProcedia - Social and Behavioral Sciences
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

MetaEdit— A flexible graphical environment for methodology modelling

1991

Existing CASE tools are often rigid and do not support the users' native methodologies. To alleviate this, more flexible and customisable tools called CASE shells are emerging. However, the customisation of those tools is still cumbersome and error-prone, and demands several configuration files that follow a rigid syntax of some metamodelling language(s). In order to make the customisation easier, we propose a graphical metamodelling editor, MetaEdit, with which the conceptual structures of the user methodology can be modelled easily using an easy-to-grasp graphical notation. With MetaEdit, methodology models can be constructed with less effort and the configuration files for the CASE shell…

Syntax (programming languages)Data modelComputer sciencebusiness.industryHuman–computer interactionSimple (abstract algebra)Shell (computing)ComputerApplications_COMPUTERSINOTHERSYSTEMSSoftware engineeringbusinessNotationComputer-aided software engineeringMetamodeling
researchProduct

A Viscoelastic Model for the Long-Term Deflection of Segmental Prestressed Box Girders

2017

Most of segmental prestressed concrete box girders exhibit excessive multidecade deflections unforeseeable by past and current design codes. To investigate such a behavior, mainly caused by creep and shrinkage phenomena, an effective finite element (FE) formulation is presented in this article. This formulation is developed by invoking the stationarity of an energetic principle for linear viscoelastic problems and relies on the Bazant creep constitutive law. A case study representative of segmental prestressed concrete box girders susceptible to creep is also analyzed in the article, that is, the Colle Isarco viaduct. Its FE model, based on the aforementioned energetic formulation, was succ…

TAComputational Theory and MathematicsCivil and Structural Engineering; Computer Science Applications1707 Computer Vision and Pattern Recognition; Computer Graphics and Computer-Aided Design; Computational Theory and MathematicsComputer Science Applications1707 Computer Vision and Pattern RecognitionComputer Graphics and Computer-Aided DesignCivil and Structural Engineering
researchProduct

On the problem of visualizing point distributions in high dimensional spaces

1995

Abstract Exploring dynamical systems with the aid of computer graphics requires that the relevant structures can be seen and be noticed. This poses special problems if the system is multidimensional, and it has to be decided which kind of projection serves the purpose. I propose using the mathematical frame of categories and functors to describe the process of visualization. This allows detecting and analyzing possible sources of misinterpretation in a formal way. The distribution of distances of embedded electroencephalographic data from a fixed reference point is used as an example for discussing some aspects of the visualization process. The multidimensional p-norms are an example of a p…

Theoretical computer scienceDynamical systems theoryFrame (networking)General EngineeringStructure (category theory)Computer Graphics and Computer-Aided DesignVisualizationHuman-Computer InteractionComputer graphicsProjection (mathematics)GraphicsDynamical system (definition)AlgorithmMathematicsComputers & Graphics
researchProduct

Building Construction Sets by Tiling Grammar Simplification

2016

This paper poses the problem of fabricating physical construction sets from example geometry: A construction set provides a small number of different types of building blocks from which the example model as well as many similar variants can be reassembled. This process is formalized by tiling grammars. Our core contribution is an approach for simplifying tiling grammars such that we obtain physically manufacturable building blocks of controllable granularity while retaining variability, i.e., the ability to construct many different, related shapes. Simplification is performed by sequences of two types of elementary operations: non-local joint edge collapses in the tile graphs reduce the gra…

Theoretical computer scienceGrammarComputer sciencemedia_common.quotation_subject010102 general mathematics020207 software engineering02 engineering and technology01 natural sciencesComputer Graphics and Computer-Aided DesignGraphRule-based machine translation0202 electrical engineering electronic engineering information engineering0101 mathematicsAlgorithmBuilding constructionmedia_commonComputer Graphics Forum
researchProduct

LeSSS: Learned Shared Semantic Spaces for Relating Multi-Modal Representations of 3D Shapes

2015

In this paper, we propose a new method for structuring multi-modal representations of shapes according to semantic relations. We learn a metric that links semantically similar objects represented in different modalities. First, 3D-shapes are associated with textual labels by learning how textual attributes are related to the observed geometry. Correlations between similar labels are captured by simultaneously embedding labels and shape descriptors into a common latent space in which an inner product corresponds to similarity. The mapping is learned robustly by optimizing a rank-based loss function under a sparseness prior for the spectrum of the matrix of all classifiers. Second, we extend …

Theoretical computer sciencebusiness.industryComputer scienceRank (computer programming)Cognitive neuroscience of visual object recognitioncomputer.software_genreComputer Graphics and Computer-Aided DesignProduct (mathematics)Similarity (psychology)Line (geometry)Metric (mathematics)Collaborative filteringEmbeddingArtificial intelligencebusinesscomputerNatural language processingComputer Graphics Forum
researchProduct

Mean Field Linear Quadratic Games with Set Up Costs

2013

This paper studies linear quadratic games with set up costs monotonic on the number of active players, namely, players whose action is non-null. Such games arise naturally in joint replenishment inventory systems. Building upon a preliminary analysis of the properties of the best response strategies and Nash equilibria for the given game, the main contribution is the study of the same game under large population. We also analyze the influence of an additional disturbance in the spirit of the literature on H∞ control. Numerical illustrations are provided. © 2012 Springer Science+Business Media New York.

TheoryofComputation_MISCELLANEOUSStatistics and ProbabilityComputer Science::Computer Science and Game TheoryEconomics and EconometricsMathematical optimizationSequential gamedifferential games game theory control and optimizationJoint-replenishmentOutcome (game theory)symbols.namesakeMean field gamesGame theoryMathematicsMean field games; Linear quadratic differential games; Joint-replenishment[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]Applied MathematicsNormal-form gameComputingMilieux_PERSONALCOMPUTINGoperational researchTheoryofComputation_GENERALScreening gameComputer Graphics and Computer-Aided DesignComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsNash equilibriumBest responseRepeated gamesymbolsLinear quadratic differential gamesSettore MAT/09 - Ricerca OperativaoptimizationGame theoryMathematical economicsDynamic Games and Applications
researchProduct

Finite element method for a nonlocal Timoshenko beam model

2014

A finite element method is presented for a nonlocal Timoshenko beam model recently proposed by the authors. The model relies on the key idea that nonlocal effects consist of long-range volume forces and moments exchanged by non-adjacent beam segments, which contribute to the equilibrium of a beam segment along with the classical local stress resultants. The long-range volume forces/moments are linearly depending on the product of the volumes of the interacting beam segments, and their relative motion measured in terms of the pure beam deformation modes, through appropriate attenuation functions governing the spatial decay of nonlocal effects. In this paper, the beam model is reformulated wi…

Timoshenko beam theoryFinite element methodApplied MathematicsGeneral EngineeringStiffnessPure deformation modeComputer Graphics and Computer-Aided DesignFinite element methodLong-range interactionClassical mechanicsVariational formulationBending stiffnessStress resultantsNonlocal Timoshenko beammedicineDirect stiffness methodmedicine.symptomAnalysisBeam (structure)Stiffness matrixMathematics
researchProduct

Customized Titanium Lattice Structure in Three-Dimensional Alveolar Defect: An Initial Case Letter

2018

The aim of this initial case report was to provide a new protocol for the clinical application of a patient-specific titanium lattice structure (Yxoss CBR®, ReOSS, Filderstadt, Germany) for customized bone regeneration. To obtain a 3-dimensional reconstruction of a posterior mandible segment in a 61-year-old woman, a patient-specific titanium customized lattice structure was used. As graft material autogenous bone tissue mixed with xenogenic alloplastic material (Bio Oss®, Geistlich Pharma, Wolhusen, Switzerland) was obtained for reconstruction. After a healing period of 6 months, the titanium lattice structure was removed and implant placement (Camlog Screw Line, 3.8/11, Camlog, Wimsheim, …

TitaniumPosterior mandibleMaterials scienceBone specimenchemistry.chemical_elementAlveolar Ridge Augmentation030206 dentistryCrystal structureAlveolar Ridge AugmentationImplant placement03 medical and health sciences0302 clinical medicinechemistry030220 oncology & carcinogenesisComputer-Aided DesignImplant loadingOral SurgeryBone regenerationTitaniumBiomedical engineeringJournal of Oral Implantology
researchProduct