Miracle-dz/UniFAR-FTUs huggingface dataset:
STUDI PENDAHULUAN PEMBUATAN MINUMAN FERMENTASI-YOGHURT BERBAHAN DASAR BIJI DURIAN DAN ANALISIS KIMIANYA

This research is the preliminary study to test the avaibility of durian seed as fermented drink-yoghurt and its chemical analysis. The yoghurt was performed under a variety of fermentation time condition (20, 30 and 40 hr) and mixture concentration of durian seed powder and water (ratio of durian seed to water was 1:16, 1:18 and 1:20). The complete composition of yoghurts are Yoghurt A (sugar 5% w/w, skim milk 5% w/w, 10% w/w lactid acid bacteria starter and 80% of durian seed: water= 1:16), Yoghurt B (sugar 5% w/w, skim milk 5% w/w, 10% w/w lactid acid bacteria starter and 80% of durian seed:water= 1:18), Yoghurt C (sugar 5% w/w, skim milk 5% w/w, 10% w/w lactid acid bacteria starter and 80% of durian seed:water= 1:20), and Blank (sugar 5% w/w, skim milk 5% w/w, 10% w/w lactid acid bacteria starter and 80% water). Every mixture was divided into three separated Yoghurt A30 (means: yoghurt A with incubation time of 30 hr) had highest total acid (0,855 every 100mg of lactic acid/g sample) and highest reducing sugar level (2,641 mg/mL). Meanwhile, the yoghurt C30 had only highest protein level (8,717 mg/mL). The conclusion of the study was durian seed is available for yoghurt preparation. Further, the research focuses on organoleptic study.
MAKNA SIMBOL BENTUK DAN SENI HIAS PADA RUMAH BUGIS SULAWESI SELATAN

The cosmologic view of the Buginese tribe assumes that this macrocosmos (the universe) is arranged into three levels: Boting langiâ€™ (the upper world), Ale kawa (the middle world), Uriâ€™ Liâ€™yuâ€™ (the Under world). As the centre from the three parts of this universe is Boting Langi (the highest sky), the place of Dewata SeuwaE (God) to lie down. This view is represented in the Kingâ€™s Palace/traditional house building seen as the microcosmos. So, the Kingâ€™s palace of the Buginese is devided also into three levels (stacks), those are: Rekkeang (top floor) viewed as the head of the human being, Alle bola (the body of the house) viewed as the body, and Awa bola (space underneath of the house) viewed as the leg of the human being. The three parts are centered at Posiâ€™ bola or the house navel. This research tries to answer the problems: 1) whether the meaning form of the Kingâ€™s Palace of the Buginese based on cosmology, and 2) how the symbol meaning of decorative art at the Kingâ€™s Palace of the Buginese is. To identify and comprehend the meaning of decorative art on the Kingâ€™s Palace of the Buginese, it is done through hermeneutic theory by Gadamer and the symbol meaning theory by Victor Turner. This research gives description that the happening of structural change and the style of decorated art at the kingsâ€™ palace of the Buginese of South Sulawesi, beside having much influence from the art of Dong-son and Chou Tua style, the decorated art at the Buginese tribe also got influence from Hinduism and Islam. In addition, the change of the art style is decided also by the one who has power in the society, either in the politic side or in the religion or culture. In this case, the existence of art style variation is caused by the existence of the levelling and groupping of the society. Keyword: Decorated art, Buginese tribe .
Nutzen-Determinanten der kommunalen Doppik aus Sicht der Haushaltspolitiker

Zusammenfassung Seit mehreren Jahren befindet sich das deutsche Kommunalhaushaltsrecht im Umbruch. Im Grosteil der deutschen Kommunen wird die Kameralistik durch ein den Ressourcenverbrauch berucksichtigendes, neues offentliches Haushalts- und Rechnungswesen ersetzt. Der Beitrag untersucht auf Basis eines Strukturgleichungsmodells die Determinanten des Nutzens der Doppik-Einfuhrung aus Sicht der kommunalen Haushaltspolitik. Als Replikationsstudie konzipiert, orientieren sich die Autoren im Forschungsdesign an einer zuvor durchgefuhrten Studie bei kommunalen Kammerern und vergleichen die Ergebnisse dieser beiden Gruppen von Entscheidungstragern. Im Ergebnis zeigt sich, dass aus Sicht der Haushaltspolitik die verbesserte Effektivitat den wichtigsten direkten, und die gesteigerten Steuerungsmoglichkeiten den wichtigsten indirekten, Nutzentreiber der Doppik darstellt. Die Steuerungsmoglichkeiten in der Doppik werden ihrerseits masgeblich durch die erhohte Entscheidungsrelevanz doppischer Informationen determiniert. Schlagworte: Doppik, Kommunen, Haushaltspolitik, Reform, Strukturgleichungsmodell, PLS ----- Determinants of the benefits of the municipalities' new accrual accounting system from a political perspective Abstract The municipal budgeting and accounting system in Germany has been in state of fundamental upheaval for several years: Most municipalities replace their traditional cash-based system by an accrual-based system. Our paper analyses the determinants of the benefits of accrual budgeting and accounting from a political perspective using a structural equation model. As a replication study, the research design is based on an earlier study covering the perspective of public financial managers on accrual budgeting and accounting. Results show that improved effectiveness is the most important direct determinant of benefits. Improved management capabilities represent the most important indirect determinant of benefits. The management capabilities in an accrual system are primarily determined by the enhanced decision relevancy of accrual-based information. Keywords: accrual accounting, municipalities, fiscal policy, reform, structural equation model, PLS ----- Bibliographie: Hilgers, Dennis/Burth, Andreas: Nutzen-Determinanten der kommunalen Doppik aus Sicht der Haushaltspolitiker, dms, 1-2015, S. 173-200. https://doi.org/10.3224/dms.v8i1. 19116
Enfragmo: A System for Grounding Extended First-Order Logic to SAT

Computationally hard search and optimization problems occur widely in engineering, business, science and logistics, in domains ranging from hardware and software design and verification, to drug design, planning and scheduling. Most of these problems are NP-complete, so no known polynomial-time algorithms exist. Usually, the available solution for a user facing such problems involves mathematical programming for example, integer-linear programming tools, constraint logic programming tools and development of custom-designed implementations of algorithms for solving NP-hard problems. Successful use of these approaches normally requires a deep knowledge of programming, and is often time consuming. Another approach to attack NP search problems is to utilize the knowledge of users to produce precise descriptions of the (search) problem in a declarative specification or modelling language. A solver then takes a specification, together with an instance of the problem, and produces a solution to the problem, if there is any. Model expansion (MX), the logical task of expanding a given (mathematical) structure by new relations, is one of the well-studied directions of this approach. Formally, in MX, the user axiomatizes their problem in a language. This axiomatization describes the relationship between an instance of the problem (a given finite structure, i.e., a universe together with some relations and functions), and its solutions (certain expansions of that structure). This thesis presents the Enfragmo system for specifying and solving combinatorial search problems. Enfragmo takes a problem specification, in which the axioms are expressed in an extension of first-order logic, and a problem instance as its input and produces a propositional conjunctive normal form formula that is sent to a propositional satisfiability (SAT) solver. In this thesis, we describe several techniques that we have developed in order to build our well performing solver, Enfragmo.
Writing with Children

Offers guidance on introducing and developing writing skills with young learners. The book teaches the Roman alphabet, letter shapes and names, and word recognition, and provides a framework for developing writing skills at word, sentence and text level. It encourages the idea that words can be used creatively and that writing can be fun and provides opportunities for children to practise a wide range of writing skills.
Five Experiments on EFL Vocabulary Learning: A Project Report.

Five experiments were carried out to gain insight into foreign language learning as it takes place in the classroom environment, and to crate optimal learning conditions for beginning Swedish-speaking learners of English as a Foreign Language. The experiments examined receptive and productive comprehension of English vocabulary in Swedish-speaking students between the ages of 10 and 12. The students either had no formal English language instruction or had had less than one year of English instruction in school. The first experiment tested the uninstructed students' ability to identify aurally common English words and expressions, and the second experiment investigated the English-instructed students' ability to understand passages from fairy tales. The third experiment tested the uninstructed students' ability to make lexical inferences from a text in which Swedish-English cognates were maximized and "false friends" excluded. Experiment four required the English-instructed students to write as many words as possible beginning with a particular letter, with the language unspecified. The fifth experiment studied the effect on vocabulary learning of playing a computer game with English vocabulary, in which new vocabulary was defined on-screen. Analysis of the five studies' results suggests that Swedish-speaking students have an English vocabulary of varying size when they begin English language study in school, and that the quality of the vocabulary depends on the type of input available to each learner, with input on topics of interest learned more readily. Implications for instructional materials are
Prosodic Markers and Utterance Boundaries in American Sign Language Interpretation

"The Fifth Volume in the Studies in Interpretation Series" In interpreting, professionals must be able to convey to their clients the rhythm, stress, and length of phrases used by the communicating parties to indicate their respective emotional states. Such subtleties, which can signal sarcasm and irony or whether a statement is a question or a command, are defined in linguistics as prosody. Brenda Nicodemus s new volume, the fifth in the Studies in Interpretation series, discusses the prosodic features of spoken and signed languages, and reports the findings of her groundbreaking research on prosodic markers in ASL interpretation. In her study, Nicodemus videotaped five highly skilled interpreters as they interpreted a spoken English lecture into ASL. Fifty Deaf individuals viewed the videotaped interpretations and indicated perceived boundaries in the interpreted discourse. These identified points were then examined for the presence of prosodic markers that might be responsible for the perception of a boundary. "Prosodic Markers and Utterance Boundaries "reports on the characteristics of the ASL markers, including their frequency, number, duration, and timing. Among other findings, the results show that interpreters produce an average of seven prosodic markers at each boundary point. The markers are produced both sequentially and simultaneously and under conditions of highly precise timing. Further, the results suggest that the type of prosodic markers used by interpreters are both systematic and stylistic. "
Conflicted clocks: social jetlag, entrainment and the role of chronotype: From physiology to academic performance; from students to working adults

Slaap is essentieel voor gezondheid en presteren en de timing en consolidatie worden gereguleerd door de biologische klok. Er is veel variatie in slaap timing (chronotype), welke vaak gedereguleerd worden door de maatschappij, die uniforme school- en werk starttijden oplegt. Dit leidt tot een fenomeen wat sociale jetlag genoemd wordt, wat een mismatch tussen de biologische en sociale klok betekend. Het doel van deze dissertatie was om de consequenties die ontstaan door sociale jetlag te beschrijven, maar ook om mogelijke oplossingen om dit te reduceren te vinden. Daarnaast was het doel om een beter begrip van entraineren (het proces waarin de biologische klok gesynchroniseerd is met de externe licht-donker cyclus) te krijgen. Resultaten lieten zien dat de impact van chronotype op cijfers op school (late chronotypes behalen vaak lagere cijfers) sterker was in de ochtend en voornamelijk op wetenschappelijke onderwerpen. Late chronotypes waren vaker niet aanwezig in de klas, wat weer geassocieerd werd met lagere cijfers. We hebben simpele protocollen getest om sociale jetlag te reduceren, deze protocollen gebruiken kamerlicht en blauw-licht blokkerende brillen. Alhoewel sociale jetlag niet gereduceerd werd, lieten onze bevindingen wel zien dat simpele interventies met lichten thuis potentieel effectief zijn om de fase van entraineren en slaap timing aan te passen. Tot slot hebben we laten zien dat aanwezigheid op school afhankelijk is van het seizoen en dat dit schoolprestatie kan beinvloeden, en dat de wekelijkse structuur (werkdagen versus werk-vrije dagen) een impact hebben op de slaap-waak cyclus en op het melatonine-ritmiek, voornamelijk in late chronotypes. De bevindingen van deze dissertatie hebben potentiele applicaties voor de maatschappij. Er zijn suggesties gedaan om schoolbeleid aan te passen en praktische oplossingen tegen een verlate slaapfase kunnen van dit werk afgeleid worden.
Analog Feedback Control of an Active Sound Transmission Control Module

ANALOG FEEDBACK CONTROL OF AN ACTIVE SOUND TRANSMISSION CONTROL MODULE Jason D. Sagers Department of Mechanical Engineering Master of Science This thesis provides analytical and experimental proof-of-concept for a new feedback-controlled sound transmission control module for use in an active segmented partition (ASP) array. The objective of such a module is to provide high transmission loss down to low audible frequencies while minimizing the overall mass of the module. This objective is accomplished in the new module by using actively controlled panels in conjunction with analog feedback controllers. The new module also overcomes two limitations that exist in current ASP modules: the inability to control broadband randomnoise and the lack of bidirectional control through the module. Overcoming these limitations represents an important advancement in the research area of actively controlled partitions and broadens the number of potential applications for ASP arrays. Analogous circuit models were developed and used to predict the performance of the new ASP module under feedback control. The preliminary design consists of two loudspeaker drivers mounted back-to-back in a duct, with two decoupled analog feedback controllers connected to reduce the vibration of the loudspeaker cones. It was found that the classical analogous circuit model of a loudspeaker proved inadequate for modeling the lowand mid-frequency transmission loss due to resonance effects of the loudspeaker surround. An enhanced model of a loudspeaker was then used to account for this phenomenon and more accurately predict the transmission loss behavior. An experimental proof-of-concept module was constructed using two 10 cm diameter loudspeaker drivers, two accelerometers, and other off-the-shelf materials. The two analog feedback controllers used in the module were designed and built using measured frequency response function techniques. The passive and active transmission loss of the module was measured using a plane-wave tube. Transmission loss of broadband random-noise in excess of 50 dB was achieved between 100 Hz and 2 kHz. The experimental transmission loss results validated the numerical model and showcased the transmission loss performance of the new module design.
Spectral properties of periodic pseudo-differential operators

We study elliptic diff erential and pseudo-differential operators with periodic coefficients. For a wide class of such operators we prove the Bethe-Sommerfeld conjecture, i.e. that the spectrum can have only finitely many gaps. We also study the integrated density of states of periodic Schroedinger operators and prove a lower bound for its variance in the high energy regime. This results in the lower bound for the non-integrated density of states of such operators.
Butoh Translations and the Suffering of Nature

Butoh, a form of dance and theatre having its roots in midtwentieth-century Japan, continues to migrate across cultures through translations that are individually crafted and understood. It has never been a progressive art, sinking as it does toward mud and disappearance. It is not based on steps, but rather on images and atmospheric change, eliciting affects of bodily being. Most significantly for this essay, butoh brought marks of suffering into dance, sublimating the body while extending its liminal, intermediate states. Butoh seldom lands anywhere: it keeps morphing.
The Multilingual Mind: A Modular Processing Perspective

1. Introduction Part I. The Framework: 2. The language module: architecture and representations 3. Processing in the language module 4. Growth of the language module: acquisition by processing 5. Beyond the language module Part II. Applying the Framework: 6. The bilingual mind introduced 7. The growth of a second language 8. Consciousness and attention 9. The role of consciousness in language growth 10. Issues in SLA revisited 11. Conclusion References.
What's on Wikipedia, and What's Not…? Completeness of Information on the Online Collaborative Encyclopedia

The World Wide Web continues to grow closer to achieving the vision of becoming the repository of all human knowledge. While improved search engines such as Google facilitate access of knowledge across the Web, some sites have increased in popularity and have attracted the attention of more Web users than others. Wikipedia is one such site that is becoming an important resource for news and information. It is an online information source that is increasingly used as the first, and sometimes only, stop for online encyclopedic information. Much discussion has dealt with the accuracy of information on Wikipedia. While accuracy is important, that is not what this project is measuring. Using a method employed by Tankard and Royal (2005) to judge completeness of Web content, completeness of information on Wikipedia is assessed. What we found was that some topics were covered more comprehensively than others and that predictors of these biases included recency, importance, population, and financial wealth.
Tuning MetaOCaml Programs for High Performance

The domain of high-performance computing is still dominated by manual optimizations of programs written in C or Fortran. The reason why high-level languages failed to gain ground is the execution overhead entailed by the potential abstractions introduced. This thesis proposes MetaOCaml for enriching the domain of high-performance computing by multi-staged programming. MetaOCaml extends the OCaml language by three new constructs in order to provide run-time code generation. By tagging OCaml code fragments with a pair of special brackets, they become abstract data objects of the program enclosing them. This program can create and combine code objects at run time as well as execute them in its environment by the application of a single operator. This allows the easy construction of speed-optimized code. Furthermore, like OCaml, MetaOCaml is a language with static types. Though code objects are generated and executed at run time, its type system guarantees the type correctness of run-time generated code at the time the program is compiled. This thesis presents important speed-related issues, like speed-aware coding style, offshoring or interfacing to C. Three case studies demonstrate the applicability of these in realistic contexts and discuss the impact in terms of execution speedup. Focusing on numerical applications, the first case study examines iterative and recursive implementations of matrix multiplications, comparing low-level C optimizations with high-level implementations using MetaOCaml. Hybrid implementations show how to combine the optimization opportunities of both approaches. A second case study demonstrates howMetaOCaml can be used for the implementation of a domain-specific language. The presented compiler combines a simplifier working on the abstract syntax and a code generation function using MetaOCaml syntax. As the code generator can be constructed by adding MetaOCaml constructs to the code of an interpreter, the effort of this implementation is marginal compared to the speedups attained. Finally, the case study of a parallel Karatsuba polynomial multiplication presents an embedded specification language for a static parallel computation structure. The implementation of this language gives an example of how specialized code can be generatedwithMetaOCaml by using information about the parallel run-time environment. Also, it demonstrates a clean approach to separate the concerns of the application implementer and the parallel engineer. Benchmarks for all presented implementations confirm that the execution time can be reduced significantly by high-level optimizations. SomeMetaOCaml programs even run as fast as respective C implementations. Furthermore, in situations where optimizations in pure MetaOCaml are limited, computation hotspots can be explicitly or implicitly exported to C. This combination of high-level and low-level techniques allows optimizations which cannot be obtained in pure C without enormous effort.
An EB/MB Tomb at Tla' el-'Ali

Cette tombe de l'Age du Bronze, creusee dans le roc, est de plan simple, semi-circulaire. Son entree etait bouchee par une grosse pierre. Trois vases y ont ete trouves : une amphore, un pot globulaire et une jarre globulaire. Date : vers 1950 av. J.-C.
The Virtual Data Center

R in social sciences, and in academia in general, increasingly rely on large quantities of numeric data. The analysis of such data appears in professional journals, scholarly books, and more and more often, popular media. For the scholar, the connection between research articles and data is natural. We analyze data and publish results. We read the results of other analyses, learn from them, and move forward with our own research. But these connections are sometimes difficult to make. Data supporting an article are often difficult to find and even more difficult to analyze. Archiving, disseminating, and sharing data is crucial to research but is often costly and difficult (Sieber, 1991). Consequently, our ability to replicate the work of others and to build on it is diminished. Researchers, university data centers, and students all face challenges when trying to find and use quantitative research data.
Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools

Motivation: The commercial launch of 454 pyrosequencing in 2005 was a milestone in genome sequencing in terms of performance and cost. Throughout the three available releases, average read lengths have increased to ∼500 base pairs and are thus approaching read lengths obtained from traditional Sanger sequencing. Study design of sequencing projects would benefit from being able to simulate experiments. Results: We explore 454 raw data to investigate its characteristics and derive empirical distributions for the flow values generated by pyrosequencing. Based on our findings, we implement Flowsim, a simulator that generates realistic pyrosequencing data files of arbitrary size from a given set of input DNA sequences. We finally use our simulator to examine the impact of sequence lengths on the results of concrete whole-genome assemblies, and we suggest its use in planning of sequencing projects, benchmarking of assembly methods and other fields. Availability: Flowsim is freely available under the General Public License from http://blog.malde. org/index.php/flowsim/ Contact: susanne.balzer@imr.no; ketil.malde@imr.no