Search results for "Formula"

showing 10 items of 755 documents

Some Computational Aspects of DISTANCE-SAT

2007

In many AI fields, one must face the problem of finding a solution that is as close as possible to a given configuration. This paper addresses this problem in a propositional framework. We introduce the decision problem distance-sat, which consists in determining whether a propositional formula admits a model that disagrees with a given partial interpretation on at most d variables. The complexity of distance-sat and of several restrictions of it are identified. Two algorithms based on the well-known Davis/Logemann/Loveland search procedure for the satisfiability problem sat are presented so as to solve distance-sat for CNF formulas. Their computational behaviors are compared with the ones …

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Theoretical computer scienceComputational complexity theory0102 computer and information sciences02 engineering and technologyComputer Science::Computational Complexity01 natural sciences[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]#SATArtificial IntelligenceComputer Science::Logic in Computer ScienceDPLL algorithm0202 electrical engineering electronic engineering information engineeringComputingMilieux_MISCELLANEOUSMathematicsDecision problemFunction problemSatisfiabilityPropositional formulaTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputational Theory and Mathematics010201 computation theory & mathematics020201 artificial intelligence & image processingBoolean satisfiability problemAlgorithmSoftware
researchProduct

Déterminants des préférences alimentaires au moment de la diversification

2010

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionbreastfeeding[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutritionfoodsensory propertiesdeterminantformula milk[SDV.AEN]Life Sciences [q-bio]/Food and Nutritioncomplementary feeding
researchProduct

Using sensory evaluation to fight malnutrition in Madagascar: formulation of a snack rich in essential nutrients

2016

International audience; The aim of this study was to formulate a snack which consumption would contribute to fight against essential nutrientsdeficiencies in Malagasy children. We identified the principal characteristics that would make a food adopted by the Malagasypopulation, using focus groups and questionnaires. Based on households’ food beliefs and practices, specifications were definedto formulate products associating cassava roots and MO leaf powder that would be accepted by the consumers. Four cassavabased snacks were proposed, which varied in MO and sucrose quantities. Hedonic and choice tests were performed with children,which showed that children preferred the sweet product with …

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionconsumer testquestionnaire[SDV.NEU.SC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciencesfocus groupformulationmalnutrition[SDV.AEN]Life Sciences [q-bio]/Food and Nutrition[SDV.NEU.SC] Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciences
researchProduct

Acceptation of novel dietary flavours by infants after exposure to flavour in mother’s milk

2010

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritiondietary flavourbreastfeeding[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutritionbreast milkimprintingformula milk[SDV.AEN]Life Sciences [q-bio]/Food and Nutritionflavour
researchProduct

Tasty business. Revue publiée sur le site https://impact.pub/

2016

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionfoodacceptabilitylow-fatlow-sugarlow-saltreformulation
researchProduct

Hydrolysed proteins in infant formula and child neurodevelopment: The French ELFE study

2021

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionneurodevelopmentchild nutritionformula milk
researchProduct

Un outil sensoriel pour la mesure des préférences vis-à-vis du gras, du salé et du sucré

2012

La surconsommation d'aliments gras, salés ou sucrés est nuisible à la santé, et, même si elles sont entendues du public, les recommandations nutritionnelles visant à éviter ces comportements à risque restent trop partiellement suivies. On peut alors s’interroger sur les déterminants de ces comportements alimentaires et plus spécifiquement sur le plaisir apporté par la consommation des aliments considérés comme gras, salés ou sucrés. En effet, les matières grasses, le sucre et le sel induisent les propriétés sensorielles de l’aliment (goût, texture, palatabilité) et contribuent au plaisir lors de la consommation, parfois en contradiction avec les préoccupations nutritionnelles. Entre le plai…

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionnutritionformulation des produitsstatistiquesrégulation[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutritionmesuresanté[SDV.AEN]Life Sciences [q-bio]/Food and Nutritioncontrôlemodélisation
researchProduct

The production of an infant formula with a minimally processed route impacts its nutritional, physiological and sensorial qualities

2021

International audience

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionphysiological propertieorganoleptic propertieheat treatmentnative proteinhuman milknutritional propertieinfant formulasubstitutminimal processing[SDV.AEN]Life Sciences [q-bio]/Food and NutritionComputingMilieux_MISCELLANEOUS
researchProduct

Salt, sugar and lipid reduction in solid foods; a summary of the main outcomes from PLEASURE and TERIFIQ FP7 Twin projects

2018

National audience; Most developed countries are facing excessive consumption of salt, saturated fat and free sugars. The reduction of salt-sugar-saturated fats (SSSF) in foods influences not only its nutritional qualities but also its sensory properties and safety (e.g.shelf-life). The main challenge is to formulate healthier foods, which will be accepted by consumers. In this context, two FP7 European projects, TeRiFiQ and PLeASURe have been funded on the same call (2012-2015) to investigate innovative strategies for the reduction of sodium, sugar and fat content in selected foods. Both projects focused on staple foods such as cheese, meat, bakery (cake), sauces and also pizza as an assemb…

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionsugarlipidfatfoodsaltperceptionsodium[SDV.AEN]Life Sciences [q-bio]/Food and Nutritionreformulation
researchProduct

Modèle de pratique formulaire ou genre formulaire ? L’influence marculfienne (VIIIe-XIXe siècles)

2016

National audience

[SHS.DROIT]Humanities and Social Sciences/Law[ SHS.HIST ] Humanities and Social Sciences/History[SHS.DROIT] Humanities and Social Sciences/LawGenre littéraireFormules[SHS.HIST] Humanities and Social Sciences/HistoryFormulaire juridique[SHS.HIST]Humanities and Social Sciences/HistoryMarculfComputingMilieux_MISCELLANEOUS[ SHS.DROIT ] Humanities and Social Sciences/Law
researchProduct