Добірка наукової літератури з теми "Proviso"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Proviso".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Proviso"
Block, Walter E. "Forestalling, Positive Obligations and the Lockean and Blockian Provisos: Rejoinder to Stephan Kinsella." Ekonomia 22, no. 3 (November 21, 2016): 27–41. http://dx.doi.org/10.19195/2084-4093.22.3.2.
Повний текст джерелаRodgers, Lamont. "The role of nature in the self-ownership proviso." ethic@ - An international Journal for Moral Philosophy 20, no. 1 (April 30, 2021): 326–43. http://dx.doi.org/10.5007/1677-2954.2021.e78304.
Повний текст джерелаBornschein, Peter. "The self-ownership proviso." Politics, Philosophy & Economics 17, no. 4 (March 15, 2018): 339–55. http://dx.doi.org/10.1177/1470594x18762256.
Повний текст джерелаVarden, 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.
Повний текст джерелаMack, 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.
Повний текст джерелаSumika, 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.
Повний текст джерелаEhman, Robert. "Nozick's Proviso." Journal of Value Inquiry 20, no. 1 (1986): 51–56. http://dx.doi.org/10.1007/bf00141920.
Повний текст джерелаSlaev, Aleksandar D. "The Transaction Costs of Sustainability: Coase’s Proviso and the Roles of Environmentalists and the Government." Sustainability 15, no. 4 (February 8, 2023): 3096. http://dx.doi.org/10.3390/su15043096.
Повний текст джерелаWinter, Yoad. "On Presupposition Projection with Trivalent Connectives." Semantics and Linguistic Theory 29 (December 13, 2019): 582. http://dx.doi.org/10.3765/salt.v29i0.4644.
Повний текст джерелаCoutts, J. A. "Applying the Proviso." Journal of Criminal Law 53, no. 2 (May 1989): 210–14. http://dx.doi.org/10.1177/002201838905300205.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаBornschein, Peter. "Right-Libertarianism and the Destitution Objection." Bowling Green State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1462900713.
Повний текст джерелаPillay, 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.
Повний текст джерелаIn 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.
Повний текст джерелаCarvalho, 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.
Повний текст джерелаO 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/.
Повний текст джерелаThis 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/.
Повний текст джерелаFrequently, 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.
Повний текст джерелаWith 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/.
Повний текст джерелаGiven 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/.
Повний текст джерелаObjective: 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.
Книги з теми "Proviso"
Jovan, Moriah. The proviso. Kansas City, MO: B10 Mediaworx, 2008.
Знайти повний текст джерелаThe proviso. Kansas City, MO: B10 Mediaworx, 2008.
Знайти повний текст джерелаThe lipstick proviso: Women, sex & power in the real world. New York: Doubleday, 1997.
Знайти повний текст джерелаCommittee, 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.
Знайти повний текст джерелаCommittee, 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.
Знайти повний текст джерелаAdele, 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., and United States. Alcohol, Drug Abuse, and Mental Health Administration. Office for Substance Abuse Prevention., eds. Substance abuse in dentistry: A proviso for a drug free profession. Brentwood, Tenn: D.S.H. Pub. Co., 1991.
Знайти повний текст джерелаUnited 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.
Знайти повний текст джерелаHousehold Goods Carriers' Bureau (U.S.), ed. 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.
Знайти повний текст джерелаWashington 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.
Знайти повний текст джерела1920-, Fehrenbacher Don Edward, ed. Sectional crisis and Southern constitutionalism. Baton Rouge: Louisiana State University Press, 1995.
Знайти повний текст джерелаЧастини книг з теми "Proviso"
Turner, Kenneth J., Evan H. Magill, and David J. Marples. "Introduction and Context." In Service Provision, 3–6. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch1.
Повний текст джерелаBlair, Gordon S., and Geoff Coulson. "Service Architectures." In Service Provision, 167–88. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch10.
Повний текст джерелаBakker, John-Luc, and Farooq Anjum. "Service Capability APIs." In Service Provision, 189–216. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch11.
Повний текст джерелаTurner, Kenneth J. "Formal Methods for Services." In Service Provision, 217–33. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch12.
Повний текст джерелаMagill, Evan H. "Feature Interaction: Old Hat or Deadly New Menace?" In Service Provision, 235–50. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch13.
Повний текст джерелаSmith, James T. "Advances in Services." In Service Provision, 253–78. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch14.
Повний текст джерелаMartin, Peter, and Stephen Corley. "Evolving Service Technology." In Service Provision, 279–99. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch15.
Повний текст джерелаMarples, David J., Kenneth J. Turner, and Evan H. Magill. "Prospects." In Service Provision, 301–13. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch16.
Повний текст джерелаMcBain, Alistair. "Multimedia Technology in a Telecommunications Setting." In Service Provision, 7–28. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch2.
Повний текст джерелаClark, Graham M., and Wayne Cutler. "Call Processing." In Service Provision, 29–51. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch3.
Повний текст джерелаТези доповідей конференцій з теми "Proviso"
Barnat, Jiri, Lubos Brim, and Petr Rockai. "Parallel Partial Order Reduction with Topological Sort Proviso." In 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE, 2010. http://dx.doi.org/10.1109/sefm.2010.35.
Повний текст джерелаColangeli, Sergio, Patrick E. Longhi, Walter Ciccognani, Antonio Serino, and Ernesto Limiti. "Checking Rollett's Proviso for Degenerated Devices through S-Parameter Analysis." In 2022 17th European Microwave Integrated Circuits Conference (EuMIC). IEEE, 2022. http://dx.doi.org/10.23919/eumic54520.2022.9923453.
Повний текст джерелаBednarczyk, Bartosz, and Sebastian Rudolph. "Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting." In 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.
Повний текст джерелаTian, Dave (Jing), Adam Bates, Kevin R. B. Butler, and Raju Rangaswami. "ProvUSB." In 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.
Повний текст джерелаBrezovnik, Boštjan. "Local Public Services Provision: Conference Papers." In Local Public Services Provision: Conference Papers. Maribor University Press, 2016. http://dx.doi.org/10.18690/9789616399838.
Повний текст джерелаTiomkin, M. "Proving unprovability." In Proceedings Third Annual Symposium on Logic in Computer Science. IEEE, 1988. http://dx.doi.org/10.1109/lics.1988.5097.
Повний текст джерелаChen, T. Y., T. H. Tse, and Zhiquan Zhou. "Semi-proving." In the international symposium. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/566172.566202.
Повний текст джерелаCoiteux-Roy, Xavier, and Stefan Wolf. "Proving Erasure." In 2019 IEEE International Symposium on Information Theory (ISIT). IEEE, 2019. http://dx.doi.org/10.1109/isit.2019.8849661.
Повний текст джерелаAnane, R., S. Crowther, J. Beadle, and G. Theodoropoulos. "eLearning content provision." In Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. IEEE, 2004. http://dx.doi.org/10.1109/dexa.2004.1333510.
Повний текст джерелаLi, Qing, An Liu, Hai Liu, Baoping Lin, Liusheng Huang, and Naijie Gu. "Web services provision." In the 3rd International Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1516241.1516257.
Повний текст джерелаЗвіти організацій з теми "Proviso"
Sheikh, Sonja, and Alfred Radauer. Evaluierung des Projektes PROVISO 2003 – 2007. KMU Forschung Austria, November 2005. http://dx.doi.org/10.22163/fteval.2005.190.
Повний текст джерелаFuchs, Victor. Provide, Provide: The Economics of Aging. Cambridge, MA: National Bureau of Economic Research, July 1998. http://dx.doi.org/10.3386/w6642.
Повний текст джерелаAbadi, Martin, and Zohar Manna. Modal Theorem Proving,. Fort Belvoir, VA: Defense Technical Information Center, May 1986. http://dx.doi.org/10.21236/ada325959.
Повний текст джерелаGoff, David G. Operation Provide Comfort. Fort Belvoir, VA: Defense Technical Information Center, May 1992. http://dx.doi.org/10.21236/ada295955.
Повний текст джерелаShankar, Natarajan. PVS Theorem Proving Enhancements. Fort Belvoir, VA: Defense Technical Information Center, June 1997. http://dx.doi.org/10.21236/ada326917.
Повний текст джерелаHart, Oliver, and Luigi Zingales. Inefficient Provision of Liquidity. Cambridge, MA: National Bureau of Economic Research, August 2011. http://dx.doi.org/10.3386/w17299.
Повний текст джерелаBellin, Gianluigi, and Jussi Ketonen. Experiments in Automatic Theorem Proving. Fort Belvoir, VA: Defense Technical Information Center, December 1986. http://dx.doi.org/10.21236/ada327449.
Повний текст джерелаChandrasekhar, Arun, Robert Townsend, and Juan Pablo Xandri. Financial Centrality and Liquidity Provision. Cambridge, MA: National Bureau of Economic Research, March 2018. http://dx.doi.org/10.3386/w24406.
Повний текст джерелаChockler, Gregory, Nancy Lynch, Sayan Mitra, and Joshua Tauber. Proving Atomicity: An Assertional Approach. Fort Belvoir, VA: Defense Technical Information Center, July 2005. http://dx.doi.org/10.21236/ada466773.
Повний текст джерелаSantos, Joao A., and S. Vish Viswanathan. Bank Syndicates and Liquidity Provision. Cambridge, MA: National Bureau of Economic Research, August 2020. http://dx.doi.org/10.3386/w27701.
Повний текст джерела