1,722,017 research outputs found
Towards Universally Accessible SAT Technology
Full text linkBoolean satisfiability (SAT) solvers are a family of highly efficient reasoning engines, which are frequently used for solving a large and diverse variety of practical challenges. This applies to multidisciplinary problems belonging to the class NP but also those arising at higher levels of the polynomial hierarchy. Unfortunately, encoding a problem of user’s interest to a (series of) propositional formula(s) in conjunctive normal form (CNF), let alone dealing with a SAT solver, is rarely a simple task even for an experienced SAT practitioner. This situation gets aggravated further when the user has little to no knowledge on the operation of the modern SAT solving technology. In 2018, the PySAT framework was proposed to address the issue of fast and “painless” prototyping with SAT solvers in Python allowing researchers to get SAT-based solutions to their problems without investing substantial time in the development process and yet sacrificing only a little in terms of performance. Since then, PySAT has proved a useful instrument for solving a wide range of practical problems and is now a critical package for the PyPI infrastructure. In the meantime, there have been advances in SAT solving and enhancements to PySAT functionality to extend its modelling and solving capabilities in order to make modern SAT technology accessible and deployable on a massive scale. This paper provides a high-level overview of the current architecture of PySAT and some of its capabilities including arbitrary Boolean formula manipulation, CNF preprocessing, and support for external user-defined propagators.</p
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
Full text linkWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Recommended from our members
Li Zi-Li and His Viola Concerto: Musical Analysis and a Study of Performance Interpretation
No full textThis research document intends to examine the Viola Concerto No. 1 by Li Zi-Li in depth and offers musical analysis as well as interpretations and suggestions for how to perform this work. Compared to Western viola repertoire, Chinese viola repertoire is much less studied and performed by violists. Currently, Chinese-born composers who write music for Western musical instruments are very few, but they are pioneers who have established the foundation of Chinese viola music. They combine Chinese folk style and Western compositional techniques to help promote Chinese folk styles to audiences around the world. Li, for example, incorporates Chinese musical and stylistic elements into this work using Western musical conventions as a unique way for violists to promote the main genres and styles of Inner Mongolian music. With the help of Li’s viola concerto, violists can widen audiences for Chinese viola music, and encourage Chinese composers to compose more viola works in this genre and style
Dispelling the Myths Behind First-author Citation Counts
Full text linkWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
我國高工板金科行業技術內函之分析研究
No full text[[abstract]]從事工業發展的最佳途徑，就是致力於人力資源的開發。皮金行業為機械工業的範籌
，而高工板金科是為培養板金基層技術人力主要搖籃，學生畢業後能否在工業上發揮
其價值，端視學校課程教材是否滿足工業所需。行業分析是課程目標的擬定，評量效
標的設計以及教學內容擇取的重要依據，課程教材若透過行業分析得以認清其實際需
要。專業實習課程乃是工職課程的重心所在。基於此，本研究旨在確定高工板金科之
行業技術內涵及探討未來可能發展的趨勢，以作為調整我國高工板金科專業實習課程
及教學內容之參考。
為達成上述研究目的，本研究採描述研究法，首先用文書分析法蒐集有關板金行業顯
得內涵的資料，並訪問行業界專家、教師及個人行業教學經驗以進行分析。同時藉問
卷調查及實地訪問行業廠家二百八十八家之技術主管人員，將其反應意見，加以歸納
劃記，再採用百分比、平均數，及考驗等統計方法進行分析，最後並經由行業及課程
專家、學者的意見，分析出高工板金行業技術內涵的結果。
根據本研究結果，獲得下列結論，
１．我國高工板金科之行業技術內涵計包括十七個部門之一百二十九項操作項目，其
中主要技術內涵有十八項。
２．板金行業的發展趨勢，將更重視展開放樣的繪圖方法，使用多種的量測工具從事
工件的度量，在工件成品的製作上朝向機械化。同時在銲接及冷作行業上之相關技術
內涵與材料之熱處理、試測檢查等工作內涵在未來板金行業上益形重要。
koamabayili/VECTRON-author-checklist: VECTRON author checklist
No full textWe have done our best to complete the author checklist relating to the use of animals in the hut study. Note that the objective for the hut study was to evaluate the IRS treatment applications for residual efficacy against Anopheles mosquitoes, including the local An. coluzzii mosquito population. Cows were only used to attract mosquitoes into the huts and no tests were carried out directly on the cows. The author checklist is intended for use with studies where experiments are carried out on animals, which is why we have had such difficulty in completing this for the hut study, as many of the questions do not relate to how the cows were used
- …
