Reading Through ESP in an Undergraduate Law Program by Gladis Leonor Arias Rodríguez

Get full text

Research on the programming language for proxy re-encryption by Mang SU, Yan YU, Bin WU, Anmin FU

“…The programming language for proxy re-encryption(PLPRE) based on domain specific language(DSL) was proposed,which was similar to the matical description and was adopt to describe the proxy re-encryption directly.The algorithm designer could describe the algorithm conveniently and quickly by PLPRE,and obtain the programming code for computer.Firstly,the grammar of PLPRE was presented,including the definitions of the keyword and programming logic,then the ACC-PRE algorithm was described by PLPRE as an example.Secondly,the PLPRE parser was realized by ANTLR.Finally,the comparisons between the PLPRE and the related work were made.By using the PLPRE,user does not need to pay attentions to data structure or memory allocation.It is suitable for the cryptography experts who is not familiar with the programming.Thus,PLPRE will decrease the deviation between the design and implement for PRE.…”
Get full text

Applications of mathematical programming in graceful labeling of graphs by Kourosh Eshghi, Parham Azimi

“…In this paper, first a new approach based on the mathematical programming technique is presented to model the graceful labeling problem. …”
Get full text

Perinatal Programming of Asthma: The Role of Gut Microbiota by Meghan B. Azad, Anita L. Kozyrskyj

“…In this paper, we present evidence for the perinatal programming of asthma via the intestinal microbiome. …”
Get full text

Genetic Programming and Standardization in Water Temperature Modelling by Maritza Arganis, Rafael Val, Jordi Prats, Katya Rodríguez, Ramón Domínguez, Josep Dolz

“…An application of Genetic Programming (an evolutionary computational tool) without and with standardization data is presented with the aim of modeling the behavior of the water temperature in a river in terms of meteorological variables that are easily measured, to explore their explanatory power and to emphasize the utility of the standardization of variables in order to reduce the effect of those with large variance. …”
Get full text

An Application of Financial IT Programs to Support Customer Relations by Maria Kubacka

Get full text

TARGETED PROGRAMS AS A TOOL FOR REGIONAL DEVELOPMENT by M. V. Rapoport

“…The author substantiates the need for government support of the development of traditional national handicrafts through targeted programs both at the federal and regional levels. The study estimates the volume and analyzes the structure of existing funding of regional programs aimed at supporting traditional national handicrafts. …”
Get full text

Needs Assessment in Intervention Programs for Rural Development by A.J. Adegbola, O.M. Olatilewa, S. Akor, O. Obarein

Get full text

Review of programs for assessing the pathogenicity of genetic variants by D. S. Bug, A. N. Narkevich, N. V. Petukhova

“…However, there is a lack of detailed information about the principles and characteristics of these programs in the scientific literature. In this review, we present the basic principles that are used to evaluate the pathogenicity of variations using the example of some of the most widely used predictive programs.…”
Get full text

WHO Polio Eradication Program: Problems and Solutions by S. M. Kharit, V. S. Pokrovsky, A. A. Ruleva, I. V. Fridman

“…In 2013 WHO re-evaluated its main goals of the polio eradication program. A modernization program was accepted with regard to the National vaccination calendars worldwide which includes a step-by-step refusal from the living polio vaccine (OPV) and a total transition to the inactivated polio vaccine (IPV) starting in 2019. …”
Get full text

Agile Methods in Game Programming based on Scrum by Yaşar Becerikli, Şahin Mercan

“…In this thesis, firstly historical development, content, rules and methods of Agile methods are presented with literature researches. In the next section, Grumpy Ball is applied by using Scrum method which is agile programming method. …”
Get full text

Needs Assessment in Intervention Programs for Rural Development by A.J. Adegbola, O.M. Olatilewa, S. Akor, O. Obarein

Get full text

Synthesis of binary programs with predominance of branching commands by V.V. Zhukov

“…The methods for calculating the lower and upper bounds of the Shannon function for the complexity of Boolean functions implementation in the class of binary programs are presented. The complexity of a binary program is understood as the integral weight of all commands of its subprograms. …”
Get full text

Academic Framework for Teaching Robot Programming at University by José María Cañas Plaza, Alberto Martín Florido, Eduardo Perdices García, Francisco Rivas Montero, Roberto Calvo Palomino

“…This paper presents a framework for teaching robotics at engineering university degrees in a practical way. …”
Get full text

C Program Verication in the Multilanguage System Spectrum by V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky

“…The project prospects are discussed using the example of C program verication. The project aims at the development of a new integrated approach to program verica- tion which will allow the integration, unication and combination of program verication techniques together with accumulation and reuse of knowledge about them. …”
Get full text

Improving Graduate Employability through Internship Programs by Maria Baron-Puda

“…The main aim of this paper is to present the contribution of the internship program to the employability of graduates of University of Bielsko-Biala. …”
Get full text

About Development of the Typology of Preschool Education Programs by Doronova T.N., Doronov S.G., Кhaylova E.G.

“…This state of affairs necessitates the development of a typology of programs. Also, the typology of the program is the basis for building objective links between the goals of educational activities and its actual results. …”
Get full text

Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

“…In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. …”
Get full text

A model for correlation-based choreographic programming by Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli

“…Previous theoretical work investigated the translation of choreographies into (models of) programs based on message passing. However, existing theories still present a gap between how they model communications—using channel names à la CCS or $\pi$π -calculus—and implementations—which use lower-level mechanisms for message routing. …”
Get full text

FIRST EXPERIENCE OF PROGRAMMING A COURT DECISION

“…Based on the above, the article concludes that, by analogy with the presented program, it is possible to create software for making a lawful, well-grounded and fair judicial act for other categories of cases and, as a consequence, to reduce the period of making judicial decisions. …”
Get full text