Miracle-dz/UniFAR-FTUs huggingface dataset:
Ricerca su materiali e processi per la realizzazione di materiali catodici con prestazioni migliorate Analisi morfologica dei prodotti intermedi

Lo scopo di questo lavoro e stato quello di trovare le migliori condizioni di preparazione del LiFePO4 a partire dal (NH4)FePO4 (FAP). Come fonte di ferro e stato utilizzato il solfato ferroso eptaidrato. Il solfato e stato trasformato in fosfato e precipitato come sale di ammonio. In particolare sono state effettuate quattro sintesi del sale ammonico distinte in precipitazione in fase omogenea, precipitazione da sali sodici e precipitazione stechiometrica e sopra stechiometrica da sali ammonici. I materiali cosi preparati sono stati caratterizzati da un punto di vista morfologico tramite microscopia elettronica a scansione. L’analisi composizionale dei materiali e stata effettuata mediante tecniche di spettroscopia di diffrazione elettronica mentre le caratteristiche termiche sono state valutate tramite analisi termo gravimetrica ed analisi termica differenziale.
SOUNDSCOUT: A SONG RECOMMENDER BASED ON SOUND SIMILARITY FOR HUGE COMMERCIAL MUSIC ARCHIVES

We present Soundscout, a song recommender operating on huge commercial music archives. In contrast to many playlist generation tools which support the consumer in handling local collections, Soundscout focuses on efficient metadata generation from large bodies of music files. The system automatically generates similarity relations between songs based on acoustic features extracted from the sound files and combines the thus achieved results with a variety of preference models as filters to minimize the risk of inappropriate recommendations. In the paper we describe how we significantly improved the applicability of state-of-the-art MIR techniques by introducing an efficient k-nearest neighbour algorithm feasible for handling a huge number of tracks. Moreover we introduce filter mechanisms and presentation strategies for improving the acceptability of the sounding similar recommendations. Last but not least we present a Web application of Soundscout for conducting user acceptance tests, and present results from a first exploratory study.
Influencia del bloqueo directo y el uno contra uno en el éxito del lanzamiento en baloncesto

El presente estudio tiene como objetivo analizar el impacto del uno contra uno y el bloqueo directo sobre la eficacia en los lanzamientos. Se desarrollo un instrumento ad hoc denominado sistema de observacion de conceptos fundamentales en baloncesto (SOCFB) para estudiar las acciones ofensivas del Futbol Club Barcelona Regal en la Copa del Rey en la temporada 2013-2014. Se analizaron un total de 643 acciones ofensivas donde se destacan los siguientes hallazgos: a) el 34 % de las acciones del jugador con balon finalizaron en lanzamiento mientras que el 66 % terminaron en pases; b) la principal consecuencia del uno contra uno interior fueron los lanzamientos (z = 6,2, p < 0,001); c) en el uno contra uno exterior se encontraron relaciones estadisticamente significativas con el espacio exterior de la zona (z = 3,3, p < 0,001) y la lateralidad del espacio lateral izquierdo (z = 2, p <0,05); d) en el bloqueo directo se observaron relaciones estadisticamente significativas con las acciones que no finalizaron. De estos resultados podemos extraer las siguientes conclusiones: a) el bloqueo directo es el concepto mas utilizado y fue utilizado como medio para la generacion de ventajas; b) el uno contra uno interior genera mas lanzamientos y de mayor efectividad.
Tops: theory operationalization for program synthesis

Amphion is a real-world, domain-independent program synthesis system. It is specialized to specific applications through the creation of an operational domain theory. The Meta-Amphion system is being developed to empower domain experts to develop and maintain their own Amphion applications. This thesis describes technology for automatically transforming declarative domain theories into efficient, domain-specific program synthesis systems. A prototype of the system has been implemented in TOPS, Theory Operationalization for Program Synthesis. TOPS identifies axioms in the domain theory that are an instance of the theory of a procedure in a library of procedures. TOPS uses partial deduction to augment the procedure with the capability to construct ground terms for deductive synthesis. The synthesized procedure is interfaced to a resolution theorem prover. Axioms in the original domain theory that are implied by the synthesized procedure are removed. During deductive synthesis, the procedure is invoked to test the satisfiability of sets of literals in the language of the theory of the procedure. The procedure generates ground terms which are bound to existential variables in a problem specification. These terms are program fragments. Answers to deductive synthesis problem specifications can be generated using the procedure just in case they can be generated without using the procedures. Experiments show that the procedures synthesized by TOPS can reduce theorem proving search at least as much as hand tuning of the deductive synthesis system.
Adaptive Arrays for OFDM Signal Reception

携帯電話に代表される移動通信や放送波を移動体 で受信する場合は多重波伝搬となり,フェージングに よる伝送品質の劣化が問題となる. その対策として 近年,遅延波の影響の低減と周波数利用効率の向上 を両立したOFDM(Orthogonal Frequency Division Multiplexing)伝送方式が広く用いられるようになっ てきた. OFDM伝送の原理そのものは 1970年代初めに考案 されていた [1] が,装置が複雑になるため実用化には 時間がかかった. 近年の半導体技術の発展によりディ ジタル信号処理を駆使した OFDM信号の送受信が可 能となり,無線 LAN(Local Area Network)や地上 デジタル放送等において一気に実用化された [2]. OFDM 伝送ではガードインターバルを設けること により遅延波の影響を大きく低減できる. ただし,遅 延波の遅延時間がガードインターバルを超える場合に は通信品質が大きく劣化する. また,OFDM 伝送は 複数の搬送波(キャリヤ)を用いるマルチキャリヤ伝 送の一種であり,一つのサブキャリヤ当りの帯域幅が
La fonction contenante, une revue de la littérature

Une revue de la litterature indique que la fonction contenante a pour tous les auteurs post-freudiens le meme objet, un travail sur l’archaique, sur des souffrances tres primitives, mais qu’elle se decline differemment, notamment selon son insistance sur la fonction a contenir, sur le processus de contenance, sur son aspect defensif de contention ou sur son resultat. L’auteur essaie de dresser un tableau pour recapituler ces differentes orientations : Winnicott pose cliniquement cette problematique de la contenance, Bion degage un processus de contenance (fonction alpha) en insistant sur une « fonction a contenir » portee par l’attention, Bick permet de distinguer « la contenance » d’un processus defensif « seconde peau », de contention, Anzieu permet de penser les « enveloppes » comme resultantes de ce qui a ete contenu et Bleger la « fonction du cadre » comme liee a de la contention. Des conceptualisations dans le domaine cognitif (Gibello), groupal (Kaes), psychosomatique (Debray) ou plus generales (Houzel, Roussillon) completent cette analyse.
Beta-glycosidases and diabetic microangiopathy. I. Decreases of beta-glycosidase activities in diabetic rat kidney.

Deposition of PAS2-positive materials and thickening of the basement membrane in vascular lesions are characteristic findings in diabetes mellitus, suggesting altered metabolism of glycoprotein. Changes in the activities of the glycosidases, beta-N-acetylglucosaminidase [EC 3.2. 1.30], beta-glucuronidase [EC 3.2. 1.31], beta-galactosidase [EC 3.2. 1.23], and beta-glucosidase [EC 3.2. 1.21] were measured in various organs and the serum of diabetic rats. The activities of the first three enzymes listed above were found to be much reduced in the kidney but increased in the serum. The decreased activities of beta-glycosidases in the kidney may be one of the factors responsible for the pathogenesis of microangiopathy.
QRP01-2: Challenges in Service-Oriented Networking

We believe that application-aware networks will be a core component in the development and deployment of emerging network services. However, previous attempts at enabling application-awareness in the network have failed due to issues with security, resource allocation, and cost of deployment. The emergence of the Extensible Markup Language (XML), an open standard that enables data interoperability, along with advances in hardware, software, and networking technologies, serves as the catalyst for the development of service-oriented networking (SON). SON enables network components to become application-aware, so that they are able to understand data encoded in XML and act upon that data intelligently to make routing decisions, enforce QoS or security policies, or transform the data into an alternate representation. This paper describes the motivation behind service-oriented networking, the potential benefits of introducing application-aware network devices into service-oriented architectures, and discusses research challenges in the development of SON-enabled network appliances.
Data mining tasks and methods: Subgroup discovery: drill-down methods

Drill down is the process of discovering one or more subgroups of individuals within a population whose behavior partially or completely explains or accounts for the aggregate behavior of the entire population. Drill down is an analytic technique that is usually employed when all individuals in a population can be described by the same set of attributes. The term drill down has gained popularity since the advent of OLAP tools. OLAP tools allow business users to understand business behavior by drilling down from the aggregate to the detail along hierarchies that the business user considers significant. Knowledge representation systems provide a robust way of maintaining hierarchies that are used during drill down. Heuristics used by business users determine interesting or significant business behaviors. Clustering algorithms can be used to generate hierarchies that can be examined for interesting or significant business behaviors. Attribute focusing is an example of an algorithm that generates a hierarchy that is likely to be significant.
The impact potential of liberative black preaching on the "Beingness" of African descent persons in the Black church context: the therapeutic dimensions of black preaching

THE IMPACT POTENTIAL OF UBERATIVE BLACK PREACHING ON THE “BEINGNESS” OF AFRICAN DESCENT PERSONS IN THE BLACK CHURCH CONTEXT: THE THERAPEUTIC DIMENSIONS OF BLACK PREACHING by F. Keith Slaughter March 30, 2009 248 pages This dissertation presents liberative Black preaching (LBP) as an optimal homiletic model designed to function as a therapeutic intervention for African descent persons in the Black church context. Built upon the foundation of a Black theological anthropology, this dissertation addresses Black self-identity that is informed by a universal African woridview (UAW). The dissertation argues that there is a recognizable diversity of contextuality among White and non-White persons and that it is possible to qualitatively describe generalizable contours of experience among Black people in the United States based on the particularity of the culture and the Black encounter with racism/White supremacy. The thoughts and feelings that emerge from this cultural encounter are appropriate for Africentric theological reflection. Historical evidence of the unfolding of Black thought with reference to Black religiosity and spirituality is presented as a preamble to the construction of the liberative Black preaching model. The dissertation employs a mixed research method. A qualitative methodological paradigm is primarily employed, while quantitative tools are used in the data gathering process of the study. Variables were established as constitutive elements necessary for the construction of sermons that have
Transfer of Skills Among Programming Languages.

Abstract : The general picture that has emerged from this research is one in which programming skill is to be conceived as translation from one surface representation to another. While the successful student will have this surface representation annotated with rich representation of its functionality, the skill is still quite specific to the notational details of the representations involved. The initial context for this research was set by two things supported by a prior API contract. One of these was the development of a general theory of transfer of cognitive skill, which could be conceived as a modern information-processing rendition of Thorndike's: theory of identical elements (Thorndike & Woodworth, 1901; Singley & Anderson, 1989). We showed that the degree of transfer could be predicted by the amount of overlap between knowledge structures in the ACT theory, which proposed that knowledge both consisted of procedural knowledge and declarative knowledge (Anderson, 1993). The other part of the research background for this project was the development of tutors for programming languages, particularly LISP (Anderson, Conrad, & Corbett, 1989). We wanted to generalize our understanding of both tutoring and of programming.
Classifying the Sentiment of Movie Review Data

With the rapidly increasing amount of text available on the internet, organizing this vast amount of information has become increasingly important. Many researchers in natural language processing have studied the problem of automatically assigning documents to different categories. One type of categorization that has been studied is classifying the sentiment found in documents. Although many documents, such as movie reviews, already have some measure of sentiment, such as star ratings, many do not, and classifying documents as having positive or negative sentiment automatically would be useful for these unlabelled documents.
Global and local identities: screening the body (politic) in the medical drama series

This dissertation investigates the medical drama series as a television phenomenon which foregrounds the body as central narrative device. By considering House M.D. and Jozi H as global and local manifestations of this genre, transnational, spatial and metafictional categorisations of the body are traced to reveal its nature as social spectacle, and meaningbearing corporeal text. The body and its concomitant identities are exposed as continually and continuously screened inside, outside and, moreover, in relation to the hospital. As an institutional space, the hospital is (re)positioned in national and transnational discourses as nexus for personal and public, individual and societal, as well as local and global truths about the body (politic). Michel Foucault’s understanding of the human body, its position as part of the larger body politic, and its control by the state is employed to foreground the bio-political classification of the (ab)normal body. Both the hospital, as space for healing, controlling and containing the body, as well as the body, as a corporeal and a psychic space itself, are signified as heterotopic spaces: part of, but also outside other places and bodies. Stellenbosch University http://scholar.sun.ac.za
Ranking Method using Comparative Relations extracted from CGM

A comparative sentence expresses a relation between two objects. By mining the information from a large number of documents generated by consumers, we can rate the values of objects eciently. This paper proposes a method of mining the comparative relations and ranking the objects based on mined results. We generate the graph, each node corresponds to a object, and each edge expresses the relation between two objects. By applying the PageRank method to the graph, the system brings order to the object. This type of graph can be thought of as modeling the behavior of a potential customer.
An iterative method for reconstructing convex polyhedra from extended gaussian images

In computing a scene description from an image, a useful intermediate representation of a scene object is given by the orientation and area of the constituent surface facets, termed the Extended Gaussian Image (EGI) of the object. The EGI of a convex object uniquely represents that object. We are concerned with the computational task of reconstructing the shape of scene objects from their Extended Gaussian Images, where the objects are restricted to convex polyhedra. We present an iterative method for reconstructing convex polyhedra from their Extended Gaussian Images.
Numerical Sound Synthesis: Finite Difference Schemes and Simulation in Musical Acoustics

Digital sound synthesis has long been approached using standard digital filtering techniques. Newer synthesis strategies, however, make use of physical descriptions of musical instruments, and allow for much more realistic and complex sound production and thereby synthesis becomes a problem of simulation. This book has a special focus on time domain finite difference methods presented within an audio framework. It covers time series and difference operators, and basic tools for the construction and analysis of finite difference schemes, including frequency-domain and energy-based methods, with special attention paid to problems inherent to sound synthesis. Various basic lumped systems and excitation mechanisms are covered, followed by a look at the 1D wave equation, linear bar and string vibration, acoustic tube modelling, and linear membrane and plate vibration. Various advanced topics, such as the nonlinear vibration of strings and plates, are given an elaborate treatment. Key features: Includes a historical overview of digital sound synthesis techniques, highlighting the links between the various physical modelling methodologies. A pedagogical presentation containing over 150 problems and programming exercises, and numerous figures and diagrams, and code fragments in the MATLAB programming language helps the reader with limited experience of numerical methods reach an understanding of this subject. Offers a complete treatment of all of the major families of musical instruments, including certain audio effects. Numerical Sound Synthesis is suitable for audio and software engineers, and researchers in digital audio, sound synthesis and more general musical acoustics. Graduate students in electrical engineering, mechanical engineering or computer science, working on the more technical side of digital audio and sound synthesis, will also find this book of interest.
State Controlled Object Oriented Programming

ion is the process in programming that allows the complexity of certain aspects of a program to be limited to parts of the program and provides a clean interface for using those features. For instance, object oriented features such as polymorphism and encapsulation can be implemented in a non-object oriented programming language (such as C) by exploiting related design patterns [3], but at the cost of complex logic to be coded by the programmer. Alternatively, object oriented languages provide declarative syntax that abstracts the object oriented features and reduces the complexity of code to be written by the programmer. Similarly, in conventional object oriented programming, a programmer can write code to maintain the state of an object, but at the cost of writing the state maintenance code himself. Usually state maintenance code is in the form of conditional checks, state tables or in the form of state design patterns that potentially make the object oriented code more complex.
Kooperative, manöverbasierte Automation und Arbitrierung als Bausteine für hochautomatisiertes Fahren

Bei der Entwicklung von hochautomatisierten Fahrzeugen ist eine intuitive Bedienbarkeit fur den Fahrer von entscheidender Bedeutung. Die kooperative Kontrolle („Cooperative Control“) stellt ein viel versprechendes Konzept dar, wie eine Automation in einem hochautomatisierten Fahrzeug gestaltet werden kann, so dass eine gewinnbringende Zusammenarbeit zwischen Automation und Fahrer moglich wird. Nach dem Aufzeigen von Anforderungen wird eine konkrete Ausgestaltung einer solchen kooperativen Automation vorgestellt. Die Arbitrierung bietet eine Strategie zur Abstimmung uber auszufuhrende Handlungen zwischen Fahrer und kooperativer Automation. Die Umsetzbarkeit der Konzepte wird am Beispiel eines prototypischen Systems zum hochautomatisierten Fahren mit integrierter Langs- und Querfuhrung gezeigt.
Method Types in Java

As Java developers, we talk about query methods, command methods, and factory methods. We talk about convenience methods, helper methods, and assertion methods. We talk about primitive methods, composed methods, and template methods. Obviously, we have a rich vocabulary for talking about methods of a class or interface. We use this vocabulary to quickly communicate and document what a method does, who it may be used by, and how it is implemented. Understanding this vocabulary is key to fast and effective communication among developers. This article presents three method type categories and nine key method types that we use in our daily work. It presents them using a running example and then catalogs them for use as part of a shared vocabulary. Each of the method types comes with its own naming convention. Mastering this vocabulary helps us better implement our methods, better document our classes and interfaces, and communicate more effectively.
Building Fundamentally Extensible Application-Specific Operating Systems in SPACE [Probert, Bruno]

We refine and extend previous work towards a new approach to implementing operating systems. This approach, called SPACE, uses processors, address spaces, and a generalized exception mechanism as the basic abstractions rather than processes, virtual memory, and interprocess communication. The result is that the facilities provided by the hardware architecture are exposed, and can be directly used by applications to achieve higher performance and more diverse functionality than is possible with conventional operating system abstractions. In SPACE the conventional abstractions can coexist with new application-specific abstractions, due to the fundamental extensibility of the SPACE primitives. Applications can implement their own versions of system services to satisfy critical functional and performance requirements while still benefiting from standard system services. In this paper we present a generalization of our earlier framework which allows the SPACE primitives themselves to be extended, and illustrate SPACE by describing an implementation on the SPARC architecture. We then give examples of implementing mechanisms in SPACE.
Automated Formal Methods for Security Protocol Engineering

Designing and implementing security protocols are known to be error-prone tasks. Recent research progress in the field of formal methods applied to security protocols has enabled the use of these techniques in practice. The objective of this chapter is to give a circumstantial account of the state-of-the-art reached in this field, showing how formal methods can help in improving quality. Since automation is a key factor for the acceptability of these techniques in the engineering practice, the chapter focuses on automated techniques and illustrates in particular how high-level protocol models in the Dolev-Yao style can be automatically analyzed and how it is possible to automatically enforce formal correspondence between an abstract high-level model and an implementation. DOI: 10.4018/978-1-60960-851-4.ch008