Littérature scientifique sur le sujet « Proviso »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Proviso ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Proviso"
Block, Walter E. « Forestalling, Positive Obligations and the Lockean and Blockian Provisos : Rejoinder to Stephan Kinsella ». Ekonomia 22, no 3 (21 novembre 2016) : 27–41. http://dx.doi.org/10.19195/2084-4093.22.3.2.
Texte intégralRodgers, Lamont. « The role of nature in the self-ownership proviso ». ethic@ - An international Journal for Moral Philosophy 20, no 1 (30 avril 2021) : 326–43. http://dx.doi.org/10.5007/1677-2954.2021.e78304.
Texte intégralBornschein, Peter. « The self-ownership proviso ». Politics, Philosophy & ; Economics 17, no 4 (15 mars 2018) : 339–55. http://dx.doi.org/10.1177/1470594x18762256.
Texte intégralVarden, Helga. « The Lockean ‘Enough-and-as-Good’ Proviso : An Internal Critique ». Journal of Moral Philosophy 9, no 3 (2012) : 410–42. http://dx.doi.org/10.1163/174552412x625772.
Texte intégralMack, Eric. « The Self-Ownership Proviso : A New and Improved Lockean Proviso ». Social Philosophy and Policy 12, no 1 (1995) : 186–218. http://dx.doi.org/10.1017/s0265052500004611.
Texte intégralSumika, Masayoshi. « Behind the Mask of the Secular ». Journal of Religion in Japan 5, no 2-3 (2016) : 153–75. http://dx.doi.org/10.1163/22118349-00502005.
Texte intégralEhman, Robert. « Nozick's Proviso ». Journal of Value Inquiry 20, no 1 (1986) : 51–56. http://dx.doi.org/10.1007/bf00141920.
Texte intégralSlaev, Aleksandar D. « The Transaction Costs of Sustainability : Coase’s Proviso and the Roles of Environmentalists and the Government ». Sustainability 15, no 4 (8 février 2023) : 3096. http://dx.doi.org/10.3390/su15043096.
Texte intégralWinter, Yoad. « On Presupposition Projection with Trivalent Connectives ». Semantics and Linguistic Theory 29 (13 décembre 2019) : 582. http://dx.doi.org/10.3765/salt.v29i0.4644.
Texte intégralCoutts, J. A. « Applying the Proviso ». Journal of Criminal Law 53, no 2 (mai 1989) : 210–14. http://dx.doi.org/10.1177/002201838905300205.
Texte intégralThèses sur le sujet "Proviso"
Bådagård, William. « A Critique of Anna Stilz' Fair-use Proviso : The normative significance of future generations in matters of territorial rights ». Thesis, Uppsala universitet, Avdelningen för praktisk filosofi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-416345.
Texte intégralBornschein, Peter. « Right-Libertarianism and the Destitution Objection ». Bowling Green State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1462900713.
Texte intégralPillay, George Aloysius Permall. « A critical assessment of the constitutionality of section 79(7) of the Correctional Services Act 111 of 1998, with specific reference to the proviso ». University of Western Cape, 2019. http://hdl.handle.net/11394/7577.
Texte intégralIn recent years the issue of medical parole has become a controversial issue in South Africa. Prior to 2012, at which juncture the law governing the release of inmates on grounds of terminal illness was amended, there were cases where the public deemed the law inadequate and susceptible to political interference.1 There can therefore be little doubt that an amendment to the law was opportune to ensure that the release of inmates was based on legitimate medical reasons.
Janson, Jens. « This World or Another ? : Mapping Modern Theologies ». Thesis, Uppsala universitet, Teologiska institutionen, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-451207.
Texte intégralCarvalho, João Pedro Pinheiro de. « Workers' compensation best estimate ». Master's thesis, Instituto Superior de Economia e Gestão, 2017. http://hdl.handle.net/10400.5/14723.
Texte intégralO presente trabalho apresenta uma análise às melhores estimativas de acidentes de trabalho sob o regime de Solvência II que entrou em vigor a 1 de janeiro de 2016, apresentando uma modelização das responsabilidades com base na legislação existente, principalmente a Lei n.º 98/2009. No âmbito de Solvência II, as melhores estimativas das responsabilidades de seguros não vida são calculadas separadamente em provisão para sinistros (respeitantes a sinistros ocorridos) e provisão para prémios (relativamente a sinistros futuros que são cobertos pelas responsabilidades abrangidas pelos limites dos contratos existentes). No que diz respeito a seguros vida, as melhores estimativas devem ser calculadas separadamente para cada apólice. As responsabilidades de acidentes de trabalho apresentam a particularidade de serem compostas por diferentes naturezas, o que proporciona na sua modelização a aplicação de metodologias atuariais não-vida e vida. Em Solvência II, estas responsabilidades são divididas em duas classes de negócio: acidentes de trabalho utilizando bases técnicas não semelhante a técnicas de vida (NSTV) e rendas decorrentes de contratos de seguro de natureza não vida e relacionados com responsabilidades de seguro de acidentes e doença utilizando bases técnicas semelhantes a técnicas de vida (STV). A abordagem ao tema foi realizada de forma separada tendo em consideração a desagregação da melhor estimativa em Solvência II, e as diferentes responsabilidades de acidentes de trabalho: não semelhantes e semelhantes a técnicas de vida. Devido à literatura existente para provisionamento ser bastante diversificada, o trabalho foi desenvolvido com foco nas metodologias que mais frequentemente são aplicadas no mercado segurador.
This work presents an analysis to the Workers' Compensation best estimate under the Solvency II regime that came into force in January 1st 2016, modelling the liabilities based on the applicable legislation, mainly the Law 98/2009. Within the scope of Solvency II, the best estimate of non-life liabilities are calculated separately under claims provision (concerning claims that have already happened) and premium provision (concerning future claims that are covered by the existing contractual obligations). The best estimate of life liabilities should be calculated separately for each policy. Workers' Compensation presents the particularity of being composed of different natured liabilities, which provides in its modeling the application of life and non-life actuarial methodologies. Under Solvency II, these liabilities are split into two lines of business: Workers' Compensation insurance using non similar to life techniques (NSLT) and annuities stemming from non-life insurance contracts and relating to health insurance obligations using similar to life techniques (SLT). The approach to this report was conducted separately considering the breakdown of the best estimate under Solvency II and the Workers' Compensation liabilities divided into non similar and similar to life techniques. Due to the diversification of existing literature, this work has been developed focusing on the methodologies that are most frequently applied in the insurance market.
info:eu-repo/semantics/publishedVersion
Kaminagakura, Ivan Eiji. « Aproximando-se da maternidade : entrevistas com uma gestante à luz da psicanálise winnicottiana ». Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/47/47131/tde-22092016-153010/.
Texte intégralThis thesis aims to contribute to the understanding of the phenomenon called by Winnicott primary maternal preoccupation, which is a temporary state of great sensitivity and vulnerability that allows the mother to identify with the baby, adapting to the needs of the same. In this condition the mother uses her own experience of being cared for as a baby, and needs environmental protection, to be able to devote and to be good enough. Being a qualitative research, interviews were conducted biweekly, using semi structured opened questions, with a pregnant woman during the last three months of pregnancy and three months postpartum in order to keep up with the changes experienced due to her sensitive condition. The interviews were recorded, transcribed and analyzed based on Winnicott\'s psychoanalysis. In the analysis it was emphasized the role of environment and the life story of the interviewee, and how these elements have facilitated or hindered the entry in the primary maternal preoccupation. It was also possible to find similarities between the sensitivity and vulnerability of pregnant women with the regression phenomenon, as well as following the recovery of infantile conflicts that emerged at the end of pregnancy. The research ended up being part of the environmental care, since it offered a space for holding and listening to the expression of anguish and personal conflicts of the interviewee. However, at the end of the research, the primary maternal preoccupation was not found as a pure solid state, being understood as a set of adaptive moments, that they can occur depending on the mental health of women and the support she receives during pregnancy and postpartum period
Lourenco, Karina Gomes. « Nível de atendimento dos materiais classificados como críticos no Hospital Universitário da USP ». Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/7/7131/tde-02102006-123541/.
Texte intégralFrequently, the lack of the materials of consumption in the hospital units is a faced difficulty for the professionals of the health, mainly in the public institutions. For leading to the discontinuity of the given assistance, some tools of the supplies management come being incorporated to hospital environments, with the purpose to minimize these lacks, between them the classification of materials XYZ. This classification is based on the operational importance of supplies, characterized for the impressively and critically of the same ones in relation to excessively supplies. It allows to fix levels of attendance (NA) adjusted to different supplies used that they possess different degrees of criticality and to admit percentages of levels lacks (NF). This study had as objective to raise the number of requests not taken care of the classified supplies as Z in the assistants units, to calculate NA and the average NF of the 20 supplies that had more lacked and to know the possible causes that had led to these lacks. She opted herself to working with classified materials as Z for being essential to the assistance and that therefore they must have a NA next to 100% and NF to 0%. One is about a quantitative, explorative, descriptive study. The sample was constituted by 747 requests not taken care of 18 assistants units, in the period of June to November of 2005. The results had shown that of 572 materials Z, 227 (39,7%) had presented some lack. 100% of the sectors had lived deeply the lack of material resources. The delay in the delivery for the supplier was the most representative cause of the not attendance of the requests, 39%. The NAs had varied of 92,11% to 27,08% and, consequently, the NFs had presented values between 7,89% to 72,92%. These values evidence the necessity of adjustments in the system of management of these resources with the purpose not to cause interruptions in the given assistance.
Belchior, Flávio Silva. « Planejamento da provisão para contingência tributária federal ». Pontifícia Universidade Católica de São Paulo, 2011. https://tede2.pucsp.br/handle/handle/1477.
Texte intégralWith the edition of Law nº 11.638/07, amending provisions of Law n°. 6404/76, officially began the process convergence of Brazilian accounting standards with international accounting standards (International Financial Reporting Standards - IFRS) issued by the International Accounting Standards Board (IASB). Earlier, the Brazilian Institute of Independent Auditors (IBRACON) had already published the Accounting Standard and Procedure nº 22 (October 2005), since in order to harmonize accounting norms on Liabilities, Contingent Liabilities and Contingent Active at international (in this case, the International Accounting Standard 37). The present work aims to draw a parallel between the rules currently in place with the Brazilian reality as to time to conduct judicial proceedings in order to detect which time (time) most appropriate for the eventual recognition a provision, contingent liability for the federal tax. They were used part of the result of research conducted by the Institute for Applied Economic Research IPEA, recently advertised through Announcements No. 83 and 87 (Unit Cost of Execution Process Audit in the Federal Court), and its Research Report, which uses ABC method to describe and measure the activities of the Federal Court. This research is descriptive and their approach, analysis and interpretation of data occurs quantitatively and qualitatively. The population is 184 and the federal courts is the sample of 1,510 court cases completed in 2009
Com a edição da Lei n° 11.638/07, alterando disposi tivos da Lei n°6.404/76, começou oficialmente o processo convergência do padrão contábil brasileiro às normais internacionais de contabilidade (International Financial Reporting Standards - IFRS), editadas pelo International Accounting Standards Board (IASB). Antes disso, o Instituto dos Auditores Independentes do Brasil (IBRACON) já havia publicado a Norma e Procedimento de Contabilidade n° 22 (outubr o de 2005), já com o objetivo de harmonizar as normas contábeis brasileiras sobre Provisões, Passivos, Contingências Passivas e Contingências Ativas às internacionais (neste caso, a International Accounting Standard 37). O presente trabalho tem por objetivo e traçar um paralelo entre a norma atualmente em vigor com a realidade brasileira quanto ao tempo de tramitação de um processo judicial, a fim de detectar qual o momento (tempo) mais apropriado para o eventual reconhecimento de uma provisão, destinada a contingência passiva tributária federal. Foram utilizados parte do resultado das pesquisas realizadas pelo Instituto de Pesquisa Econômica Aplicada IPEA, recentemente divulgados através dos Comunicados n° 83 e 87 (Custo Unitário do Processo de Execução Fiscal na Justiça Federal), e respectivo Relatório de Pesquisa, na qual utiliza o método ABC (Activity Based Costing) para descrever e mensurar as atividades da Justiça Federal. Este trabalho de pesquisa é descritivo e sua abordagem, análise e interpretação de dados ocorrem de forma quantitativa e qualitativa. A população é de 184 varas federais e a amostra é de 1.510 processos judiciais concluídos no ano de 2009
Ribeiro, Antônio de Cístolo. « Provisões, contingências e normas contábeis : um estudo de gerenciamento de resultados com contencioso legal no Brasil ». Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/96/96133/tde-17052012-114448/.
Texte intégralGiven the subjectivity inherent in the accounting standards of the International Financial Report Standards (IFRS) that are translated into Portuguese, adapted to local situations and monitored by the Comitê de Pronunciamentos Contábeis (Accounting Standards Board - ASB) and the Brazilian tax legislation, the present study investigated whether there is evidence of the possible occurrence of earnings management practice through provisions related to a litigation process. Since it was an exploratory study, we also tried to understand the peculiarities of the Brazilian tax legislation and the mechanisms used in earnings management practices. The accounting procedure No 25 issued by the Accounting Standards Board (ASB), that is, ASB No 25 regulates the accounting of provisions and contingent assets and liabilities and is a translation and adaptation of the International Accounting Standard No. 37 (IAS 37). It is the document upon which this study was based. We also sought to understand whether after the introduction of the Accounting Standards Board No. 25 there was an increase in the disclosure of accounting information on provisions and contingencies by companies. As a final contribution we explored possible mechanisms to constrain earnings management practices. The study is exploratory and triangulates information from lawyers and auditors, exploring the existence and the mechanism of earnings management through a litigation process and the actions to be taken for its mitigation. The study period is 2006 - 2010, which includes the introduction of act 11631 that incorporates changes to the corporations law and IFRS standards in Brazil. The provisions originated in administrative and judicial tax demands are elements that can be handled by the institutions that use the subjectivity in the interpretation and application of legislation by users and in procedures, in order to improve or worsen the accounting result, thus configuring earnings management practice. The research has shown that due to the intricate tax system in Brazil there is the possibility of earnings management via the constitution of provisions or not. It was also confirmed that after the issuance of ASB No. 25 the companies increased the disclosure of information on provisions, liabilities, assets and contingents.
Pinto, Marcia Helena Baldani. « Eqüidade e o Sistema Único de Saúde : a provisão de serviços públicos odontológicos no estado do Paraná, à luz do princípio da diferença ». Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/6/6135/tde-16112006-233653/.
Texte intégralObjective: Studies have shown progresses on the promotion of equity in the provision of some health services in the context of SUS. This study aimed to verify if this constitutional principle has been applied to the provision of dental public services in the state of Paraná, considering the concept of vertical equity as described in the Brazilian law. Methods: This ecological study assessed resources, supply and utilization of dental services in towns of Paraná, 2003. Data were obtained from administrative reports, bibliographic references, and official databases available on web. The appraisal of association between indices assessing dental services and socioeconomic status used non parametric statistics, performed by the SPSS 8.0 1997 software. Results: A redistributive trend was identified for federal resources addressed to municipalities for primary health care. The supply and utilization of dental services in units of primary health care also presented a pro-equity trend. However, when considering an index of responsiveness of health systems, two situations were identified: for towns with better-off health systems, the provision of dental services was positively associated with socioeconomic indices; while the remaining towns presented a negative association. The Health Family Program (PSF) presented a more equitable feature than other dental health policies. Conclusions: Progresses on the promotion of equity in the provision of dental public services at Paraná were identified, mainly associated to the implementation of PSF with dental teams. They were discussed as associated with the ability of some municipalities presenting poorer life conditions developing good answers for their health systems.
Livres sur le sujet "Proviso"
Jovan, Moriah. The proviso. Kansas City, MO : B10 Mediaworx, 2008.
Trouver le texte intégralThe proviso. Kansas City, MO : B10 Mediaworx, 2008.
Trouver le texte intégralThe lipstick proviso : Women, sex & power in the real world. New York : Doubleday, 1997.
Trouver le texte intégralCommittee, United States Commission on Civil Rights Illinois Advisory. Race relations and equal education opportunities at Proviso West High School. [Washington, D.C : The Commission, 1996.
Trouver le texte intégralCommittee, United States Commission on Civil Rights Illinois Advisory. Race relations and equal education opportunities at Proviso West High School. Chicago, IL : U.S. Commission on Civil Rights, Midwestern Regional Office, 1996.
Trouver le texte intégralAdele, Doherty S., Bennett C. Ray, Meharry Medical College. School of Dentistry. Dept. of Preventive Dentistry and Community Health., Meharry Medical College. Division of Continuing Education. et United States. Alcohol, Drug Abuse, and Mental Health Administration. Office for Substance Abuse Prevention., dir. Substance abuse in dentistry : A proviso for a drug free profession. Brentwood, Tenn : D.S.H. Pub. Co., 1991.
Trouver le texte intégralUnited States Commission on Civil Rights. Illinois Advisory Committee. Race relations and equal education opportunities at Proviso West High School. [Washington, D.C : The Commission, 1996.
Trouver le texte intégralHousehold Goods Carriers' Bureau (U.S.), dir. Tariff primer for first proviso household goods shipments : Rating information contained in HGCB interstate tariff series 400-J. Alexandria, VA (1611 Duke St., Alexandria 22314-3482) : The Bureau, 1993.
Trouver le texte intégralWashington State Parks and Recreation Commission. Washington State parks operational funding needs : 1997-99 operating budget proviso, part II : a report to the Legislature. [Olympia, WA] (7150 Clearwater Lane, PO Box 42650, Olympia 98504-2650) : Washington State Parks and Recreation Commission, 1999.
Trouver le texte intégral1920-, Fehrenbacher Don Edward, dir. Sectional crisis and Southern constitutionalism. Baton Rouge : Louisiana State University Press, 1995.
Trouver le texte intégralChapitres de livres sur le sujet "Proviso"
Turner, Kenneth J., Evan H. Magill et David J. Marples. « Introduction and Context ». Dans Service Provision, 3–6. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch1.
Texte intégralBlair, Gordon S., et Geoff Coulson. « Service Architectures ». Dans Service Provision, 167–88. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch10.
Texte intégralBakker, John-Luc, et Farooq Anjum. « Service Capability APIs ». Dans Service Provision, 189–216. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch11.
Texte intégralTurner, Kenneth J. « Formal Methods for Services ». Dans Service Provision, 217–33. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch12.
Texte intégralMagill, Evan H. « Feature Interaction : Old Hat or Deadly New Menace ? » Dans Service Provision, 235–50. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch13.
Texte intégralSmith, James T. « Advances in Services ». Dans Service Provision, 253–78. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch14.
Texte intégralMartin, Peter, et Stephen Corley. « Evolving Service Technology ». Dans Service Provision, 279–99. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch15.
Texte intégralMarples, David J., Kenneth J. Turner et Evan H. Magill. « Prospects ». Dans Service Provision, 301–13. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch16.
Texte intégralMcBain, Alistair. « Multimedia Technology in a Telecommunications Setting ». Dans Service Provision, 7–28. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch2.
Texte intégralClark, Graham M., et Wayne Cutler. « Call Processing ». Dans Service Provision, 29–51. Chichester, UK : John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch3.
Texte intégralActes de conférences sur le sujet "Proviso"
Barnat, Jiri, Lubos Brim et Petr Rockai. « Parallel Partial Order Reduction with Topological Sort Proviso ». Dans 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE, 2010. http://dx.doi.org/10.1109/sefm.2010.35.
Texte intégralColangeli, Sergio, Patrick E. Longhi, Walter Ciccognani, Antonio Serino et Ernesto Limiti. « Checking Rollett's Proviso for Degenerated Devices through S-Parameter Analysis ». Dans 2022 17th European Microwave Integrated Circuits Conference (EuMIC). IEEE, 2022. http://dx.doi.org/10.23919/eumic54520.2022.9923453.
Texte intégralBednarczyk, Bartosz, et Sebastian Rudolph. « Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting ». Dans Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California : International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/212.
Texte intégralTian, Dave (Jing), Adam Bates, Kevin R. B. Butler et Raju Rangaswami. « ProvUSB ». Dans CCS'16 : 2016 ACM SIGSAC Conference on Computer and Communications Security. New York, NY, USA : ACM, 2016. http://dx.doi.org/10.1145/2976749.2978398.
Texte intégralBrezovnik, Boštjan. « Local Public Services Provision : Conference Papers ». Dans Local Public Services Provision : Conference Papers. Maribor University Press, 2016. http://dx.doi.org/10.18690/9789616399838.
Texte intégralTiomkin, M. « Proving unprovability ». Dans Proceedings Third Annual Symposium on Logic in Computer Science. IEEE, 1988. http://dx.doi.org/10.1109/lics.1988.5097.
Texte intégralChen, T. Y., T. H. Tse et Zhiquan Zhou. « Semi-proving ». Dans the international symposium. New York, New York, USA : ACM Press, 2002. http://dx.doi.org/10.1145/566172.566202.
Texte intégralCoiteux-Roy, Xavier, et Stefan Wolf. « Proving Erasure ». Dans 2019 IEEE International Symposium on Information Theory (ISIT). IEEE, 2019. http://dx.doi.org/10.1109/isit.2019.8849661.
Texte intégralAnane, R., S. Crowther, J. Beadle et G. Theodoropoulos. « eLearning content provision ». Dans Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. IEEE, 2004. http://dx.doi.org/10.1109/dexa.2004.1333510.
Texte intégralLi, Qing, An Liu, Hai Liu, Baoping Lin, Liusheng Huang et Naijie Gu. « Web services provision ». Dans the 3rd International Conference. New York, New York, USA : ACM Press, 2009. http://dx.doi.org/10.1145/1516241.1516257.
Texte intégralRapports d'organisations sur le sujet "Proviso"
Sheikh, Sonja, et Alfred Radauer. Evaluierung des Projektes PROVISO 2003 – 2007. KMU Forschung Austria, novembre 2005. http://dx.doi.org/10.22163/fteval.2005.190.
Texte intégralFuchs, Victor. Provide, Provide : The Economics of Aging. Cambridge, MA : National Bureau of Economic Research, juillet 1998. http://dx.doi.org/10.3386/w6642.
Texte intégralAbadi, Martin, et Zohar Manna. Modal Theorem Proving,. Fort Belvoir, VA : Defense Technical Information Center, mai 1986. http://dx.doi.org/10.21236/ada325959.
Texte intégralGoff, David G. Operation Provide Comfort. Fort Belvoir, VA : Defense Technical Information Center, mai 1992. http://dx.doi.org/10.21236/ada295955.
Texte intégralShankar, Natarajan. PVS Theorem Proving Enhancements. Fort Belvoir, VA : Defense Technical Information Center, juin 1997. http://dx.doi.org/10.21236/ada326917.
Texte intégralHart, Oliver, et Luigi Zingales. Inefficient Provision of Liquidity. Cambridge, MA : National Bureau of Economic Research, août 2011. http://dx.doi.org/10.3386/w17299.
Texte intégralBellin, Gianluigi, et Jussi Ketonen. Experiments in Automatic Theorem Proving. Fort Belvoir, VA : Defense Technical Information Center, décembre 1986. http://dx.doi.org/10.21236/ada327449.
Texte intégralChandrasekhar, Arun, Robert Townsend et Juan Pablo Xandri. Financial Centrality and Liquidity Provision. Cambridge, MA : National Bureau of Economic Research, mars 2018. http://dx.doi.org/10.3386/w24406.
Texte intégralChockler, Gregory, Nancy Lynch, Sayan Mitra et Joshua Tauber. Proving Atomicity : An Assertional Approach. Fort Belvoir, VA : Defense Technical Information Center, juillet 2005. http://dx.doi.org/10.21236/ada466773.
Texte intégralSantos, Joao A., et S. Vish Viswanathan. Bank Syndicates and Liquidity Provision. Cambridge, MA : National Bureau of Economic Research, août 2020. http://dx.doi.org/10.3386/w27701.
Texte intégral