efficient program
Recently Published Documents


TOTAL DOCUMENTS

127
(FIVE YEARS 23)

H-INDEX

19
(FIVE YEARS 1)

2022 ◽  
Vol 955 (1) ◽  
pp. 012017
Author(s):  
J Kautsary

Abstract Indonesia is located at the meeting point of three tectonic plates, making it at-risk to geological disasters such as volcanic eruptions and earthquakes. Earthquake disaster can cause a variety of crucial dangers, such as earthquakes, landslides, liquefaction, tsunamis, and other natural disasters, as one took place in Palu City in 2018. This study aims to identify key parameters that could increase Palu resilience in the face of calamity in the future. This study start with a literature review to determine the concept, parameters, and variables of resilience Palu City against disasters. These parameters and variables were then compared to the current condition. The findings of the literature review generated four main parameters for disaster-resilience cities: disaster risk reduction (improvement of infrastructure design and multi disasters-based land use planning), community recovery, efficient program implementation, and monitoring-evaluation. Furthermore, the comparison of these four parameters to reconstruction activities reveals that Palu city’s post-disaster reconstruction has not fully resulted in efforts to achieve the concept of a disaster-resilience city. This is because post-disaster management efforts in Indonesia are in accordance with applicable regulations, emphasizing recovery rather than mitigation in the following catastrophic events.


2021 ◽  
Vol 5 (ICFP) ◽  
pp. 1-29
Author(s):  
John M. Li ◽  
Andrew W. Appel

An efficient optimizing compiler can perform many cascading rewrites in a single pass, using auxiliary data structures such as variable binding maps, delayed substitutions, and occurrence counts. Such optimizers often perform transformations according to relatively simple rewrite rules, but the subtle interactions between the data structures needed for efficiency make them tricky to write and trickier to prove correct. We present a system for semi-automatically deriving both an efficient program transformation and its correctness proof from a list of rewrite rules and specifications of the auxiliary data structures it requires. Dependent types ensure that the holes left behind by our system (for the user to fill in) are filled in correctly, allowing the user low-level control over the implementation without having to worry about getting it wrong. We implemented our system in Coq (though it could be implemented in other logics as well), and used it to write optimization passes that perform uncurrying, inlining, dead code elimination, and static evaluation of case expressions and record projections. The generated implementations are sometimes faster, and at most 40% slower, than hand-written counterparts on a small set of benchmarks; in some cases, they require significantly less code to write and prove correct.


2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Ton E Becker ◽  
Eric Jakobsson

Abstract Background The revolution in molecular biology has shown how protein function and structure are based on specific sequences of amino acids. Thus, an important feature in many papers is the mention of the significance of individual amino acids in the context of the entire sequence of the protein. MutationFinder is a widely used program for finding mentions of specific mutations in texts. We report on augmenting the positive attributes of MutationFinder with a more inclusive regular expression list to create ResidueFinder, which finds mentions of native amino acids as well as mutations. We also consider parameter options for both ResidueFinder and MutationFinder to explore trade-offs between precision, recall, and computational efficiency. We test our methods and software in full text as well as abstracts. Results We find there is much more variety of formats for mentioning residues in the entire text of papers than in abstracts alone. Failure to take these multiple formats into account results in many false negatives in the program. Since MutationFinder, like several other programs, was primarily tested on abstracts, we found it necessary to build an expanded regular expression list to achieve acceptable recall in full text searches. We also discovered a number of artifacts arising from PDF to text conversion, which we wrote elements in the regular expression library to address. Taking into account those factors resulted in high recall on randomly selected primary research articles. We also developed a streamlined regular expression (called “cut”) which enables a several hundredfold speedup in both MutationFinder and ResidueFinder with only a modest compromise of recall. All regular expressions were tested using expanded F-measure statistics, i.e., we compute Fβ for various values of where the larger the value of β the more recall is weighted, the smaller the value of β the more precision is weighted. Conclusions ResidueFinder is a simple, effective, and efficient program for finding individual residue mentions in primary literature starting with text files, implemented in Python, and available in SourceForge.net. The most computationally efficient versions of ResidueFinder could enable creation and maintenance of a database of residue mentions encompassing all articles in PubMed.


2021 ◽  
Vol 10 (5) ◽  
pp. e41710515118
Author(s):  
Denise Souza de Freitas ◽  
Maiara Moreira Lucas ◽  
Maria Everlandia da Silva Pereira ◽  
Mirla Dayanny Pinto Farias ◽  
Leiliane Teles César ◽  
...  

The 5S Program is a Quality Management program created in Japan and today known and used worldwide, including in Brazil, in order to generate improvements in the work environment. This work had as main objective to evaluat the efficiency of the implementation of the 5S Program in the Laboratory of Sensory Analysis and in the Pilot Plants of Meat and Fish, Bakery and of Dairy of the Federal Institute of Ceará – Campus Sobral. The implantation took place at the same time in the four laboratories and was divided in to three phases: Pre – implantation or initial phase, the bases for the implantation were defined; Implementation of the “5S”, the five senses of quality were applied; E Post – implementation or final phase, actions were taken to promote continuous improvement. In the initial diagnosis, pre – implantation phase, using a checklist, the laboratories presented the following complianse results: Sensory Analysis 46% (Regular), Meat and Fish 50% (Regular), Bakery 40% (Regular) and Dairy 38% (Insufficient). In the implementation phase of the “5S”, the results obtained were qualitative with regard to the environmental transformation generated. In the Final Evaluation, post – implantation phase, through the application of the same checklist, the laboratories presented the following complianse results: Sensory Analysis 90% (Good), Meat and Fish 86% (Good), Bakery 78% (Good) and Dairy 90% (Good). Through the evolution shown in the images and graphics, it is concluded that the 5S is na efficient program capable of generating significant improvements in the work environment.


2021 ◽  
Vol 13 (8) ◽  
pp. 4200
Author(s):  
Ishtiaq Ahmed ◽  
Muhammad Anjum Zia ◽  
Huma Afzal ◽  
Shaheez Ahmed ◽  
Muhammad Ahmad ◽  
...  

In the late twentieth century, the only cost-effective opportunity for waste removal cost at least several thousand dollars, but nowadays, a lot of improvement has occurred. The biomass and waste generation problems attracted concerned authorities to identify and provide environmentally friendly sustainable solutions that possess environmental and economic benefits. The present study emphasises the valorisation of biomass and waste produced by domestic and industrial sectors. Therefore, substantial research is ongoing to replace the traditional treatment methods that potentially acquire less detrimental effects. Synthetic biology can be a unique platform that invites all the relevant characters for designing and assembling an efficient program that could be useful to handle the increasing threat for human beings. In the future, these engineered methods will not only revolutionise our lives but practically lead us to get cheaper biofuels, producing bioenergy, pharmaceutics, and various biochemicals. The bioaugmentation approach concomitant with microbial fuel cells (MFC) is an example that is used to produce electricity from municipal waste, which is directly associated with the loading of waste. Beyond the traditional opportunities, herein, we have spotlighted the new advances in pertinent technology closely related to production and reduction approaches. Various integrated modern techniques and aspects related to the industrial sector are also discussed with suitable examples, including green energy and other industrially relevant products. However, many problems persist in present-day technology that requires essential efforts to handle thoroughly because significant valorisation of biomass and waste involves integrated methods for timely detection, classification, and separation. We reviewed and proposed the anticipated dispensation methods to overcome the growing stream of biomass and waste at a distinct and organisational scale.


2021 ◽  
Vol 1884 (1) ◽  
pp. 012018
Author(s):  
Mingyou Xie ◽  
Di Li ◽  
Minghao Cheng ◽  
Shipeng Li ◽  
Yongchao Luo

Complexity ◽  
2021 ◽  
Vol 2021 ◽  
pp. 1-12
Author(s):  
Xiaobo Lin

In coal mining technology systems, it is very important to acquire, store, and represent basic geological data comprehensively and accurately. Based on the current working mode and information level in mining geology at coal mines, this paper proposes a process of building basic geological database for modeling of coal mines by using existing results’ data of mining geology and develops the efficient program for getting the basic geological data from the important 2D plane drawings’ achievement at mines, such as the contour maps of mine coal seam floors, geological cross-sections, underground drilling results, and geological survey results, based on AutoLISP, which is a programming language for the secondary development of AutoCAD. The obtained data in general text format is stored and managed by the MongoDB database, which realizes the storage, query, analysis, and correction of massive data of geological objects in the space of the underground coalmine. The application results show that compared with the previous data acquisition methods such as manual input and graphic transformation attribute, the extraction of spatial and attribute data from the existing mine 2D plane drawings by programming can effectively avoid the prominent problems such as artificial gross error, distortion of graph conversion, and different database structure, make the obtained spatial geological data more comprehensive, accurate, and effective, and, meanwhile, increase the rate by more than 60%, which plays an important role in data support for the construction of the geological modeling systems for transparent mines.


2021 ◽  
Vol 353 ◽  
pp. 01003
Author(s):  
Yonggui Chen ◽  
Ping Tang ◽  
Jiang Zhong ◽  
Sunting Yan ◽  
Nanhui Jin ◽  
...  

The stress behavior of defects is the key factor in the safety assessment of pressure steam pipeline containing defects. For achieving carbon peaking and carbon neutrality, high-parameter pressure steam pipelines are widely designed in the recent years. It makes the safety assessment based on defect stresses become significantly important. A combined FEA method of stress calculations was proposed in the present study for calculating film stress and bend stress of defects located in a pressure steam pipeline from a certain power plant. An efficient program code with graphical user interface was designed to automatically generate FEA models of defect part pipelines. It is truly an innovative highlight of the present work attributed to convenient operation and outstanding efficiency. This paper provides an available way to obtain the stress state of defects in the safety assessment of pressure steam pipeline containing defects.


Author(s):  
Reza Bidaki ◽  
Hadi Ghazalbash ◽  
Sogol Alsaidi ◽  
Zahra Ghazalbash ◽  
Azadeh Barkhoordarian Ahmadabadi ◽  
...  

Background: Divorce, as a consequence of family disruption, is a common phenomenon within all communities. Considering the increased frequency of divorce cases in Yazd city during recent years, this study was conducted to investigate the distribution of divorce causes and design an efficient program to deal with it. Methods: This descriptive cross-sectional analytic study was conducted on the data collected from 118 male and female individuals referred to Yazd courts with divorce requests during  12 months. The participants were randomly selected and asked to complete a researcher-made questionnaire about the divorce. one of which include the participants' general information The second section contain 18 sub-scales and dealt with different causes of divorce. The collected data were analyzed by ANOVA using SPSS version 17. Results: The most effective divorce factor was misunderstanding and disagreement (44.9%), while the least important factor was friends (1.7%). Based on the results, the involvement of friends had the lowest effect on the incidence of divorce (1.7 %), while misunderstanding and disagreement were among the most frequent causes of divorce (44.9 %). Causes of divorce included addiction, unemployment, delinquency and infidelity, mental illness, violence, insults, and immorality in terms of gender differences and economic conditions represent a significant difference in the divorce rate with respect, as well as other factors of divorce. The findings represent a significant difference in the divorce rate with respect to the education status (p = 0/6). Conclusion: The findings showed that disagreement was the main factor for divorce. Disagreement includes various moral, cultural, and religious aspects. Infidelity was also another most frequent cause of divorce in Iran and other countries. Considering different factors that affect the incidence of divorce, strategies should be seriously conducted before and after marriage to prevent and decrease its frequency within the society.


2020 ◽  
Vol 501 (2) ◽  
pp. 1878-1890
Author(s):  
Fukun Xu ◽  
Shenghong Gu ◽  
Panogiotis Ioannidis

ABSTRACT We present an analysis of the starspot evolution, the surface differential rotation (SDR), the correlation between chromospheric activity indicators and the spatial connection between chromospheric and photospheric activities on the active star Kepler-411, using time-series photometry over four years from Kepler, and spectroscopic data from Keck I 10-m and Lijiang 2.4-m telescopes. We constructed the light curve (LC) by re-performing photometry and reduction from the Target Pixel Files and Cotrending Basis Vectors with a manually redefined aperture using the software pyke3. An efficient program, gemc_lcm, was developed to apply a two-spots model to chosen LC segments with three spot groups at fixed latitudes (30○, 45○), (30○, 60○) and (45○, 60○). We found a periodic variation of the starspots at the period of about 660 d which independs on spot latitudes, and estimated the lower limit of SDR rate α = 0.1016(0.0023) and equatoral rotation period Peq = 9.7810(0.0169) d. Simultaneously, the relative variations of chromospheric activity indicators were derived by subtracting the overall mean spectrum from individual spectrum. It is found that Ca ii H and K emissions are strongly correlated with each other, and there also exists a correlation between Hα and Ca ii H & K emissions, with large dispersion, in accordance with previous results. Furthermore, we find the correlation between Ca ii H and K emissions is different in 2011 and 2012. The chromospheric emission variation shows a highly spatial anticorrelation with the LC, suggesting a spatial connection between the chromospheric active region and spot region.


Sign in / Sign up

Export Citation Format

Share Document