Miracle-dz/UniFAR-FTUs huggingface dataset:
Quadratic differential operators, Bicharacters and $\bullet$ Products

For a commutative cocommutative Hopf algebra we study the relationship between a certain linear map defined via a bicharacter, an exponential of a quadratic differential operator and a $\bullet$ product obtained via twisting by a bicharacter. This new relationship between $\bullet$ products and exponentials of quadratic differential operators was inspired by studying the exponential of a particular quadratic differential operator introduced by I. Frenkel, Lepowsky and Meurman in "Vertex operator algebras and the Monster", and used in the theory of twisted modules of lattice vertex algebras.
Modellbildung, Parameteridentifikation und Regelung hoch ausgenutzter Synchronmaschinen

Was passiert, wenn permanentmagneterregte Elektromotoren bei gleicher Leistung immer kleiner und leichter werden? Wie verandert sich das elektromagnetische Verhalten? Was folgt daraus fur die optimale Regelung der Motoren? Die vorliegende Arbeit beantwortet diese Fragen und behandelt die Modellbildung, Parameteridentifikation und Regelung wechselrichtergespeister, magnetisch anisotroper, hoch ausgenutzter, permanentmagneterregter Synchronmotoren.
DISTANCE SPECTRUM OF CHANNEL TRELLIS CODES ON PRECODED PARTIAL-RESPONSE 1-D CHANNEL

Distance spectrum is the main factor in determining the event error probability when maximum-likelihood decoding is used for convolutional codes [13]. In this paper we compute the distance spectrum for the best R=1/N channel codes obtained using convolutional (linear trellis) codes together with known offset sequence addition on precoded partial-response 1−D channel proposed in [4]. To this end we have modified the BIFAST algorithm [11] in order to enable the distance spectrum evaluation in the supper-trellis [1], a technique necessary for this type of channel codes.
ON A NEW CLASS OF MATRIX SUPPORT FUNCTIONALS WITH APPLICATIONS

A new class of matrix support functionals is presented which establish a connection between optimal value functions for quadratic optimization problems, the matrix-fractional function, the pseudo matrix-fractional function, and the nuclear norm. The support function is based on the graph of the product of a matrix with its transpose. Closed form expressions for the support functional and its subdifferential are derived. In particular, the support functional is shown to be continuously differentiable on the interior of its domain, and a formula for the derivative is given when it exists.
Variation in the Origin of Flexor Digitorum Brevis – A Case Report

Arches of foot is the blend of skeletal and muscular components, which is exclusive characteristic feature of evolution as an alteration to routine erect posture in humans. The human foot is convened mechanical intricacy and essential constancy due to “arches of foot”. Appreciative muscle construction of the foot may assist in the intention of surgical trials such as tendon transfer, biomechanical sculpting of the foot, prosthesis strategy, and scrutiny of foot function. During routine dissection of the foot it was noted that the tendon of flexor digitorum brevis to the little toe was missing and was replaced by a musculo-tendinous slip arising from the tendon of flexor digitorum longus in the sole of the foot. Hence, the awareness of the incidence of absence and deviations of fourth slip of flexor digitorum brevis in relation to the demographic features of patients would be of clinical importance.
STOCHASTIC VOLTERRA DIFFERENTIAL EQUATIONS IN WEIGHTED SPACES

In the following paper, we provide a stochastic analogue to work of Shea and Wainger by showing that when the measure and state-independent diffusion coefficient of a linear Itô–Volterra equation are in appropriate Lp– weighted spaces, the solution lies in a weighted Lp–space in both an almost sure and moment sense.
Asymptotic properties of doubly adaptive biased coin designs for multitreatment clinical trials

A general doubly adaptive biased coin design is proposed for the allocation of subjects to K treatments in a clinical trial. This design follows the same spirit as Efron's biased coin design and applies to the cases where the desired allocation proportions are unknown, but estimated sequentially. Strong consistency, a law of the iterated logarithm and asymptotic normality of this design are obtained under some widely satisfied conditions. For two treatments, a new family of designs is proposed and shown to be less variable than both the randomized play-the-winner rule and the adaptive randomized design. Also the proposed design tends toward a randomization scheme (with a fixed target proportion) as the size of the experiment increases.
Introduction 1.1 Web Index Engines 1.2 Site Navigation 2 Design Strategy 2.1 Information Retrieval 2.1.1 Attractors and Satellites 2.2 Visualization 3 Vr-net Implementation 3.1 Web Information Repository 3.2 Identifying Attractors 3.2.1 Initiation Stage 3.2.2 Attractor Ranking Stage 3.2.3 Satellite 

Surveys highlight that Internet users are frequently frustrated by failing to locate useful information, and by difficulty in browsing anarchically linked Web structures. We present a new Internet browsing application (called VR-net) that addresses these problems. It first identifies semantic domains consisting of tightly interconnected Web-page groupings. Then it populates a 3D virtual world with these information sources, representing all relevant pages plus appropriate structural relations. Users can then easily browse through and around a semantically focused virtual library.
An $L^p$ theory of sparse graph convergence I: Limits, sparse random graph models, and power law distributions

We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees. In this paper, we lay the foundations of the $L^p$ theory of graphons, characterize convergence, and develop corresponding random graph models, while we prove the equivalence of several alternative metrics in a companion paper.
Os sentidos de atividade física na cidade de Maceió

Physical activity is directly related to the care of the body, with the physical and mental well-being and quality of life. May also be related to socialization, interaction with others and as a motivator for the activities of daily living. In this context, the theory of habitus shows the relationship between individual behavior and the existence of a field for the development of its habits, its actions, be sports or physical activity. The theory of social representations presentes the common sense knowledge as a scientific, structured in a different way from discourses of subjects, identified, interpreted and analyzed properly. From these representations the categories derived from the interviews were classified as health, movement and sport. These, in turn, were the subjects’ representations about physical activity.
Lengua, nación e identidad en el discurso de la política lingüística de Cataluña

Se analizan los conceptos de "lengua propia" y "normalizacion linguistica". Se comparan las definiciones que da Jordi Pujol (Presidente del Gobierno de Cataluna entre 1980 y 2003) y las que dan los linguistas catalanes que trabajan en las instituciones de normalizacion linguistica. En ambos casos las definiciones parten de la idea de una relacion unidimensional e inmutable entre nacion, lengua e identidad. El discurso nacionalista se sirve de ambos conceptos para propagar la idea de una nacion linguisticamente homogenea y diferenciada de otras naciones y la vision de una identidad nacional colectiva, eterna y homogenea, definida por la lengua de la nacion.
On drafting, interpreting, and translating legal texts across languages and cultures

The study of the development, characteristics, usage, and interpretation of the language of legal documents (used in the course of legislation, adjudication, and outside-Court negotiation) has developed fairly recently, although legal documents across languages, cultures and times are used by law specialists in order to communicate among themselves from time immemorial. It is obvious, that regardless of the wisdom, knowledge and the good intentions of the scholars writing the law, no text can anticipate any possible human behaviour in any possible social context. Generations of accumulation of legal experience along with the communication between law specialists had made the law deeper and wiser, by adopting its sections to circumstances that could not be anticipated when it was first drafted. The knowledge and wisdom that have been accumulated this way make the language of legal documents intriguing for academic study, because of the depth of the concepts involved, the complexity of the linguistic structures, and the sharpness of arguments presented in typical legal texts. It is not surprising, therefore, that although the study of the legal language has begun just recently, it has grown incredibly fast since the mid twentieth century (Mattila 2006; Tiersma and Solan 2012). The legal language is characterised, in addition to rich professional lexicon, by highly formal style of linguistic structures that are used to serve the functions of textual coherence, clarity (to law specialists), precision, unambiguity, and allinclusiveness (Bhatia 1993). For the sake of clarity, precision, and unambiguity, legal texts are often weighed downwith terminological explanations (where certain expressions are assumed to have deviated from their ordinary meaning). For the same purposes – clarity, precision, and unambiguity – legal texts make extensive use, explicitly or implicitly, of a variety of intertextual and interdiscursive links; for example, verdicts apply judicial criteria that were accepted in relevant precedents
Adjoint functors and triples

A riple F (F, ,) in ctegory a consists of functor F a nd morphisms la F, F F stisfying some identities (see 2, (T.1)-(T.3)) nlogous to those stisfied in monoid. Cotriples re defined dually. It has been recognized by Huber [4] that whenever one hs pir of adoint functors T a , S a (see 1), then the functor TS (with appropriate morphisms resulting from the adjointness relation) constitutes a triple in nd similarly ST yields cotriple in a. The main objective of this pper is to show that this relation between d-jointness nd triples is in some sense reversible. Given triple Y in a we define new ctegory a nd adoint functors T a a, S a a such that the triple given by TS coincides with. There my be mny adoint pirs which in this wy generate the triple Y, but among those there is a universal one (which therefore is in a sense the "best possible one") nd for this one the functor T is faithful (Theorem 2.2). This construction cn best be illustrated by n example. Let a be the ctegory of modules over a commu-tative ring K nd let A be K-lgebm. The functor F A@ together with morphisms nd resulting from the morphisms K A, h @ A A given by the K-algebra structure of A, yield then a triple Y a. The ctegory a is then precisely the ctegory of A-modules. The general construction of a closely resembles this example. As another example, let a be the category of sets nd let F be the functor which to ech set A ssigns the underlying set of the free group generated by A. There results triple Y in a nd a is the category of groups.
Arquitectura de procesamiento centrada en metadatos de mediciones

El enfoque integrado de procesamiento de flujos de datos es un gestor de flujos de datos sustentado en un marco de medición y evaluación, que incorpora comportamiento detectivo y predictivo mediante el empleo de las mediciones y metadatos asociados. Aquí presentamos la Arquitectura de Procesamiento centrada en Metadatos de Mediciones que evoluciona el esquema de procesamiento, extendiéndolo al ámbito de los repositorios Big Data, e incorporando servicios por suscripción a partir de las fuentes de datos. Adicionalmente, una Memoria Organizacional permite guiar el entrenamiento de los clasificadores como así también el proceso de toma de decisión en base al conocimiento previo documentado. Finalmente, un caso de aplicación sobre el RADAR de la Estación Experimental Anguil es presentado.
"An ignorant set of men". An episode in the clash of the legal and accounting professions over jurisdiction

In August 1875 in a Bankruptcy matter being heard at the Summer Assizes at Bristol in England, Mr Justice Quain gave vent to his spleen over the accounting profession's increasing hold on jurisdiction over bankruptcy matters. His remarks were not necessary for the decision but he found some support from the jury and the press of the day. In making his remarks he seems to have been echoing the sentiments of the legal profession of the time. The case itself was pedestrian-but the attention of the Daily Telegraph and the rebuttals in the accounting press give some insight into the struggle by accountants for professional recognition and the clash between the accounting and legal professions over jurisdiction in the latter half of the nineteenth century.
Application of the experiential simulation learning approach (ELSA) model to teach sustainability to international business management undergraduate students

Purpose – The purpose of this paper is to contribute an illustrative case study on the application of participatory and learner-centred model, using a highly international cohort of students’ tacit knowledge and shared experiential learning in the context of integrating mainstreaming sustainability-focused topics in business education at undergraduate level. Design/methodology/approach – This paper is about the development of a participative experiential learning pedagogical framework which the authors named “experiential simulation learning approach”, with the acronym ELSA, designed to meet the specific needs of a highly international cohort of rather sustainability-reluctant undergraduate management students. Findings – Using students’ diverse tacit knowledge and developing a relevant experiential active learning (EAL) model stood out as being a most powerful teaching-and-learning tool. It seemed to help to enhance critical thinking and trigger cohesiveness in class; this favoured a collaborative learni.
Određivanje epitopa autoantigena tetraspanina 7 za vezanje antitijela u dijabetesu tipa I

Dijabetes mellitus tipa 1 (T1DM) je autoimuna bolest koja je specificna za gusteracu, a karakterizira ju nedostatak proizvodnje inzulina. Najcesci biomarkeri koji se koriste u dijagnozi i predviđanju nastanka bolesti su autoantitijela iz seruma za cetiri najznacajnija antigena beta stanica: inzulin, GAD65, IA2 i ZnT8. Međutim, primijeceno je da jos jedan protein koprecipitira s cetiri spomenuta autoantigena. Istraživanja su pokazala da se radilo o glikoziliranom membranskom proteinu molekularne težine 38 kDa koji je nazvan Glima 38. Glima 38 je kasnije identificiran kao tetraspanin 7 (TSPAN7). TSPAN7 pripada proteinskoj obitelji tetraspanina te se sastoji od sedam domena: tri citoplazmatske (C1 do C3), cetiri transmembranske (TM1 do TM4) i dvije ekstracelularne (E1 i E2), a u gusteraci se nalazi specificno u stanicama Langerhansovih otoka. Hipoteza ovog istraživanja glasi da je imunoprecipitacijskim testom luciferaze moguce kvantificirati vezanje autoantitijela na proteinske fragmente TSPAN7. Cilj ovog istraživanje je bio utvrditi na koje domene se vežu autoantitijela kako bi se detaljnije mogli opisati autoimuni procesi u osobama koje boluju od dijabetesa tipa I. Glavna metoda koristena u ovom istraživanju je bila imunoprecipitacijski test luciferazom (LIPS), gdje su se proteinski fragmenti TSPAN7 obilježeni nanoluciferazom testirali na 41 uzorku seruma pacijenata koji su sadržavali autoantitijela na cjeloviti TSPAN7 i 20 uzoraka seruma koji nisu sadržavali autoantitijela na cjeloviti TSPAN7. Rezultati sugeriraju da se najvjerojatnije u domenama TSPAN7 E2 i C3 nalaze epitopi za vezanje autoantitijela te da domena TM4 također ima ulogu ili tako sto i sama sadržava epitope ili tako sto smjesta domene E2 i C3 u pravilnu konformaciju.
The Language Use of University Students in KakaoTalk

이 연구는 카카오톡을 대상으로 카카오톡 대화에 나타난 대학생의 언어 사용을 분석하였다. 대학생들은 카카오톡을 통해 학교, 지인, 약속, 안부 묻기 등 일상적인 주제로 대화를 나눈다. 카카오톡의 발화 단위는 한 음절부터 문장까지 형식이 다양한데, 이는 카카오톡이 말하는 방식으로 쓰이기 때문이다. 카카오톡과 같은 비대면 상황에서 문장부호, 소리와 모습을 대표한 한글 자모, 이모티콘은 화자의 감정과 느낌을 준언어적, 비언어적으로 표현한 것이다. 그리고 온라인상에서의 감탄사는 음운론적으로 변칙되어 다양한 형태로 사용되며, 의성어와 의태어의 사용은 대화에 생동감을 높이고 재미를 더해 준다. 대학생들의 비속어와 유행어는 제한적으로 사용되었다.
Foreningen for Kvindernes Vækst: Integration gennem den danske demokratiske model?

Users may download and print one copy of any publication from the public portal for the purpose of private study or research. You may not further distribute the material or use it for any profit-making activity or commercial gain ? You may freely distribute the URL identifying the publication in the public portal ? Take down policy If you believe that this document breaches copyright please contact us at vbn@aub.aau. dk providing details, and we will remove access to the work immediately and investigate your claim.
Estimation of direct and maternal variance components of lamb weights at 90 days

*Corresponding author: Maaoui_walid@yahoo.fr Abstract Weights at 90 days were simulated for Barbarine lambs using various data and pedigree structures. The herd size, number of years and ram pedigree information were modified to cover probable structures of field data: Herds included between 100 and 2000 animals over 4 to 20 years with complete or missing ram information. Direct, maternal, permanent and residual variance components were estimated by Bayesian analysis via Gibbs sampling applied to an animal model that included the fixed effects of year and month of lambing, litter size, the age of the dam and sex of the lamb. A total of 30000 samples were generated. A burn-in period of 2000 rounds was used and then one out of 10 iterations was kept for subsequent analysis. Posterior means of direct and maternal variance effects ranged from 0,83 to 3,86 and from 2,30 to 4,34, respectively. Heritability estimates, in the same order, were between 0,06 and 0,29 and 0,16 and 0,28. In manner similar to direct estimates, maternal component estimates were closer to input parameters (3, 3,5, 9 and 7 for direct, maternal, permanent and residual variance, respectively) for increased herd sizes and number of years and complete ram pedigree.
Language Interoperability Safe C++

Most software systems are created not with a single language but instead with a collection of languages each carefully chosen to solve a particular set of problems within those systems. Typically the facilities for these languages to interoperate are constructed in an ah-hoc fashion and are thus tedious to use, error-prone, and do not preserve the safety properties of the languages involved. I am interested in constructing foundationsbased interoperability boundaries that do not have these problems and thus make language interoperability a viable alternative when building large systems. Previous research into language interoperability developed common runtimes that could support multiple languages, culminating in the development of the . NET framework and the evolution of the Java virtual machine to support multiple languages. However, comparatively less attention has been paid to understanding the semantics of interoperability. This is less important when we consider similar language pairs such as C++ and Java, but it is critical when the languages involved have safety properties that must be preserved even in the presence of interoperability, e.g., a dependently-typed or linearly-typed language. I argue [2] that this distinction is important not just for end-users (i.e., programmers) but also language developers and researchers creating advanced programming languages. When developing a fancy new type system and language, designers must jump through many theoretical and implementation hoops or compromise on their core design in a significant way in order to integrate their ideas into a conventional language. However, I suggest that an alternative, potentially more fruitful approach is to stick with a simple core language but instead put effort into building semantics-preserving interoperability boundaries into other languages. With Vilhelm Sjöberg, I’ve begun to explore semantics-preserving interoperability for dependentlytyped languages [1]. We developed a core calculus modeling interop boundaries between simply-typed and dependently-typed lambda calculi with datatypes. Our goal was to identify what dynamic checks were necessary to preserve the guarantees made by dependently-typed code even while executing simply-typed code. We found several subtleties during this process, for example, the need for special constructs to bind values from one language into the other. We also proved standard progress and preservation for our system, demonstrating that we indeed created safe interop boundaries between the two calculi.
Probing Multiscale Transport and Inhomogeneity in a Lithium-Ion Pouch Cell Using In Situ Neutron Methods

We demonstrate the lithiation process in graphitic anodes using in situ neutron radiography and diffraction in a single-layer pouch cell. The variation in neutron absorption contrast in graphite shows a direct correlation between the degree of lithiation and the discharge potential. The experimental neutron attenuation line profiles across the graphite electrode at various discharge times (potentials) were compared with lithium concentration profiles computed using a 3D electrochemical transport model. In conjunction with imaging/radiography, in situ neutron diffraction was carried out to obtain information about the local structural changes during various stages of lithiation in carbon. Combined in situ radiography and diffraction supported by 3D multiscale electrochemical modeling opens up a powerful nondestructive tool that can be utilized to understand the multiscale nature of lithium transport as well as observe various inhomogeneities at a cell level.
Research Statement - Ronen Feldman

The information age has made it easy to store large amounts of data. The proliferation of documents available on the Web, on corporate intranets, on news wires, and elsewhere is overwhelming. However, while the amount of data available to us is constantly increasing, our ability to absorb and process this information remains constant. Search engines only exacerbate the problem by making more and more documents available in a matter of a few key strokes. Text Mining is a new and exciting research area that tries to solve the information overload problem by using techniques from data mining, machine learning, NLP, IR and knowledge management. Text Mining involves the preprocessing of document collections (text categorization, information extraction, term extraction), the storage of the intermediate representations, the techniques to analyze these intermediate representations (distribution analysis, clustering, trend analysis, association rules etc) and visualization of the results. My research evolves around the various components of text mining. In the following sections I will describe the various research activities that I have done in the recent years and plans for future research. My main motto in research is the combination of theory and practice and indeed in each of the following areas we have developed a complete theory and proved that it actually works in practice by implementing a large scale system based on the theory.