Miracle-dz/UniFAR-FTUs huggingface dataset:
Reviewing the professionalization of software engineering: can small colleges remain viable?

The issue of the increasing professionalization of Software Engineering is a contemporary one. Recently various jurisdictions have enacted legislation providing for Professional Engineer (PE) licenses for software engineers. There are current and recently settled lawsuits over the use of the term "software engineer. " Heavyweight organizations in the software engineering domain struggle to codify a Software Engineering Body of Knowledge, prestigious universities have begun offering Doctor of Philosophy degrees in Software Engineering, and the academic accrediting bodies which govern various aspects of computing sciences are coming to terms with the longstanding accrediting body of engineering programs.Still, it is not at all universally agreed that licensure of professional software engineers is a desirable idea. The Association for Computing Machinery (ACM) has come out resoundingly opposed to PE licensure for software engineers.Should licensure of professional Software Engineers become the norm, it is reasonable to expect that most licensing bodies will require those taking the Professional Engineer exam to have a degree in the field from an accredited academic institution. Should this come to pass, can small colleges and universities realistically hope to offer degrees for candidates for a PE license? Will undergraduate Software Engineering degree programs become the exclusive domain of larger schools with substantial engineering programs? This paper takes an early look at these topics and tries to scope out directions small colleges might take now to position themselves well in the future.
Scene understanding based on Multi-Scale Pooling of deep learning features

Deep convolutional neural networks (CNNs) have recently shown impressive performance as generic representation for recognition. However, the feature extracted from global CNNs lack geometric invariance, which limits their robustness for classification and detection of highly variable objects . To improve the invariance of the features without degrading their discriminative power and speed up the calculation, we follow the next two method. Firstly, we adopt the scheme called multi-scale orderless pooling (MOP-CNN) which extracts CNNs activation from local patches of the image at multiple scale levels, performs orderless VLAD pooling of these activations at each level separately, and concatenates the result. Second, to speed up the calculation, we adapt the SPP-net as the CNNs architecture. Using SPP-net, we compute the feature maps from the entire image only once, and then pool features in arbitrary regions (sub-images) to generate fixed-length representations for training the detectors. This method avoids repeatedly computing the convolutional features. On the challenging SUN397 Scenes classification datasets, our method achieves competitive classification results.
Cross-linguistic Similarity in Foreign Language Learning

Acknowledgements 1. Introduction 2. Different types of cross-linguistic similarities 3. Learner expectations, on-line comprehension and receptive learning 4. Cross-linguistic similarities in comprehension and production: The mental lexicon 5. Transfer: the use of cross-linguistic similarities. The Finnish scene 6. Tests of English comparing Finnish and Swedish speakers in Finland 7. Levels of transfer: Items and procedures (systems) 8. Item transfer in production: areas of language 9. Skill theory, automaticity, and foreign language learning 10. The development of foreign language learning 1 1. Consequences for teaching 12. Further research needed 13. Conclusion Endnotes Appendices
Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence

From the Publisher: Genetic algorithms are playing an increasingly important role in studies of complex adaptive systems, ranging from adaptive agents in economic theory to the use of machine learning techniques in the design of complex devices such as aircraft turbines and integrated circuits. Adaptation in Natural and Artificial Systems is the book that initiated this field of study, presenting the theoretical foundations and exploring applications. In its most familiar form, adaptation is a biological process, whereby organisms evolve by rearranging genetic material to survive in environments confronting them. In this now classic work, Holland presents a mathematical model that allows for the nonlinearity of such complex interactions. He demonstrates the model's universality by applying it to economics, physiological psychology, game theory, and artificial intelligence and then outlines the way in which this approach modifies the traditional views of mathematical genetics. Initially applying his concepts to simply defined artificial systems with limited numbers of parameters, Holland goes on to explore their use in the study of a wide range of complex, naturally occuring processes, concentrating on systems having multiple factors that interact in nonlinear ways. Along the way he accounts for major effects of coadaptation and coevolution: the emergence of building blocks, or schemata, that are recombined and passed on to succeeding generations to provide, innovations and improvements. John H. Holland is Professor of Psychology and Professor of Electrical Engineering and Computer Science at the University of Michigan. He is also Maxwell Professor at the Santa Fe Institute and isDirector of the University of Michigan/Santa Fe Institute Advanced Research Program.
The architecture of a Java coverage tool

There are numerous commercial and public domain coverage tools available with varying capabilities. This paper describes the architecture of a Java coverage tool (AJCT). The goals were to provide maximum flexibility in the types of coverage metrics gathered as well to minimize the intrusive levels of instrumentation. The tool uses an intelligent post execution phase to obtain additional coverage information while reducing the instrumentation. Various specialized coverage metrics are available as options.
Towards Exhaustive Event Extraction for Protein Modifications

Protein modifications, in particular post-translational modifications, have a central role in bringing about the full repertoire of protein functions, and the identification of specific protein modifications is important for understanding biological systems. This task presents a number of opportunities for the automatic support of manual curation efforts. However, the sheer number of different types of protein modifications is a daunting challenge for automatic extraction that has so far not been met in full, with most studies focusing on single modifications or a few prominent ones. In this work, aim to meet this challenge: we analyse protein modification types through ontologies, databases, and literature and introduce a corpus of 360 abstracts manually annotated in the BioNLP Shared Task event representation for over 4500 mentions of proteins and 1000 statements of modification events of nearly 40 different types. We argue that together with existing resources, this corpus provides sufficient coverage of modification types to make effectively exhaustive extraction of protein modifications from text feasible.
Joint Models for Longitudinal and Time-to-Event Data: With Applications in R

Introduction Inferential Objectives in Longitudinal Studies Case Studies Organization of the Book Analysis of Longitudinal Data Features of Repeated Measures Data Linear Mixed Effects Models Dropout in Longitudinal Studies Analysis of Time-to-Event Data Features of Event Time Data Relative Risk Models Time-Dependent Covariates Joint Models for Longitudinal and Time-to-Event Data The Standard Joint Model Connection with the Dropout Framework Extensions of the Standard Joint Model Parameterizations Multiple Failure Times Latent Class Joint Models Diagnostics Residuals for the Longitudinal Submodel Residuals for the Survival Submodel Random Effects Distribution Prediction and Accuracy in Joint Models Dynamic Predictions for the Survival and Longitudinal Outcomes Effect of the Parameterization on Predictions Prospective Accuracy Measures for Longitudinal Markers
Edinburgh datashare – reflections from a data repository manager

E dinburgh DataShare is a free-at-point-of-use data repository service that allows university researchers to upload, share and license their data resources for online discovery and re-use by others. It was built in DSpace during the DISC-UK DataShare project (2007-2009) as an exemplar for institutional data repositories. The project's outputs have become sleeper hits in recent years. Two end-of-project presentations on Slideshare, " Open Data and Institutional Repositories " and " Tackling Research Data in a DSpace Repository, " have over 9,000 views to date. Meanwhile, Edinburgh DataShare has transitioned from a project demonstrator to a key service in the rollout of the University of Edinburgh's research data management (RDM) initiative. The university's RDM policy, passed in May 2011, encourages researchers to deposit their data in a university or domain repository: " Research data of future historical interest, and all research data that represent records of the University, including data that substantiate research findings, will be offered and assessed for deposit and retention in an appropriate national or international data service or domain repository, or a University repository. " The university's RDM roadmap (http://edin.ac/XnMS9E) covers four main service areas: data management planning, active data storage, data stewardship and data support. The data repository is aligned with two other stewardship services – a data asset registry, to describe and locate university-produced datasets wherever they reside, and a vault where researchers can store so-called golden copies of datasets that cannot be made publicly available but must be retained for a given period. The academic-led RDM Steering Group is tasked with ensuring RDM services are fit-for-purpose across the university. They have asked various researchers across the three colleges to pilot the existing RDM services, including the data repository. Each pilot user has challenged us, both in terms of quality of service and policy considerations. Usability We observed our first pilot users depositing data into the repository. This exercise was invaluable for improving the deposit workflow and the user experience of the depositor. A number of changes were made, particularly to the hints given for each metadata field. The fields themselves (similar to DataCite) seemed to stand up to the test; users found them useful for creating a complete description of their dataset. However, not all fields applied to every dataset, and users were uncomfortable leaving a field blank, even though only five fields were required. To A no-cost data repository service for university researchers, …
Randomness and GA performance, revisited

Previous studies by the authors have indicated that pseudo-random number generator (PRNG) quality has little effect on the performance of a simple genetic algorithm (GA). In this paper we examine this subject further, in the context of what we call the "granularity hypothesis. We detail a set of PRNG quality tests tailored specifically to the uses of randomness in a simple GA. We explain the application of detailed statistical analysis to the results of nearly ten-thousand individual GA runs, for large and small populations, over an eleven function GA test suite. We conclude that, although there is no evidence to support the notion that higher quality PRNGs cause better GA performance than lessor quality PRNGs, there is statistical evidence that certain PRNGs can provide improved GA performance.
A Guide to Authentic e-Learning

Part of the groundbreaking Connecting with e-Learning series, A Guide to Authentic e-Learning provides effective, working examples to engage learners with authentic tasks in online settings. As technology continues to open up possibilities for innovative and effective teaching and learning opportunities, students and teachers are no longer content to accept familiar classroom or lecture-based pedagogies that rely on information delivery and little else. Situated and constructivist theories advocate that learning is best achieved in circumstances resembling the real-life application of knowledge. While there are multiple learning design models that share similar foundations, authentic e-learning tasks go beyond process to become complex, sustained activities that draw on realistic situations to produce realistic outcomes.
Gpu gems 2: programming techniques for high-performance graphics and general-purpose computation

“GPU Gems 2 isn't meant to simply adorn your bookshelf-it's required reading for anyone trying to keep pace with the rapid evolution of programmable graphics. If you're serious about graphics, this book will take you to the edge of what the GPU can do. ” -Remi Arnaud, Graphics Architect at Sony Computer Entertainment “The topics covered in GPU Gems 2 are critical to the next generation of game engines. ” -Gary McTaggart, Software Engineer at Valve, Creators of Half-Life and Counter-Strike This sequel to the best-selling, first volume of GPU Gems details the latest programming techniques for today's graphics processing units (GPUs). As GPUs find their way into mobile phones, handheld gaming devices, and consoles, GPU expertise is even more critical in today's competitive environment. Real-time graphics programmers will discover the latest algorithms for creating advanced visual effects, strategies for managing complex scenes, and advanced image processing techniques. Readers will also learn new methods for using the substantial processing power of the GPU in other computationally intensive applications, such as scientific computing and finance. Twenty of the book's forty-eight chapters are devoted to GPGPU programming, from basic concepts to advanced techniques. Written by experts in cutting-edge GPU programming, this book offers readers practical means to harness the enormous capabilities of GPUs.Major topics covered include: Geometric Complexity Shading, Lighting, and Shadows High-Quality Rendering General-Purpose Computation on GPUs: A Primer Image-Oriented Computing Simulation and Numerical Algorithms Contributors are from the following corporations and universities:1C: Maddox Games 2015 Apple Computer Armstrong State University Climax Entertainment Crytek discreet ETH Zurich GRAVIR/IMAG-INRIA GSC Game World Lionhead Studios Lund University Massachusetts Institute of Technology mental images Microsoft Research NVIDIA Corporation Piranha Bytes Siemens Corporate Research Siemens Medical Solutions Simutronics Corporation Sony Pictures Imageworks Stanford University Stony Brook University Technische Universitat Munchen University of California, Davis University of North Carolina at Chapel Hill University of Potsdam University of Tokyo University of Toronto University of Utah University of Virginia University of Waterloo Vienna University of Technology VRVis Research CenterSection editors include NVIDIA engineers: Kevin Bjorke, Cem Cebenoyan, Simon Green, Mark Harris, Craig Kolb, and Matthias WlokaThe accompanying CD-ROM includes complementary examples and sample programs.
Histologia mamria aps uso de esterides sexuais - estudo em ratas

OBJECTIVE: To evaluate the association of histologic changes in the breasts of female rats undergoing therapy with sex steroids. METHODS: An experimental study was conducted of 40 castrated female non-pubertal rats, 20 had given birth (Group B) and 20 had no offspring (Group A). After four weeks, these rats were randomly allocated to subgroups: A1, A2, A3, A4, A5 and B1, B2, B3, B4, B5. Steroids were given to subgroups as follows: A1 and B1 - estradiol benzoate; A2 and B2 - medroxyprogesterone acetate; A3 and B3 - estradiol benzoate and medroxyprogesterone acetate; A4 and B4 - tibolone; A5 and B5 - placebo. After 10 weeks of treatment, animals were sacrificed and their mammary glands were analyzed. Histologic parameters evaluated were: epithelial cell proliferation, epithelial cells with secretory activity; and cell atypia in terminal duct units and buds or terminal alveoli. The association between microscopic analysis and diverse therapeutic regimens were analyzed by calculating the odds ratio and its respective 95% confidence interval. RESULTS: Histologic changes were observed in 29 rats: moderate hyperplasia (52.5%), hyperplastic alveolar nodule (42.5%), epithelial atypia (35%), mild hyperplasia (32.5%), secretory activity (20%) and severe hyperplasia (5%). In rats with no offspring when compared to the control, 1.3 times more hyperplastic alveolar nodules were found in the group treated with estradiol, the same was true for moderate hyperplasia in the rats that received medroxyprogesterone acetate, hyperplastic alveolar nodules and epithelial atypia in the group treated with estradiol plus medroxyprogesterone acetate. In the rats with offspring 1.3 times more secretory activity was found with estradiol. CONCLUSION: Epithelial hyperplasia and epithelial atypia with no proliferation are strongly associated to combined therapy with estradiol plus medroxyprogesterone acetate, mainly in the rats without offspring.
On Teaching Hardware/Software Co-design using FPGA

At Ruse University in the Faculty of Electrical Engineering, Electronics and Automation the students are offered several introductory courses that focus on microcontroller-based systems, embedded programming and Programmable Logic Design. In the process of design, configuration, and programming of microprocessors it is hard for the students to optimize the division of functions between hardware and software. One of the reasons is the growing number of advanced programming techniques and design principles, as well as sophisticated Integrated Development Environments. The courses have a fixed number of hours and the teacher cannot extend the content of the lectures and the labs. In order to improve the students’ knowledge and skills in the process of embedded systems design, the Hardware/Software Co-design is used in the teaching process. The paper considers one example of implementation of this approach in the design of a traffic light controller. The project is based on the Intellectual Property Core of PicoBlaze microcontroller, embedded within Xilinx Field Programmable Gate Array Families. For the project development Evaluation Board Spartan 3E including XC3S500E FPGA device is used.
Öğrencilerin Gök Cisimleri Konusundaki Alternatif Kavramlarının Giderilmesinde Kavramsal Değişim Metinlerinin Etkisi

Yapilan calismalar ile kavramsal degisim metinlerinin ogrencilerin sahip oldugu cesitli fen kavramlari ile ilgili alternatif kavramlarin giderilmesine yonelik olumlu etkisi onaylanmistir. Yine literaturden ogrencilerin gok cisimleri hakkinda cesitli alternatif kavramlara sahip olduklari bilinmektedir. Ancak kavramsal degisim metinlerinin gok cisimleri hakkindaki alternatif kavramlarin giderilmesine etkisi ise bilinmemektedir. Bu baglamda arastirmanin amaci kavramsal degisim metinlerinin, ogrencilerin gok cisimleri konusunda sahip olduklari alternatif kavramlarinin giderilmesi uzerindeki etkisini incelemektir. Arastirmanin calisma grubunu 2012-2013 egitim ogretim yilinda guz donemi, Van’in bir ilcesinde yatili bolge ortaokulunda 7.sinifta ogrenim goren 22 ortaokul ogrencisi olusturmaktadir. Basit deneysel yontemin kullanildigi bu calismada, veri toplama araci olarak “Gok Cisimlerini Taniyalim” konusu ile ilgili 12 kavram karikaturu hazirlanmis ve kullanilmistir. Arastirmada 5E ogretim modeline dayali ogretim materyali kavramsal degisim metinleri ile zenginlestirilerek uygulanmistir. Kavram karikaturleri testi, ogretim yapilmadan once on test olarak ve ogretim yapildiktan sonra da son test olarak calisma grubuna uygulanmistir. Elde edilen veriler, bagimli t-testi ile analiz edilmistir. Arastirmanin bulgulari, calisma grubunu olusturan ogrencilerin “Gok Cisimlerini Taniyalim” konusunda bircok alternatif kavramlara sahip oldugunu ve kavramsal degisim metinlerini iceren ogretim surecinden sonra, bu alternatif kavramlarin buyuk bir cogunlugunun giderildigini ortaya koymustur. Bu bulgular dogrultusunda, ogretmenlerin kavramsal degisim metinlerinin ogretim surecinde kullanimi konusunda bilgilendirilmesi onerilerek farkli fen konularinda hazirlanacak kavramsal degisim metinleri ile desteklenmis coklu materyallerin kullanilmasi tavsiye edilmistir.
System Identification: A Frequency Domain Approach

System identification is a general term used to describe mathematical tools and algorithms that build dynamical models from measured data. Used for prediction, control, physical interpretation, and the designing of any electrical systems, they are vital in the fields of electrical, mechanical, civil, and chemical engineering. Focusing mainly on frequency domain techniques, System Identification: A Frequency Domain Approach, Second Edition also studies in detail the similarities and differences with the classical time domain approach. It high? lights many of the important steps in the identification process, points out the possible pitfalls to the reader, and illustrates the powerful tools that are available.
Verification and validation of security protocol implementations

Security protocols are important and widely used because they enable secure communication to take place over insecure networks. Over the years numerous formal methods have been developed to assist protocol designers by analysing models of these protocols to determine their security properties. Beyond the design stage however, developers rarely employ formal methods when implementing security protocols. This may result in implementation flaws often leading to security breaches. This dissertation contributes to the study of security protocol analysis by advancing the emerging field of implementation analysis. Two tools are presented which together translate between Java and the LySa process calculus. Elyjah translates Java implementations into formal models in LySa. In contrast, Hajyle generates Java implementations from LySa models. These tools and the accompanying LySa verification tool perform rapid static analysis and have been integrated into the Eclipse Development Environment. The speed of the static analysis allows these tools to be used at compile-time without disrupting a developer’s workflow. This allows us to position this work in the domain of practical software tools supporting working developers. As many of these developers may be unfamiliar with modelling security protocols a suite of tools for the LySa process calculus is also provided. These tools are designed to make LySa models easier to understand and manipulate. Additional tools are provided for performance modelling of security protocols. These allow both the designer and the implementor to predict and analyse the overall time taken for a protocol run to complete. Elyjah was among the very first tools to provide a method of translating between implementation and formal model, and the first to use either Java for the implementation language or LySa for the modelling language. To the best of our knowledge, the combination of Elyjah and Hajyle represents the first and so far only system which provides translation from both code to model and back again.