cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A finitedimensional version of Fredholm representations
Creators: name: Manuilov, V.
Publisher: name: arXiv
Year: 2016
Subjects: subject: K-Theory and Homology (math.KT)
subject: Operator Algebras (math.OA)
subject: FOS: Mathematics
subject: 19K99, 46L80

description: We consider pairs of maps from a discrete group to the unitary group. The deficiencies of these maps from being homomorphisms may be great, but if they are close to each other then we call such pairs balanced. We show that balanced pairs determine elements in the K-theory group of the classifying space of the discrete group. We also show that a Fredholm representation determines balanced pairs.
description: 7 pages
title: Pacinian corpuscle hyperplasia
Creators: name: Poças, Pedro
Publisher: name: EURORAD
Year: 2024
Subjects: subject: Musculoskeletal system
subject: Extremities
subject: Musculoskeletal soft tissue
subject: MR
subject: Clinical Case

description: Clinical History: A 58-year-old woman who had worked as a store operator presented with recurring episodes of tenderness on the volar aspect of her left hand for the past two years, which she described as a “burning” or “tingling” sensation. She also described the appearance of subcutaneous tender lumps during those episodes, mainly around the metacarpophalangeal joints and proximal fingers, which then resolved. On presentation, her physical examination was unremarkable, and there was no other relevant past medical history.

description: 58 years, female
Non-LTE iron abundances in cool stars: The role of hydrogen collisions
Creators: name: Ezzeddine, Rana
name: Merle, Thibault
name: Plez, Bertrand
Publisher: name: arXiv
Year: 2015
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: In the aim of determining accurate iron abundances in stars, this work is meant to empirically calibrate H-collision cross-sections with iron, where no quantum mechanical calculations have been published yet. Thus, a new iron model atom has been developed, which includes hydrogen collisions for excitation, ionization and charge transfer processes. We show that collisions with hydrogen leading to charge transfer are important for an accurate non-LTE modeling. We apply our calculations on several benchmark stars including the Sun, the metal-rich star α Cen A and the metal-poor star HD140283.
Chiral Electroweak Currents in Nuclei
Creators: name: Riska, D. O.
name: Schiavilla, R.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The development of the chiral dynamics based description of nuclear electroweak currents is reviewed. Gerald E. (Gerry) Brown's role in basing theoretical nuclear physics on chiral Lagrangians is emphasized. Illustrative examples of the successful description of electroweak observables of light nuclei obtained from chiral effective field theory are presented.
description: 34 pages, chapter for Gerry Brown memorial book
Eilenberg--Moore Monoids and Backtracking Monad Transformers
Creators: name: Piróg, Maciej
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: We develop an algebraic underpinning of backtracking monad transformers in the general setting of monoidal categories. As our main technical device, we introduce Eilenberg--Moore monoids, which combine monoids with algebras for strong monads. We show that Eilenberg--Moore monoids coincide with algebras for the list monad transformer ('done right') known from Haskell libraries. From this, we obtain a number of results, including the facts that the list monad transformer is indeed a monad, a transformer, and an instance of the MonadPlus class. Finally, we construct an Eilenberg--Moore monoid of endomorphisms, which, via the codensity monad construction, yields a continuation-based implementation a la Hinze.
description: In Proceedings MSFP 2016, arXiv:1604.00384
Three Essays On Energy And Development Economics
Creators: name: SIKDER, ARJITA
Publisher: name: Monash University
Year: 2023
Subjects: classificationCode: 460606
subject: Energy-efficient computing
classificationCode: 310503
subject: Developmental genetics (incl. sex determination)

description: This dissertation includes three chapters related to energy use and its impact on the economy and society. The first essay investigates the factors driving the adoption of rooftop solar in Australia, while the second essay explores the connection between energy consumption and female education in India. The third essay examines the determinants of energy productivity and identifies different convergence clubs across major regions. The findings highlight the need for effective policies to promote a sustainable energy transition towards renewables for Australian households promote female education in India and the role of energy and finally improve energy efficiency across the six major global regions and identify the convergence clubs.
Campodea (Paurocampa) rocasolanoi Silvestri 1932
Creators: name: Sendra, Alberto
name: Reboleira, Ana Sofia P. S.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Diplura
Campodeidae
Campodea
Campodea rocasolanoi

description: Campodea (Paurocampa) rocasolanoi Silvestri, 1932
Campodea (Paurocampa) rocasolanoi Silvestri, 1932: 159, fig. XIX.
Diagnosis (Silvestri 1932a; Condé 1947c; Condé & Mathieu 1957; Bareth 2006)
Body length 2.0–4.0 mm; epicuticle with microdenticles; short clothing setae with small distal barb; antennae with 16–21 antennomeres; sensillum of third antennomere in dorsal position; middle-sized, barbed pronotal macrosetae; thin pine cone marginal setae; 1+1 la, 1+1 lp macrosetae on VII urotergite; 3+3 lp on VIII urotergite and 5+5 lp on IX abdominal segment; cerci shorter than body with 10–15 articles covered in middle-sized macrosetae with barbs along distal half on proximal articles with abundant short smooth setae, but on distal articles only abundant setae.
Habitat and distribution
Soil-dwelling species with a preference for the upper layers of the soil but also found in its distribution area on colluvial scree slopes habitats (Sendra et al. 2017a). It is distributed in the western half of the Pyrenees Mountains (Condé 1947c; Condé & Mathieu 1957), extending towards to the Cantabrian and Iberian Mountains (Sendra & Moreno 2006). The record from the Dinaric Mountains (Blesić 2000a) should be carefully revised with new material from those localities.
description: Published as part of Sendra, Alberto & Reboleira, Ana Sofia P. S., 2020, Euro-Mediterranean fauna of Campodeinae (Campodeidae, Diplura), pp. 1-130 in European Journal of Taxonomy 728 on page 87, DOI: 10.5852/ejt.2020.728.1181, http://zenodo.org/record/4316883
title: Make it Beautiful, Make it Useful: Creative Research Poster Design Webinar Recording.mp4
Creators: name: Clement, Kristina
Publisher: name: University of Wyoming
Year: 2024

description: Want to learn how to make your research posters for conferences and class assignments more beautiful, while still being useful? Then this is the workshop for you. Workshop attendees will be introduced to several techniques and easy graphic design programs that can help you create beautiful, communicative, and useful research posters. The workshop will also go over best practices for designing posters, including how to balance visual elements with text, accessibility considerations, and layouts.
The effects of expiry-based promotions on consumer purchase decisions in grocery stores
Creators: name: LELE, BHARATI MILIND
Publisher: name: Monash University
Year: 2023
Subjects: classificationCode: 520402
subject: Decision making
classificationCode: 300606
subject: Food sustainability
classificationCode: 350601
subject: Consumer behaviour

description: The current research investigates the influence of quick sale promotions, affect and perceptions of risk and quality on consumers’ purchase intentions for perishables close to expiry. Four experimental studies show that consumers are less likely to purchase perishables when they are marked as quick sale promotions than when they are not so marked. This is due to perceived differences in risk, quality, and valence. The results inform retailers how to better manage communications about their perishables.
On the initial condition of inflationary fluctuations
Creators: name: Jiang, Hongliang
name: Wang, Yi
name: Zhou, Siyi
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: It is usually assumed that the inflationary fluctuations start from the Bunch-Davies (BD) vacuum and the $i\varepsilon$ prescription is used when interactions are calculated. We show that those assumptions can be verified explicitly by calculating the loop corrections to the inflationary two-point and three-point correlation functions. Those loop corrections can be resumed to exponential factors, which suppress non-BD coefficients and behave as the $i\varepsilon$ factor for the case of the BD initial condition. A new technique of loop chain diagram resummation is developed for this purpose. For the non-BD initial conditions which is setup at finite time and has not fully decayed, explicit correction to the two-point and three-point correlation functions are calculated. Especially, non-Gaussianity in the folded limit is regularized due to the interactions.
description: 37 pages, 11 figures, an extension of previous work http://arxiv.org/abs/1507.05193
Influence of Specimen Size on the Tear Strength of Fabrics by the Trapezoid Procedure
Creators: Munevar-Ortiz L.
Batcheller J.
Dolez P.I.
Publisher: name: University of Alberta Library
Year: 2023

Tear strength is an important fabric characteristic used to evaluate the serviceability of textile

materials and their suitability for particular end uses such as protective clothing. In this study, the

effect of test specimen size on tear strength was analyzed. The aim was to determine whether

smaller specimens could be used to perform tear strength tests without significantly affecting the

test results. The ASTM D5587-15, Standard Test Method for Tearing Strength of Fabrics by

Trapezoid Procedure, was followed using the standard test specimen size and three smaller sizes.

The geometrical characteristics, i.e., trapezoid angle, length of smaller base, and notch length,

were unchanged in the smaller specimens, and only the tearing distance through the specimen

became shorter as the specimen size was reduced. The test was performed on three fabrics with

different structures: plain weave, ripstop, and ripstop with a laminated polymer membrane.

Statistical analysis based on the analysis of variance and multiple comparison tests were used

to interpret the data. For the plain weave, and ripstop fabrics tested in the warp direction, the

results showed no difference in the mean tear strength between the standard-sized specimens

and smaller specimens as long as the specimen size did not fall below 55 by 110 mm. Below this

size, the distance over which the tear strength was measured became too short for enough high

peaks to be recorded and used in calculating the average tearing strength of each specimen. For

the laminated fabric tested in both the warp and weft directions, and for the plain weave and

ripstop fabrics tested in the weft direction, there were no statistical differences in the mean tear

strength between the four specimen sizes, including the smallest size (45 by 90 mm). These

results support the use of smaller specimens to accurately determine the trapezoidal tear

strength of fabrics when the amount of material available for testing is limited
Three Essays on Microfinance
Creators: name: PHATRAPHUMPAKDEE, PANUNYA
Publisher: name: Monash University
Year: 2023
Subjects: classificationCode: 350202
subject: Finance
classificationCode: 350204
subject: Financial institutions (incl. banking)

description: Microfinance facilitates access to financial products and services for low-income households as well as those who are unable to access traditional banks. This thesis examines factors that can influence microfinance institutions’ performance, their commitment to social causes and their loan prices.
Ubiquity in Time and Architectural Space
Creators: name: Lara, Ivan Segura
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: Digital technology has produced radical changes in behavior. Through smartphones, we no longer live in the here and now that makes each moment a present outside of time. We move into states of alternative consciousness, which are states of concentration and states of distraction. We are here and there, without being fully anywhere. This notion of space has been disrupted by the irruption of virtual realities, with tools that allow immersion in simulated realities that have the potential to transform faster than what our senses could encompass with the real body. Architectural designers have found tools for drawing and immersion in imaginary spaces that transform in real time according to the needs of a clientele or creation projects. This is how today we can, through virtual images, simulate architectural spaces to represent work spaces. This potential of the virtual gives rise to activities such as those of the so-called « digital nomads, who are professionals who break the barriers of presence in sectors such as technology, programming, digital marketing, design or consulting. » We will show the other side of this development of the virtual world by studying the architectural setting of the city of Wuhan.


The health crisis that produced profound changes in behavior and work activities allowed the development of "remote" activities that at the time off-set the needs of employment and services due to the impossibility to be present. Having been actors at the very heart of the origin of this crisis as was Wuhan, we are living a real experience of the aftermath that these limitations of remote work brought, and the temporary alternatives used to overcome the crisis. Today, we see the negative effects on the population expressed through self-absorbed, internalized and abstracted behavior from the real environment due to continuous immersion in phones and digital devices. There are also negative effects seen in the physical space of the city with the drop in real estate investment and construction. We will, through our experience as photographic researchers in architecture and urban scenery, present the way in which a before and after of the crisis is represented in the architecture under construction.


We will see the image of a city that was promised daily changes and that now shows a static construction where the skeletons of unfinished and abandoned buildings are widespread in the city, producing an unprecedented archeology emerging in the urban scenery. In this way, a ubiquity of time and space will appear. Spaces of non-place (non-lieux), which are there but are not and do not offer any function. And only nature can recover its rights.
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
Digitally-Mediated Mothering: An Ethnography of Health and Parenting Groups on Facebook
Creators: name: Wellstead, Darryn Anne
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2020
Subjects: subject: Mothering
subject: Sociology
subject: FOS: Sociology
subject: Social media
subject: Health
subject: Parenting
subject: Online groups
subject: Internet ethnography
subject: Qualitative research
subject: Vaccination
subject: Evidence-based medicine
subject: Facebook
subject: Gender
subject: Digital sociology
subject: Digital methods
subject: Intensive mothering
subject: Health beliefs
subject: Emotions
subject: Emotion management

description: Research over the last several decades offers clear evidence that mothers experience considerable pressure in carrying out the expectations of contemporary mothering, including expanded responsibilities relating to child and family health (Hays, 1996; Wolf, 2013). While we know that these pressures produce negative impacts, we know less about the strategies and tools mothers use to cope with these anxieties as they try to "do it right" (Villalobos, 2014). At the same time, research suggests that mothering is increasingly digitally-embedded, as mothers look to the internet and social media for information and support (Schoppe-Sullivan et al., 2017). This study thus explores how mothers use Facebook groups to inform health and parenting decisions. Drawing on data generated through a digital ethnography incorporating 18 months of participant observation, discourse analysis, and interviews with 29 mothers across two sets of divergent, specialized sets of Facebook groups (focusing on “evidence-based” and “natural” health and parenting), I advance three key, interconnected arguments. First, I apply theories of boundaries and boundary-work to show how specialized Facebook groups become persuasive ideological spaces for mothers who seek certainty around their healthcare beliefs and decisions. Next, I apply the concept of echo chambers to argue that mothers involved with these specialized Facebook groups engage in siloed health learning that shapes health beliefs, decisions, and even conversations with healthcare providers. Finally, I show how mothers engage in a form of digitally-mediated emotion management by turning Facebook groups that confirm their parenting ideology in order to alleviate anxieties associated with neoliberalism and individualist parenting, and to feel better about their maternal performance. I ultimately conclude that the turn to digital platforms for certainty, reassurance, and good feelings is both a logical expression and a reflection of the latest wave of maternal responsibilization.
Ανίχνευση περιοχών που επλήγησαν από δασικές πυρκαγιές με τη βοήθεια δορυφορικών δεδομένων
Creators: name: Γκιουλέκα Αθανασία Γεωργίου
Publisher: name: Aristotle University of Thessaloniki
Year: 2022
Subjects: Ανίχνευση
Δασικές πυρκαγιές
Δορυφορικά Δεδομένα
Detecting
Forest Fires
Satellite Data

description: Οι δασικές πυρκαγιές είναι ένα μείζον περιβαλλοντικό θέμα, το οποίο τα τελευταία χρόνια παρουσιάζει μεγάλη επιδείνωση. Η διαχείριση των περιοχών που επλήγησαν από δασικές πυρκαγιές, ώστε να αντιμετωπιστούν οι πιθανές καταστροφικές συνέπειές τους, προϋποθέτει τη διαθεσιμότητα αξιόπιστης σχετικής πληροφόρησης. Η δορυφορική τηλεπισκόπηση συμβάλει προς αυτή την κατεύθυνση δίνοντας δυνατότητες ανίχνευσης, παρακολούθησης και διαχείρισης των περιοχών αυτών. Στη διπλωματική αυτή εργασία γίνεται κατ΄ αρχήν αναφορά στις δασικές πυρκαγιές, στις κατηγορίες τους, στις συνέπειες τους και στις πιθανές επιπτώσεις στις περιοχές που επλήγησαν. Επίσης, γίνεται αναφορά σε βασικές έννοιες της τηλεπισκόπησης. Στη συνέχεια αναφέρονται οι δορυφόροι, που χρησιμοποιούνται συνήθως για την ανίχνευση και παρακολούθηση των δασικών πυρκαγιών, όπως Terra, Landsat κτλ. καθώς και σχετικά δορυφορικά συστήματα. Γίνεται ειδικότερη αναφορά στο Ευρωπαϊκό Πρόγραμμα Copernicus, το οποίο έχει μεγάλη συμβολή στη διερεύνηση γενικότερα περιβαλλοντικών θεμάτων και ειδικότερα των δασικών πυρκαγιών, στο ευρωπαϊκό σύστημα πληροφόρησης για τις δασικές πυρκαγιές (EFFIS) και στο παγκόσμιο σύστημα πληροφοριών για τις δασικές πυρκαγιές (GWIS). Η εργασία περιλαμβάνει επίσης σχετικές περιπτώσεις μελέτης μετά από διερεύνηση της διεθνούς βιβλιογραφίας και ολοκληρώνεται με περίπτωση μελέτης από τον ελλαδικό χώρο που αφορά περιοχή, που επλήγη από πυρκαγιά, το καλοκαίρι του 2022, με χρήση ελεύθερων δορυφορικών δεδομένων Sentinel 2 και ανοιχτού λογισμικού (SNAP και QGIS)
description: Forest fires cause major environmental issues, that get worse in recent years. The management of areas affected by forest fires presupposes the availability of reliable relevant information to deal with their possible catastrophic consequences. Satellite remote sensing contributes to this direction by providing possibilities for detection, monitoring and management of these areas. In this diploma thesis, at first reference is made to forest fires, their categories, their consequences, and the possible effects on the affected areas. Then the satellites, commonly used to detect and monitor forest fires, such as Terra, Landsat, etc., as well as related major satellite programs and systems, are included. Special mention is made of the European Copernicus Program, which has a great contribution to the investigation of environmental issues in general and forest fires in particular, the European Forest Fire Information System (EFFIS) and the Global Information System GWIS. This thesis also includes relevant case studies after researching the international literature and concludes with a case study from the Greek area concerning an area affected by a fire in the summer of 2022, using free Sentinel 2 satellite data and open software (SNAP and QGIS)
Η επίδραση της «Μυστηριακής Κοινωνίας» στον ψυχικό κόσμο του ανθρώπου στο στάδιο της Απαρχής της Ζωής. Ποιμαντικιψυχολογική Θεώρηση
Creators: name: Θεμελή, Αννα Δημητρίου
Publisher: name: Aristotle University of Thessaloniki
Year: 2022
Subjects: Ορθόδοξη Χριστιανική Θεολογία
Αναπτυξιακή Ψυχολογία
Ποιμαντική Ψυχολογία
Orthodox Christian Theology
Developmental Psychology
Pastoral Psychology

description: Σκοπός της παρούσας εργασίας είναι η διερεύνηση της επίδρασης που ασκεί η βίωση των μυστηρίων της ορθόδοξης χριστιανικής θεολογίας στην ανάπτυξη του ανθρώπου στην αρχή της ζωής του. Παρουσιάσαμε αφενός την θεολογία των ορθόδοξων μυστηρίων, αλλά και την ορθόδοξη θεολογία περί της δημιουργίας του ανθρώπου και αφετέρου τα δεδομένα κυρίως της επιστήμης της ψυχολογίας που αφορούν την προγεννητική, την περιγεννητική και την βρεφική ηλικία. Εξετάσαμε τις συνθήκες που προάγουν την ανάπτυξη του ανθρώπου και διαπιστώσαμε πώς ο τρόπος της μυστηριακής ζωής συμβάλλει καθοριστικά στην νέα ύπαρξη
description: The aim of the present study is the exploration of the influence that exerts the Christian orthodox mysteries in the human development at the beginning of life. For this purpose we present the theology of the orthodox mysteries and the scientific data that refer to prenatal and postnatal period of life. Through this parallel investigation we examined the conditions which promote the human development in all levels. We conclude that mystery life can contribute decisively to the beginning of life of a new human being
Quantum Capacitance of Graphene Sheets and Nanoribbons
Creators: name: Kliros, George S.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: In this chapter, semi-analytical models for the calculation of the quantum capacitance of both monolayer and bilayer graphene and its nanoribbons, are presented. Since electron-hole puddles are experimental facts in all graphene samples, they have been incorporated in our calculations. The temperature dependence of the quantum capacitance around the charge neutrality point is also investigated and the obtained results are in agreement with many features recently observed in quantum capacitance measurements on both monolayer and bilayer graphene devices. Furtheremore, the impact of finite-size and edge effects on the quantum capacitance of graphene nanoribbons is studied taking into account both the edge bond relaxation and third-nearest-neighbour interaction in the band structure of GNRs.
description: Graphene Science Handbook, Size Dependent properties Ch.13, p.171, 2015, in press (Taylor and Francis, CRC press)
Rain is also planted - in situ/ Benfica H2O
Creators: name: Folgado, Gonçalo
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: Co-designed to celebrate the water cycle using ecological design principles, in situ/ Benfica H20 is a collaborative project involving academia, local authorities, and the community. It aims to address urban water cycle issues in public space, regarding its scarcity and excess, by fostering collective intelligence about the territory. Located in Benfica near Monsanto Forest Park, Cortiçada’s Garden is an underutilized public space with potential for community gathering as well as a place to combat climate change adversities. In response to the climate urgency, the project emerged from the fusion of scientific and empirical knowledge. A community of practice was established to create a new proposal for an existing, underused public space. The integration of architecture, engineering, and landscape architecture with local spatial perception was crucial for this initiative. Moreover, the project engages in dialogue with the municipality and local schools to explore how public spaces can be designed to prioritize sustainability.

"Rain is also planted" is the motto of this intervention and is realized through a gravity-activated mechanism; when the water mirror reaches its maximum level, this water is conducted to the reservoir and then directed to a gravity-fed irrigation system that emulates artificial rain, thus watering the space renaturalized by the project. The proposal will reuse materials and a set of plant species from municipal nurseries, and the redesign of the garden was done in close collaboration with the community in co-design sessions. This planting plan was designed as a way to retain rainwater, and the design and construction of an art gallery over the water repository aim to establish a social contract of urban pedagogy, where the project serves as a learning vehicle about the different stages of the water cycle in an urban environment.

 
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
Evaluation of Planting Design in Interiors in Terms of Basic Design Principles
Creators: name: Kucukali, Ufuk Fatih
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: This study focuses on the importance and value of interior landscaping. Interior landscaping plays a significant role in meeting aesthetic needs in urbanized environments where natural elements are diminishing. Plants are used as natural design elements to complement and enhance artificial spaces. In interior landscaping, it is important to transfer and integrate natural landscapes into indoor spaces. Plants have the ability to shape the environment through appropriate compositions and special designs.


The aim of this study is to evaluate interior landscaping from both technical and aesthetic perspectives. It emphasizes the importance of considering the growth conditions, ecological suitability, and selection of visually appealing containers for the plants used in interior design. The methodology of the research includes a literature review, data evaluation, and the assessment of Istanbul Zorlu Center Shopping Mall as a case study.


This study aims to contribute to interior design by highlighting the technical and aesthetic aspects of interior landscaping. Selecting the right plants, providing suitable growing conditions, and creating visually appealing arrangements are crucial for interior landscaping. The examination of Istanbul Zorlu Center Shopping Mall as a case study emphasizes the implementation of interior landscaping and its relationship with fundamental design principles.
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
SMT Solving for Functional Programming over Infinite Structures
Creators: name: Klin, Bartek
name: Szynwelski, Michał
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We develop a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints. Internally, such sets are represented by logical formulas that define them, and an external satisfiability modulo theories (SMT) solver is regularly run by the interpreter to check their basic properties. The language is implemented as a Haskell module.
description: In Proceedings MSFP 2016, arXiv:1604.00384
Investigation of Philosophical Content in Design Education, The Case of Deleuze and Guattari
Creators: name: Ardatürk, Ahmet Sadi
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: Design education exists in a chaotic and multidisciplinary structure in accordance with its own essence. Many different paradigms that exist on different layers create a complex pattern that the student must come to terms with and make sense of in the educational process. This pattern offers a model that is both high effort and high quality. Within this model, philosophy is one of the most effective tools for understanding and making sense of the essence of design, establishing a design relationship on concept, and ensuring design culture and intellectual identity. However, in the process of design education, this important part is relatively left out and educational models are shaped through materialist realities. This study focuses on this very point, the questioning of philosophical meaning in design education. A case study was conducted on the understanding of philosophical meaning and students' reactions and responses to this area were measured. At this point, the concepts and discourses of Deleuze and Guattari, which are particularly and deliberately difficult to understand and make sense of, were preferred as philosophical discourse. Dealing with these concepts constitutes the example of one of the most difficult confrontations possible. In the study, it was ensured that the students designed the concepts they did not know both without knowledge and then redesigned them with the research they did on their own, and conceptual questioning was made between the two studies. As a result, data were obtained on the use of philosophical content and thought systematics in design education. The appropriateness of the use of philosophical content in design education has been revealed.
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
Giant isotropic Nernst effect in an anisotropic Kondo semimetal
Creators: name: Stockert, Ulrike
name: Sun, Peije
name: Oeschler, Niels
name: Steglich, Frank
name: Takabatake, Toshiro
name: Coleman, Piers
name: Paschen, Silke
Publisher: name: arXiv
Year: 2016
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The "failed Kondo insulator" CeNiSn has long been suspected to be a nodal metal, with a node in the hybridization matrix elements. Here we carry out a series of Nernst effect experiments to delineate whether the severely anisotropic magnetotransport coefficients do indeed derive from a nodal metal or can simply be explained by a highly anisotropic Fermi surface. Our experiments reveal that despite an almost 20-fold anisotropy in the Hall conductivity, the large Nernst signal is isotropic. Taken in conjunction with the magnetotransport anisotropy, these results provide strong support for an isotropic Fermi surface with a large anisotropy in quasiparticle mass derived from a nodal hybridization.
description: 4.5 pages, 4 figures
Automata Quest: NCAs as a Video Game Life Mechanic
Creators: name: Sato, Hiroki
name: Lund, Tanner
name: Yoshida, Takahide
name: Masumori, Atsushi
Publisher: name: arXiv
Year: 2023
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: Graphics (cs.GR)
subject: Multiagent Systems (cs.MA)
subject: Neural and Evolutionary Computing (cs.NE)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: We study life over the course of video game history as represented by their mechanics. While there have been some variations depending on genre or "character type", we find that most games converge to a similar representation. We also examine the development of Conway's Game of Life (one of the first zero player games) and related automata that have developed over the years. With this history in mind, we investigate the viability of one popular form of automata, namely Neural Cellular Automata, as a way to more fully express life within video game settings and innovate new game mechanics or gameplay loops.
description: This article was submitted to and presented at Alife for and from Video Games Workshop at ALIFE2023, Sappro (Japan)
Art in the Architecture of the National and University Library of Kosovo
Creators: name: Muharremi, Ilir Hivzi
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: This paper deals with the architecture of the national and university library of Kosovo. internal and external image. artistic pages, domes, facade, outer space, contact with this space. The rest of the paper focuses on the exhibition of dictators like Kim Jung, whose photo was exhibited next to the Albanian renaissance. Their photographs were exhibited in the space of this Library. These materials from Korea elicited strong reactions from critics, who mainly saw the exhibition as promotion of a dictatorial system and its leaders. It was noted that this exhibition was held next to the portraits of Albanian National Renaissance figures, who were long-standing residents of the Library hall. On the second floor there were photographs, brochures and other stuff that presented North Korean life. Above all, there were two large photos of two former North Korean dictators: Kim Jong Sung and Kim Jong IL.  Ah, and let’s not forget Ismail Kadare’s quote: “The relations of a great writer with a dictator are complex and difficult to explain, because they are both tyrants, but in this confrontation, the dictator is a false tyrant…”
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
Human Transcription Quality Improvement
Creators: name: Gao, Jian
name: Sun, Hanbo
name: Cao, Cheng
name: Du, Zheng
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computation and Language (cs.CL)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: Sound (cs.SD)
subject: Audio and Speech Processing (eess.AS)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: I.2.7
subject: 68T50

description: High quality transcription data is crucial for training automatic speech recognition (ASR) systems. However, the existing industry-level data collection pipelines are expensive to researchers, while the quality of crowdsourced transcription is low. In this paper, we propose a reliable method to collect speech transcriptions. We introduce two mechanisms to improve transcription quality: confidence estimation based reprocessing at labeling stage, and automatic word error correction at post-labeling stage. We collect and release LibriCrowd - a large-scale crowdsourced dataset of audio transcriptions on 100 hours of English speech. Experiment shows the Transcription WER is reduced by over 50%. We further investigate the impact of transcription error on ASR model performance and found a strong correlation. The transcription quality improvement provides over 10% relative WER reduction for ASR models. We release the dataset and code to benefit the research community.
description: 5 pages, 3 figures, 5 tables, INTERSPEECH 2023
Editorial
Creators: name: Neves, Pedro Soares
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: The fields of architecture, design, and art are dynamic, constantly evolving to reflect the complexities of contemporary life. This issue presents a rich collection of research that explores these intersections through a variety of lenses, from philosophical inquiries into design education to the practical implications of planting design in modern interiors. The papers included here, authored by experts from diverse geographical and academic backgrounds, provide critical insights into how these disciplines inform and transform the spaces we inhabit.
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
The algebrodynamics: super-conservative collective dynamics on a "Unique Worldline'' and the Hubble's law
Creators: name: Kassandrov, Vladimir V.
name: Khasanov, Ildus Sh.
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study the properties of roots of a polynomial system of equations which define a set of identical point particles located on a Unique Worldline (UW), in the spirit of the old Wheeler-Feynman's conception. As a consequence of the Vieta's formulas, a great number of conservation laws is fulfilled for collective algebraic dynamics on the UW. These, besides the canonical ones, include the laws with higher derivatives and those containing multi-particle correlation terms as well. On the other hand, such a ``super-conservative'' dynamics turns to be manifestly Lorentz invariant and quite nontrivial. At great values of ``cosmic time'' $t$ roots-particles demonstrate universal recession (resembling that in the Milne's cosmology and simulating ``expansion'' of the Universe) for which the Hubble's law does hold true, with Hubble parameter being inversely proportional to $t$.
description: 7 pages
War Diary of 1st Battalion Canadian Scottish Regiment, Vol. 63 - Appendix 02
Creators: name: Canada. Canadian Army. Canadian Scottish Regiment (Princess Mary's)
Publisher: name: University of Victoria Libraries
Year: 2020
Subjects: subject: Canada. Canadian Army
valueUri: http://id.worldcat.org/fast/531187
subject: War diaries
valueUri: http://id.worldcat.org/fast/1745536
subject: World War (1939-1945)
valueUri: http://id.worldcat.org/fast/1180924

description: This appendix consists of notes for commanders listing instructions for battle including information about the timing and artillery used in attacks and the need for communication about each others plans.
The Search for HI Emission at z $\approx0.4$ in Gravitationally Lensed Galaxies with the Green Bank Telescope
Creators: name: Hunt, Lucas R.
name: Pisano, D. J.
name: Edel, Stanislav S.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Neutral Hydrogen (HI) provides a very important fuel for star formation, but is difficult to detect at high redshift due to weak emission, limited sensitivity of modern instruments, and terrestrial radio frequency interference (RFI) at low frequencies. We the first attempt to use gravitational lensing to detect HI line emission from three gravitationally lensed galaxies behind the cluster Abell 773, two at redshift of 0.398 and one at z=0.487, using the Green Bank Telescope. We find a 3 sigma upper limit for a galaxy with a rotation velocity of 200 km/s is M_HI=6.58x10^9 and 1.5x10^10 M_solar at z=0.398 and z=0.487. The estimated HI masses of the sources at z=0.398 and z=0.487 are a factor of 3.7 and ~30 times lower than our detection limits at the respective redshifts. To facilitate these observations we have used sigma clipping to remove both narrow- and wide-band RFI but retain the signal from the source. We are able to reduce the noise of the spectrum by ~25% using our routine instead of discarding observations with too much RFI. The routine is most effective when ~10 of the integrations or fewer contains RFI. These techniques can be used to study HI in highly magnified distant galaxies that are otherwise too faint to detect.
description: Accepted to Astronomical Journal, 9 pages, 6 figures
Pilgrimage Ghadamghahs in the Hijrat Path of Imam Reza (AS) to Iran Approaching Pilgrimage Tourism
Creators: name: Molaei, Asghar
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: Imam Reza (AS)'s Hejrat to Iran, as the greatest religious event in the history of Iran and the spiritual works and important blessings of this wonderful trip in Iran have been left. One of these works is the Ghadamghah attributed to that Imam, which has been considered by Razavi enthusiasts and pilgrims in different cities and regions. The purpose of this article is to recognize the Ghadamghahs of Imam Reza (as) in Iran in order to protect, maintain and develop these Ghadamghah as places of pilgrimage. This research has been done by historical, analytical and interdisciplinary research methods and by using documentary study methods, libraries and case studies. The results of this study show that the Ghadamghah attributed to Imam Reza (AS) are located from southwest to northeast of Iran in Khuzestan, Fars, Yazd and Khorasan regions. The most important of these Ghadamghah include Shalamcheh, Arjan, Ali Ibn Mahziar, Morteza Ali in Eghlid Fars, Abarkooh and Yazd Ghadamghah, Deh Shir Ghadamghah, Taft Ghadamghah, Mashhadak Khoranagh Ghadamghah, Deh Sorkh Ghadamghah and Neishabour Ghadamghah. Pedestrians as centers of pilgrimage and religious tourism need to strengthen and create the necessary infrastructure in various dimensions, including facilities and equipment for public transport, welfare, recreation and recreation, health and safety, safety and security, signs and symbols and It is memorable.
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
How do difference bodies in complex vector spaces look like? A geometrical approach
Creators: name: Abardia, Judit
name: Gómez, Eugenia Saorín
Publisher: name: arXiv
Year: 2016
Subjects: subject: Metric Geometry (math.MG)
subject: FOS: Mathematics
subject: 52A20, 52B45 (Primary) 52A39 (Secondary)

description: We investigate geometrical properties and inequalities satisfied by the complex difference body, in the sense of studying which of the classical ones for the difference body have an analog in the complex framework. Among others we give an equivalent expression for the support function of the complex difference body and prove that, unlike the classical case, the dimension of the complex difference body depends on the position of the body with respect to the complex structure of the vector space. We use spherical harmonics to characterize the bodies for which the complex difference body is a ball, we prove that it is a polytope if and only if the two bodies involved in the construction are polytopes and provide several inequalities for classical magnitudes of the complex difference body, as volume, quermassintegrals and diameter, in terms of the corresponding ones for the involved bodies.
A Platform for Addressing Individual Magnetite Islands Grown Epitaxially on Ru(0001) and Manipulating Their Magnetic Domains
Creators: name: Ruiz-Gómez, Sandra
name: Trapero, Eva María
name: Fernández-González, Claudia
name: del Campo, Adolfo
name: Granados-Miralles, Cecilia
name: Prieto, José Emilio
name: Khaliq, Muhammad Waqas
name: Niño, Miguel Angel
name: Foerster, Michael
name: Aballe, Lucía
name: de la Figuera, Juan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We have grown high-quality magnetite micrometric islands on ruthenium stripes on sapphire through a combination of magnetron sputtering (Ru film), high-temperature molecular beam epitaxy (oxide islands), and optical lithography. The samples have been characterized by atomic force microscopy, Raman spectroscopy, X-ray absorption and magnetic circular dichroism in a photoemission microscope. The magnetic domains on the magnetite islands can be modified by the application of current pulses through the Ru stripes in combination with magnetic fields. The modification of the magnetic domains is explained by the Oersted field generated by the electrical current flowing through the stripes underneath the magnetite nanostructures. The fabrication method is applicable to a wide variety of rock salt and spinel oxides.
Variations on Noetherianness
Creators: name: Firsov, Denis
name: Uustalu, Tarmo
name: Veltri, Niccolò
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.4.1

description: In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda programming language. We want to say that a set is Noetherian, if, when we are shown elements from it one after another, we will sooner or later have seen some element twice. This idea can be made precise in a number of ways. We explore the properties and connections of some of the possible encodings. In particular, we show that certain implementations imply decidable equality while others do not, and we construct counterexamples in the latter case. Additionally, we explore the relation between Noetherianness and other notions of finiteness.
description: In Proceedings MSFP 2016, arXiv:1604.00384
Microwave assisted irradiation in tissue preparation: From fixation to staining as an alternative approach in histopathology laboratories
Creators: name: G. TEMEL
Publisher: name: Zenodo
Year: 2023
Subjects: Microwave oven, Tissue preparation, Fixation, Tissue processing, 1,1,1 trichloroethane

description: Fixation, which is the first step in tissue preparation in histopathology laboratories, followed
 by tissue processing, embedding and staining. Routine use of formalin fixation, dehydration,
 paraffin infiltration, embedding and sectioning gives uniform and well preserved tissue
 structure closest to the live one. These routine procedures take at least 1 to 4 days, depending
 on the technique used. In this study it is aimed to assess microwave assisted irradiation in tissue
 fixation, processing and staining and to determine if it can be replaced routine formalin fixed
 paraffin embedded tissue preparation. For this purpose, liver and kidney pieces taken from rats
 were fixed with microwave irradiation. After fixation; tissue dehydration, clearing (1,1,1
 trichloroethane), impregnation and staining steps were all performed in the microwave oven.
 When the results were compared with the standard protocol there was no statistically significant
 difference in terms of morphology as structural preservation and staining quality. All tissue
 preparations carried out in microwave oven were completed in 2 hours and 10 minutes. Because
 of the ease of application and speed of the technique; this microwave assisted tissue preparation
 technique can be used as an alternate in histopathology laboratories for rapid diagnosis. For
 example formaline fixed parafine embedded tissues stored for longer period had a reduced
 concentration and quantity of extractable protein, RNA and DNA. Especially in precision
 oncology for detecting somatic variations; it can be speculated that our microwave assisted
 tissue preparation can be an alternative method for better quality of protein, RNA and DNA.
 To show this; an experiment will be planned for future directions.
Optimal Power Allocation for Artificial Noise under Imperfect CSI against Spatially Random Eavesdroppers
Creators: name: Zheng, Tong-Xing
name: Wang, Hui-Ming
Publisher: name: arXiv
Year: 2016
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: In this correspondence, we study the secure multiantenna transmission with artificial noise (AN) under imperfect channel state information in the presence of spatially randomly distributed eavesdroppers. We derive the optimal solutions of the power allocation between the information signal and the AN for minimizing the secrecy outage probability (SOP) under a target secrecy rate and for maximizing the secrecy rate under a SOP constraint, respectively. Moreover, we provide an interesting insight that channel estimation error affects the optimal power allocation strategy in opposite ways for the above two objectives. When the estimation error increases, more power should be allocated to the information signal if we aim to decrease the rate-constrained SOP, whereas more power should be allocated to the AN if we aim to increase the SOP-constrained secrecy rate.
description: 7 pages, 6 figures