Results 31 to 40 of about 100,167 (272)

A Falsification View of Success Typing

, 2015
Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure.
Jakob, Robert, Thiemann, Peter
core   +1 more source

Patterns theory and geodesic automatic structure for a class of groups [PDF]

, 2003
We introduce a theory of "patterns" in order to study geodesics in a certain class of group presentations. Using patterns we show that there does not exist a geodesic automatic structure for certain group presentations, and that certain group ...
Gersten S. M., Hopcroft J. E., MURRAY J. ELDER   +2 more
core   +1 more source

Falsification [PDF]

Calenda
This is a philosophical lecture with some logical additives. The aim is to consider the rival attractions of verification, or proof, or justification (total or partial) on the one side, and falsification or (more generally) criticism on the other. Old arguments will be deployed to reach the conclusion that all worthwhile uses of arguments are critical,
openaire   +2 more sources

Document Forgery: an Interdisciplinary Perspective

Сумський історико-архівний журнал
The purpose of the article is to reveal the meanings of the concept document falsification; to represent the foundations of technical expertise and scholarly criticism of documents; and to identify the main approaches to establishing facts of ...
Bezdrabko V. V.
doaj   +1 more source

Evaluation for an Open Society: Then and Now

Journal of MultiDisciplinary Evaluation, 2018
Background: Karl Popper’s views about science and political economy remain relevant to evaluation theory and practice. His Open Society opus inspired pioneering contributions to experimental evaluation and shaped the evaluation discipline. Yet, his ideas
Robert Picciotto
doaj   +1 more source

A New Approach to Model Verification, Falsification and Selection

Econometrics, 2015
This paper shows that a qualitative analysis, i.e., an assessment of the consistency of a hypothesized sign pattern for structural arrays with the sign pattern of the estimated reduced form, can always provide decisive insight into a model’s validity ...
Andrew J. Buck, George M. Lady
doaj   +1 more source

Accounting and analytical support for managing the reliability of financial reporting indicators

Проблеми теорії та методології бухгалтерського обліку, контролю і аналізу, 2021
The factors contributing to the violation of the current legislation on accounting and reporting, which lead to distortion of the reporting of financial and property status in the reporting, have been clarified. The purpose of the entity, the subject and
I.R., I.M. , V.K.
doaj   +1 more source

Falsification Of The Atmospheric CO2 Greenhouse Effects Within The Frame Of Physics [PDF]

, 2009
The atmospheric greenhouse effect, an idea that many authors trace back to the traditional works of Fourier (1824), Tyndall (1861), and Arrhenius (1896), and which is still supported in global climatology, essentially describes a fictitious mechanism, in
Ahrens C. D., Albrecht F., Albrecht F., Albrecht F., Arrhenius S., Arrhenius S., Atlas D., Avery D. T., Bakan S., Bauer H., Bauer H., Baukal C. E., Baur F., Baur F., Beckenbach E. F., Boltzmann L., Born M., Budden K. G., Businger J. A., Callen H. B., Callendar G. S., Chandrasekhar S., Chang J.-H., Clausius R., Clausius R., Cole F.-W., Craig E., Cubasch U., Davidson P. A., de Bary E., Emmerich A., Fleagle R. G., Fourier J., Fourier J., GERHARD GERLICH, Gerlich G., Gerlich G., Gerlich G., Gerlich G., Gerlich G., Gerlich G., Gore Al, Graßl H., Gribbin J., Hardy G. H., Hardy J. P., Hofmann G., Houghton J. T., Houghton J. T., Houghton J. T., Houghton J. T., Houghton J. T., Houghton J. T., Houghton J. T., Huang K., Hug H., Hölder O., Itzykson C., Jackson J. D., Jaworowski Z., Kittel C., Kreith F., Kuptsov L. P., Lee B., Lewis M., Lide D. R., Mann M. E., Martin P. E., McGuffie K., Mecke R., Miller A., Montgomery C. G., Munn R. E., Möller F., Möller F., Möller F., Möller F., Möller F., Möller F., Möller F., Mügge R., Nakićenović N., Oeschger H., Paul C. R., Pettersen S., Planck M., Planck M., RALF D. TSCHEUSCHNER, Rudzinski K., Rybicki G. B., Safran S. A., Scaife A., Schumann W. O., Schönwiese C.-D., Sellers W. D., Shu F. H., Shu F. H., Soon W., Sprott J. C., Stefan J., Thüne W., Thüne W., Tyndall J., Unsöld A., Virgo S. E., Weart S. R., Weise K., Wimmer M.   +107 more
core   +6 more sources

Association Between Symptomatic Knee Osteoarthritis and Target Glycemic Control in Individuals With Type 2 Diabetes

Arthritis Care &Research, EarlyView.
Objective Knee osteoarthritis (OA) commonly affects individuals with type 2 diabetes (T2DM) and is associated with increased risk of diabetes‐related complications. To better understand potential mechanisms, we examined the association between symptomatic knee OA and glycemic control in individuals with T2DM.
Lauren K. King, Alanna Weisman, Baiju R. Shah, Robert Goldberg, Amish Parikh, Ian Stanaitis, Vivian Hung, Rosane Nisenbaum, Abdalmohsen Almodahka, Lorraine Lipscombe, Gillian A. Hawker   +10 more
wiley   +1 more source

An agent-based model of centralized institutions, social network technology, and revolution. [PDF]

PLoS ONE, 2013
This paper sheds light on the general mechanisms underlying large-scale social and institutional change. We employ an agent-based model to test the impact of authority centralization and social network technology on preference falsification and ...
Michael D Makowsky, Jared Rubin
doaj   +1 more source