Miracle-dz/UniFAR-FTUs huggingface dataset:
Improving parallelism and data locality with affine partitioning

To effectively harness the power of modern parallel machines, it is important to find parallelism that does not incur high synchronization cost between the processors. Effective utilization of the memory hierarchy is another crucial factor in getting high performance. In the past, a large number of compiler algorithms have been proposed in the areas of finding loop-level parallelism and improving data locality. Many of these algorithms rely on ad hoc techniques to select a series of transformations. Others attempt to place a number of transformations in a single framework to avoid ad hoc selections. Unfortunately, frameworks proposed so far are either limited to perfectly nested loops or they lack algorithms to select the best possible transformations in the frameworks. This dissertation proposes a new transformation framework for the program domain of arbitrary loop structures with affine array accesses and loop bounds. This framework unifies a large class of transformations, including loop interchange, reversal, skewing, fusion, fission, reindexing, scaling, and statement reordering. In this framework, each statement is given its own affine mapping describing the partition of its dynamic instances to different processors or to different sequential steps. Two algorithms, one for parallelization and one for locality optimization, were developed under this framework and can be easily combined. The parallelization algorithm derives from data dependence constraints the affine mappings that maximize the degree of parallelism with the least amount of synchronization. The degree of parallelism found by the algorithm is optimal with respect to all the unified transformations. The algorithm also minimizes communication by trading off excess degrees of parallelism and by choosing pipeline parallelism over doall parallelism if it can significantly reduce communication cost. Optimizing memory performance in a single processor, the locality algorithm performs aggressive affine transformations to separate the independent threads in a program and if possible, place statements with data reuse into perfectly nested loops. These transformations also have the benefits of enabling blocking and array contraction to be applied across arbitrarily nested loops.
Regularized one-pass list-mode EM algorithm for high resolution 3D PET image reconstruction into large arrays

High resolution 3D PET scanners with high count rate performance, such as the quad-HIDAC, place new demands on image reconstruction algorithms due to the large quantities of high precision list-mode data which are produced. Therefore a reconstruction algorithm is required which can, in a practical time frame, reconstruct into very large image arrays (submillimetre voxels, which range over a large field of view) whilst preferably retaining the precision of the data. This work presents an algorithm which meets these demands: Regularized One-Pass List-mode EM (ROPLE). The algorithm operates directly on list-mode data, passes through the data once only, accounts for finite resolution effects in the system model and also includes regularization. The algorithm performs multiple image updates during its single pass through the list-mode data, corresponding to the number of subsets that the data have been split into. The algorithm has been assessed using list-mode data from a quad-HIDAC, and is compared to the analytic reconstruction method 3D RP.
Cell Elasticity-based Microfluidic Label-free Isolation of Metastatic Tumor Cells

Aims: Circulating tumor cells (CTCs) have significant diagnostic value for cancer patients. We report a label -free, simple and rapid microchannel filter type device for isolation ofknown metastatic cancercells based on their mechano-physical properties like size and deformability. Study Design:Metastatic renal cancer cells were highly elastic and squeeze d through microchannels much smaller than their size. Using a reverse -selectivity approach, the number of microchannels and their dimensionswere varied to optimize and reduce the shear stress o n tumor cells such that these did
A semi-formal verification methodology

Formal verification techniques attract great attention from industry because of their ability to discover subtle design errors where simulation fails. However, due to the state explosion problem, formal techniques usually cannot handle large designs. This paper introduces a semi-formal verification methodology in which formal techniques and simulation are tightly coupled. In this methodology, we apply formal techniques to verify a few "difficult" block level designs. The verified properties and valid traces are carried over in the random simulation based system level validation. These properties and legal traces not only can discover new design errors but also help to define the "thoroughness" of the system level validation. The block level formal verification usually requires human abstraction and environment modeling. Due to human mistakes, it is possible that system level validation violates a property while the formal model satisfies the property. In this case, we formally re-verify the property again after revising the environment or abstraction. In this way, a complete block level verification may be achieved. As a practice, we are applying this methodology to verify a Broadcom Gigabit Ethernet switch design.
Computer aided design and built in self test on the i486 CPU

The computer-aided design tools created to accelerate the design of the i486 CPU are described. Emphasis is on the logic synthesis, layout synthesis, and timing verification programs. The impact of the state-of-the-art tools on the project schedule is described, and the built-in self-test features on the processor are detailed. The type of advanced tools that will be required to design and test future processors, which will be more complex, is considered. <<ETX>>
Book Review: Building a Church of Small Groups: A Place Where Nobody Stands Alone

interested clergy-in this instance, presumably those of relatively conservative evangelical persuasion. In fact, the consistently conservative presuppositions and commitments of the contributors may limit its influence in wider Pauline scholarship. Indeed, there is a sense that many of the essays are directed to "the choir," as it were, inasmuch as authors tend to disregard or quickly dismiss views held by the vast majority of biblical scholars. For example, typical of most "mission" studies, many of the authors readily grant the socalled "disputed letters" (e.g., I Timothy) as much evidentiary weight as other "undisputed letters" even though this approach starkly contrasts with that taken by the vast majority of biblical scholars. Those familiar with current biblical scholarship know that mission and missiological themes continue to garner but scant attention in wider biblical scholarship. Unfortunately, most biblical specialists will probably remain unconvinced of the value of mission as an interpretive rubric for New Testament research if missiological discussions appear inseparably linked to conservative interpretive methodologies. Perhaps researchers seeking to highlight missiological facets of Paul's letters would do well to adopt a minimalist methodology with regard to the use ofliterary sources, for example-at least initially-in order to demonstrate the importance of missiological insights to a wider readership. In any case, in the final analysis, this book succeeds in honoring Peter O'Brien precisely by focusing on the topics and themes that have invigorated his impressive career. It represents another significant step in recovering the biblical and theological import of Paul's mission and letters.
Using kinetic parameter analysis of dynamic FDOPA-PET for brain tissue classification

In clinically, structural image based brain tissue segmentation as a preprocess plays an important and essential role on a number of image preprocessing, such as image visualization, object recognition, image registration, and so forth. However, when we need to classify the tissues according to their physiological functions, those strategies are not satisfactory. In this study, we incorporated both tissue time-activity curves (TACs) and derived kinetic parametric curves (KPCs) information to segment brain tissues, such as striatum, gray and white matters, in dynamic FDOPA-PET studies. Four common clustering techniques, K-mean (KM), Fuzzy C-mean (FCM), Isodata (ISO), Markov Random Fields (MRF), and our method were compared to evaluate its precision. The results show 41% and 48% less mean errors in mean difference for KPCs and TACs, respectively, than other methods. Combined KPCs and TACs based clustering method provide the ability to define brain structure effectively.
Ortaokul Öğrencilerinin Bilgisayar Okuryazarlık Düzeylerinin Belirlenmesi ve Ölçme – Değerlendirme Araçlarının Yapısı

Ilk olarak dil-yabanci dil siniflandirmasi ile ortaya cikan okuryazar kavraminin gunumuzde tek bir seviyeyle ifade edilmesi, ihtiyaclara tam olarak cevap verememektedir. Bilgisayar kullaniminin on plana ciktigi arastirmalarda bilgisayar okuryazarligi duzeyinin tanimlanmasi ve belirlenmesi onem arz ettigi dusunulmektedir. Bu dogrultuda arastirmanin temel amaci ogrencilerin temel bilgisayar duzeylerinin belirlenmesidir. Ayrica arastirmada ogrencilerin beyan ettigi okuryazarlik duzeyleri ile var olan okuryazarlik duzeylerinin de karsilastirilmasi ve olcme araclarinin sinirliliklarini belirlemek alt amac olarak belirlenmistir. Arastirmaya, 1723 ortaokul ogrencisi katilmistir. Elde edilen verilerin analizinden sonra katilimcilarin buyuk bir cogunlugunun temel bilgisayar okuryazari oldugu anlasilmistir. Buna ragmen, ogretim materyali olarak bilgisayari kullanan ogrencilerin neredeyse dortte birinin temel bilgisayar okuryazari olmamasi bu konu ile ilgili derinlemesine calismalar yapilmasi gerektigini gostermektedir. Arastirmada ayrica ele alinan okuryazarlik olcme araclarinin hatali sonuclar verebilecegi sonucuna ulasilmistir. Bu nedenle bilgisayar okuryazarliginin sadece test, olcek vb. degil uygulamaya donuk beceri sinavlari, algi olcekleri ve bilgi testleri ile yapilmasi gerektigi sonucuna ulasilmistir.
The design of Low-Voltage Low-Power Analog Integrated Circuits and their Applications in Hearing Instruments

Low voltage low power analog integrated circuits are applied in the area of battery operated systems They are of crucial importance for implantable and injectable devices such as pacemakers blood ow meters and auditory stimulators but they can also be found in portable radios hand carried radiotelephones pagers and hearing instruments This book discusses the design of analog integrated circuits in a low voltage low power environment following a systematic approach Subsequently attention is paid to low voltage low power electronics from a network theoretical point of view modeling of the devices in a low voltage low power environment and the design of various functional blocks ampli ers automatic gain controls and lters These three functions are the main functions that can be found in a hearing instrument Their application in a universally applicable IC for hearing instruments and its realization in silicon is treated separately
Malnutrition in nursing home residents in the Netherlands, Germany and Austria. Exploring and comparing influencing factors

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.
Atención integral al paciente oncológico y su familia desde una intervención multidisciplinar.

Con frecuencia observamos en el momento del alta hospitalaria, algunas dificultades que pueden presentar los familiares en el cuidado y manejo del enfermo en casa. Estos problemas no previstos ni abordados, producen inseguridad y miedo en el enfermo y su familia, a veces retrasan el alta hospitalaria y pueden ser la causa de reingreso. Objetivo: el objetivo de nuestro estudio es detectar las situaciones familiares en riesgo social en los primeros dias del ingreso y analizar los problemas desde una perspectiva multidisciplinar. Metodologia: se hizo en primer lugar un analisis retrospectivo de las intervenciones sociales a demanda, realizadas en la Unidad de Oncologia del Hospital Universitario de Salamanca. Posteriormente se decidio emplear una metodologia de intervencion proactiva mediante sesiones multidisciplinares de contenido clinico social y comparar los resultados de los dos tipos de intervenciones. Se analizo tambien el impacto de la nueva metodologia en el equipo y se propusieron algunas acciones de mejora, tales como retroalimentacion al equipo sobre los logros alcanzados, la coordinacion con Atencion Primaria y una nueva evaluacion dentro de un ano. Resultados: la proporcion de intervenciones sociales tras la aplicacion de la nueva metodologia de sesiones multidisciplinares (222 intervenciones proactivas), es significativamente mayor (p < 0,0001) que las realizadas mediante la intervencion a demanda (58 intervenciones reactivas). En cuanto al impacto que supone la intervencion multidisciplinar en el equipo, cabe destacar que el 91% considera muy importante valorar las necesidades del enfermo y la familia, el 91% cree que la puesta en comun ayuda a resolver los problemas, y finalmente el 66% admite que puede ser una carga de trabajo pero mejora los cuidados. Durante el mismo periodo de tiempo se produjeron 141 ingresos menos. Conclusiones: la intervencion psicosocial proactiva aumenta el numero de pacientes en riesgo social, detectados y valorados. El trabajo en equipo multidisciplinar permite un abordaje integral del enfermo y su familia, facilita el alta y puede evitar el reingreso.
A Summary about Practice of Communicative Approach in Real College English Teaching

It has been acknowledged by Chinese educators that in teaching English as a second language the center should be put on the improvement of students' communicative competence. Communicative approach in teaching English as a second language in China has been accepted as one of the most effective ways of classroom teaching. Based on Hymes' theories of communicative competence, the author summarizes personal experiences and practice of the teaching method by examples and concludes that the communicative approach is very effective and helpful for students.
The emergence of tropical medicine in Portugal : The School of Tropical Medicine and the Colonial Hospital of Lisbon (1902-1935)

: The School of Tropical Medicine was founded in 1902 along with the Colonial Hospital of Lisbon. The Portuguese government recognized the importance of colonising the tropics and therefore supported the creation of a specific locus of medical training that would prove to be crucial to the clinical and experimental study of tropical diseases. This paper examines the importance of such institutions for the emergence of a new scientific area of research while also functioning as a consolidation factor for the Third Portuguese Colonial Empire. The creation of a new concept of medical practice with respect to tropical diseases characterizes a specific aspect of colonization: it underlies and drives the discourse of colonization itself. Consultation of data collected by the Portuguese Tropical School and the Colonial Hospital during the period between 1902 and 1935, the starting point of the present study, seeks to shed light on the ongoing debate concerning the history of tropical medicine within European colonial discourse.
CUDAMat: a CUDA-based matrix class for Python

CUDAMat is an open source software package that provides a CUDA-based matrix class for Python. The primary goal of CUDAMat is to make it easy to implement algorithms that are easily expressed in terms of dense matrix operations on a GPU. At present, the feature set of CUDAMat is biased towards providing functionality useful for implementing standard machine learning algorithms, however, it is general enough to be useful in other elds. We have used CUDAMat to implement several common machine learning algorithms on GPUs oering speedups of up to 50x over numpy and MATLAB implementations.
EATING OUT IN MODERN AMERICAN SOCIETY: WHY DO PEOPLE MAKE THE CHOICE TO EAT OUTSIDE THE HOME?

This study examines the relationship that people have with the modern day food environment. This study used a qualitative approach using interviews, videotapes, and questionnaires with seventeen participants. This varied approach was used to understand the decision-making process at dinnertime when deciding whether to cook at home or eat out at a restaurant. This was examined primarily through semi-structured interviews as well as the observation and videotaping of individuals preparing meals at dinnertime. The research resulted in three different categories of importance: why people choose to eat out, how people utilize restaurants, and the current roles restaurants have in modern American society. The results show the importance of restaurants in modern society beyond the nourishment that a meal can provide. Many of the themes that arose in this research have been seen in other research in this field, but a few new areas came up. For example, using a restaurant as a resource for new recipes to prepare at home was an area that emerged that had not been mentioned in the previous research. This shows that the relationship that American’s have with the food environment outside the home is continuously transforming. Understanding all of the reasons people eat outside the home is important, as there is a general decrease in cooking practices inside the home. Gaining knowledge in how people make food choices on a daily basis is a good first step in being able to address public health issues that relate to food. This study explores the current food environment in order to have a deeper understanding of why people make the choice to eat outside the home, the ways people utilize restaurants, and the roles of restaurants in society.
Clinico-haematological changes in T-2 toxicosis in Wistar rats

The present experiment was designed to elucidate clinical and haematological changes induced by feeding of graded doses of T-2 toxin in Wistar rats. A total of 192 male Wistar rats, 4 weeks of age were used for the study and were divided into four groups of 48 rats each receiving different levels of T-2 toxin in feed i.e. groups I- 0.5 ppm, II- 0.75 ppm and III- 1.0 ppm and group IV (control) toxin free diet. The duration of the experiment was 12 weeks and 8 animals each were sacrificed at 2, 4, 6, 8, 10 and 12 weeks intervals. The clinical signs were variable degree of dullness, weakness, lethargy, retardation in growth, rough hair coat, disinclination to move and reduced feed intake starting from 6th week onwards of toxin feeding. However, animals of lower dose groups (Gr. II- 0.75 ppm and Gr. I- 0.5 ppm T-2 toxin) started clinical signs from 7th and 8th week; onward, respectively. Highest dose T-2 fed animals showed gangrenous dermatitis of tail at 8th week and facial and podal dermatitis after 10th week of T-2 toxin feeding. Body weight gains recorded at weekly intervals, were slower in T-2 toxicated rats as compared to controls. Significant decrease in haemoglobin, packed cell volume, total erythrocyte counts, total leucocyte counts and thrombocyte counts values in T-2 treated rats, causing microcytic hypochromic anaemia, leucocytopaenia due to lymphocytopaenia along with significant thrombocytopenia in a dose and duration dependent manner.
Rekonstruksi Model Dimensi Tiga pada Objek Museum Menggunakan Metode Cahaya Strip Berpola

Dewasa ini museum mulai dilupakan masyarakat karena kurangnya informasi yang dapat mempromosikan museum dalam bentuk yang menarik. Karena itu perlu adanya revitalisasi museum dengan membuat media promosi yang menarik sehingga diharapkan dapat menambah rasa ketertarikan untuk berkunjung ke museum. Salah satu upaya adalah dengan membuat museum maya (virtual museum) yang berbasis web dengan harapan mudah diakses. Dalam museum maya terdapat visualisasi objek museum dalam bentuk dimensi tiga yang diperoleh dari rekonstruksi model dimensi tiga pada objek asli pada museum. Dalam penelitian ini akan diimplementasikan metode rekonstruksi model dimensi tiga dengan poligon minimal berbasis cahaya strip berpola pada objek museum asli dengan harapan akan terbentuk model dimensi tiga yang lebih realistis. Untuk membuat model yang realistis perlu memiliki geometri yang akurat dan tekstur yang diambil langsung dari tekstur benda aslinya.
A neural hybrid system for large memory association

A neural hybrid system based on Kohonen and Hopfield networks is proposed for memory association. It uses a heuristic approach to split a total set of patterns into various subsets with the aim to increase performance of the parallel architecture of Hopfield networks (PAHN). This architecture avoids several spurious states enabling a pattern storage capacity larger then permitted by a typical Hopfield network. The strategy consists of a method to sort patterns with the SOM algorithm and distribute them into these subsets in such a way that the patterns of the same subset are to be as more orthogonal as possible among themselves. The results show that the strategy employed to distribute patterns in subsets works well when compared with the random distributions and with the exhaustive approach. The results also show that the proposed heuristic lead to patterns subsets that enable more robust memory retrieval.