Letteratura scientifica selezionata sul tema "Contraintes SDP"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Contraintes SDP".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Contraintes SDP"

1

Lehmans, Anne, Camille Capelle e Vincent Liquète. "Entre choix et contraintes : figures de la déconnexion à l’école". Sciences de la société, n. 103 (1 ottobre 2019): 150–61. http://dx.doi.org/10.4000/sds.10326.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Filion, Normand. "David Courpasson, L’action contrainte. Organisations libérales et domination". Sociologie du travail 45, n. 3 (1 luglio 2003): 432–34. http://dx.doi.org/10.4000/sdt.32041.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Schütz, Gabrielle. "Mobiliser par l’affect : contraintes et ressources de l’encadrement intermédiaire de prestations de services peu qualifiés". Sociologie du travail 54, n. 1 (1 marzo 2012): 70–91. http://dx.doi.org/10.4000/sdt.4349.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Lechevalier Hurard, Lucie. "Faire face aux comportements perturbants : le travail de contrainte en milieu hospitalier gériatrique". Sociologie du travail 55, n. 3 (1 settembre 2013): 279–301. http://dx.doi.org/10.4000/sdt.11466.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Vignal, Cécile. "Logiques professionnelles et logiques familiales : une articulation contrainte par la délocalisation de l’emploi". Sociologie du travail 47, n. 2 (1 aprile 2005): 153–69. http://dx.doi.org/10.4000/sdt.26043.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

conti, Caroline, e Francis Megerlin. "Nouvelles méthodes de paiement des dispositifs médicaux en EHPAD De l'inflation au budget contraint". Santé Décision Management 12, n. 1-4 (30 dicembre 2009): 189–202. http://dx.doi.org/10.3166/sdm.12.189-202.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Leclercq, Alexandre, Bertrand Lombard e David Alexander Mossel. "Normaliser les méthodes d'analyse dans le cadre de la maîtrise de la sécurité microbiologique française des aliments : atout ou contrainte". Sciences des Aliments 20, n. 2 (28 aprile 2000): 179–202. http://dx.doi.org/10.3166/sda.20.179-202.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Challier, Raphael. "Pierre Blavier, Gilets jaunes. La révolte des budgets contraints". Sociologie du travail 65, n. 2 (1 giugno 2023). http://dx.doi.org/10.4000/sdt.43269.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Zappi, Lola. "Nicolas Sallée, Éduquer sous contrainte. Une sociologie de la justice des mineurs". Sociologie du travail 60, n. 3 (3 settembre 2018). http://dx.doi.org/10.4000/sdt.2981.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Renard, Léa. "Alessandro Stanziani, Les métamorphoses du travail contraint. Une histoire globale (XVIIIe-XIXe siècles)". Sociologie du travail 64, n. 1-2 (2 maggio 2022). http://dx.doi.org/10.4000/sdt.41004.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "Contraintes SDP"

1

Hache, Alexandre. "Modélisation et commande de systèmes non-linéaires par apprentissage sous contraintes SDP de réseaux de neurones paramétrés". Electronic Thesis or Diss., Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2025. http://www.theses.fr/2025IMTA0458.

Testo completo
Abstract (sommario):
Cette thèse s’inscrit au croisement entre les théories de l’apprentissage et de la commande, proposant une méthodologie basée données, pour la modélisation et le contrôle des systèmes dynamiques nonlinéaires. En s’appuyant sur la théorie de la stabilité absolue et sur une représentation générale des modèles d’état neuronaux, plusieurs théorèmes de stabilité pour les réseaux de neurones sont présentés. Face aux limitations des approches traditionnelles d’optimisation sous contraintes LMI, nous développons un cadre théorique complet pour la paramétrisation des réseaux de neurones, compatible avec les algorithmes de gradient et les outils de différentiation automatique classiques. A l’aide de la théorie sur la linéarisation par bouclage, l’apprentissage en une seule étape d’un contrôleur approximativement linéarisant et d’un modèle de référence aux propriétés de stabilité garanties est présentée. Les résultats théoriques sont validés sur des exemples académiques d’atténuation de perturbations, ouvrant la voie à une utilisation plus systématique des réseaux de neurones dans la conception de lois de commande
This thesis lies at the crossroad between learning theory and control theory, proposing a data-driven methodology for modeling and controlling nonlinear dynamical systems. Drawing from the absolute stability theory,and from a general representation of neural state-space models, several stability theorems are presented. Facing the limitations of traditional optimization approaches under LMI constraints for neural networks, we develop a complete theoretical framework for neural network parameterization, compatible with gradient algorithms and classical automatic differentiation tools. With the help of feedback linearization theory, a single-step learning method of an approximately linearizing controller and a reference model with guaranteed stability properties is presented. The theoretical results are validated on academic examples of disturbance attenuation, paving the way for more systematic use of neural networks in controllers’ design
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Fuentes, Marc. "Analyse et optimisation de problèmes sous contraintes d'autocorrélation". Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00195013.

Testo completo
Abstract (sommario):
Dans ce travail de thèse, nous étudions, dans un contexte d'analyse convexe et d'optimisation, la prise en compte des contraintes dites d'autocorrélation, c'est-à-dire : nous considérons les situations où les vecteurs représentant les variables à optimiser sont contraintes à être les coefficients d'autocorrélation d'un signal discret à support fini. Cet ensemble des vecteurs à composantes autocorrélées se trouve être un cône convexe ; nous essayons d'en établir le plus de propriétés possibles : concernant sa frontière (lisse/polyédrale), ses faces, l'acuité, l'expression du cône polaire, l'évaluation du cône normal en un point, etc. Ensuite, nous étudions divers algorithmes pour résoudre des problèmes d'optimisation où le cône des vecteurs à composantes autocorrélées entre en jeu. Notre principal objet d'étude est le problème de la projection sur ce cône, dont nous proposons la résolution par trois algorithmes différents : algorithmes dits de suivi de chemin, celui des projections alternées, et via une relaxation non-convexe. Enfin, nous abordons la généralisation de la situation d'autocorrélation au cas de signaux bi-dimensionnels, avec toute la complexité que cela engendre : multiples définitions possibles, non-convexité des problèmes résultants, et complexité calculatoire accrue pour les algorithmes.
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Desmettre, Grégoire Reinhard Yves. "L'urbanisme commercial contraintes et libertés /". Lyon : Université Lyon 3, 2005. http://thesesbrain.univ-lyon3.fr/sdx/theses/lyon3/2003/desmettre_g.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Calabretto, Sylvie. "Contribution à la validation des spécifications algébriques et à l’étude des spécifications algébriques avec contraintes". Lyon, INSA, 1993. http://www.theses.fr/1993ISAL0017.

Testo completo
Abstract (sommario):
Le rôle clef joué par la spécification dans le cycle de vie du logiciel est aujourd'hui universellement reconnu. Il est en effet admis que nombre d'erreurs de mise au point et de maintenance pourraient être évitées si le problème de départ avait été spécifié de façon plus précise et plus exacte. Les recherches actuelles sur les spécifications s'accordent toutes à concevoir qu'une spécification doit être formelle. La méthode de spécification algébrique de logiciels constitue actuellement un axe de recherche privilégié. L'objet de la première partie de cette thèse est l'étude de la validation des spécifications algébriques équationnelles et conditionnelles. Nous montrons comment les techniques de réécriture permettent d'automatiser les preuves de consistance, de complétude suffisante et de théorèmes inductifs sur ces spécifications. Les principaux résultats obtenus concernent la définition d'une démarche pour l'élaboration et la validation des spécifications algébriques. Des éléments méthodologiques sont dégagés au travers : - d'un cycle de vie des spécifications algébriques, - de techniques de validation, - d'éléments de vérification. Une application, le problème des élections à la proportionnelle, illustre la démarche. La deuxième partie de cette thèse est consacrée à la conception d'une théorie des spécifications algébriques avec contraintes. Nous proposons de plus une définition de la sur réduction avec contraintes et montrons comment ce concept fournit une procédure correcte et complète pour résoudre des équations contraintes. Un outil, basé sur la théorie proposée est développé
It is nowadays universally recognized that specification plays an important roll in software life cycle. It is admitted that many errors discovered during software maintenance could be avoided if the problem had been initially specified in a more precise and exact way. Present research on specification methods all conclude that a specification must be formal. The algebraic specification method is actually a major research area. The object of the first part of this thesis deals with equational and conditional algebraic specification validation. We show how rewriting techniques allow for automatizing proofs of consistence, sufficient completeness and inductive theorems on algebraic specification. The main results concern the definition of a process for the design validation of algebraic specifications. Methodological elements are proposed through : - an algebraic specification life cycle - techniques of validation - elements of verification. An application, the problem of proportional election, illustrates our methodology. The second part of this thesis deals with the design of a theory of algebraic specification with constraints. Moreover, we propose a definition of constrained narrowing and show how this concept supplies a correct and complete procedure for equation resolution in algebraic specifications with constraints. Finally, we develop a tool based on the proposed theory illustrating its advantages
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Sum, Map Baudry Bernard. "Marché du travail et emploi au Cambodge contraintes à court terme et enjeux à long terme /". Lyon : Université Lumière Lyon 2, 2007. http://theses.univ-lyon2.fr/sdx/theses/lyon2/2007/sum_m.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Chassaing, Jacques Sandretto René. "Ordres productifs et instabilité des modes de financement la fragilite financière comme double contrainte /". Lyon : Université Lumière Lyon 2, 2004. http://theses.univ-lyon2.fr/sdx/theses/lyon2/2004/chassaing_j.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Courier-Christophe, Monique. "Le mariage en Savoie au XVIIIe siècle : les contraintes du choix, les difficultés conjugales, les déordres sexuels". Lyon 2, 1988. http://theses.univ-lyon2.fr/sdx/theses/lyon2/1988/courier-christophe_m.

Testo completo
Abstract (sommario):
La première partie définit le cadre historique de la recherche. Une deuxième partie est consacrée à l'étude des contraintes qui pèsent sur le choix du conjoint. Le but est de trouver les raisons qui incitent les jeunes savoyards à se marier. L'étude des relations familiales, du poids de l'autorité paternelle, des contraintes canoniques, de la pression sociale du groupe de jeunesse, et des comptes-rendus des procès pour promesses rompues, permet de distinguer des raisons normatives et les raisons réelles, et de mesurer la liberté laissée à chacun de faire un choix personnel. La troisième partie s'intéresse aux échecs conjugaux. Les demandes d'annulation, de séparation, les plaintes pour adultère, le meurtre du conjoint, sont différents aspects de la mauvaise entente des époux. Cette mésentente est une affaire publique quand la conduite de l'époux fautif devient scandaleuse pour la paroisse. Les adultères, les concubinages surtout, sont ainsi dénoncés à la justice qui tente, souvent vainement, d'y mettre bon ordre. Le scandale est souvent provoqué par une naissance illégitime. Les archives montrent que les bâtards sont rejetés par tous. Les pères, poursuivis en justice, nient leur responsabilité. La communauté villageoise cherche à éloigner les filles mères, sources de charges financières pour la paroisse. Les mères, esseulées, deshonorées, sont souvent coupables d'infanticide ou d'abandon d'enfant. Les circonstances de ces délits montrent la grande détresse de la population feminine concernée
The first part defines the historic framework of the research. The second part is a study of the restrictions that bear on the choice of the wife or husband. The aim is to find the reasons which motivate the young to marry. The study of family relations, of paternal authority, of canonical restraints, of social pression of youth rules and of the reviews of lawsuit about broken promises, allows to separate official reasons and real reasons ; and to mesure the freedom given to everyone to take a personal choice. The third part takes an interest to conjugal failures. Requests for annulment and separation ; complaints about adultery ; murder of the spouse, are various aspects of the bad understanding between married couples. This bad understanding is a public affair when the behaviour of the faulty spouse becomes scandalous for the parish. Adulteries, concubinages are denounced to the justice that tries, often in vain, to put it in order. The scandal is often caused by an illegitimate birth. These bastards are rejected by everybody. The fathers, prosecuted for affiliation deny their responsability ; the country community tries to remove the unmarried mothers who are financial charge for the parish. The mothers, alone and dishonoured become often guilty of infanticide or of neglecting their children. The circonstances of these offences show the great distress of the concerned female population
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Courier-Christophe, Monique Gutton Jean-Pierre. "Le mariage en Savoie au XVIIIe siècle les contraintes du choix, les difficultés conjugales, les désordres sexuels /". [S.l.] : [s.n.], 1988. http://theses.univ-lyon2.fr/sdx/theses/lyon2/1988/courier-christophe_m.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Gloukoviezoff, Georges Servet Jean-Michel. "De l'exclusion à l'inclusion bancaire des particuliers en France entre nécessité sociale et contrainte de rentabilité /". Lyon : Université Lumière Lyon 2, 2008. http://theses.univ-lyon2.fr/sdx/theses/lyon2/2008/gloukoviezoff_g.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Colombo, Constant. "Élimination de l'impact de la résilience réseau dans un transport de flux vidéo par implémentation dans une architecture SDN contrainte par l'existant". Electronic Thesis or Diss., Université de Lorraine, 2019. http://www.theses.fr/2019LORR0232.

Testo completo
Abstract (sommario):
Dans les réseaux de distribution de contenu, la Qualité d'Expérience (QoE) est principalement évaluée par un indicateur de performance : la continuité de service. C'est pourquoi la robustesse des réseaux est une problématique majeure pour les opérateurs. La société TDF opère un réseau traditionnel de transport de flux audiovisuels en temps réel à l'aide de protocoles de multidiffusion. Toute panne réseau provoque cependant un temps de convergence non-nul, qui implique des pertes et des impacts sur le contenu. Ceci illustre que la continuité de service est une conséquence directe de la disponibilité de réseau. L'objectif des travaux de cette thèse est de définir une architecture pour inhiber les impacts sur le contenu lors des phases de cicatrisation du réseau. Cette architecture établit des paires d’arbres de multidiffusion redondants disjoints et dynamiques sur le réseau de transport. Les équipements de restitution pouvant exploiter cette redondance de chemins, il est possible de pallier à d'éventuelles pertes de paquet. L'essentiel des travaux porte sur le développement et l'évaluation de différents algorithmes de calcul des arbres de distribution destinés à alimenter le moteur de routage de l’architecture. La spécification des protocoles et processus de mise en œuvre sur le réseau est également abordée. L'implémentation de l'ensemble s'appuie sur une architecture de type Software Defined Networking (SDN), dans laquelle un contrôleur centralisé exploite la connaissance des performances et de la planification en bande passante pour établir et maintenir les paires d’arbres de multidiffusion
In Content Delivery Networks (CDN), Quality of Experience (QoE) provides a major performance indicator that is continuity of service. As a consequence, network robustness has become a major concern for network operators. TDF operates a traditional transport network for real-time video and audio transport through multicast. Any failure on the network causes a recovery time implying loss and an impact in the content viewing. This study's goal is to define an architecture preventing impact on the content during network healing time. This architecture computes and deploys redundant disjoint multicast trees on the transport network. As restitution equipments are able to exploit path diversity, packet loss consequences can be avoided. This work's main part is the development and evaluation of different algorithm for the computation of distribution trees, as part of the routing element of the architecture. Protocol specification and deployment process are also considered. Implementation is based on a Software Defined Networking (SDN) architecture in which a central controller uses its knowledge of the performance and bandwidth allocation to compute and maintain pairs of multicast trees
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Contraintes SDP"

1

Lecoquierre, Bruno. "15. Enjeux et contraintes du développement touristique dans le Parc national du Banc d’Arguin". In Le littoral mauritanien à l’aube du XXIe siècle, 343–61. Karthala, 2011. http://dx.doi.org/10.3917/kart.boula.2011.01.0343.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Contraintes SDP"

1

Guleryuz, O. G., e U. C. Kozat. "Joint compression, detection, and routing in capacity contrained wireless sensor networks". In 2005 Microwave Electronics: Measurements, Identification, Applications. IEEE, 2005. http://dx.doi.org/10.1109/ssp.2005.1628746.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia