Search results for "Symbolic"

showing 10 items of 449 documents

Modelling of Systems for Real

2016

Modelling and Programming are often used together in system development. However, typically there is a large difference between the handling of modelling parts and the handling of programming parts. This leads to the fact that the transition between the two is not easy, and important information is lost as well as extra information has to be provided when combining modelling and programming. This paper shows how modelling and programming could work together in system development.

060201 languages & linguisticsProgramming in the large and programming in the smallSymbolic programmingTheoretical computer scienceComputer science06 humanities and the arts02 engineering and technologyIndustrial engineeringInductive programmingProcedural programming0602 languages and literature0202 electrical engineering electronic engineering information engineeringProgramming paradigmReactive programming020201 artificial intelligence & image processingProgramming domainFunctional reactive programmingProceedings of the 4th International Conference on Model-Driven Engineering and Software Development
researchProduct

"Table 5" of "Search for heavy charged long-lived particles in the ATLAS detector in 31.6 fb$^{-1}$ of proton-proton collision data at $\sqrt{s} = 13…

2019

Expected signal yield and acceptance x efficiency, estimated background and observed number of events in data for the full range of simulated masses in the full-detector R-hadron search.

13000.0Proton-Proton ScatteringLLPP P --> GLUINO GLUINOP P --> SQUARK+ SQUARK-EFFSUSYHigh Energy Physics::ExperimentComputer Science::Symbolic ComputationSupersymmetryNACCComputer Science::Distributed Parallel and Cluster Computing
researchProduct

"Table 5" of "Search for heavy charged long-lived particles in the ATLAS detector in 31.6 fb$^{-1}$ of proton-proton collision data at $\sqrt{s} = 13…

2019

Expected signal yield and acceptance x efficiency, estimated background and observed number of events in data for the full range of simulated masses in the full-detector R-hadron search.

13000.0Proton-Proton ScatteringLLPP P --> GLUINO GLUINOP P --> SQUARK+ SQUARK-EFFSUSYHigh Energy Physics::ExperimentComputer Science::Symbolic ComputationSupersymmetryNACCComputer Science::Distributed Parallel and Cluster Computing
researchProduct

Infinitesimal deformations of double covers of smooth algebraic varieties

2003

The goal of this paper is to give a method to compute the space of infinitesimal deformations of a double cover of a smooth algebraic variety. The space of all infinitesimal deformations has a representation as a direct sum of two subspaces. One is isomorphic to the space of simultaneous deformations of the branch locus and the base of the double covering. The second summand is the subspace of deformations of the double covering which induce trivial deformations of the branch divisor. The main result of the paper is a description of the effect of imposing singularities in the branch locus. As a special case we study deformations of Calabi--Yau threefolds which are non--singular models of do…

14B07; 14J3014J30Direct sum14B07General MathematicsInfinitesimalMathematical analysisAlgebraic varietySymbolic computationLinear subspaceequisingular deformationsMathematics - Algebraic GeometryMathematics::Algebraic GeometryFOS: MathematicsProjective spaceGravitational singularityLocus (mathematics)Algebraic Geometry (math.AG)double coveringsMathematics
researchProduct

Matei Visniec: aproximación a un universo dramático a través de sus animales

2014

Matei Visniec (1956) is an author from Romania, who uses both French and Romanian expression in his plays. The coordinates of his dramatic fictional universe bring together the absurd, the symbolic, the fantastic and the conflicts in the city of men, sometimes with accurate historical and current references. Animals, present onstage in many different ways, are very common in his plays. They constitute a strange wildlife between animal and human, between the real and the fantastic.Their presence in this theatrical universe fits into their symbolic aspect, which defies the imagination by means of what is enigmatic and incomprehensible; but it also falls into their committed side to the extent…

AbsurdismFantastiqueLinguistics and LanguageHistoryLiterature and Literary TheoryAbsurd[SHS.LITT]Humanities and Social Sciences/LiteratureSymbolicabsurdHuman conditionAbsurdeSymboliqueLanguage and Linguistics[SHS.LITT] Humanities and Social Sciences/LiteratureanimalFantasticTheatreTeatre (Gènere literari) S. XX Història i críticaThéâtreThéâtre - 20e siècleEngagementlcsh:French literature - Italian literature - Spanish literature - Portuguese literatureMatei VisniecAnimalfantasticRomanianFictional universecommitment16. Peace & justicelanguage.human_languageExpression (architecture)AestheticsCommitmenttheatrelcsh:PQ1-3999languagesymbolicThe SymbolicSymbolique -- Au théâtreUniverse (mathematics)
researchProduct

The taboo against group contact: Hypothesis of Gypsy ontologization

2007

The concept of this article is that the symbolic relationships between human beings and animals serve as a model for the relationships between the majority and the ethnic minority. We postulate that there are two representations that serve to organize these relationships between human beings and animals: a domestic and a wild one. If the domestic animal is an index of human culture, the wild animal is an index of nature which man considers himself to share with the animal. With the wild representation, contact with the animal will be taboo, as it constitutes a threat to the anthropological difference. We offer the hypothesis that ontologization of the minority, that is, the substitution of …

AdultMaleRomaAdolescentSocial Psychologymedia_common.quotation_subjectEthnic groupPoison controlContext (language use)VocabularyDogsAnimal welfareTabooAnimalsHumansContact hypothesisChildmedia_commonHuman-Animal BondTabooMiddle AgedSocial relationGroup ProcessesAffectFemaleThe SymbolicFactor Analysis StatisticalPsychologySocial psychologyBritish Journal of Social Psychology
researchProduct

Uncertainty quantification in simulations of epidemics using polynomial chaos.

2012

Mathematical models based on ordinary differential equations are a useful tool to study the processes involved in epidemiology. Many models consider that the parameters are deterministic variables. But in practice, the transmission parameters present large variability and it is not possible to determine them exactly, and it is necessary to introduce randomness. In this paper, we present an application of the polynomial chaos approach to epidemiological mathematical models based on ordinary differential equations with random coefficients. Taking into account the variability of the transmission parameters of the model, this approach allows us to obtain an auxiliary system of differential equa…

AdultMathematical optimizationArticle SubjectDifferential equationlcsh:Computer applications to medicine. Medical informaticsGeneral Biochemistry Genetics and Molecular BiologyComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONPrevalenceApplied mathematicsHumansObesityUncertainty quantificationEpidemicsRandomnessMathematicsAgedStochastic ProcessesPolynomial chaosModels StatisticalGeneral Immunology and MicrobiologyMathematical modelApplied MathematicsUncertaintyGeneral MedicineMiddle AgedModels TheoreticalNonlinear systemNonlinear DynamicsModeling and SimulationOrdinary differential equationlcsh:R858-859.7Epidemic modelAlgorithmsResearch ArticleComputational and mathematical methods in medicine
researchProduct

Quantifying stenosis in renal arteriograms: a fuzzy syntactic analysis.

1999

AbstractThe introduction of fuzzy logic improves a system for the automatic quantification of renal artery lesions seen in digital subtraction angiograms. A two-step approach has been followed. An earlier system based on non-fuzzy syntactic analysis provided a clear symbolic description of the stenotic lesions. Although this system worked correctly, it did not take into account the variability and uncertainty inherent to image processing and to knowledge on the reference diameter. This system has been improved by the introduction of fuzzy logic in the representation of the reference diameter. It provides a description of the stenosis in terms of fuzzy quantities. To illustrate the benefits …

Advanced and Specialized NursingParsingbusiness.industrySubtractionAngiography Digital SubtractionHealth InformaticsPattern recognitionImage processingRenal Artery Obstructioncomputer.software_genremedicine.diseaseSymbolic descriptionFuzzy logicStenosisDigital imageRenal ArteryFuzzy LogicHealth Information ManagementmedicineHumansRadiographic Image Interpretation Computer-AssistedArtificial intelligenceRepresentation (mathematics)businesscomputer
researchProduct

Predictive signs and indicators of aggressiveness and violence: a comparison between a group of adolescents attending an external penal area, a group…

2006

Aim. We considered the spreading and the increasing of aggressive and violent behaviours. The most of them have two common roots: lack of actual motivation and brutality. Our research intends to detect specific indicators and predictive signs of violent and aggressive behaviours. In order to this, scientific literature shows that the most reliable indicators and predictive signs are linked to structural personality features (e.g. defensive strategies, impulse control). Methods. This cross sectional study compares a group of 26 male adolescents with Conduct Disorder (F91.8), a group of 29 male patients with Borderline Personality Disorder (F60.31) and a group of 33 male prisoners with Antiso…

AggressionDiagnostic and Statistical Manual of Mental DisordersMaleAdolescentBorderline Personality DisorderPredictive Value of TestsPrisonersSurveys and QuestionnairesCommitment of Mentally IllHumansViolenceaggressiveness violence defence mechanism symbolic functionDefense Mechanisms
researchProduct

How Universal Is the Relationship between Remotely Sensed Vegetation Indices and Crop Leaf Area Index? A Global Assessment

2016

This study aims to assess the relationship between Leaf Area Index (LAI) and remotely sensed Vegetation Indices (VIs) for major crops, based on a globally explicit dataset of in situ LAI measurements over a significant set of locations. We used a total of 1394 LAI measurements from 29 sites spanning 4 continents and covering 15 crop types with corresponding Landsat satellite images. Best-fit functions for the LAI-VI relationships were generated and assessed in terms of crop type, vegetation index, level of radiometric/atmospheric processing, method of LAI measurement, as well as the time difference between LAI measurements and satellite overpass. These global LAI-VI relationships were evalu…

Agroecosystemagroecosystem modeling010504 meteorology & atmospheric sciencesMean squared error0211 other engineering and technologiesRobust statisticsLAI; Vegetation Index; agriculture; Landsat; agroecosystem modeling02 engineering and technologyCrop01 natural sciencesUniversalityNormalized Difference Vegetation IndexArticleLAI-VI relationshipLeaf area indexlcsh:Science021101 geological & geomatics engineering0105 earth and related environmental sciencesMathematicsRemote sensingagriculture2. Zero hungerGlobalEnhanced vegetation index15. Life on landLAIGeneral Earth and Planetary Scienceslcsh:QSymbolic regressionLandsatAgricultural landscapesVegetation Index
researchProduct