Search results for "Model"

showing 10 items of 24058 documents

Introduction to Mathematical Logic, Edition 2021

2021

Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).

resolution methodHerbrand's theoremmodel theoryComputer Science::Logic in Computer Sciencepredicate logicmathematical logic:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical logic [Research Subject Categories]propositional logictableaux methodcompleteness theorems
researchProduct

ESTIMATION OF ATTRIBUTE IMPORTANCE BY CHOICE TIME IN A RANKING TASK

2010

The evaluation of the quality of products and services as a function of their attributes has been broadly implemented in marketing research. The current methods for identifying important attributes and prioritize them suffer from theoretical and practical limitations. The former are related to the choice of the most appropriate model for the specific experimental context, the latter are due to the large amount of variables (cognitive, context and survey variables) affecting the chosen model. This work aims at presenting a new method for capturing consumer attribute preferences and estimating the relative importance weights by using the choice time in a ranking task. All is made through an e…

response latencychoice timeSettore SECS-S/02 - Statistica Per La Ricerca Sperimentale E Tecnologicaattribute ratingresponse timechoice models
researchProduct

Ciclo del carbono y modelización biogeoquímica de un lago somero hipertrófico: la Albufera de Valencia

2015

Los lagos someros son uno de los ecosistemas acuáticos más numerosos a nivel global y hacen posible el desarrollo de multitud de actividades de interés económico y recreativo. En las últimas décadas, gran parte de estos lagos se han visto sujetos a un proceso de eutrofización cultural que a menudo conlleva una transición desde un estado "claro" caracterizado por una alta transparencia del agua y gran abundancia de macrófitos, a un estado "turbio" caracterizado por una baja transparencia del agua, dominancia de fitoplancton y macrófitos sumergidos prácticamente ausentes. El cambio que experimentó la Albufera de Valencia al estado turbio a principios de los años 1970 como resultado de un inte…

restauraciónbiogeoquímicaproducción bacterianaalimentación zooplanctonLago someroUNESCO::CIENCIAS DE LA VIDAmodelización ecológicaeutrofizaciónproducción primaria:CIENCIAS DE LA VIDA [UNESCO]ciclo del carbono
researchProduct

Palermo. Un museo virtuale - Palermo. A virtual museum

2016

Conoscenza, conservazione e valorizzazione sono tra gli obiettivi principali delle discipline riguardanti il disegno, il rilievo e la restituzione grafica dell’architettura, che non si fermano soltanto alla documentazione dello stato di fatto ma comprendono anche ricostruzioni congetturali del processo diacronico di modificazione del monumento ai fini di una sua più ampia conoscenza; la storia del monumento si inserisce, in tal modo, nella storia della città e dei suoi cambiamenti culturali; queste nuove immagini sono veri e propri importanti elementi di un "virtual museum" del sito e, più in generale, della città sulla quale esso insiste. Da molti anni, ormai, i docenti, gli assegnisti di …

restituzione graficavirtual museumricostruzioni digitaliRedrawingmodelingrilievoSettore ICAR/17 - DisegnohistoryMuseo virtualearchitettura arabo-normannaPalermo
researchProduct

BENEFICIOS RELACIONALES, SATISFACCIÓN Y LEALTAD EN EL COMERCIO MINORISTA: UNA COMPARATIVA INTERSECTORIAL

2009

RESUMENEn el contexto del marketing de relaciones, resulta de gran importancia para el establecimiento minorista identificar el tipo de beneficios de la relación que influye en mayor medida sobre sus resultados en términos de satisfacción del cliente y lealtad hacia el minorista, de manera que se garantice una relación continua y satisfactoria. Dichos beneficios pueden tener distinto peso en función del tipo de actividad llevada a cabo por el minorista. El presente trabajo pretende analizar empíricamente un modelo que refleje los distintos tipos de beneficios relacionales obtenidos por los clientes, así como los beneficios obtenidos por la organización en términos de lealtad del consumidor …

retailingEconomics and EconometricsCustomer retentionStrategy and Managementmedia_common.quotation_subjectSatisfactionLealtad.lcsh:BusinessLoyalty business modelLoyaltySatisfacciónLoyaltyddc:330Beneficios de la relaciónBusiness and International ManagementMarketingRelationship marketingmedia_commonMarketingRelationship MarketingDistribución minoristaLealtadsatisfactionrelationship marketingloyaltyOrder (business)Marketing de relacionesCustomer satisfactionRelationship benefitsBusinessrelationship benefitslcsh:HF5001-6182RetailingInvestigaciones Europeas de Dirección y Economía de la Empresa
researchProduct

Simulating retail locations using GIS and an agents decision model for urban planning

1998

Chinese University of Hong Kong, IGU, Commission on Modelling Geographical Systems; International audience; This paper focuses on a methodological approach which intends to simulate subsequent transformations of urban patterns within a GIS. We describe conceptual models of data and process dedicated to a problem interfacing actors and territory: location strategy of retail outlets.

retailingdata modellingComputingMilieux_THECOMPUTINGPROFESSION[SHS.GEO] Humanities and Social Sciences/Geography[SHS.GEO]Humanities and Social Sciences/GeographyGISGeneralLiterature_MISCELLANEOUSlocation[ SHS.GEO ] Humanities and Social Sciences/Geography
researchProduct

La rétine en recherche appliquée

2015

retina[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionmodel[SDV.MHEP.OS] Life Sciences [q-bio]/Human health and pathology/Sensory Organsangiographyelectrophysiology
researchProduct

Clementia Caesaris. Modelli etici, parenesi e retorica dell'esilio

2008

retorica dell'esiliomodelli eticiparenesiSettore L-FIL-LET/04 - Lingua E Letteratura Latina
researchProduct

On the use of multi-temporal series of COSMO-SkyMed data for LANDcover classification and surface parameter retrieval over agricultural sites

2011

The objective of this paper is to report on the activities carried out during the first year of the Italian project “Use of COSMO-SkyMed data for LANDcover classification and surface parameters retrieval over agricultural sites” (COSMOLAND), funded by the Italian Space Agency. The project intends to contribute to the COSMO-SkyMed mission objectives in the agriculture and hydrology application domains.

retrieval algorithmsContextual image classificationbusiness.industryCOSMO-SkyMedCOSMO-SkyMed classification retrieval algorithmsClassificationData modelingStatistical classificationHydrology (agriculture)AgricultureClassification; COSMO-SkyMed; retrieval algorithmsEnvironmental scienceTerrain mappingbusinessRetrieval algorithmRemote sensing
researchProduct

Component search in a metaCASE environment

2001

retrieval modelsearch representationCASE toolscomponentcomponent-based developmentinformation retrievalmetaCASE toolssoftware componentreuse
researchProduct