Distributionally Robust Joint Chance Constrained Problem under Moment Uncertainty by Ke-wei Ding

“…Robust chance constraints are approximated by Worst-Case CVaR constraints which can be reformulated by a semidefinite programming. Then the chance constrained problem can be presented as semidefinite programming. …”
Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

Assessment of Constraints Faced by Farm Women in Adaptation Strategies towards Climate Change by A. Pandey, P. Arya

“…Overall twenty six constraints were listed out. The results of the present study revealed the major constraints faced by farm womenwhichwereinadequate/ limited knowledge concerning climate change and adaptation measures and lack of access to weather forecasting technology (Rank I), Lack of training programs on adaptation to climate programs (Rank II), Lack of knowledge about government policies/programs and poor extension services related to climate change assigned Rank III. …”
Get full text

A Continuous Optimization Model for Partial Digest Problem by H Salehi Fathabadi

“…The pupose of this paper is modeling of Partial Digest Problem (PDP) as a mathematical programming problem. In this paper we present a new viewpoint of PDP. …”
Get full text

PyBrook—A Python framework for processing and visualising real-time data by Michał Rokita, Mateusz Modrzejewski, Przemysław Rokita

“…PyBrook enables users to define complex data processing models declaratively, using the Python programming language. The framework also provides a generic web interface that presents the collected data in real time. …”
Get full text

To Understand the Idea of Self-Advocacy. Building the Competences of Inclusive Education Teachers to Support Students With Diverse Educational Needs by Dorota Podgórska - Jachnik, Barbara Winczura

“…The empirical section presents the research findings, including examples of work submitted by students in pedagogy programs. …”
Get full text

Telehealth in cardiac rehabilitation: a review of current applications and future prospects for practical use by O. V. Kamenskaya, I. Yu. Loginova, A. S. Klinkova, A. R. Tarkova, R. A. Naydenov, E. I. Kretov, V. V. Lomivorotov

“…Telerehabilitation areas with potential for further study are presented.…”
Get full text

Prehabilitation as an important stage before cardiac surgery by M. G. Bubnova, D. M. Aronov, A. A. Sprikut, D. I. Stankevich, E. A. Poddubskaya, A. L. Persiyanova-Dubrova

“…The results of randomized clinical trials, systematic reviews and metaanalyzes evaluating the effectiveness of respiratory techniques and physical training during the prehabilitation are presented. Particular attention is paid to the involvement of patients in prehabilitation programs before the elective coronary artery bypass grafting. …”
Get full text

O estado do conhecimento das pesquisas sobre formação de professores no quadro da expansão da educação superior no Brasil by Bárbara Cristina Moreira Sicardi Nakayama, Douglas da Silva Tinti

“…The text aims to present the state of knowledge of the Brazilian researches that deal with projects and programs developed in the context of the public policies of expansion of Higher Education and that specifically deal with teacher education. …”
Get full text

Environmental Quality Impact Analysis of Settlements Bontang Kuala, East Kalimantan Province by Andrew Stefano, Triyatni Martosenjoyo, Idawarni Asmal, Edward Syarif

“… The present study seeks to elucidate the multifaceted impacts of resettlement programs on various dimensions of social and economic life within the community. …”
Get full text

Robust Optimization Models for Planning Drone Swarm Missions by Robert Panowicz, Wojciech Stecz

“…The mission models are presented in the form of mixed integer linear programming problems (MILPs). …”
Get full text

Additional Education for Children with Special Needs and Disabilities in the Russian Federation: National Monitoring Concept by Z. V. Puzanova, M. A. Simonova, V. M. Filippov, T. I. Larina

“…A concept of the national monitoring of additional education for children with special needs and disabilities is proposed. The article presents the project of the toolkit for the national monitoring of entities engaged in additional educational activities for children with special needs and disabilities, which includes eight blocks: organizational structure of entities engaged in implementing additional educational programs for children in each constituent territory of the Russian Federation; implementation of additional educational programs for children with special needs and disabilities in entities with various subordination and organizational structures; material and technical support; staffing and professional training for specialists engaged in implementing additional educational programs for children with special needs and disabilities; information on ongoing additional educational programs for children with special needs and disabilities; typical obstacles which arise in the course of activities organized by entities engaged in implementing additional educational programs for children with special needs and disabilities; information resources and the system of inter-agency interaction in the course of the implementation of additional educational programs for children, including those with special needs and disabilities; financing of entities engaged in implementing additional educational programs for children. …”
Get full text

An Enhanced Genetic Algorithm to Solve the Static and Multistage Transmission Network Expansion Planning by Luis A. Gallego, Marcos J. Rider, Marina Lavorato, Antonio Paldilha-Feltrin

“…The following characteristics of the proposed EGA to solve the static and multistage LTTEP problem are presented, (1) generation of an initial population using fast, efficient heuristic algorithms, (2) better implementation of the local improvement phase and (3) efficient solution of linear programming problems (LPs). …”
Get full text

Social Pedagogy as an offer of master’s studies in Poland after the Second World War (1945-1950) by Arkadiusz Żukiewicz

“…The article presents graduate programs (Masters level) in the field of social pedagogy offered by Helena Radlińska and her colleagues at the University of Łódz after WWII. …”
Get full text

Implementation of the Telemetric Integration of the BIM-RFID in Context of Access Control by Andrzej Szymon Borkowski, Jakub Brożyna, Julia Lesiuk

“…The process of creating a connection using an experimental set based on a microcontroller board for RFID reader support is described. The set was programmed using multiple programming languages and artificial intelligence. …”
Get full text

Expaining model of affecting factors on e-learning effectiveness in post graduate courses by Mahdi Kheyrandish

“…This subject has more importance on e-learning. Accordingly, the present study explains the affecting factors on e-learning programs’ effectiveness. …”
Get full text

GIFTEDNESS AND GIFTED EDUCATION (An Overview) by Teuku Azhari

“…Selection process will later base the whole programs and determine its success. Different approach and interventions are presented here as option and ways to be taken and considered for best result possible.  …”
Get full text

IoT System on Dynamic Fish Feeder Based on Fish Existence for Agriculture Aquaponic Breeders by Murizah Kassim, Muhammad Zulhelmi Zulkifli, Norsuzila Ya'acob, Shahrani Shahbudin

“…The dynamic fish feeder is programmed to feed where sensors detected the fish's existence. …”
Get full text

设计AutoLISP程序快速计算滚齿机差动挂轮 by 周太平, 吴霞

“…The method of quick speed calculation of differential gears by designing AuotLISP programs is presented.The method is convenient for selecting differential gears in machining of gears.…”
Get full text