Aleksandrs Matvejevs, Anatoliy Malyarenko and Andrejs Matvejevs
): Modern Actuarial Risk Theory. Kluwer Academic Publishers, Dordrecht.
 Kremer (1982): IBNR-Claims and the Two-Way Model of ANOVA. Scand.Act.J., Vol.1, p.47-55.
 Norberg, R. (1993): Prediction of Outstanding Liabilities in Non-Life Insurance, ASTIN Bulletin,Vol 23, No 1, p. 95-115. http://dx.doi.org/10.2143/AST.23.1.2005103
 Schiegl, M. (2002): On the Safety Loading for Chain Ladder Estimates: A Monte Carlo Simulation Study, ASTIN Bulletin, Vol. 32, No. 107.
 Schmidt, K. (2006): Methods and
Langley, P. 2009. Claims and challenges in evaluating human-level intelligent systems. In Goertzel, B.; Hitzler, P.; and Hutter, M., eds., Proceedings of the Second Conference on Artificial General Intelligence , 91–96.
Laird, J. E. 2012. The Soar Cognitive Architecture . Cambridge, Massachusetts: MIT Press.
Lake, B. M.; Ullman, T. D.; Tenenbaum, J. B.; and Gershman, S. J. 2017. Building machines that learn and think like people. Behavioral and Brain Sciences 40:E253.
LeCun, Y.; Bengio, Y.; and Hinton, G. 2015. Deep Learning. Nature 521
-agent approach. In Proceedings of the Eleventh European Conference on Artificial Intelligence . John Wiley and Sons.
Laird, J. E.; Wray III, R. E.; Marinier III, R. P.; and Langley, P. 2009. Claims and challenges in evaluating human-level intelligent systems. In Proceedings of the 2009 Conference on Artificial General Intelligence . Atlantis Press.
Lebiere, C.; Gonzales, C.; and Warwick, W. 2009. A comparative approach to understanding general intelligence: Predicting cognitive performance in an open-ended dynamic task. In
Christopher Myers, Kevin Gluck, Glenn Gunzelmann and Michael Krusmark
application to human-computer interaction. Human-Computer Interaction, 12 , 391-438.
Kowler, E., Anderson, E., Dosher, B., Blaser, E. (1995). The role of attention in the programming of saccades. Vision Research, 35 (13), 1897-1916.
Laird, J. E. (2008). Extending the Soar cognitive architecture . Paper presented at the 1st Artificial General Intelligence Conference, Memphis, TN.
Laird, J. E., Wray, R. E., Marinier, R. P., & Langley, P. (2009). Claims and challenges in evaluating human
Koza, J. R. 1992. Genetic programming: on the programming of computers by means of natural selection, volume 1. MIT press.
Krichmar, J. L., and Edelman, G. M. 2006. Principles underlying the construction of brain-based devices. In Proceedings of AISB, volume 6, 37-42.
Kurzweil, R. 2005. The singularity is near: When humans transcend biology. Penguin.
Laird, J. E.; Wray, R.; Marinier, R.; and Langley, P. 2009. Claims and challenges in evaluating human-level intelligent systems. In Proceedings of the Second Conference on
The previous articles  and  introduced formalizations of the step-by-step operations we use to construct finite graphs by hand. That implicitly showed that any finite graph can be constructed from the trivial edgeless graph K1 by applying a finite sequence of these basic operations. In this article that claim is proven explicitly with Mizar.
Nowadays, in the insurance industry the use of predictive modeling by means of regression and classification techniques is becoming increasingly important and popular. The success of an insurance company largely depends on the ability to perform such tasks as credibility estimation, determination of insurance premiums, estimation of probability of claim, detecting insurance fraud, managing insurance risk. This paper discusses regression and classification modeling for such types of prediction problems using the method of Adaptive Basis Function Construction
On Foundation for Certification of Model Driven Architecture (MDA) Tools: Defining a Specification
A modern approach to software development includes a wide variety of processes, which are used to regulate and manage the entire development life cycle. One of the main aspects to be considered during the preparation stage of software development is the selection of the right tools. Nowadays when software systems become more and more complex, an inappropriate selection of the tools may cause project not to succeed at all. That is why the main challenge of the industry is still aimed on the simplification, optimization, and automation of software development process. One of the ways to deal with an increasing complexity, as well as not to dig into the details of the source code, is to use modeling. A model-driven approach, mainly represented by OMG's Model Driven Architecture as the most advanced and popular one, purports to be the next evolutional milestone for the whole software industry. In fact, most of the tools currently available on the market are claimed as "MDA complaint," though have never been checked or analyzed for that compliance. Therefore, there should be a certification program defined to figure out the main features of each tool in accordance with OMG standards. The original article proposes a foundation for certification of MDA tools. In particular, this includes the specification of the most common features and options defined to clarify the accordance level of each tool from various perspectives.
Problems and Perspectives of Code Generation from UML Class Diagram
As a result of increasing technological diversity, more attention is being focused on model driven architecture (MDA), and its standard - Unified Modeling Language (UML). UML class diagrams require correct diagram notation mapping to target programming language syntax under the framework of MDA. Currently there are plenty of CASE tools which claim that they are able to generate the source code from UML models. Therefore by combining the knowledge of a programming language, syntax rules and UML class diagram notation semantic, an experimental model for stressing the code generator can be produced, thus allowing comparison of quality of the transformation result. This paper describes a creation of such experimental models.
The criminalization of homosexuality in Nigeria has partially been inspired and acclaimed by a number of religious schools of thought, including Christian opinion leaders. Such an influence of religion on politics has been seriously questioned. Using observations and literary sources, this paper underlines the unconstitutionality of Christian antigay proselytism at the political sphere of the Nigerian State, anchoring its claim on the constitutional provision stipulating the secular character of Nigeria. It however interprets such a move (the “influential” Christian anti-gay proselytism) as an inevitable expression of the religious character of Nigeria’s social and cultural spheres. Furthermore, the paper argues that the Nigerian Federation is “fully secular” only on paper and not in practice. Secularity is partially observed at the political sphere of the State. Religion and populism continue to shape major socio-political schemes (as seen in the criminalization of homosexuality in Nigeria). With such a socio-political influence of religion, legislative projects such as the Same-Sex Marriage (Prohibition) Act and political strategies such as the Nigerian Government’s resistance against western gay-proselytism can only be massively celebrated. In line with this, (Christian) anti-gay proselytism at the Nigeria’s political sphere is logically viewed less as an anathema, and more as socio-political heroism.