Search results for "CONST"

showing 10 items of 7706 documents

Argumentation graphs with constraint-based reasoning for collaborative expertise

2018

International audience; Collaborative processes are very important in telemedicine domain since they allow for making right decisions in complex situations with multidisciplinary staff. When modelling these collaborative processes, some inconsistencies can appear. In semantic modelling (conceptual graphs), these inconsistencies are verified using constraints. In this work, collaborative processes are represented using an argumentation system modelled in a conceptual graph formalism where inconsistencies could be particular bad attack relation between arguments. To overcome these inconsistencies, two solutions are proposed. The first one is to weight the arguments evolving in the argumentati…

Constraint based reasoningmedical deontologyComputer Networks and CommunicationsComputer sciencedomain0206 medical engineeringMédecine humaine et pathologieArgumentation theory02 engineering and technologyInconsistenciesWeightingdecision makingArgumentation theoryAutreMultidisciplinary approachframeworksCredibilityconceptual graphs0202 electrical engineering electronic engineering information engineeringinconsistenciesCompetence (human resources)Health professionalsManagement scienceMedical deontology[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]decision-makingargumentation theory16. Peace & justice020601 biomedical engineeringWeightingassignmentConceptual graphsHardware and ArchitectureConceptual graph020201 artificial intelligence & image processingweightingteleexpertiseDecision makingpreference-based argumentationmanagement[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologySoftwareFuture Generation Computer Systems
researchProduct

Decision Support Systems Based on CLP Approach in SMEs

2006

The paper focuses on a selected class of decision problems related with the production flow planning in SMEs, particularly in new production orders. Verification of orders gives a possibility to evaluate whether resources capacity of a manufacturer is balanced with the orderer's requirements. The class of decision problems under analysis is included in the scope of organizational production preparation and can be naturally determined by available CLP (Constraint Logic Programming) tools. The approach proposed in the paper is based on establishment of an interface which facilitates its task oriented use. The system has been presented on the basis of a sample order execution in a manufacturer…

Constraint logic programmingDecision support systemClass (computer programming)Operations researchScope (project management)Computer scienceInterface (Java)Constraint satisfaction problemDecision problemFlow planningDecision supportConstraint logic programmingSystems engineeringProduction (economics)Constraint satisfaction problem2006 IEEE Conference on Emerging Technologies and Factory Automation
researchProduct

Dynamic factorial graphical models for dynamic networks

2014

Dynamic networks models describe a growing number of important scientific processes, from cell biology and epidemiology to sociology and finance. Estimating dynamic networks from noisy time series data is a difficult task since the number of components involved in the system is very large. As a result, the number of parameters to be estimated is typically larger than the number of observations. However, a characteristic of many real life networks is that they are sparse. For example, the molec- ular structure of genes make interactions with other components a highly-structured and, therefore, a sparse process. Penalized Gaussian graphical models have been used to estimate sparse networks. H…

Constraint optimization Dynamic networks Gaussian graphical models Penalized likelihood Symmetry models Time-course dataSettore SECS-S/01 - Statistica
researchProduct

Optimal switches in multi-inventory systems

2007

Given a switched multi-inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function related to the cost of the resets. We discuss a family of instances that can be solved in polynomial time by linear programming. We do this by introducing a set-covering formulation with a totally unimodular constraint matrix.

Constraint theoryLinear programmingOptimizationSchedulingSet theorySettore MAT/09 - Ricerca Operativa
researchProduct

Estimation of recombinant protein production in Pichia pastoris base don a constraint-based model

2012

[EN] A previously validated constraint based model and possibilistic MFA have been used to design a simple estimator of protein production rate in Pichia pastoris cultures. A structured model of the yeast P. pastoris metabolism is used to predict the balance of key energetic equivalents such as ATP from available measurements, mainly substrate consumption, gases exchange rates and biomass specific growth. It has been shown that ATP flux can be related to biomass growth and protein productivity specific rates by linear regression. Cross-validation has been applied for robust parameter fitting on the basis of chemostat, steady-state experimental conditions. In this way, protein estimation can…

Constraint-based modelbiologyUncertaintyfood and beveragesEstimatorBiomassProtein productivity predictionChemostatPossibilistic metabolic flux analysisBioinformaticsbiology.organism_classificationIndustrial and Manufacturing EngineeringYeastINGENIERIA DE SISTEMAS Y AUTOMATICAComputer Science ApplicationsPichia pastorisConstraint (information theory)Pichia pastorisControl and Systems EngineeringModeling and SimulationLinear regressionBiological systemFlux (metabolism)Mathematics
researchProduct

Towards human cell simulation

2019

The faithful reproduction and accurate prediction of the phe-notypes and emergent behaviors of complex cellular systems are among the most challenging goals in Systems Biology. Although mathematical models that describe the interactions among all biochemical processes in a cell are theoretically feasible, their simulation is generally hard because of a variety of reasons. For instance, many quantitative data (e.g., kinetic rates) are usually not available, a problem that hinders the execution of simulation algorithms as long as some parameter estimation methods are used. Though, even with a candidate parameterization, the simulation of mechanistic models could be challenging due to the extr…

Constraint-based modelingAgent-based simulation; Big data; Biochemical simulation; Computational intelligence; Constraint-based modeling; Fuzzy logic; High-performance computing; Model reduction; Multi-scale modeling; Parameter estimation; Reaction-based modeling; Systems biology; Theoretical Computer Science; Computer Science (all)Computer scienceBiochemical simulationDistributed computingSystems biologyBig dataComputational intelligenceContext (language use)ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONITheoretical Computer ScienceReduction (complexity)Big dataParameter estimationHigh-performance computingComputational intelligenceAgent-based simulationMathematical modelbusiness.industryModel reductionComputer Science (all)Multi-scale modelingINF/01 - INFORMATICASupercomputerVariety (cybernetics)Fuzzy logicReaction-based modelingbusinessSystems biology
researchProduct

Peritoneal Dialysis in Constrictive Pericarditis: A Report of Three Cases

2017

Constrictive pericarditismedicine.medical_specialtybusiness.industrymedicine.medical_treatment030232 urology & nephrologyGeneral Medicine030204 cardiovascular system & hematologymedicine.diseaseSurgeryPeritoneal dialysis03 medical and health sciences0302 clinical medicinemedicinebusinessRevista Española de Cardiología (English Edition)
researchProduct

Ernesto Basile y la variable latina del modernismo italiano

2016

Detta “villino Ida”, la casa-studio di Basile, dalla volumetria discreta e dalla calligra ca strumentazione formale astila, si distingueva rispetto alla circostante edilizia di eleganti, ma convenzionali, residenze costruite, nel quartiere di espansione settentrionale di Palermo, nella fase matura della Belle Époque. La casa Basile - con le sue bianche facciate su basamento continuo in mattoni rossi - prendeva le distanze dai compromessi imitativi, dalle metafore e manipolazioni del patrimonio storico dell’architettura e, in ne, dallo stesso slancio di formulazione di nuovi codici stilistici. A questo “apparire” singolare corrispondeva una razionale logica distributiva nel segno di un moder…

Construcciones ArquitectónicasErnesto Basile modernism Mediterranean PalermoBasileModernismoModernismMediterraneoCIMAMMediterraneanErnesto Basile modernismo Mediterraneo PalermoSettore ICAR/18 - Storia Dell'Architettura
researchProduct

The iron works in the villas and gardens of Palermo’s Liberty

2016

[SPA] El hierro, material emblema de la innovación tecnológica del XIX siglo, ayuda a enriquecer la escena urbana suave de Palermo, ofreciendo su gran ductilidad materica para la construcción de estructuras en equipamiento de casas, jardines públicos y privados. La entrega es el resultad de uno estudio conducido en el Departamento de Arquitectura de la Escuela Politecnica de la Universidad de Palermo, vuelto a identificar, censar y catalogar las obras de arquitectura en hierro hechsa en Palermo entre los siglos, con una atención especiala a los pabellones, invernaderos, miradores, jardines de invierno, todavía presentes en las áreas verdes de la trama urbana de Palermo; esquinas de paraíso …

Construcciones ArquitectónicasLibertyIronDecoración urbanaIron Liberty Palermo urban furnitureCIMAMUrban furniturePalermohierro Liberty Palermo decoración urbanaSettore ICAR/12 - Tecnologia Dell'ArchitetturaHierro
researchProduct

La declaración de ruina en la Ley Valenciana reguladora de la Actividad Urbanística

1997

Es ocioso repetir que la Constitución española de 1978 reconoce a las Comunidades Autónomas competencias en materia de urbanismo(artículo 148.1.3). Por esta razón no creo necesario profundizar en esta cuestión que por sabida resulta ya reiterativa. Simplemente quiero volver a poner de manifiesto la receptividad de las Comunidades Autónomas, que han asumido, todas ellas, competencias sobre estas materias a través de sus Estatutos. Ahora bien, el urbanismo, al igual que la ordenación del territorio, es un título permeable, es decir traspasado por otros títulos competenciales, que unas veces quedan atribuidos a las propias autonomías, lo que plantea el problema de interrelaciones orgánicas, y …

Construcció Dret i legislació
researchProduct