cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Metal distribution, speciation, and bioavailability in stormwater management oil/grit chamber systems and marine receiving waters
Creators: name: Cohen, Tamira
Publisher: name: University of British Columbia
Year: 2009

description: The stormwater management practice of oil/grit chamber systems is utilized to reduce pollutants from urban/industrial runoff to natural waters. Metal determinations (Cu, Zn, Cd, Ni, Pb) were used to test chamber effectiveness, elucidate distribution patterns of total and labile (Cu, Cd, Ni only) metals in water and sediments, and examine influences on metal bioavailability. Water, sediment, and biota analyses revealed chambers do not function adequately in reducing dissolved, fine particulate-bound, colloidal, and DGT-labile metals. Runoff from industrial/commercial areas resulted in elevated bioavailabilities of Cu, Zn, Cd, and Pb. Cu and Zn were of significant concern, especially during the onset of the rainy season. Chamber systems appear to provide some reduction of metalbound coarse particles; however, significant portions of total metals easily flow into receiving water bodies. Furthermore, re-suspension of previously deposited particulate metals within chambers may provide additional opportunities for increased metal dissolution and lability. The diffusive gradient in thin film technique (DGT) used in water provided an indication of high metal discharge and proved to be a good measure of time-integrated average of elevated levels. Consequently, this technique can reflect effective metal means for whole storm event periods. DGT in water also effectively reflected bioavailabilities for the three elements assessed in the order (Cu>Cd»>Ni). For Ni , DGT may be more sensitive in discriminating between sites than bioaccumulations. Comparatively, the sediment DGT technique was not very effective due to large spatial and temporal variabilities; it is not recommended for environmental monitoring work, where these conditions may apply. The barnacle, Balanus glandula, was useful as a biomonitoring species and shows promise for future metal bioavailability work within its geographical range. Variability in metal bioaccumulations was noted as a result of substrata and vertical positioning and should be considered in any future studies using B. glandula as a metal biomonitor. Ideally, contaminant free substrata should be utilized for the prevention of potential influences from naturally occurring surfaces. Altogether, these studies indicate that oil/grit chambers function as poor primary treatments. Better stormwater detention capacity and metal removal processes are necessary to facilitate the goal of metal reduction in stormwater runoff to waterways.
Delta(1232) and Nucleon Spectral Functions in Hot Hadronic Matter
Creators: name: van Hees, Hendrik
name: Rapp, Ralf
Publisher: name: arXiv
Year: 2004
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Modifications of Delta(1232) and nucleon spectral functions at finite temperature and baryon density are evaluated in terms of resonant scattering off thermal pions, as well as a renormalization of the vacuum Delta-width including vertex corrections. The interactions are based on effective Lagrangians of pions and baryon resonances, with underlying parameters (coupling constants and form factors) determined by the elastic pi N scattering phase shift in the isobar channel, and by empirical decay branchings of excited resonances. Pion modifications are included via interactions in a pion gas, as well as standard Delta- and nucleon-hole excitations in nuclear matter. In hot hadronic matter, under conditions resembling thermal freezeout at the Relativistic Heavy-Ion Collider (RHIC), the Delta exhibits a significant broadening of ~65 MeV together with a slight upward peak shift of 5-10 MeV, in qualitative agreement with preliminary data from the STAR collaboration.
description: 7 pages, 5 figures v2: Version accepted for publication in Phys. Lett. B, replaced one figure, added and updated references
The Dual Meissner Effect and Magnetic Displacement Currents
Creators: name: Suzuki, Tsuneo
name: Ishiguro, Katsuya
name: Mori, Yoshihiro
name: Sekido, Toru
Publisher: name: arXiv
Year: 2004
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The dual Meissner effect is observed without monopoles in quenched $SU (2)$ QCD with Landau gauge-fixing. Magnetic displacement currents which are time-dependent Abelian magnetic fields play a role of solenoidal currents squeezing Abelian electric fields. Monopoles are not always necessary to the dual Meissner effect. The squeezing of the electric flux means the dual London equation and the massiveness of the Abelian electric fields as an asymptotic field. The mass generation of the Abelian electric fields is related to a gluon condensate $\neq 0$ of mass dimension 2.
description: 4 pages, 5 Postscript figures, title modified, some references added, minor changes made ; Accepted for publication in Phys.Rev.Lett
WORKING PAPER 16 - Campinos, touros e cheias na lezíria: produção social das representações hegemónicas do Ribatejo
Creators: name: SENA, Pedro Silva
Publisher: name: Zenodo
Year: 2018
Subjects: Representações e estereótipos
Literatura
Nacionalização e regionalização da cultura popular
Região e regionalismo
Ribatejo

description: Resumo Este texto exploratório foi redigido no âmbito da pesquisa de doutoramento intitulada «Cultura Popular, Nacionalismo e Regionalismo: Génese Social da Região em Portugal – o Ribatejo» e aborda, sucintamente, o modo como foram produzidas e se tornaram hegemónicas determinadas representações literárias em torno do Ribatejo no contexto dos processos imbricados de nacionalização e de regionalização da cultura popular. Tais representações, na sua expressão mais estereotípica, reduzem-no a uma paisagem marcada pelo curso e ciclos fluviais do Tejo – revelando-se ora edénica ora diluviana – e a um lugar de camponeses intrépidos e «selvagens» (os campinos) que laboram na produção de gado bovino e cavalar e que participam em diversas práticas tauromáquicas.
Gauge fields and particle-like formations associated with shear-free null congruences
Creators: name: Kassandrov, Vladimir V.
name: Trishin, Vladimir N.
Publisher: name: arXiv
Year: 2004
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider Maxwell fields associated with any shear-free null geodesic congruence on Minkowski or Riemannian background space-time. Bounded singular loci of these fields are treated as particle-like formations, possess "self-quantized" electric charge and undergo self-consistent time dynamics. Complicated singular solutions of Maxwell (as well as related complex Yang-Mills) equations can be obtained in a purely algebraic way using the Kerr theorem.
description: 4 pages, to appear in Proceedings of the Tenth Marcel Grossmann Meeting on General Relativity, 2003
Dilychnia guttula
Creators: name: Vaz, Stephanie
name: Mermudes, José Ricardo M.
name: Paiva, Paulo C.
name: Da Silveira, Luiz Felipe L.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Lampyridae
Dilychnia
Dilychnia guttula

description: DILYCHNIA GUTTULA (FABRICIUS, 1801)
(FIGS 6–9, 18, 22, 24, 25)
Lampyris guttula Fabricius, 1801: 101 (desc.).
Dilychnia basalis Motschulsky, 1854: 7 (desc.); Lacordaire, 1857: 319; Olivier, 1899: 75 (syn.).
description: Published as part of Vaz, Stephanie, Mermudes, José Ricardo M., Paiva, Paulo C. & Da Silveira, Luiz Felipe L., 2020, Systematic review and phylogeny of the firefly genus Dilychnia (Lampyridae: Lampyrinae), with notes on geographical range, pp. 844-888 in Zoological Journal of the Linnean Society 190 on page 867
Estimation Issues in Single Commodity Gravity Trade Models
Creators: name: Prehn, Soren
name: Brümmer, Bernhard
name: Prehn, Soren
name: Brümmer, Bernhard
Publisher: name: Unknown
Year: 2011
Subjects: subject: International Relations/Trade
subject: Gravity Model
subject: Homogeneous Firm Trade Model
subject: Excess Zeros
subject: Overdispersion
subject: Negatively Skewed Distribution
subject: Poisson Quasi Likelihood
subject: Two Part Model

description: Recently gravity trade models are applied to disaggregated trade data. Here many zeros are characteristic. In the presence of excess zeros usual Poisson Pseudo Maximum Likelihood (PPML) is still consistent, the variance covariance matrix however is invalid. Correct economic interpretation however requires also the last. So alternative estimators are looked for. Staub & Winkelmann [2010] argue that zeroinflated count data models (i.e. zero-inflated Poisson / Negative Binomial Pseudo Maximum Likelihood (ZIPPML / ZINBPML)) are no alternative since under model misspecification these estimators are inconsistent. Yet zero-inflated Poisson Quasi- Likelihood (PQL) is a reliable alternative. It is consistent even under model misspecifications and beyond that robust against unobserved heterogeneity. Another alternative is a log-skew-normal Two-Part Model (G2PM) which generalizes the standard log-normal Two-Part Model (2PM). It is insofar advantageous as it adjusts for (negative) skewness and regression coefficients retain usual interpretations as in log-normal models. PQL is useful for multiplicative gravity model estimation and G2PM for log-linear gravity model estimation. Exemplarily the estimators are applied to intra-European piglet trade to assess their empirical performance and applicability for single commodity trade flow analysis. The empirical part favours PQL but G2PM is a reliable alternative for other trade flow analyses. PQL and G2PM should become standard tools for single commodity trade flow analysis.
Holography in string theory
Creators: name: DeBoer, Philip Albert
Publisher: name: University of British Columbia
Year: 2009

description: This thesis presents three aspects of holography, or holographic duality, in string theory. The goal of holography is to describe gravitational theories by field theories in fewer dimensions. Although recently there have been significant strides toward understanding generic holographic dualities between particle theory and gravity, it is not clear how string theory might implement this. In Chapter 2 the role of compact directions in holography is explored. We discover that a generalization of Bousso's prescription is necessary. In this chapter we also discover that holography provides no clear solution to understanding closed timelike curves, unlike earlier speculation. Using holography as a tool, we are able in Chapter 3 to compute the thermal two-point function of the graviton in the dual to a Little String Theory. This is a strongly coupled non-gravitational theory. It exists as a limit of a certain weakly coupled string theory. We find a typical thermal spectrum with no obvious interpretation in terms of particles and bound states. We find evidence supporting a conjecture that this theory is thermodynamically unstable. Finally, in Chapter 4, we investigate the inhomogeneous decay of an unstable D-brane. We study the average number and energy of closed strings emitted during the decay, and confirm that the space-filling D-brane decays completely into lower-dimensional D-branes. One of the long-term goals of this research is to understand how closed-string fluctuations appear in the open-string sector of string theory. This is directly related to the appearance of holography in string theory since gravity appears in the closed-string sector, while the end-points of open strings can be described by field theory.
What would be the estimated current/voltage to run the plate (ITO coated glass plate) to 36 °C. I am foreseeing Maximum Operating Temperature within the range 36 -39 °C.
Creators: name: Sharma, Rishabh
name: Sharma, Shivam
Publisher: name: Zenodo
Year: 2021

description: Reply to query: What would be the estimated current/voltage to run the plate (ITO
 coated glass plate) to 36 °C. I am foreseeing Maximum Operating
 Temperature within the range 36 -39 °C.
title: Better end-to-end object detection in low SNR environments with time-of-flight cameras
Creators: name: Müllner, Bernhard
Publisher: name: TU Wien
Year: 2019
Subjects: subject: Neuronale Netze
subject: Time-of-Flight
subject: Datensatz
subject: neural networks
subject: time-of-flight
subject: dataset

description: Diese Diplomarbeit beschäftigt sich mit dem Problem, dass es keine Datensätze zum Trainieren von neuronalen Netzen gibt, welche mit einer Time-of-Flight Kamera aufgenommen wurden. Solche Datensätze sind aber unerlässlich, um bessere End-zu-End Objekterkennungssysteme, die auf Time-of-Flight Daten basieren, zu entwickeln. Daher wird in dieser Arbeit ein neuer, klar strukturierter Datensatz mit einer Time-of-Flight Kamera aufgenommen, welcher elektrische Handwerkzeuge zeigt. 32 Werkzeuge werden auf drei unterschiedlichen Hintergründen in zwei oder drei verschiedenen Positionen von verschiedenen Winkeln aus aufgenommen. Neben der Klassifizierung der Werkzeuge wird für die circa 100 000 Bilder auch ein Begrenzungsrechteck zur Verfügung gestellt. Zum Testen des aufgenommenen Datensatzes werden zwei Faltungsnetze (englisch: Convolutional Neural Networks) mit diesem trainiert. Des Weiteren wird die Kombination aus Time-of-Flight Daten mit Farbbildern analysiert und implementiert.
description: This diploma thesis deals with the problem, that there is no big dataset available yet, which is usable to train neural networks and is recorded with a time-of-flight camera. Such datasets are necessary to develop better end-to-end object detection networks which use time-of-flight data as input. Therefore, a new, big and clear structured dataset showing electrical handheld power tools is generated. It shows 32 tools on three backgrounds in two or three positions, recorded from different angles. Beside a mapping to a class, a bounding box for each of the nearly 100 000 instances is provided. Additionally, for each recorded time-of-flight depth image, a synchronously taken color image is given. For testing the newly generated dataset, two state of the art convolutional neural networks are trained on it. Moreover, the combination of the time-of-flight sensor and the color sensor is discussed and implemented.
Gaussian polymer chains in a harmonic potential: The path integral approach
Creators: name: Paradezhenko, G V
name: Gascoigne, C
name: Brilliantov, N V
Publisher: name: arXiv
Year: 2020
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Probability (math.PR)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: G.3; J.2
subject: 82D60, 82M31

description: We study conformations of the Gaussian polymer chains in d-dimensional space in the presence of an external field with the harmonic potential. We apply a path integral approach to derive an explicit expression for the probability distribution function of the gyration radius. We calculate this function using Monte Carlo simulations and show that our numerical and theoretical results are in a good agreement for different values of the external field.
Disorder induced transitions in layered Coulomb gases and application to flux lattices in superconductors
Creators: name: Horovitz, Baruch
name: Doussal, Pierre Le
Publisher: name: arXiv
Year: 2004
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: A layered system of charges with logarithmic interaction parallel to the layers and random dipoles in each layer is studied via a variational method and an energy rationale. These methods reproduce the known phase diagram for a single layer where charges unbind by increasing either temperature or disorder, as well as a freezing first order transition within the ordered phase. Increasing interlayer coupling leads to successive transitions in which charge rods correlated in N>1 neighboring layers are unbounded by weaker disorder. Increasing disorder leads to transitions between different N phases. The method is applied to flux lattices in layered superconductors in the limit of vanishing Josephson coupling. The unbinding charges are point defects in the flux lattice, i.e. vacancies or interstitials. We show that short range disorder generates random dipoles for these defects. We predict and accurately locate a disorder-induced defect-unbinding transition with loss of superconducting order, upon increase of disorder. While N=1 charges dominate for most system parameters, we propose that in multi-layer superconductors defect rods can be realized.
description: 26 pages, 6 figures
Rethinking culture and cultural : the politics of meaning-making
Creators: name: Dhamoon, Rita
Publisher: name: University of British Columbia
Year: 2009

description: In North American contemporary political thought, theorists have increasingly turned their attention to questions of identity/difference. In particular, liberal multiculturalism has emerged as the dominant public and normative site to address such questions, specifically those related to claims of culture. I explore two key aspects of the theoretical and historical lacuna in liberal multiculturalism: a) how (through processes of signification) and b) why (as a result of arrangements of power) members of dominant and subordinated social groups are differentially located within specific socio-historical contexts. Through multidisciplinary critical approaches, I analyze liberal multiculturalism both broadly and specifically; this encompasses a critique of two of the leading liberal multicultural theories in the discourse — namely those of Will Kymlicka and Charles Taylor — and an assessment of culture as a central organizing concept. Overall, I explore how and why liberal multiculturalism does not fully grasp the complex terrain of identity/difference politics. At best, I contend, it only partially captures the complexity of issues at stake, and at worst it misunderstands, obscures, and erases multiple dimensions of this politics. This is, however, more than simply a project of criticism; it also a re-conceptualization of the way in which identity/difference politics should be theorized. Chiefly, I argue that a conceptual shift from culture to cultural has the potential to open up theoretical and political considerations closed off by liberal multiculturalism, especially those related to the constitution of identities, difference, non-difference and power. As such, in political theory what distinguishes this project from other critical analyses is not a revision of the culture concept but a shift to an alternate concept. The central contribution of this shift lies in radically repositioning the analytical focus away from the object of culture to the processes of meaning-making that constitute identities and relations. To illuminate the theoretical insights of the shift to cultural I explore a number of case studies. These focus on the processes that signify Deaf, transsexual, immigrant, and Indigenous women's identities. The cases demonstrate that the conceptual shift to cultural has the potential tp expand, interrogate, and complicate the study of identity/difference politics. The final chapter concludes by considering the political implications of the shift to cultural for liberal-democratic principles and practices.
title: Validating an Integrated Microfluidic Model of Subretinal Tissue
Creators: name: Teeples, Teren
Publisher: name: Utah State University
Year: 2024

description: The retina is the tissue in the eye responsible for sensing light in our environment and producing signals that are sent to the brain to be translated into visual images. The photoreceptors are cells in the retina that are highly sensitive to light and responsible for initiating sight. The photoreceptors are supported by the subretina, which consists of the retinal pigment epithelium, Bruch's membrane, and choroid. With age, the structure of the subretina changes, with some layers thickening and others thinning. These structural changes have been associated with age-related eye diseases, but the underlying mechanisms are not well understood.
Age-related macular degeneration is a disease of the subretina and one of the leading causes of blindness in the elderly. In advanced age-related macular degeneration, new blood vessels form in the subretina and invade the interior of the eye. This blood vessel invasion results in progressive cell death, vision loss, and eventual blindness. Treatment options for age-related macular degeneration are limited and only slow the progression of vision loss.
This study focused on constructing a retina-on-a-chip model of the subretina to provide a platform to study early mechanisms of eye diseases such as age-related macular degeneration. Specifically, the chip construction aimed to generate two cell channels separated by a hagfish protein Bruch's membrane model. The hagfish protein membrane mimics the structure of the Bruch's membrane in the eye. Results show the successful inclusion of the hagfish protein membrane within the device. The membrane supported independent fluid flow in each individual cell channel. The top cell channel was able to support retinal cell culture. These results expand the applications of retina-on-a-chip models by incorporating a protein-based membrane with similar physical properties to Bruch's membrane in the eye. Additionally, the constructed model provides a foundation for the development of a more representative model of the subretina.
Structural Change and Landscape Appearance
Creators: name: Kapfer, Martin
name: Ziesel, Sigrid
name: Kantelhardt, Jochen
name: Kapfer, Martin
name: Ziesel, Sigrid
name: Kantelhardt, Jochen
Publisher: name: Unknown
Year: 2011
Subjects: subject: Land Economics/Use
subject: scenario analyses
subject: structural change
subject: landscape visualisation

description: Our study examines the potential developments of cultural landscapes, taking into consideration various economic and social conditions (scenarios). The study takes place in three project regions which represent typical landscapes in Southern Germany and Austria. In each project area, the influence of a changing economic and political framework is analysed. The following scenarios are defined: (1) status quo (current economic and agri-political framework); (2) high-producer prices and constant (or even increasing) direct payments; and (3) low-producer prices and no (or very low) direct payments. In all three regions, potential production responses are estimated for all farms and aggregated on a regional level. The estimation takes into account social and economic parameters such as cash flow, size and type of farms, age of farmers and workload. The results show that the impact of the changing agro-economic environment differs in particular on the level of the study regions. Due to a lack of production alternatives, agricultural production in grassland areas is very unstable – especially if site conditions are unfavourable and economic conditions are disadvantageous. As a result, largescale abandonment of agriculture is likely in lowyield grassland areas and consequences for landscape appearance might be dramatic. In highyield grassland areas, agriculture is much more stable. However, under very disadvantageous conditions the extent of farms giving-up production is as high as in marginal grassland regions. Nevertheless one cannot expect large-scale set aside, because remaining farmers use the possibility of growth and lease a considerable quantity of land In contrast to this, farm structure in the arable regions is stable due to a high potential of production alternatives. However, landscape appearance may also change dramatically in this region due to the increasing importance of maize.
Diffusion-annihilation processes in complex networks
Creators: name: Catanzaro, Michele
name: Boguna, Marian
name: Pastor-Satorras, Romualdo
Publisher: name: arXiv
Year: 2004
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We present a detailed analytical study of the $A+A\to\emptyset$ diffusion-annihilation process in complex networks. By means of microscopic arguments, we derive a set of rate equations for the density of $A$ particles in vertices of a given degree, valid for any generic degree distribution, and which we solve for uncorrelated networks. For homogeneous networks (with bounded fluctuations), we recover the standard mean-field solution, i.e. a particle density decreasing as the inverse of time. For heterogeneous (scale-free networks) in the infinite network size limit, we obtain instead a density decreasing as a power-law, with an exponent depending on the degree distribution. We also analyze the role of finite size effects, showing that any finite scale-free network leads to the mean-field behavior, with a prefactor depending on the network size. We check our analytical predictions with extensive numerical simulations on homogeneous networks with Poisson degree distribution and scale-free networks with different degree exponents.
description: 9 pages, 5 EPS figures
A Step in the Direction of Resolving the Paradox of Perdew-Zunger Self-interaction Correction. II. Gauge Consistency of the Energy Density at Three Levels of Approximation
Creators: name: Bhattarai, Puskar
name: Wagle, Kamal
name: Shahi, Chandra
name: Yamamoto, Yoh
name: Romero, Selim
name: Santra, Biswajit
name: Zope, Rajendra R.
name: Peralta, Juan E.
name: Jackson, Koblar A.
name: Perdew, John P.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: The Perdew-Zunger(PZ) self-interaction correction (SIC) was designed to correct the one-electron limit of any approximate density functional for the exchange-correlation (xc) energy, while yielding no correction to the exact functional. Unfortunately, it spoils the slowly-varying-in-space limits of the uncorrected approximate functionals, where those functionals are right by construction. The right limits can be restored by locally scaling down the energy density of the PZ SIC in many-electron regions, but then a spurious correction to the exact functional would be found unless the self-Hartree and exact self-xc terms of the PZ SIC energy density were expressed in the same gauge. Only the local density approximation satisfies the same-gauge condition for the energy density, which explains why the recent local-scaling SIC (LSIC) is found here to work excellently for atoms and molecules only with this basic approximation, and not with the more advanced generalized gradient approximations (GGAs) and meta-GGAs, which lose the Hartree gauge via simplifying integrations by parts. The transformation of energy density that achieves the Hartree gauge for the exact xc functional can also be applied to approximate functionals. Doing so leads to a simple scaled-down self-interaction (sdSIC) correction that is typically much more accurate than PZ SIC in tests for many molecular properties (including equilibrium bond lengths). The present work shows unambiguously that the largest errors of PZ SIC applied to standard functionals at three levels of approximation can be removed by restoring their correct slowly-varying-density limits. It also confirms the relevance of these limits to atoms and molecules.
description: 21 pages, 2 figures
A Dual Response Choice Experiments (DRCE) design to assess rabbit meat preference in Catalonia: A Heteroescedatistic Extreme-Value Model
Creators: name: Kallas, Zein
name: Maria Gil, Jose
name: Kallas, Zein
name: Maria Gil, Jose
Publisher: name: Unknown
Year: 2011
Subjects: Consumer/Household Economics
Food Consumption/Nutrition/Food Safety

description: Our paper analyzes consumer preferences toward fresh rabbit meat and alternative marketing formats for rabbit meat. The empirical analysis uses consumer-level questionnaires to elicit information regarding consumer attitudes toward rabbit meat in Catalonia (Spain). We use the Dual Response Choice Experiment (DRCE) design which allows for analyzing forced and unforced options in choice experiments using the same sample. The Heteroscedastic Extreme- Value (HEV) model is used due to its relaxation of the restrictive assumption made in the Multinomial Logit Model regarding the identically distributed error term across alternatives. Our results demonstrate a higher preference for rabbit meat from “Catalan” origin followed by higher quality certification information. Convenience and “ready to eat” products made from rabbit meat may help bolster increased consumption. An effective communication campaign is needed to educate individuals regarding the health characteristics of rabbit compared to other types of meat. Furthermore, results demonstrate that the ordering of attributes is not significantly different from forced and non-forced choices obtained from the DRCE design. However, significant differences on the magnitude of the preferences for some attributes’ levels are found.
title: Subsumption demodulation in first-order theorem proving
Creators: name: Rath, Jakob
Publisher: name: TU Wien
Year: 2019
Subjects: subject: formal methods
subject: software verification
subject: automated reasoning
subject: first-order theorem proving
subject: formal methods
subject: software verification
subject: automated reasoning
subject: first-order theorem proving

description: in der modernen Gesellschaft. Die formale Software-Verifikation versucht, basierend auf logischem Schließen, verschiedene Anforderungen an die Korrektheit von Software mathematisch zu beweisen. Da jedoch das manuelle Beweisen solcher Aussagen mühsam und fehleranfällig ist, ist es erforderlich diese Aufgabe zu automatisieren, beispielsweise durch die Verwendung von automatischen Beweisern. Moderne automatische Beweiser für Logik erster Stufe mit Gleichheit sind bereits leistungsstarke Werkzeuge des automatischen Schließens. Allerdings stoßen die verfügbaren Systeme bei Problemen, die aus der Software-Verifikation kommen, noch häufig an ihre Grenzen. Insbesondere kann eine große Anzahl von bedingten Gleichungen Schwierigkeiten bereiten. Zur Verbesserung dieser Situation präsentieren wir in der vorliegenden Diplomarbeit eine neue Inferenzregel namens Subsumption Demodulation für Logik erster Stufe. Die grundlegende Idee von Subsumption Demodulation besteht darin, bedingte Gleichungen heranzuziehen um Terme in Klauseln, die die Bedingungen der Gleichung erfüllen, zu vereinfachen. Wir implementieren und evaluieren Forward Subsumption Demodulation mit Hilfe des auf dem Superpositionskalkül basierenden automatischen Beweisers Vampire. Erste Ergebnisse zeigen, dass Beweiser für Logik erster Stufe mit Forward Subsumption Demodulation neue Probleme lösen können, die bisher nicht von existierenden automatischen Beweisern gelöst werden konnten.
description: Ensuring correctness of software is becoming increasingly important in modern society, but still poses a difficult challenge. Reasoning-based software verification addresses this challenge by proving various requirements on software correctness. Performing such proofs manually is however tedious and error-prone, calling for the need to automate software correctness proofs, for example by using automated theorem provers. State-of-the-art first-order theorem provers for first-order logic with equality are powerful automated reasoning tools. However, there are still limitations concerning problem encodings that arise from software verification. In particular, a large number of conditional equalities can be problematic. In order to improve the situation, in this thesis we introduce a new inference rule in first-order theorem proving, called subsumption demodulation. The idea of subsumption demodulation is to use conditional equalities to simplify terms in clauses where the conditions are satisfied. We implement and evaluate forward subsumption demodulation using the superposition-based theorem prover Vampire. Our initial results show that forward subsumption demodulation in first-order theorem proving can solve many new problems that could so far not be solved by existing automated reasoners.
title: Take a Seat: The Impact of Three Classroom Seating Arrangements on Individual Student Performance
Creators: name: Camacho, Mikayla
Publisher: name: Utah State University
Year: 2024

description: This study tested three common classroom seating arrangements: rows and columns, groups, and semicircle. It tested various seating arrangements to determine which one works best for young students who struggle with staying on task and tend to be disruptive. Researchers also studied if students did their work correctly and finished on time and what both students and teachers thought about the seating arrangements. Four students were observed in the different seating arrangements, and 10 students and one teacher were asked to answer questions about the different types of seating arrangements. The students' focus and behavior improved with semicircle seating; whereas, group seating proved to be less than ideal. The students' work did not change much, but participants had unique opinions about the best seating arrangement.
The Invasibility and Invadedness of Eastern U.S. Forest Types
Creators: name: Riitters, Kurt H.
name: Potter, Kevin
Publisher: name: figshare
Year: 2020
Subjects: subject: 70505 Forestry Pests, Health and Diseases
subject: FOS: Agriculture, forestry and fisheries
subject: 50103 Invasive Species Ecology
subject: FOS: Earth and related environmental sciences

description: Invasive plant species can cause a variety of undesirable changes in forest health simply by altering forest species composition, and a large proportion of rural forest in the Eastern United States already contains harmful invasive plant species. The statistical power of the Forest Inventory and Analysis (FIA) forest inventory system was combined with the predictive power of a plot-level plant invasion model to compare forest types in the Eastern United States with respect to the likelihood that they contain invasive forest plants, and to evaluate the relative roles of public versus private forest ownership for conserving the uninvaded forest area . Half of the total area of 74 forest types was found to be invaded, with invasions almost twice as likely on privately owned land than on publicly owned land. Individual forest types varied widely in terms of historical invasions, but ownership alone was the deciding factor for the most-invaded forest types. There were no forest types for which a remediation focus on public land would be efficient, i.e., consideration of privately owned lands is probably necessary for controlling invasive plants. For the least-invaded forest types, there were several instances for which the efficiency of a conservation focus on either public or private land would depend on the forest type.
title: Machine learning in manufacturing : an outline of machine learning fundamentals and concepts in manufacturing, validated by the implementation of a real-life use case in the production of a midsize company
Creators: name: Giner, Jakob
Publisher: name: TU Wien
Year: 2019
Subjects: subject: Maschinelles Lernen
subject: Machine Learning

description: Machine learning has been applied successfully in recent years in applications in manufacturing such as monitoring of real-time data, detecting and interpreting patterns in data or as part of decision-making support systems. Industrial manufacturing is currently experiencing an unprece-dented trend towards digitalization, commonly referred to as Industry 4.0 and machine learning, as an aspect of artificial intelligence, is believed to play a decisive role in it. The work is divided into a theoretical and a practical part. In the theoretical part an outline of machine learning with a special focus on machine learning in manufacturing is given. Different learning types are explained and different classes of algorithms are described and summed up in an illustrative overview. Challenges and opportunities of machine learning in manufacturing are identified as well as concepts to facilitate the execution of machine learning projects. Finally, the current state-of-the-art of machine learning in manufacturing is investigated. In the practical part results and concepts found in the theoretical part are tested and proofed on their applicability in a real-life environment by implementing an unsupervised outlier detection for welding data. The machine learning project is carried out according to the cross-industrial standard process for data mining (CRISP-DM). In a first step welding data is analysed, pre-processed and fit to a standard-ized format. Subsequently, two different approaches for outlier detection models are implemented and compared, namely local outlier factor (LOF) and one-class SVM. To conclude, both parts of the work are summed up and main findings are pointed out. Furthermore, an outlook on possible further actions is given.
Learning to Charge RF-Energy Harvesting Devices in WiFi Networks
Creators: name: Luo, Yizhou
name: Chin, Kwan-Wu
Publisher: name: arXiv
Year: 2020
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Machine Learning (cs.LG)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: In this paper, we consider a solar-powered Access Point (AP) that is tasked with supporting both non-energy harvesting or legacy data users such as laptops, and devices with Radio Frequency (RF)-energy harvesting and sensing capabilities. We propose two solutions that enable the AP to manage its harvested energy via transmit power control and also ensure devices perform sensing tasks frequently. Advantageously, our solutions are suitable for current wireless networks and do not require perfect channel gain information or non-causal energy arrival at devices. The first solution uses a deep Q-network (DQN) whilst the second solution uses Model Predictive Control (MPC) to control the AP's transmit power. Our results show that our DQN and MPC solutions improve energy efficiency and user satisfaction by respectively 16% to 35%, and 10% to 42% as compared to competing algorithms.
The Agrarian Trade Transformation in the Visegrad Countries
Creators: name: Qineti, Artan
name: Smutka, Lubos
name: Qineti, Artan
name: Smutka, Lubos
Publisher: name: Unknown
Year: 2011
Subjects: subject: International Relations/Trade
subject: Agrarian Trade
subject: Visegrad Countries
subject: European Union.

description: This paper identifies and analyzes the changes that have occurred in terms of territorial and commodity structure of agrarian trade (exports) of countries of the Visegrad Group (or V4 -i.e. Czech Republic, Poland, Hungary and Slovakia) in the period 1993-2008. In terms of methodological approaches, the analysis is divided into several parts dealing with the development of the agrarian trade of the Visegrad Group in terms of commodity and territorial structure, as well as from the perspective of the sensitivity of agrarian trade (exports) to the changing economic environment. The paper concludes that in recent years, both the value and volume of V4 export and import operations increased significantly. In the case of exports, individual countries have managed increasing its volumes of exported sophisticated products. The share of current EU members on the value of V4 agricultural trade is increasing at the expense of trade with "third countries". EU accession and its common market forced all analyzed V4 countries to restructure the export commodity structure and most of them (excluding Hungary) have been able to export in the EU market sophisticated products with higher unit prices. It is expected that with the intensification of V4 integration within the EU single market, prices of agrarian exports will rise further. V4 countries are going through a gradual process of specialization of exports of a limited number of aggregate commodity groups. Various specific factors might cause an overall restructuring of the agrarian sector and foreign trade activities in the V4 countries.
Host Galaxies of Gamma-Ray Bursts and their Cosmological Evolution
Creators: name: Courty, Stephanie
name: Bjornsson, Gunnlaugur
name: Gudmundsson, Einar H.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We use numerical simulations of large scale structure formation to explore the cosmological properties of Gamma-Ray Burst (GRB) host galaxies. Among the different sub-populations found in the simulations, we identify the host galaxies as the most efficient star-forming objects, i.e. galaxies with high specific star formation rates. We find that the host candidates are low-mass, young galaxies with low to moderate star formation rate. These properties are consistent with those observed in GRB hosts, most of which are sub-luminous, blue galaxies. Assuming that host candidates are galaxies with high star formation rates would have given conclusions inconsistent with the observations. The specific star formation rate, given a galaxy mass, is shown to increase as the redshift increases. The low mass of the putative hosts makes them difficult to detect with present day telescopes and the probability density function of the specific star formation rate is predicted to change depending on whether or not these galaxies are observed.
description: 11 pages, 10 figures. Accepted for publication in MNRAS
title: Synthesis and photophysical properties of luminescent supramolecular systems
Creators: name: Song, Boyi
Publisher: name: University of St Andrews
Year: 2018

description: Supramolecular chemistry has been developed in decades, and a large number of well-defined structures have been built by the utilizing of hydrogen bonds, coordination bonds and etc. However, the research on their photophysical properties is still rare. The high concentration of chromophores in supramolecular structures makes it possible to research the interactions between emitters in designed configurations, which is difficult to be achieved in traditional methods. Also, the localized luminescent units in individual sites of supramolecular systems can decrease the self-quenching of emitters theoretically, and their photoluminescence quantum yields (PLQYs) are expected to be improved. This thesis focuses on synthesizing and exploring the photophysical properties of photoactive supramolecular systems, and contains work in three major areas. Firstly, a series of water soluble iridium complexes with terminal adamantyl groups were synthesized and used in the self-assembly with cyclodextrin vesicles (CDVs) through weak interactions. The effects on their photophysical properties brought by the interactions between CDV surface and iridium complexes were studied, as well as their potential application as bio-imaging probes. As expected, this group of iridium complexes showed enhanced emission intensity after being anchored to the CDV surface, and aggregated to perinuclear region in cell culture experiments. The second part involved the synthesis of an iridium complex based metalloligand, which was used to construct a supramolecular cage. The photophysical properties of both metalloligand and coordination cage were explored. Even though the photophysical properties of supramolecular cage were not improved compared with its unit complex, this system provided a different configuration to a former supramolecular system which was built from similar metalloligands and published by our group. The final part is the study of a series of luminescent [2+2] Schiff-base macrocycles. These macrocycles were synthesized from carbazole based luminescent dialdehyde molecules, and the photophysical properties of building units and macrocycles were measured in solution and solid states. These macrocycles also exhibited specific recognitions to Fe (III) in aqueous systems as luminescent probes.
title: Comparing social media topics of interest associated with places according to user’s origin
Creators: name: Athanasiou, Maria
Publisher: name: TU Wien
Year: 2019
Subjects: subject: Geosocial media
subject: areas of interest
subject: semantics extraction
subject: Natural Language Processing

description: The main theme of the current master thesis is to compare Social Media Topics of Interest associated with Points of Interest according to users origin. It is implemented in the two basic phases. The first phase includes the extraction and visualization of the Topics of Interest from Wikipedia Articles, Flickr and Twitter. The second phase deals with the determination of the similarity between Flickr, Twitter and Wikipedia Articles. The analysis of Wikipedia articles involves the selection of prominent Point of Interests of the city of Vienna and the collection of Wikipedia Articles in German and English language for them. The extraction of the Topics of Interest based on an online tool of creating wordclouds. The next step is to obtain the top ten Topics of Interest or Terms per Point of Interest in both versions (English and German). The visualization of the Topics of Interest or Terms takes place by adding the georeferenced wordclouds to the map. Tables, bar charts, and pie charts depict the most frequent Topics of Interest or Terms. The analysis of the Geosocial Media data divided into two groups. The first analysis refers to the data derived from Twitter and the second refers to the data derived from Flickr. The analysis of Twitter data contains the clustering of the data by using HDBSCAN algorithm, the extraction of the number of clusters that are related to the Points of Interest and the aggregation of tweets within “related” clusters. The final step of the procedure is to obtain the top ten Topics of Interest or Terms for the related to clusters in English and German language. The most frequent terms depicted with the assistance of tables and bar charts. The analysis of the Flickr data contains the clustering of the data by using HDBSCAN algorithm, the extraction of the number of clusters that are related to the Points of Interest and the aggregation of posts within the “related” clusters. The last step of the process is to obtain the top ten Topics of Interest or Terms for the related clusters. Tables and bar charts are the tools that help us to depict the most frequent terms. The similarity is “measured” by calculating the frequency of appearance of the Topics of Interest or Terms. The comparison of the percentages of the top ten Terms or Topics of Interest between Twitter, Wikipedia and Flicker is the key to define the similarity. In the current thesis the comparison based into two groups. The first group is Twitter-Wikipedia and the second group is Flicker-Twitter.