Search results for " Computer-Aided design"

showing 10 items of 232 documents

Predicting mobile apps spread: An epidemiological random network modeling approach

2017

[EN] The mobile applications business is a really big market, growing constantly. In app marketing, a key issue is to predict future app installations. The influence of the peers seems to be very relevant when downloading apps. Therefore, the study of the evolution of mobile apps spread may be approached using a proper network model that considers the influence of peers. Influence of peers and other social contagions have been successfully described using models of epidemiological type. Hence, in this paper we propose an epidemiological random network model with realistic parameters to predict the evolution of downloads of apps. With this model, we are able to predict the behavior of an app…

Behavior over timeRandom graph050103 clinical psychologyComputer scienceeducation05 social sciencesMobile appsMechanical engineeringEpidemiological random network050109 social psychologyComputer Graphics and Computer-Aided DesignData scienceRandom network modelTerm (time)UploadModeling and Simulationmental disordersKey (cryptography)0501 psychology and cognitive sciencesMobile app spreadPredictionMATEMATICA APLICADASoftwareNetwork modelSIMULATION
researchProduct

Radiomics and Prostate MRI: Current Role and Future Applications

2021

Multiparametric prostate magnetic resonance imaging (mpMRI) is widely used as a triage test for men at a risk of prostate cancer. However, the traditional role of mpMRI was confined to prostate cancer staging. Radiomics is the quantitative extraction and analysis of minable data from medical images; it is emerging as a promising tool to detect and categorize prostate lesions. In this paper we review the role of radiomics applied to prostate mpMRI in detection and localization of prostate cancer, prediction of Gleason score and PI-RADS classification, prediction of extracapsular extension and of biochemical recurrence. We also provide a future perspective of artificial intelligence (machine …

Biochemical recurrencemedicine.medical_specialtyReviewlcsh:Computer applications to medicine. Medical informaticslcsh:QA75.5-76.95030218 nuclear medicine & medical imaging03 medical and health sciencesProstate cancer0302 clinical medicineRadiomicsProstatelocalmedicineRadiology Nuclear Medicine and imaginglcsh:PhotographyGleason scoreElectrical and Electronic EngineeringMultiparametric Magnetic Resonance ImagingFuture perspectivemedicine.diagnostic_testbusiness.industryMagnetic resonance imaginglcsh:TR1-1050prostate cancerartificial intelligencemultiparametric magnetic resonance imagingneoplasm recurrencemedicine.diseaseComputer Graphics and Computer-Aided Designprostate cancer; artificial intelligence; multiparametric magnetic resonance imaging; Gleason score; neoplasm recurrence; localmedicine.anatomical_structure030220 oncology & carcinogenesislcsh:R858-859.7lcsh:Electronic computers. Computer scienceComputer Vision and Pattern RecognitionRadiologyProstate cancer stagingbusiness
researchProduct

A COMPARATIVE STUDY BETWEEN ´ BIHARMONIC BEZIER SURFACES AND BIHARMONIC EXTREMAL SURFACES

2009

AbstractGiven a prescribed boundary of a Bezier surface, we compare the Bezier surfaces generated by two different methods, i.e., the Bezier surface minimising the biharmonic functional and the unique Bezier surface solution of the biharmonic equation with prescribed boundary. Although often the two types of surfaces look visually the same, we show that they are indeed different. In this paper, we provide a theoretical argument showing why the two types of surfaces are not always the same.

Bézier surfaceComputer scienceHardware and ArchitectureMathematical analysisBiharmonic equationBoundary (topology)Bézier curveBiharmonic Bézier surfaceComputer Graphics and Computer-Aided DesignSoftwareComputer Science ApplicationsInternational Journal of Computers and Applications
researchProduct

Two -methods to generate Bézier surfaces from the boundary

2009

Two methods to generate tensor-product Bezier surface patches from their boundary curves and with tangent conditions along them are presented. The first one is based on the tetraharmonic equation: we show the existence and uniqueness of the solution of @D^4x->=0 with prescribed boundary and adjacent to the boundary control points of a nxn Bezier surface. The second one is based on the nonhomogeneous biharmonic equation @D^2x->=p, where p could be understood as a vectorial load adapted to the C^1-boundary conditions.

Bézier surfaceMathematical analysisAerospace EngineeringBoundary (topology)TangentGeometryMixed boundary conditionBiharmonic Bézier surfaceComputer Graphics and Computer-Aided DesignComputer Science::GraphicsModeling and SimulationAutomotive EngineeringBiharmonic equationUniquenessBoundary value problemMathematicsComputer Aided Geometric Design
researchProduct

Bézier surfaces of minimal area: The Dirichlet approach

2004

The Plateau-Bezier problem consists in finding the Bezier surface with minimal area from among all Bezier surfaces with prescribed border. An approximation to the solution of the Plateau-Bezier problem is obtained by replacing the area functional with the Dirichlet functional. Some comparisons between Dirichlet extremals and Bezier surfaces obtained by the use of masks related with minimal surfaces are studied.

Bézier surfacePure mathematicsMinimal surfaceAerospace EngineeringBézier curveComputer Science::Computational GeometryTopologyComputer Graphics and Computer-Aided DesignDirichlet distributionsymbols.namesakeComputer Science::GraphicsModeling and SimulationComputer Science::MultimediaAutomotive EngineeringsymbolsMathematicsComputer Aided Geometric Design
researchProduct

3D segmentation of abdominal aorta from CT-scan and MR images

2012

International audience; We designed a generic method for segmenting the aneurismal sac of an abdominal aortic aneurysm (AAA) both from multi-slice MR and CT-scan examinations. It is a semi-automatic method requiring little human intervention and based on graph cut theory to segment the lumen interface and the aortic wall of AAAs. Our segmentation method works independently on MRI and CT-scan volumes and has been tested on a 44 patient dataset and 10 synthetic images. Segmentation and maximum diameter estimation were compared to manual tracing from 4 experts. An inter-observer study was performed in order to measure the variability range of a human observer. Based on three metrics (the maxim…

CT scanmedicine.medical_specialty[INFO.INFO-IM] Computer Science [cs]/Medical ImagingLumen (anatomy)Health Informatics02 engineering and technologyAAA segmentationPattern Recognition Automated030218 nuclear medicine & medical imaging03 medical and health sciencesAortic aneurysmImaging Three-Dimensional0302 clinical medicineCutmedicine.arteryImage Interpretation Computer-Assisted[INFO.INFO-IM]Computer Science [cs]/Medical Imaging0202 electrical engineering electronic engineering information engineeringmedicineHumansRadiology Nuclear Medicine and imagingSegmentationMathematicsAnalysis of VarianceRadiological and Ultrasound Technology[ INFO.INFO-IM ] Computer Science [cs]/Medical ImagingVolume segmentationAbdominal aortaReproducibility of Resultsmedicine.diseaseComputer Graphics and Computer-Aided DesignAbdominal aortic aneurysmHausdorff distancecardiovascular system020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionTomographyRadiologyTomography X-Ray ComputedAlgorithmsMagnetic Resonance AngiographyGraph cutAortic Aneurysm AbdominalMRI
researchProduct

A Robust and Simple Measure for Quality-Guided 2D Phase Unwrapping Algorithms

2016

Quality-based 2D phase unwrapping algorithms provide one of the best tradeoffs between speed and quality of results. Their robustness depends on a quality map, which is used to build a path that visits the most reliable pixels first. Unwrapping then proceeds along this path, delaying unwrapping of noisy and inconsistent areas until the end, so that the unwrapping errors remain local. We propose a novel quality measure that is consistent, technically sound, effective, fast to compute, and immune to the presence of a carrier signal. The new measure combines the benefits of both the quality-guided and the residue-based phase unwrapping approaches. The quality map is justified from the two diff…

Carrier signalPixelbusiness.industryComputer science0211 other engineering and technologiesHolography02 engineering and technology01 natural sciencesComputer Graphics and Computer-Aided DesignPhase unwrappingGeneralLiterature_MISCELLANEOUSlaw.invention010309 opticsInterferometryRobustness (computer science)law0103 physical sciencesComputer visionArtificial intelligencebusinessAlgorithmSoftware021101 geological & geomatics engineeringIEEE Transactions on Image Processing
researchProduct

The expressive power of the shuffle product

2010

International audience; There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious operation on regular languages.Antonio Restivo proposed as a challenge to characterize the smallest class of languages containing the singletons and closed under Boolean operations, product and shuffle. This problem is still widely open, but we present some partial results on it. We also study some other smaller classes, including the smallest class containing the languages composed of a single word of length 2 which is closed under Boolean operations and shuffle by a letter (resp. shuffle by a l…

Class (set theory)Computer science[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciences02 engineering and technologyStar (graph theory)01 natural sciencesExpressive powerTheoretical Computer ScienceRegular languageFormal language0202 electrical engineering electronic engineering information engineeringArithmeticAlgebraic numberComputingMilieux_MISCELLANEOUSDiscrete mathematicsComputer Science Applicationsshuffle operatorComputational Theory and Mathematics010201 computation theory & mathematicsProduct (mathematics)Formal language020201 artificial intelligence & image processingBoolean operations in computer-aided designWord (computer architecture)Information Systems
researchProduct

A Formalism Supplementing Cognitive Semantics Based on Mereology

2007

ABSTRACT This paper is motivated by and aims to supplement Cognitive Semantics. Details of this latter prominent approach within contemporary linguistic research will not be discussed here. Rather, we focus on a formalization of the concept of Gestalt and provide a formal semantics that can be used to interpret a certain formal language (LM 0) with respect to a universe of structured wholes (Gestalts). Since a great deal of the analyses of linguistic organization that has been provided by Cognitive Semantics since the mid-1970s is based on the concept of Gestalt, the semantics unfolded in the following may be viewed as an attempt to provide a starting point for supplementing the yet informa…

Cognitive scienceComputer scienceFormal semantics (linguistics)Cognitive semanticsExperimental and Cognitive PsychologyComputer Graphics and Computer-Aided DesignOperational semanticsLinguisticsAction semanticsDenotational semanticsWell-founded semanticsModeling and SimulationComputational semanticsFormal languageComputer Vision and Pattern RecognitionEarth-Surface ProcessesSpatial Cognition & Computation
researchProduct

Radical innovation by theoretical abstraction - a challenge for the user-centred designer

2016

AbstractIt is generally accepted that scientific disciplines such as psychology, sociology, and anthropology contribute beneficially to design by providing understanding of users’ needs, experiences, and desires. Arguably, however, these disciplines have more to contribute, because they include theories and models that can be applied as design frames and principles. More specifically, goal-setting, visualization, thematization, and conceptual reconfiguration are general mechanisms through which theories translate into design contributions. Actualizing radical design solutions via these mechanisms is discussed: theories provide appropriate means of abstraction, which allows ‘distance’ from u…

Cognitive scienceta113ta211framingComputer science05 social sciences0211 other engineering and technologiesControl reconfigurationta613202 engineering and technologydesign knowledgeDesign knowledgeComputer Graphics and Computer-Aided Designsocial theoryVisualizationcase studyFraming (social sciences)Arts and Humanities (miscellaneous)design theoryDesigntheory0501 psychology and cognitive sciences050107 human factorsScientific disciplines021106 design practice & managementSocial theoryDesign Journal
researchProduct