Relevant bibliographies by topics / Proxys (logiciels)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Proxys (logiciels)'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Proxys (logiciels).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Proxys (logiciels)"

1

Merghit, Rachid, Mouloud Ait Athmane, and Abdelhak Lakehal. "Weak diagnostic performance of resting ankle ABI compared with lower limb's arterial Doppler in the diagnosis of PAD in coronary patients: about a hospital serial study." Batna Journal of Medical Sciences (BJMS) 8, no. 2 (2021): 105–9. http://dx.doi.org/10.48087/bjmsoa.2021.8203.

Full text
Abstract:
Introduction. L’index de pression systolique (IPS) est considéré comme un outil indispensable, pour la prise en charge de l'artériopathie oblitérante des membres inférieurs (AOMI), cependant un complément d’exploration par les autres testes physiologiques, IPS au gros orteil et IPS effort s’impose afin de réduire le nombre des faux négatifs. Objectif. Démontrer le faible apport de l’IPS cheville de repos par rapport à l’échodoppler artériel des membres inférieurs dans le diagnostic de l’AOMI. Matériels et méthodes. Sur une série de 300 malades coronariens consécutifs durant l’année 2016 hospit
APA, Harvard, Vancouver, ISO, and other styles
2

Mame, Sangoné DIOP, and DRAMANI Latif. "Déterminants macroéconomiques du lien entre éducation et bien-être au Sénégal." International Journal of Financial Accountability, Economics, Management, and Auditing (IJFAEMA) -ISSN 2788-7189 5, no. 2 (2023). https://doi.org/10.5281/zenodo.7876044.

Full text
Abstract:
Ce chapitre est parti de l&rsquo;identification des d&eacute;terminants macro&eacute;conomiques du lien entre &eacute;ducation et bien-&ecirc;tre au S&eacute;n&eacute;gal entre 1988 et 2019. La variable d&eacute;pendante &laquo;&nbsp;<em>revenu par habitant</em>&nbsp;&raquo; (RVN/h) est utilis&eacute;e comme proxy pour appr&eacute;hender le bien-&ecirc;tre. Le taux brut de scolarisation au primaire, la formation brute de capital fixe, les d&eacute;penses d&rsquo;&eacute;ducation, de sant&eacute;, l&rsquo;&eacute;pargne brute et la population active totale sont retenues comme des variables exog
APA, Harvard, Vancouver, ISO, and other styles
3

Dieudonné, Awo A. "L’ENSEIGNEMENT DE L’HISTOIRE ÉCONOMIQUE ET SOCIALE AU DÉPARTEMENT D’HISTOIRE ET D’ARCHÉOLOGIE DE L’UNIVERSITÉ D’ABOMEY-CALAVI : ÉTAT DES LIEUX ET DÉFIS (1976-2021) / THE TEACHING OF ECONOMIC AND SOCIAL HISTORY IN THE DEPARTMENT OF HISTORY AND ARCHAEOLOGY OF ABOMEY-CALAVI UNIVERSITY: SITUATIONAL ANALYSIS AND CHALLENGES (1976-2021)." European Journal of Social Sciences Studies 7, no. 4 (2022). http://dx.doi.org/10.46827/ejsss.v7i4.1257.

Full text
Abstract:
&lt;p&gt;Cette étude vise à évaluer l’impact de l’enseignement de l’histoire économique et sociale sur l’évolution de l’historiographie du département d’histoire et d’archéologie de l’Université d’Abomey-Calavi, de 1976 à 2021. Dans cet exercice, les répertoires de mémoires de Maîtrise d’histoire, d’archéologie et d’histoire de l’art (1976-2016) et de Licence (2016-2021) ont été dépouillés. Le corpus des 86 mémoires (dont 49 Maîtrise et 37 Licence) répertoriés selon divers critères est apuré à la lumière des procès-verbaux de soutenance, des entretiens obtenus de certains étudiants, enseignant
APA, Harvard, Vancouver, ISO, and other styles
4

Silva, Christina, and Ligia Elliot. "Avaliação da Hipermídia para Uso em Educação: uma Abordagem Alternativa." Revista Brasileira de Estudos Pedagógicos 78, no. 188-89-90 (2019). http://dx.doi.org/10.24109/2176-6681.rbep.78i188-89-90.1057.

Full text
Abstract:
Por suas características específicas, a hipermídia requer uma abordagem não tradicional e critérios adequados para ser avaliada. Tal abordagem deve incluir não apenas a avaliação do produto mas também do processo, e deve ocorrer em ambientes reais de aprendizagem. Este artigo apresenta o desenvolvimento e a aplicação de uma abordagem alternativa para avaliar o uso da hipermídia no ensino de terceiro grau, que enfatiza a avaliação formativa e a realização de tarefas complexas e significativas pelos alunos, em cooperação, segundo uma perspectiva construtivista. Os resultados da aplicação da abor
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Proxys (logiciels)"

1

Chiapponi, Elisa. "Detecting and Mitigating the New Generation of Scraping Bots." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS490.

Full text
Abstract:
Chaque jour, une guerre invisible pour les données se déroule entre les sites de commerce électronique et les acteurs qui,en siphonnent les données, sont appelés "scrapers'' . Les sites de commerce électronique détiennent les données au cœur du conflit et souhaitent les fournir uniquement aux utilisateurs légitimes. Les scrapers veulent un accès illimité et continu aux données susmentionnées pour en tirer profit. Pour atteindre cet objectif, les scrapers envoient de grandes quantités de requêtes aux sites de commerce électronique, ce qui leur cause des problèmes financiers. Cela a conduit l'in
APA, Harvard, Vancouver, ISO, and other styles
2

Chicoulaa, Bruno. "Reflexion sur l'informatisation d'un service d'urgence : a propos d'un logiciel." Toulouse 3, 1994. http://www.theses.fr/1994TOU31030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Blanchard, Yann. "Le dossier résumé de séjour à l'hôpital général : à propos du logiciel RSSPLUS : première étape du système d'information médical des centres hospitaliers de Dax et de Bayonne." Bordeaux 2, 1989. http://www.theses.fr/1989BOR23044.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schurr, Hans-Jörg. "Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0135.

Full text
Abstract:
Cette thèse présente trois contributions qui ont pour objectif d'améliorer l'utilité des solveurs SMT comme backends pour les assistants de preuve. Les solveurs SMT sont des outils de démonstration automatique de théorèmes qui intègrent le raisonnement propositionnel avec des théories. Un assistant de preuve est un logiciel qui permet aux utilisateurs d'écrire des preuves vérifiées formellement. Pour aider l'utilisateur, les assistants de preuve proposent certaines automatisations utilisant des outils de démonstration automatiques. Les assistants de preuve n'acceptent généralement que les preu
APA, Harvard, Vancouver, ISO, and other styles
5

Girka, Thibaut. "Differential program semantics." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC147/document.

Full text
Abstract:
Les programmes informatiques sont rarement écrits d'un seul coup, et sont au contraire composés de changements successifs. Il est également fréquent qu'un logiciel soit mis à jour après sa sortie initiale. De tels changements peuvent avoir lieu pour diverses raisons, comme l'ajout de fonctionnalités ou la correction de bugs. Il est en tout cas important d'être capable de représenter ces changements et de raisonner à leur propos pour s'assurer qu'ils implémentent les changements voulus.En pratique, les différences entre programmes sont très souvent représentées comme des différences textuelles
APA, Harvard, Vancouver, ISO, and other styles
6

Lardon, Jérémy. "Proxy d'interface Homme-Machine : apport des algorithmes génétiques pour l'adaptation automatique de la présentation de documents Web." Phd thesis, Université Jean Monnet - Saint-Etienne, 2010. http://tel.archives-ouvertes.fr/tel-00573036.

Full text
Abstract:
L'informatique pervasive, paradigme fer de lance des services "anytime/anywhere", appelle de plus en plus à des travaux de ré-ingénierie de sites Web. L'approche contemporaine de l'informatique dans les nuages va d'ailleurs générer de nouveaux besoins en ce sens. Aujourd'hui, les sites Web sont toujours pensés pour l'affichage sur un ordinateur traditionnel (comprendre desktop). Des versions alternatives sont cependant de plus en plus proposées pour l'accès via des smartphones, ou encore des dispositifs de visionnage jadis passifs, comme la télévision (interactive IPTV). Ces travaux de dévelop
APA, Harvard, Vancouver, ISO, and other styles
7

Nigron, Pierre. "Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS480.

Full text
Abstract:
Pour pouvoir raisonner sur nos programmes, une méthode est de directement les écrire dans un assistant de preuve. Utilisant la correspondance de Curry-Howard, les programmes et les preuves ne font alors qu’un. Pour ne pas nuire à la cohérence logique de l’assistant de preuve, le système est obligé de restreindre les programmes à ne pas avoir d’effets de bord. Cependant, les effets de bord sont omniprésents et essentiels dans la programmation. Différentes techniques telles que les monades ou les effets algébriques ont alors émergé pour les modéliser offrant ainsi un moyen d'écrire des programme
APA, Harvard, Vancouver, ISO, and other styles
8

Mouhcine, Houda. "Formal Proofs in Applied Mathematics : A Coq Formalization of Simplicial Lagrange Finite Elements." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG112.

Full text
Abstract:
Cette thèse est dédiée au développement de preuves formelles de théorèmes et propositions mathématiques dans le domaine de l'analyse réelle, en utilisant l'assistant de preuve Coq pour garantir leur exactitude. Le cœur de ce travail est divisé en deux parties principales.La première partie se concentre sur l'utilisation de Coq pour formaliser des principes mathématiques clés tels que le principe d'induction de Lebesgue et le théorème de Tonelli, permettant le calcul d'intégrales doubles sur des espaces produits en intégrant de manière itérative par rapport à chaque variable. Ce travail s'appui
APA, Harvard, Vancouver, ISO, and other styles
9

Nguyen, Thi Minh Tuyen. "Taking architecture and compiler into account in formal proofs of numerical programs." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00710193.

Full text
Abstract:
On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies of the results come from the fact that each floating-point computation is calculated with different precisions. The goal of this thesis is to formally prove properties about numerical programs while taking the architecture and the compiler into account. In order to do that, we propose two different approaches. The first approach is to prove properties of floating-point programs that are true for multiple architectures and compiler
APA, Harvard, Vancouver, ISO, and other styles
10

Dénès, Maxime. "Étude formelle d'algorithmes efficaces en algèbre linéaire." Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00945775.

Full text
Abstract:
Les méthodes formelles ont atteint un degré de maturité conduisant à la conception de systèmes de preuves généralistes, permettant à la fois de vérifier la correction de systèmes logiciels complexes ou de formaliser des mathématiques avancées. Mais souvent, l'accent est mis davantage sur la facilité du raisonnement sur les programmes plutôt que sur leur exécution efficace. L'antagonisme entre ces deux aspects est particulièrement sensible pour les algorithmes de calcul formel, dont la correction repose habituellement sur des concepts mathématiques élaborés, mais dont l'efficacité pratique est
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Proxys (logiciels)"

1

Steve, Lohr, ed. U.S. v. Microsoft. McGraw-Hill, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lohr, Steve, and Joel Brinkley. U.S. v. Microsoft: The inside story of the landmark case. McGraw-Hill, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Auletta, Ken. World War 3.0: Microsoft and its enemies. Random House, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Abrahamsson, Pekka, and Jürgen Münch. Product-Focused Software Process Improvement: 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings. Springer London, Limited, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Oivo, Markku, Muhammad Ali Babar, and Matias Vierimaa. Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings. Springer London, Limited, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

(Editor), Jürgen Münch, and Matias Vierimaa (Editor), eds. Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Edgington, Dorothy. The Pragmatics of the Logical Constants. Edited by Ernest Lepore and Barry C. Smith. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199552238.003.0030.

Full text
Abstract:
The logical constants are technical terms, invented and precisely defined by logicians for the purpose of producing rigorous formal proofs. Mathematics virtually exhausts the domain of deductive reasoning of any complexity, and it is there that the benefits of this refined form of language are felt. Pragmatic issues may arise — issues concerning the point of making a certain statement — for there will be more or less perspicuous and illuminating ways of presenting proofs in this language, and we may be puzzled or misled when we wonder why the mathematician is taking some particular step. But t
APA, Harvard, Vancouver, ISO, and other styles
8

Komi-Sirviö, Seija, and Frank Bomarius. Product Focused Software Process Improvement: Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings. Springer London, Limited, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Oivo, Markku, and Frank Bomarius. Product Focused Software Process Improvement: Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 Proceedings. Springer London, Limited, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Komi-Sirviö, Seija, and Frank Bomarius. Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings. Springer London, Limited, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Proxys (logiciels)"

1

Mignucci, Mario. "Expository Proofs In Aristotle’S Syllogistic." In Oxford Studies In Ancient Philosophy. Oxford University PressOxford, 1991. http://dx.doi.org/10.1093/oso/9780198239659.003.0002.

Full text
Abstract:
Abstract which exposition appears to be a perfectly admissible way of proving logical theses. Nowadays two interpretations seem to have a following among scholars. One is the Lukasiewicz interpretation, which has been considerably improved by Patzig. The other view is shared by a rather heterogeneous group of scholars, some of them pure logicians rather than historians of logic.
APA, Harvard, Vancouver, ISO, and other styles
2

Grattan-Guinness, Ivor. "Turing’s mentor, Max Newman." In The Turing Guide. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747826.003.0052.

Full text
Abstract:
The interaction between mathematicians and mathematical logicians has always been much slighter than one might imagine. This chapter examines the case of Turing’s mentor, Maxwell Hermann Alexander Newman (1897–1984). The young Turing attended a course of lectures on logical matters that Newman gave at Cambridge University in 1935. After briefly discussing examples of the very limited contact between mathematicians and logicians in the period 1850–1930, I describe the rather surprising origins and development of Newman’s own interest in logic. One might expect that the importance to many mathem
APA, Harvard, Vancouver, ISO, and other styles
3

Amsler, Mark. "Margery Kempe’s Strategic Vague Language." In The Medieval Life of Language. Amsterdam University Press, 2021. http://dx.doi.org/10.5117/9789463721929_ch06.

Full text
Abstract:
This chapter continues the previous analysis of heretics’ speech from the perspective of Conversation Analysis. Bakhtin’s theory of dialogism sets Kempe’s pragmatic thinking in a sociolinguistic frame. The narrative of her examinations at the Archbishop of York’s court suggests that people’s thinking about how language defines, expresses, controls, and resists also informed how they pragmatically and metapragmatically constructed their speech for social survival, subjective authority, or agency in asymmetric or hostile interactions. Medieval grammarians’ and logicians’ concerns with reference
APA, Harvard, Vancouver, ISO, and other styles
4

Balibar, Etienne. "What Is Man’ in Seventeenth-Century Philosophy? Subject, Individual, Citizen." In The Individual in Political Theory and Practice. Oxford University PressOxford, 1996. http://dx.doi.org/10.1093/oso/9780198205494.003.0010.

Full text
Abstract:
Abstract My aim in this chapter is to read again the metaphysicians of the classical period (I have selected Descartes, Hobbes, Spinoza, Leibniz, and Locke) by focusing on their conceptions of individuality, inasmuch as these can be compared with contemporary developments in law and political institutions. A judgement by Friedrich Nietzsche in The Will to Power, however questionable it may appear, can introduce us to the interest and difficulty of the task: It proves difficult indeed to classify the authors of the great ‘systems’ in the history of ideas. Many of them are mathematicians or phys
APA, Harvard, Vancouver, ISO, and other styles
5

Hansen, Hans V. "Alfred Sidgwick’s Informal Logic." In The Early Years of Mind. Oxford University PressOxford, 2025. https://doi.org/10.1093/oso/9780192869296.003.0016.

Full text
Abstract:
Abstract Alfred Sidgwick (1850–1943) published his first essay in Mind in 1878 and followed it with another ten or so before the end of the century. Generally, his goal was to distinguish practical logic from theoretical logic; more particularly, he wrote about fallacies, definitions, propositions, vagueness and ambiguity, and presumptions and burden of proofs—concepts all grist for the logician’s mill. The dominant theme that ties Sidgwick’s work together is his dissatisfaction with formal logic together with his directives for making logic practical and useful. I will try to bring Sidgwick’s
APA, Harvard, Vancouver, ISO, and other styles
6

Dummett, Michael. "Some Further Topics." In Elements of Intuitionism. Oxford University PressOxford, 2000. http://dx.doi.org/10.1093/oso/9780198505242.003.0007.

Full text
Abstract:
Abstract So far we have discussed various principles which may be taken as axiomatic in intuitionistic mathematics, without attempting to delineate any actual formalizations of intuitionistic theories. This is appropriate to the subject. For the Hilbert school, and for formalists properly so called, formalization is integral to an exact treatment of mathematics; but the original impulse to formalization did not come from them, but from the logicists, for whom the formalization of a theory was a necessary means of identifying its basic principles, so that they could then show these to be deriva
APA, Harvard, Vancouver, ISO, and other styles
7

Feferman, Solomon. "What Does Logic Have to Tell Us about Mathematical Proofs?" In In The Light Of Logic. Oxford University PressNew York, NY, 1998. http://dx.doi.org/10.1093/oso/9780195080308.003.0009.

Full text
Abstract:
Abstract Modern logic provides a theoretical analysis of mathematics which cuts across its traditional subdivisions into algebra, geometry, analysis, etc. Actually, there is no single logical theory but a variety of such whose aim is to model the reasoning of, say, an idealized platonistic (set-theoretical) mathematician or an idealized constructivist mathematician at work in one of these areas of mathematics. What is common to the various theories is the use of formal systems to describe that activity, namely, as being one of drawing consequences within a specified class of symbolic expressio
APA, Harvard, Vancouver, ISO, and other styles
8

Barwise, Jon, and John Etchemendy. "Visual Information and Valid Reasoning." In Logical Reasoning with Diagrams. Oxford University Press, 1996. http://dx.doi.org/10.1093/oso/9780195104271.003.0005.

Full text
Abstract:
Psychologists have long been interested in the relationship between visualization and the mechanisms of human reasoning. Mathematicians have been aware of the value of diagrams and other visual tools both for teaching and as heuristics for mathematical discovery. As the chapters in this volume show, such tools are gaining even greater value, thanks in large part to the graphical potential of modern computers. But despite the obvious importance of visual images in human cognitive activities, visual representation remains a second-class citizen in both the theory and practice of mathematics. In
APA, Harvard, Vancouver, ISO, and other styles
9

Fisler, Kathi D. "Exploiting the Potential of Diagrams in Guiding Hardware Reasoning." In Logical Reasoning with Diagrams. Oxford University Press, 1996. http://dx.doi.org/10.1093/oso/9780195104271.003.0016.

Full text
Abstract:
. . .Formal methods offer much more to computer science than just “proofs of correctness” for programs and digital circuits. Many of the problems in software and hardware design are due to imprecision, ambiguity, incompleteness, misunderstanding, and just plain mistakes in the statement of top-level requirements, in the description of intermediate designs, or in the specification of components and interfaces. Rushby [1993] . . .Desire for correctness proofs of systems spawned the research area known as “formal methods”. Today’s systems are of sufficient complexity that testing is infeasible, b
APA, Harvard, Vancouver, ISO, and other styles
10

Barwise, Jon, and John Etchemendy. "Heterogeneous Logic." In Logical Reasoning with Diagrams. Oxford University Press, 1996. http://dx.doi.org/10.1093/oso/9780195104271.003.0014.

Full text
Abstract:
A major concern to the founders of modern logic—Frege, Peirce, Russell, and Hilbert—was to give an account of the logical structure of valid reasoning. Taking valid reasoning in mathematics as paradigmatic, these pioneers led the way in developing the accounts of logic which we teach today and that underwrite the work in model theory, proof theory, and definability theory. The resulting notions of proof, model, formal system, soundness, and completeness are things that no one claiming familiarity with logic can fail to understand, and they have also played an enormous role in the revolution kn
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Proxys (logiciels)"

1

Costa Mendes, L., and A. G. Bodard. "Apport d’un logiciel de reconstruction 3D dans la prise en charge chirurgico-orthodontique de la dysplasie cléido-crânienne : à propos d’un cas clinique." In 63ème Congrès de la SFCO, edited by S. Boisramé, S. Cousty, J. C. Deschaumes, et al. EDP Sciences, 2015. http://dx.doi.org/10.1051/sfco/20156302002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Proxys (logiciels)' for particular source types:
Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography