bluuebunny/crossref_metadata_2025_split huggingface dataset:
Model Mining and Efficient Verification of Software Product Lines
Authors: Soleimanifard Siavash , Gurov Dilian , Schaefer Ina , Østvold Bjarte M. , Markov Minko 
Published: November 2022

Software product line modeling aims at capturing a set of software productsin an economic yet meaningful way. We introduce a class of variability modelsthat capture the sharing between the software artifacts forming the productsof a software product line (SPL) in a hierarchical fashion, in terms of commonalitiesand orthogonalities. Such models are useful when analyzing and verifying all productsof an SPL, since they provide a scheme for divide-and-conquer-style decompositionof the analysis or verification problem at hand. We define an abstract class of SPLsfor which variability models can be constructed that are optimal w.r.t. the chosen representation of sharing. We show how the constructed models can be fed into a previously developedalgorithmic technique for compositional verification of control-flow temporal safetyproperties, so that the properties to be verified are iteratively decomposed intosimpler ones over orthogonal parts of the SPL, and are not re-verified over the shared parts. We provide tool support for our technique, and evaluate our tool on a small but realistic SPL of cash desks.
Crop Seed Sizes and Their Role in The Productivity of Field Crops: A Review Article
Authors: Abdulbasit Ali Muthanna , Abdulateef Mohammed Akram , Mohammad Abdullah Khder , Yahya Saddam Ibrahim 
Published: November 2022

ABSTRACT
The world has begun to be interested in developing new variations that fulfill the needs of the people, which necessitates research into some things that are still uninteresting, such as the many qualities of the varieties. The first cycle of increasing agricultural production begins with the seed, as seeds are one of the important factors affecting crop growth and productivity. High-quality seeds are characterized by a set of specifications, including their good fullness and homogeneity of sizes in the agricultural sample, which is intended to be comparable to plant growth and then balanced exploitation of light energy and growth sources by all plants equally, with its reflection on yield and quality. We conclude from most of the studies that have been reviewed that the technique of grading seed sizes led to stimulating and accelerating germination and thus increasing growth and raising the productivity and quality of crops. Therefore, the seeding rate must be determined according to the number of seeds per unit area, not the weight of the seeds per unit area, and the reason is due to the large variation in the weights of the seeds of one variety per crop planted in different environmental conditions. The majority of the studies likewise found an inverse association between the number of seeds and their size within one weight. Given the rise and rapid population growth, seed size grading may be the most important factor in enhancing output.
Social Climber di Era Milenial Dalam Al-Quran
Authors: Ariana Ariana , Nasution Muhammad Roihan , Fitriani Fitriani 
Published: November 2022

Ariana, 2022, The number of negative impacts regarding milenial social phenomena is more ofthen this social social climber who has negative or violates islamic law. Because in the Qur’an it is explained that the purpuse of this how the solution to this social climber is to remember Allah, be selective in choosing friend, avoid hedonism, avoid useles meeting so that we avoid social climber behavior. Is a tescrictive qualitative research. This research also uses the library research method or literature study with a data analysis approach in the interpretation methodology that the authour uses in this study the tahlili method. The tahlili approach interprets surah Al-Isra verse 37 regarding social climber in or the prohibition of social climber in the verse. This study shows how this verse prohibit social climber in social media in this is millenial era. In this discussion, there is tafsir Quraish Shihab. According to tafsir Quraish Shihab, social climber is a prohibition on arrogance, because arrogance is the biggest direction in acquiring knowledge that leads to virtue and serious illness that breeds ignorance so that it leads the perpetrators to evil.
Keywords: social climber, solution, Quraish Shihab.
Dampak Overthingking Dan Pencegahannya Menurut Muhammad Quraish Shihab Studi Surah Al-Hujurat Ayat 12
Authors: Utami Tika Setia , Andy Safria , Datmi Muhammad Akbar Rosyidi  
Published: November 2022

Overthinking in kbbi is too much time to think about things in a detrimental way and Overthinking can be in the form of khwatir, Overthinking in the Islamic perspective a special form of feeling of fear. The fear that arises will develop greater if it is accompanied by feelings of alertness, anxiety, the presence of certain fantasies and emotions. Overthinking can be caused because it is not yet fully human to have tawakkal skills and depend only on God, Overthinking can also waste energy from thinking about things in an excessive way. Overthinking makes a person think of fears that do not necessarily occur and then cause anxiety in the individual. Overthinking is not a trivial matter, to be honest, there are no trivial problems, everything must be addressed immediately. The purpose of the study is to know how overthinking is understood, knowing the biography of Muhammad Quraish Shihab and Tafsir Al-Misbah in social conditions and knowing Overthinking and its prevention according to Muhammad Quraish Shihab in Quran Surah Al-Hujurat verse 12.This type of research uses library research, in literature research in collecting data through the analysis of books and books that are related and have a relationship in supporting research and also writing looking at conditions regarding overthinking. Overthinking leads to bad thinking because basically all is well that in the Tafsir surah Al-hujurat verse 12 it is explained, O people of faith, stay away from the earnest efforts of many of the conjectures i.e. prejudice against human beings who do not have adequate indicators, indeed some of the conjectures that do not have indicators are sins.
Keywords : Overthinking And Prevention
Pemahaman terhadap Lafadz Makr, Kaid, dan Khida‘ Dalam Al-Qur’an Surah Ali Imran Ayat 54 dan Al-Baqarah Ayat 9:
Authors: Azmi Ulul , Andy Safria , Sari Winda 
Published: November 2022

In this day and age, it is an age when the outbreak of deceit, there are many bad effects caused by the perpetrators of deception. Tipu in the Koran is mentioned in many verses with different patterns but has similarities in terms of meaning, or known as Taraduf or Mutaradif (Different words but have the same meaning), then it is necessary to be careful what they mean, so what if the deeds of the Deceivers are directed at Allah, because for some people are afraid to interpret deceit in Makr language, Kaid, Khida' if placed for Allah, because they think Allah cannot have the nature of deceit, this is the problem, especially among the claimants of Shari'a science. The research approach used by the author in this study is a Qualitative approach and uses descriptive and comparative analysis methods or Muqorron, namely by comparing verses with verses, with hadith or with the opinions of interpreters so that various interpretations are found that may have When talking about Makr, Kaid, and Khida',Sheikh Abdurrahman bin Nashir Assa'di did not talk in too much detail about the lafadz but he only interpreted in general terms what Makr, Kaid, and Khida' were and the essence of the three lafadz in the Koran, when he interpreted the verse about Makr, then what appeared was the planned deceit, when he interpreted Khida', So what arises from his interpretation is the same deed but the way it is different. Which Makr, Kaid requires there to be planning, while Khida' can be done without planning.
Keywords : Makr, Kaid, Dan Khida', Sheikh Abdurrahman bin Nashir Assa'di, Tafsir Assa'di
Memahami Hakikat Hukuman Dalam Pendidikan Islam
Authors: Sitorus Azi Shohi , Rahmadani Nabilla 
Published: November 2022

In learning and teaching activities there is a punishment given to students who do not have the attitude of discipline, responsibility and courtesy to their teachers. then such students need to be punished. But giving punishment to students has rules and stages, so before giving punishment an educator must be able to prepare students in accordance with Law Number 2 of 1989. The method used in this study is a qualitative descriptive research method. This analysis is a literature interview which gets data from written materials such as books, magazines, etc. In collecting the data, we used the data which was accepted by using books on Islamic educational philosophy as well as books as well as other related magazines. Punishment cannot be separated from the essence of education, because punishment is always accompanied by a reward. Rewards are designed to increase student interest in learning, while punishment is a preventive measure for students who are not interested in learning.
Keywords: Islamic education, punishment and reward
Stock Selection dan Market Timing Ability Reksa Dana Syariah Saham di Indonesia (RETRACT)
Authors: Sabila Fadiyah Hani , Sumakdilaga Citra , Yuliafitri Indri 
Published: November 2022

Artikel ini kami tarik kembali karena kami menemukan bahwa artikel ini telah dikirim di jurnal yang berbeda disaat yang bersamaan dan telah publish di Jurnal lain dengan link : https://ojs.unsulbar.ac.id/index.php/jepa/article/view/275
Kami menyadari bahwa publikasi ini adalah kesalahan tim editorial jurnal kami dimasa lampau.
Does Tax Avoidance Make Do Earning Opacity?
Authors: Arman Andi , Mira Mira 
Published: November 2022

This study examines and analyzes the effect of earning opacity on tax avoidance with leverage and company size as control variables in manufacturing companies listed on the Indonesia Stock Exchange. This research is quantitative research with an approach explanatory research involving 42 companies from 187 companies engaged in the manufacturing sector listed on the Indonesia Stock Exchange in 2017-2019. Determination of the sample using a purposive sampling technique. The data in this study were collected using literature study and documentation study methods. Furthermore, the data were analyzed using descriptive statistical methods, classical assumption tests (normality test, multicollinearity test, heteroscedasticity test, and autocorrelation test), multiple linear regression, determination test, and hypothesis test (t-test). The results showed that earning opacity hurts tax avoidance and is proven to be significant. This is because the company is less likely to minimize the tax burden. After all, the company no longer needs to carry out or take advantage of existing tax regulatory loopholes to minimize tax burden because its profit information has been obscured by management. Furthermore, the earning opacity carried out by company management is behavior opportunistic to maximize individual profits so that it is believed that there is less tax avoidance. This is because tax avoidance is done for the benefit of the company.
Studi Komparatif Pertumbuhan dan Produksi Tanaman Kopi Secara Konvensional dan Sambung Pucuk
Authors: Fahlevi Aguslim , Holidi Holidi , Wartono  
Published: November 2022

Usaha untuk meningkatkan produktivitas kopi adalah dengan menggunakan teknologi sambung pucuk. Penelitian ini bertujuan untuk membandingkan pertumbuhan dan produksi Kopi Budidaya Secara Konvensional dan Sambung Pucuk. Penelitian ini dilaksanakan di Desa Rimbah Candi Kecamatan Dempo Tengah Kota Pagar Alam Provinsi Sumatra Selatan dengan ketinggian tempat 1300 mdpl, pada bulan September sampai dengan November 2021. Penelitian ini mengunakan metode survei dengan penentuan lokasi secara sengaja. Data yang di kumpulkan dalam penelitian ini berupa data primer dan sekunder. Data primer diperoleh dari pengamatan langsung ke perkebunan kopi dan wawancara ke petani sedangkan data sekunder di peroleh dari lembaga intansi terkait dangan penelitian ini, seperti BMKG. Parameter pengamatan yaitu tinggi tanaman, diameter tajuk, berat biji kopi, berat biji kopi kering, dan hasil produksi per batang. Hasil penelitian menunjukan pertumbuhan dan produksi kopi sambung pucuk lebih baik dari kopi konvensional kenaikan tingkat produksi sebanyak 26 %, produksi rata-rata kopi sambung pucuk 4,01 kg sedangkan kopi kopi konvensional 3,04 kg. Untuk meningkatkan produktivitas kopi perlu dilakukan metode sambung pucuk.
Loss of Reproductive Organ Separation Zones as Adaptation to Anthropogenic Seed‐Dispersal‐Based Mutualism
Authors: von Baeyer Madelynn , Tranbarger Timothy J. , Spengler Robert N. 
Published: November 2022

AbstractDomestication, or the evolutionary adaptation of organisms to anthropogenic ecosystems, is a key area of research that links the biological and social sciences. The domestication of a select few species of angiosperms (notably in Poaceae and Fabaceae) played a prominent role in driving the demographic and cultural changes that led humanity into the modern world. The earliest phenotypic changes in plants during the first stages of the domestication process in each of the independent centres of domestication around the world include: (i) an increase in seed size (possibly pleiotropically linked to an overall increase in plant mass) and (ii) a loss of traits for seed dispersal, notably a loss of function in separation zones, abscission or dehiscence, resulting in seeds that remain attached to the plant. Archaeobotanists and geneticists have heavily focused on the evolution of these two sets of traits, tracing out their timing and pathways towards introgression; however, there are still ongoing debates related to the role of humans in this process and what specific ecological factors during the transition to agriculture changed selective pressures. In this article, we review what is known about the ecology of seed‐dispersal mechanisms in crop lineages before and after their adoption into cultivation systems; we specifically focus on abscission and dehiscence zones as archaeologically visible features directly associated with seed dispersal.
Traditional Food Plants in the Face of Global Change: Past, Present, and Future
Authors: Anju Thattantavide , Kumar Ajay 
Published: November 2022

AbstractTraditional food plants (TFPs) are highly nutritious and contain health beneficial metabolites, vitamins, minerals, and other nutrients. Various communities across the globe, especially in the rural areas, rely on the locally available TFPs for their nutritional and health‐related needs. The TFPs are considered important because they are locally available alternative sources of food and nutrition. However, they remain largely neglected to date despite their huge nutritional importance and potential. Interest in TFPs has recently increased especially because of the disruptions of the food supply chains caused by recurrent lockdowns during the COVID‐19 pandemic. Interruptions to long‐distance food supply chains expose the vulnerabilities associated with the globalised interconnected food systems. Recent literature suggests that localised food systems are more resilient, sustainable, and adaptive especially during times of pandemics, civil unrest, and conflicts. Since TFPs offer several benefits over the globalised mainstream food systems, it is important to explore their roles and develop research strategies to provide insights and to support their more widespread use in future. Scientists and food and nutrition experts also suggest that the post‐pandemic situation will compel food scientists, breeders, and crop bioengineers to realign their approach towards food production and consumption systems that are more locally suited. Significant knowledge has been gained through basic research on the diversity and availability of a plethora of TFPs in various parts of the world, including India, Africa, and South America. Limited genetic and genomic studies have also been performed with TFPs, and they provide very important insights into important genes and other regulators governing nutritional and stress‐resilient traits in neglected crops. Some crops are shown to have better traits than the currently available mainstream crops. Many studies have pointed towards cultivation, domestication, and improvement of regionally important TFPs for better climate resilience, sustainability, and adaptability. While very few TFPs have been genetically edited successfully, and gene‐edited TFPs are not commercially available yet, there is increasing evidence that there is a huge potential for the revitalisation and introduction of these ancient crops to the mainstream food baskets of the public. In this review article, we critically examine the TFPs and their regional importance in the local traditional food systems. The richness of TFPs during the ancient period and various reasons for their disappearance from the food basket, the re‐emergence of TFPs by recognising their importance in the present scenario, and the criteria for utilisation of TFPs to attain food security in the future are discussed comprehensively in the review. We provide a futuristic outlook on the importance, scope, and progress on the improvement of TFPs for valuable traits for ensuring food security of the burgeoning global population.
Compound conditions event‐triggered tracking control for nonlinear multiagent systems with nonlinear output faults
Authors: Li Dongni , Xue Hong , Cao Liang 
Published: November 2022

SummaryThis article is devoted to investigating the compound conditions event‐triggered prescribed performance tracking problem for strict‐feedback nonlinear multiagent systems with nonlinear output faults and unknown disturbances. A simplified event‐triggered sampling condition is designed to successfully reduce the number of state triggered design parameters. Besides, a compound conditions event‐triggered mechanism is constructed, which integrates state triggered and controller triggered simultaneously to reduce communication burden. Furthermore, by using disturbance observers and prescribed performance functions, unknown external disturbances are compensated and the tracking errors can converge into the prescribed boundary, respectively. Moreover, all the signals of the closed‐loop system are semiglobally uniformly ultimately bounded. Finally, the availability of the proposed control strategy is testified via simulation results.
Ultra‐High Toughness Fibers Using Controlled Disorder of Assembled Aramid Nanofibers
Authors: Kim Hyun Chan , Sodano Henry Angelo 
Published: November 2022

AbstractAssembling nanoscale building blocks with reduced defects has emerged as a promising approach to exploit nanomaterials in the fabrication of simultaneously strong and tough architectures at larger scales. Aramid nanofibers (ANFs), a type of organic nanobuilding block, have been spotlighted due to their superior mechanical properties and thermal stability. However, no breakthrough research has been conducted on the high mechanical properties of a structure composed of ANFs. Here, assembling ANFs into macroscale fiber using a simultaneous protonation and wet‐spinning process is studied to reduce defects and control disorder. The ANF‐assembled fibers consist of hierarchically aligned nanofibers that behave as a defective law structure, making it possible to reach a Young's modulus of 53.15 ± 8.98 GPa, a tensile strength of 1,353.64 ± 92.98 MPa, and toughness of 128.66 ± 14.13 MJ m−3. Compared to commercial aramid fibers, the fibers exhibit ≈1.6 times greater toughness while also providing specific energy to break as 93 J g−1. Furthermore, this shows recyclability of the ANF assembly by retaining ≈94% of the initial mechanical properties. This study demonstrates a facile process to produce high stiffness and strength fibers composed of ANFs that possess significantly greater toughness than commercial synthetic fibers.
Advancing Hydrovoltaic Energy Harvesting from Wood through Cell Wall Nanoengineering
Authors: Garemark Jonas , Ram Farsa , Liu Lianlian , Sapouna Ioanna , Cortes Ruiz Maria F. , Larsson Per Tomas , Li Yuanyuan 
Published: November 2022

AbstractConverting omnipresent environmental energy through the assistance of spontaneous water evaporation is an emerging technology for sustainable energy systems. Developing bio‐based hydrovoltaic materials further pushes the sustainability, where wood is a prospect due to its native hydrophilic and anisotropic structure. However, current wood‐based water evaporation‐assisted power generators are facing the challenge of low power density. Here, an efficient hydrovoltaic wood power generator is reported based on wood cell wall nanoengineering. A highly porous wood with cellulosic network filling the lumen is fabricated through a green, one‐step treatment using sodium hydroxide to maximize the wood surface area, introduce chemical functionality, and enhance the cell wall permeability of water. An open‐circuit potential of ≈140 mV in deionized water is realized, over ten times higher than native wood. Further tuning the pH difference between wood and water, due to an ion concentration gradient, a potential up to 1 V and a remarkable power output of 1.35 µW cm−2 is achieved. The findings in this study provide a new strategy for efficient wood power generators.
Gradient “Single‐Crystal” Li‐Rich Cathode Materials for High‐Stable Lithium‐Ion Batteries
Authors: Wu Tianhao , Zhang Xu , Wang Yinzhong , Zhang Nian , Li Haifeng , Guan Yong , Xiao Dongdong , Liu Shiqi , Yu Haijun 
Published: November 2022

AbstractAs one of the high‐energy cathode materials of lithium‐ion batteries (LIBs), lithium‐rich‐layered oxide with “single‐crystal” characteristic (SC‐LLO) can effectively restrain side reactions and cracks due to the reduced inner boundaries and enhanced mechanical stabilities. However, there are still high challenges for SC‐LLO with diverse performance requirements, especially on their cycle stability improvement. Herein, a novel concentration gradient “single‐crystal” LLO (GSC‐LLO), with gradually decreasing Mn and increasing Ni contents from center to surface, is designed and prepared by combining co‐precipitation and molten‐salt sintering methods, yielding a capacity retention of 97.6% and an energy density retention of 95.8% within 100 cycles at 0.1 C. The enhanced performance is mostly attributed to the gradient‐induced stabilized structure, free of cracks and less spinel‐like structure formation after long‐term cycling. Furthermore, the gradient design is also beneficial to the safety of LLOs as suggested by the improved thermal stability and reduced gas release. This study provides an effective strategy to prepare high‐energy, high‐stability, and high‐safety LLOs for advanced LIBs.