Formal Proof of a Machine Closed Theorem in Coq by Hai Wan, Anping He, Zhiyang You, Xibin Zhao

Get full text

State Estimation for Fractional-Order Complex Dynamical Networks with Linear Fractional Parametric Uncertainty by Hongjie Li

“…Secondly, state estimation problem is then studied for the same fractional-order complex networks, where the purpose is to design a state estimator to estimate the network state through available output measurement, the existence conditions of designing state estimator are derived using matrix's singular value decomposition and LMI techniques. …”
Get full text

Autonomous Planning of Multigravity-Assist Trajectories with Deep Space Maneuvers Using a Differential Evolution Approach by Ossama Abdelkhalik

“…The biologically inspired concept of hidden genes has been recently introduced in genetic algorithms to solve optimization problems where the number of design variables is variable. In multigravity-assist trajectories, the hidden genes genetic algorithms demonstrated success in searching for the optimal number of swing-bys and the optimal number of deep space maneuvers. …”
Get full text

An Adjustable Zero Vibration Input Shaping Control Scheme for Overhead Crane Systems by Abdullah Mohammed, Khalid Alghanim, Masood Taheri Andani

“…The new shaper enhances the design flexibility and operational domain of the shaper, while it inherits the robustness properties and computational efficiency of the ZV scheme. …”
Get full text

Symbiosis of greenery with built form. A holistic, systems, multi-level approach by Francesca Scalisi, David Ness

“…Holistic and illuminating good practices and experiments in biophilic design, supported by frontier technologies, based on vernacular practices and in collaboration with local communities, are capable of looking at the big picture and tackling the climate challenge in a wider context and at different scales. …”
Get full text

Technical and Economic Efficiency of ТРБ-Turbine Application for Utilization of Steam Potential Lost due to Throttling at Industrial and Heating Boiler-Houses and Thermal Power Sta... by A. K. Balabanovich, N. N. Skorobogatij, E. A. Pantdej, N. V. Pantdej, E. V. Kulak

“…The experience of their operation fully corroborates the correctness of technical solutions that form the basis of their design. The paper reveals that ТРБ turbines of its class are characterized by the highest reliability and rather high economic efficiency.…”
Get full text

Alfred Jarry, aquém e além de Ubu by Márcio Marques de Carvalho

“…São contextualizadas algumas de suas inovações na literatura, no design e na encenação teatral. São apresentadas informações de seu contexto familiar, de sua vida escolar, e de como através de um modo de vida excêntrico construiu para si uma imagem espetacularizada. …”
Get full text

Data-driven LCA for green industrial innovation of custom curtain walls by Theo Zaffagnini, Luca Morganti

“… The optimization and advanced management of design, engineering, and building construction, aimed at the maximization of environmental performance, are among the innovations facilitated by the tools of the digital transition. …”
Get full text

Modified Dual-Band Stacked Circularly Polarized Microstrip Antenna by Guo Liu, Liang Xu, Yi Wang

“…To enhance the gain at low angle, a new structure of patch and two parasitic metal elements are introduced. With the optimized design, good axial ratio and near-hemispherical radiation pattern are obtained.…”
Get full text

Permeable Pavement Systems: Technical Considerations by Eban Bean, Mark Clark, Barbra C, Larson

“…This new 8-page document provides technical details of permeable pavement systems, such as application, system elements, design, installation, operation, maintenance, crediting, and costs, in order to inform planners, engineers, landscape architects, local government officials, and other professionals in the built environment about the considerations for implementing and maintaining permeable pavements. …”
Get full text

Taxonomy and Evaluations of Low-Power Listening Protocols for Machine-to-Machine Networks by Kwang-il Hwang, Sung-Hyun Yoon

“…It will also be very useful for helping M2M designers understand specific features of low-power media access control protocols as they design new M2M networks.…”
Get full text

A Study on College Students’ Cognitive Intention and Path Choice of Entrepreneurship from the Perspective of Individual and Group Cooperation by Yingjie Zhao

“…Then, the research hypothesis and model construction method are elaborated, and a questionnaire is designed to study the cognitive intention and path of entrepreneurship of college students. …”
Get full text

Saudi National Day: Conservatism Versus Modernity in the Light of Saudi Vision 2030 by Theeb Mohammed Aldossry

“…Utilizing a descriptive research design, the article explores the processes through which countries emerge and cultivate national identities after gaining independence, and how these identities are reinforced through the celebration of national holidays. …”
Get full text

Personal anticipated information need by H. Bruce

“…It is suggested that personal information collections are created in anticipation of some future need for that information-<em>personal, anticipated information need</em>, which also underlies the design of formal information systems. Elaboration. …”
Get full text

Ecological Theology of Creation in The Perspective of The Theology of The Trinity by Jarosław Babiński

“…The essential love between the persons of the Trinity and the profound relationship of love between the Triune God and creation carries an inspiring message for the construction of man's relationship to the world according to God's design. This should constitute the essential foundation of an ecotheological praxeology. …”
Get full text

Being Entrapped Between Change and Return to the Kemalist Political Culture: Two Stories of the Ak Party Foreign Policy in the Context of Arab Spring by Rıdvan KALAYCI, Ünal TÜYSÜZ

“…This study is about foreign policy implementations that applied to design Turkish politics before and after the Arab Spring periods by Ak Party, which entered the political scene with the wind of “change” and “reform”. …”
Get full text

GENDER DISPARITIES IN SUICIDAL IDEATION AMONG UNIVERSITY STUDENTS: A QUANTITATIVE STUDY by Razaw Nury Hama Faraj

“…The research was conducted using a quantitative survey design, and a non-random sampling technique (convenience sampling) was employed to collect the sample. …”
Get full text

Capturing Change: Comparing Pretest-Posttest and Retrospective Evaluation Methods by Jessica L. Gouldthorpe, Glenn D. Israel

“…As you read about the strengths and weaknesses of these two design models, consider how each model fits the evaluation situation to select the one that can best measure change in your program. …”
Get full text

Parallel Mesh Adaptive Techniques for Complex Flow Simulation: Geometry Conservation by Angelo Casagrande, Pénélope Leyland, Luca Formaggia

“…This can be addressed by the introduction of a library capable of handling geometric properties given by a CAD (computer-aided design) description. This is of particular interest also to enhance the adaptation module when the mesh is being smoothed, and hence moved, to then reproject it onto the surface of the exact geometry.…”
Get full text

Development of Fault Identification System for Electric Servo Actuators of Multilink Manipulators Using Logic-Dynamic Approach by V. Filaretov, A. Zuev, A. Zhirabok, A. Protsenko

“…The proposed method is based on logic-dynamic approach for design of diagnostic observers for fault detection and isolation. …”
Get full text