cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Przyspieszony rozwój handlu włoskiego w późnym średniowieczu – jego ekonomiczne, ustrojowe i prawne aspekty
Creators: name: Gaca, Andrzej
name: Filipiak, Zbigniew
Publisher: name: E-Wydawnictwo. Prawnicza i Ekonomiczna Biblioteka Cyfrowa. Wydział Prawa, Administracji i Ekonomii Uniwersytetu Wrocławskiego
Year: 2021

description: Poczynając od XIII w., następowała zakrojona na szeroką skalę ekspansja handlu włoskiego, w dużej mierze mającego charakter tranzytowy, skierowana głównie na Europę Środkową i Zachodnią. Pod koniec tego stulecia rozpoczęły się stałe kontakty morskie między Włochami a północą Europy. Szczególnie miasta północnej Italii stały się najważniejszymi europejskimi centrami handlowymi, a kupcy włoscy prowadzili swe interesy w całym niemal znanym wówczas Europejczykom świecie. Poziom bogactwa, jaki osiągnęły ośrodki miejskie Półwyspu Apenińskiego w późnym średniowieczu, uczyniły z Włoch pierwsze mocarstwo handlowe i finansowe świata zachodniego. Przyczyniło się do tego szereg czynników, zwłaszcza powstawanie od XI w. szczególnej formy ustrojowej ‒ autonomicznych komun włoskich i ich dalsza ewolucja oraz emancypacja, stwarzające dogodne warunki dla postępującego rozwoju gospodarczego. Jako organizmy cieszące się znaczną niezawisłością, komuny miejskie mogły wybierać swoje organy ustawodawcze, wykonawcze i sądowe. Mogły stanowić również własne normy prawne.
Оптимизация расчётов по налогу на имущество организаций: методические аспекты
Creators: name: Р.В. Нуждин
name: Г.В. Беляева
name: Н.И. Пономарёва
name: М.М. Пухова
name: А.А. Сидельникова
Publisher: name: Сахар
Year: 2023
Subjects: налог на имущество организаций
основные средства
недвижимое имущество
учётная политика
налогообложение
налоговая оптимизация.
corporate property tax
fixed assets
real estate
accounting policy
taxation
tax optimization.

description: Изложена юридическая конструкция налога на имущество. Раскрыты особенности налогообложения имущества организаций. Констатирован недостаточный уровень развития налогового менеджмента в отечественных организациях. Рассмотрены основные требования бухгалтерских стандартов, влияющих на формирование налогооблагаемой базы и суммы налоговых платежей. Изложены методические аспекты предлагаемого способа уменьшаемого остатка на основе нелинейного метода, предусмотренного налоговым законодательством.
description: The legal structure of the property tax is stated. Features of taxation of property of organizations are disclosed.Тhe insufficient level of development of tax management in domestic organizations is stated. Тhe main requirements of accounting standards that affect the formation of the taxable base and the amount of tax payments are considered. Тhe methodological aspects of the proposed reducing balance method based on the non-linear method provided for by tax legislation are outlined.
Dependency-based Compositional Synthesis
Creators: name: Finkbeiner, Bernd
name: Passing, Noemi
Publisher: name: CISPA
Year: 2023

description: Despite many recent advances, reactive synthesis is still not really a practical technique. The grand challenge is to scale from small transition systems, where synthesis performs well, to complex multi-component designs. Compositional methods, such as the construction of dominant strategies for individual components, reduce the complexity significantly, but are usually not applicable without extensively rewriting the specification. In this paper, we present a refinement of compositional synthesis that does not require such an intervention. Our algorithm decomposes the system into a sequence of components, such that every component has a strategy that is dominant, i.e., performs at least as good as any possible alternative, provided that the preceding components follow their (already synthesized) strategies. The decomposition of the system is based on a dependency analysis, for which we provide semantic and syntactic techniques. We establish the soundness and completeness of the approach and report on encouraging experimental results.
Percolation beyond ${\mathbb{Z}}^{\bolds{d}}$: The contributions of Oded Schramm
Creators: name: Häggström, Olle
Publisher: name: arXiv
Year: 2011
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: Oded Schramm (1961-2008) influenced greatly the development of percolation theory beyond the usual ${\mathbb{Z}}^d$ setting; in particular, the case of nonamenable lattices. Here, we review some of his work in this field.
description: Published in at http://dx.doi.org/10.1214/10-AOP563 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Guarantees concerning geometric objects with imprecise points
Creators: name: Sember, Jeffery
Publisher: name: University of British Columbia
Year: 2011

description: Traditional geometric algorithms are often presented as if input imprecision does not exist, even though it is often unavoidable. We argue that in some cases, it may be desirable for geometric algorithms to treat this imprecision as an explicit component of the input, and to reflect this imprecision in the output. Starting with three problems from computational geometry whose inputs are planar point sets (Voronoi diagrams, convex hulls, and smallest bounding discs), we recast these as problems where each input point's location is imprecise, but known to lie within a particular region of uncertainty. Where algorithms to solve each of the original problems produce a single geometric object as output, the algorithms that we present typically produce either guaranteed or possible output objects. A guaranteed object represents qualities that can be guaranteed for every point set that is consistent with the uncertain regions, and a possible object represents qualities that exist for at least one such point set. By dealing with input imprecision explicitly, these guaranteed and possible objects can represent a more accurate view of what can be reliably inferred from the input data.
title: O monopolu na podstawie średniowiecznych summ do Kodeksu Justyniana
Creators: name: Szymańska, Aleksandra
Publisher: name: E-Wydawnictwo. Prawnicza i Ekonomiczna Biblioteka Cyfrowa. Wydział Prawa, Administracji i Ekonomii Uniwersytetu Wrocławskiego
Year: 2021

description: Jedną z intelektualnych podstaw średniowiecznej myśli prawniczej są pisma stanowiące opracowanie prawa rzymskiego zawartego w kompilacji justyniańskiej, których autorami są przedstawiciele szkoły glosatorów – jednej ze szkół prawa, funkcjonującej na przestrzeni wieków średnich. Celem artykułu jest analiza zagadnień związanych z monopolem przedstawionych w jednym z uprawianych przez glosatorów gatunków literatury prawniczej, jakimi są summy. Z problemem monopolu zetknęli się przy okazji lektury jednego z tytułów Kodeksu Justyniana – De monopoliis et de conventu negotiatorum illicito vel artificum ergolaborumque nec non balneatorum prohibitis illicitisque pactionibus, który dotyczy monopoli i niedozwolonych porozumień pomiędzy określonymi podmiotami. Spośród autorów przeanalizowanych summ do Kodeksu na omówienie tego tytułu zdecydowali się Placentinus i Azo. Główny punkt artykułu stanowią więc ich uwagi do wyżej wspomnianego tytułu. Oprócz tego czytelnik znajdzie tutaj wprowadzenie do problematyki związanej z monopolem, jak również krótkie wyjaśnienie, czym są summy.
Влияние экзогенного мелатонина на активность ферментов углеводного обмена в растениях Beta vulgaris L.
Creators: name: Р.В. Усачёва
name: Т.В. Свиридова
Publisher: name: Сахар
Year: 2023
Subjects: сахарная свёкла
мелатонин
тепличные условия
ферменты углеводного обмена.
sugarbeet
melatonin
greenhouse conditions
carbohydrate exchangeenzymes.

description: Проведён анализ влияния мелатонина на активности ферментов углеводного обмена растений Beta vulgaris L. Исследование показало увеличение активности инвертазы и сахарозосинтазы и снижение активности фруктокиназы. Изучается механизм действия мелатонина на углеводный обмен в целях управления процессом накопления сахаров.
description: Analysis of melatonin influence on activity of carbohydrate exchange enzymes in Beta vulgaris L. plantshas been conducted. The investigation has shown an increase ofinvertase and saccharose phosphatesynthase activity and decrease of fruitkinaseactivity. The mechanism of melatonin effect on carbohydrate exchange is studied with the aim to control sugars’ accumulation process.
Weak Galerkin Methods for Second Order Elliptic Interface Problems
Creators: name: Mu, Lin
name: Wang, Junping
name: Wei, Guowei
name: Ye, Xiu
name: Zhao, Shan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 65N15, 65N30, 76D07 (Primary) 35B45, 35J50 (Secondary)

description: Weak Galerkin methods refer to general finite element methods for PDEs in which differential operators are approximated by their weak forms as distributions. Such weak forms give rise to desirable flexibilities in enforcing boundary and interface conditions. A weak Galerkin finite element method (WG-FEM) is developed in this paper for solving elliptic partial differential equations (PDEs) with discontinuous coefficients and interfaces. The paper also presents many numerical tests for validating the WG-FEM for solving second order elliptic interface problems. For such interface problems, the solution possesses a certain singularity due to the nonsmoothness of the interface. A challenge in research is to design high order numerical methods that work well for problems with low regularity in the solution. The best known numerical scheme in the literature is of order one for the solution itself in $L_\infty$ norm. It is demonstrated that the WG-FEM of lowest order is capable of delivering numerical approximations that are of order 1.75 in the usual $L_\infty$ norm for $C^1$ or Lipschitz continuous interfaces associated with a $C^1$ or $H^2$ continuous solutions. Theoretically, it is proved that high order of numerical schemes can be designed by using the WG-FEM with polynomials of high order on each element.
description: 24 pages, many figures from computation
Developing effective imaging methods for measuring muscle volumes and assessing ballistic damage in military lower limb amputees to inform rehabilitation and immediate trauma care
Creators: name: Rothwell, Daniel
Publisher: name: Loughborough University
Year: 2021
Subjects: subject: 119999 Medical and Health Sciences not elsewhere classified
subject: FOS: Other medical sciences

description: Developing effective imaging methods for measuring muscle volumes and assessing ballistic damage in military lower limb amputees to inform rehabilitation and immediate trauma care
Carving out a place for “pets” within the age-friendly agenda: A case study exploring the public health implications of companion animal relationships for older adults who are aging-in-place
Creators: name: Toohey, Ann Madeline
Publisher: name: Cumming School of Medicine
Year: 2018
Subjects: subject: Gerontology
subject: Public Health

description: Growing numbers of people surpass the age of 65 each year, and a widely adopted response has been to work towards making communities more “age-friendly,” as per the World Health Organization’s age-friendly policy framework. Within this framework, there is no explicit reference to older adults’ relationships with companion animals (“pets”), even as pet-ownership is prevalent among older adults in many countries worldwide. Thus my research aimed to explore, from a socio-ecological perspective, the extent to which growing efforts to promote aging-in-place by adopting an age-friendly policy framework may also be influencing the health-promoting potential of relationships between older adults and their companion animals. To achieve this aim, I conducted an ethnographic multiple case study set in Calgary, Alberta, between November 2014 and October 2016. This approach allowed me to explore these influences at both the national and local population levels. My case study entailed three methodologically distinct, yet conceptually linked, research components: (i) a statistical analysis of associations between social participation and life satisfaction for older pet owners and non-owners participating in the Canadian Longitudinal Study on Aging (CLSA); (ii) a thematic content analysis of local community-based social support and animal welfare agencies’ experiences of serving older adults with companion animals; and (iii) a dialogical narrative analysis of the housing transition challenges described by lower income older adults who were aging-in-place with a companion animal. In synthesizing the findings of each component, my thesis concludes that companion animal relationships may, in some circumstances, confound efforts to promote age-friendly communities in ways that are equitable. Consideration for companion animals is merited across several domains of age-friendliness. The negative consequences of omitting consideration for older adults’ relationships with companion animals from age-friendly efforts may be unfairly borne by those who are experiencing socio-economic disadvantages and social isolation as they age-in-place. This omission may unintentionally serve to impede the health-promoting benefits of animal companionship later in life. A reversal of this situation could help to contribute to health equity and social justice for the growing numbers of older adults who are aging-in-place, and for their companion animals.
Разработка напитка на основе кофе и каскары с пониженным гликемическим индексом
Creators: name: Д.А. Клемешов
name: В.А. Астахова
name: С.Г. Галкин
Publisher: name: Сахар
Year: 2023
Subjects: кофе жареный молотый
высушенная кофейная мякоть чая кофейного каскара
изомальтулоза
гликемический индекс
экстрактивные вещества
кофеин
полифенолы
сахара
органолептические показатели.
ground roasted coffee
dried coffee pulp of cascara coffee tea
isomaltulose
extractive substances
caffeine
polyphenols
sugars
organoleptic indicators.

description: Кофе и кофепродукты пользуются значительным спросом, причём ассортимент тонизирующих напитков постоянно расширяется. Актуальным и перспективным направлением для научно-практических исследований является введение в рецептуру напитков натуральных компонентов, повышающих качественный состав и органолептические характеристики. Цель исследований – разработка рецептурного состава напитка на основе кофе и высушенной кофейной мякоти – каскары с пониженным гликемическим индексом, исследование физико-химических и биохимических показателей напитка. В результате профильно-дескрипторного метода разработана рецептура напитка с пониженным гликемическим индексом, определено содержание кофеина, полифенолов, сахаров, а также основные физико-химические показатели напитка.
description: Coffee and coffee products are in considerable demand, and the range of tonic drinks is constantly expanding. An actual and promising direction for scientific and practical research is the introduction of natural ingredients into the formulation of beverages that increase the qualitative composition and organoleptic characteristics. The purpose of the research is to develop a prescription composition of a drink based on coffee and dried coffee pulp – cascara with a reduced glycemic index, to study the physic-chemical and biochemical parameters of the drink. As a result of the profile-descriptor method, the formulation of a drink with a reduced glycemic index was developed, the content of caffeine, polyphenols, sugars, as well as the main physico-chemical parameters of the drink were determined.
Validation of Abstract Side-Channel Models for Computer Architectures
Creators: name: Nemati, Hamed
name: Buiras, Pablo
name: Lindner, Andreas
name: Guanciale, Roberto
name: Jacobs, Swen
Publisher: name: CISPA
Year: 2023

description: Observational models make tractable the analysis of information flow properties by providing an abstraction of side channels. We introduce a methodology and a tool, Scam-V, to validate observational models for modern computer architectures. We combine symbolic execution, relational analysis, and different program generation techniques to generate experiments and validate the models. An experiment consists of a randomly generated program together with two inputs that are observationally equivalent according to the model under the test. Validation is done by checking indistinguishability of the two inputs on real hardware by executing the program and analyzing the side channel. We have evaluated our framework by validating models that abstract the data-cache side channel of a Raspberry Pi 3 board with a processor implementing the ARMv8-A architecture. Our results show that Scam-V can identify bugs in the implementation of the models and generate test programs which invalidate the models due to hidden microarchitectural behavior.
Automating meta-algorithmic analysis and design
Creators: name: Nell, Christopher Warren
Publisher: name: University of British Columbia
Year: 2011

description: Sophisticated empirical methods based upon automated experimental analysis techniques drive the development of high-performance solvers for an increasing range of problems from industry and academia. However, tools implementing these methods are often difficult to develop and to use. This thesis describes work towards addressing this issue. First, we develop a formal description of meta-algorithmic problems, and use it as the basis for a framework supporting the development and application of a broad class of automated algorithm analysis and design techniques. Second, we describe the High-performance Algorithm Laboratory (HAL), an extensible software implementation of this framework that provides developers and users of automated empirical techniques with support for distributed execution, remote monitoring, data management, and statistical analysis of results. We use HAL to construct a suite of interoperable tools that implement a variety of automated empirical techniques, and demonstrate our approach by conducting a sequence of increasingly complex analysis and design tasks on state-of-the-art solvers for Boolean satisfiability and mixed-integer programming problems.
Эффективность применения пониженных норм послевсходовых гербицидов в посевах современных отечественных гибридов сахарной свёклы
Creators: name: О.В. Гамуев
name: В.М. Вилков
name: О.А. Минакова
Publisher: name: Сахар
Year: 2023
Subjects: гербициды
защита растений
гибриды
сахарная свёкла
сниженные нормы
урожайность
экономическая эффективность
herbicides
plant protection
hybrids
sugar beet
reduced rates
yield
economic efficiency

description: рименение сниженных норм гербицидов противодвудольного и противозлакового спектра действия в сочетании с препаратом СТИКК способствовало получению урожайности корнеплодов сахарной свёклы на уровне варианта с полной дозой гербицидов (45,0–46,0 т/га) и обеспечило экономию 1100–5300 р/га. В посевах отечественного гибрида РМС 127 наиболее эффективно использовать сниженные на 20 % нормы гербицидов в сочетании с Голтиксом, РМС 129 – сниженные на 10–20 % + + Карибу. Гибрид РМС 129 проявил бóльшую адаптацию к сниженным дозам гербицидов, что позволило получить максимальные прибавки урожая относительно варианта без полки сорняков.
description: Application of reduced rates of herbicides controlling dicotyledonous and cereal weeds in combination with the chemical of STICK has promoted obtaining of sugar beet root yield at the level of the variant with a normal rate of herbicides (45.0–46.0 t/ha) and provided economy of 1100–5300 rouble/ha. In fields sown with the domestic hybrid of RMS 127, it is most efficiently to use herbicide rates reduced by 20 % in combination with Goltix. In fields of RMS 129, the rates reduced by10–20 % + Caribou are more effective. The hybrid of RMS 129 has demonstrated better adaptation to the reduced doses of herbicides that manifests itself in great yield increase as compared to the variant without weeding. Keywords: herbicides, plant protection, hybrids, sugar beet, reduced rates, yield, economic efficiency.
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries
Creators: name: Khosrowjerdi, Hojat
name: Nemati, Hamed
name: Meinke, Karl
Publisher: name: CISPA
Year: 2023

description: We explore the application of graph database technology to spatio-temporal model checking of cooperating cyber-physical systems-of-systems such as vehicle platoons. We present a translation of spatio-temporal automata (STA) and the spatio-temporal logic STAL to semantically equivalent property graphs and graph queries respectively. We prove a sound reduction of the spatio-temporal verification problem to graph database query solving. The practicability and efficiency of this approach is evaluated by introducing NeoMC, a prototype implementation of our explicit model checking approach based on Neo4j. To evaluate NeoMC we consider case studies of verifying vehicle platooning models. Our evaluation demonstrates the effectiveness of our approach in terms of execution time and counterexample detection.
title: Von kollaborativer Imagination zu translingualer Narration. Erforschung multilingualer und multimodaler Erzählstrategien durch bilinguale Lehramtsstudierende
Creators: name: Hartmann, Esa Christine
Publisher: name: Universitäts- und Landesbibliothek Darmstadt
Year: 2023

description: Das hier vorgestellte Forschungsprojekt Multilinguale und multimodale Erzählstrategien im bilingualen Unterricht wurde im Rahmen des bilingualen Lehramtsstudiums (Primarstufe Deutsch-Französisch) am Institut für Bildungswissenschaften der Universität Straßburg durchgeführt. Als Projektziel wurde die Analyse verschiedener Modalitäten des translingualen Erzählens von Bilderbuchgeschichten im Hinblick auf Spracherwerb, mündliche Kommunikation, Literalität und Literarität in bilingualen Vor- und Grundschulklassen angestrebt. Die vorgestellten Forschungsergebnisse zeigen, dass multimodale und translinguale Erzählmodi von Bilderbuchgeschichten als ein effizientes pädagogisches Medium für den mehrsprachigen und multimodalen Erwerb betrachtet werden können. Durch ihre Kombination von kinderliterarischen und ästhetisch-performativen Aspekten stellen multimodale Erzählstrategien einen innovativen pädagogischen Ansatz für ganzheitliches, kreatives und freudvolles Mehrsprachen-Lernen und -Lehren im bilingualen Bildungskontext dar.
Farm Income by Type of Farm, 1982 and 1983
Creators: name: Reimund, Donn A.
name: Somwaru, Agapi
name: Reimund, Donn A.
name: Somwaru, Agapi
Publisher: name: Unknown
Year: 1985
Subjects: subject: Consumer/Household Economics
subject: Crop Production/Industries
subject: Financial Economics
subject: Livestock Production/Industries
subject: Farm income
subject: Type of farm
subject: Farm operator occupation
subject: Farm operator source of income

description: Net farm income in 1983 was higher for most types of crop farms than in 1982 and lower for most types of livestock and poultry farms. Average incomes ranged from $82,000 for vegetable growers to $1,500 for cattle, hog, and sheep producers. Substantial off-farm incomes (averaging more than $17,000 per farm) and low farm incomes on some farm types suggest that farming is a sideline for many. If part-time farms were excluded, or listed separately, the resulting income figures might show farm sector well-being more accurately than the aggregate estimate now used.
title: Konstytucja Marcjana o zakazie sprzedaży broni do Barbaricum (C. 4,41,2)
Creators: name: Rominkiewicz, Jarosław
Publisher: name: E-Wydawnictwo. Prawnicza i Ekonomiczna Biblioteka Cyfrowa. Wydział Prawa, Administracji i Ekonomii Uniwersytetu Wrocławskiego
Year: 2021

description: Artykuł poświęcony jest konstytucji cesarza Marcjana zakazującej sprzedaży broni do Barbaricum. Autor zaczyna od ukazania czynników, które przyczyniły się do pojawienia się rzymskiej broni na terenie Barbaricum. Dalej prezentuje zachowany w Kodeksie Justyniańskim tekst ustawy (C. 4,41,2), jej polski przekład oraz komentarz. Cesarz zakazał w niej wszelkiej sprzedaży broni – zarówno kompletnej, jak też jedynie jej elementów – alienigenis barbaris, a więc „obcym barbarzyńcom”, czyli zapewne takim, z którymi imperium rzymskie pozostawało w konflikcie militarnym. Sankcją za złamanie tego zakazu była konfiskata majątku oraz kara śmierci. Zdaniem autora nie ma przekonywających dowodów, aby zakaz ten funkcjonował już wcześniej. Jedyne źródło (D. 48,4,4), które ma być rzekomo dowodem na jego wprowadzenie już w okresie pryncypatu, potwierdza jedynie, że sprzedaż uzbrojenia, jak każdy inny akt pomocy nieprzyjacielowi, mógł skutkować oskarżeniem o crimen laesae maiestatis.
Zusammenhang von Klimakrise, Luftverschmutzung und Gesundheit. Ein Hintergrundpapier der AG Saubere Luft der deutschen Allianz Klimawandel und Gesundheit (KLUG e.V.)
Creators: name: Arnold, Gottfried
name: Behrens, Anja
name: Fuchsig, Heinz
name: Garate, Torsten
name: Lehmkuhl, Dieter
name: Lob-Corzilius, Thomas
name: Stauffer, Anne
Publisher: name: Zenodo
Year: 2021
Subjects: air pollution
climate change
health
Luftverschmutzung
Klimawandel
Gesundheit

description: Hintergrundpapier der AG Saubere Luft bei der deutschen Allianz Klimawandel und Gesundheit (KLUG e.V.) zum Zusammenhang von Klimakrise, Luftverschmutzung und Gesundheit
Mergers of black-hole binaries with aligned spins: Waveform characteristics
Creators: name: Kelly, Bernard J.
name: Baker, John G.
name: Boggs, William D.
name: McWilliams, Sean T.
name: Centrella, Joan
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We conduct a descriptive analysis of the multipolar structure of gravitational-radiation waveforms from equal-mass aligned-spin mergers, following an approach first presented in the complementary context of nonspinning black holes of varying mass ratio [J.G. Baker et al. Phys. Rev. D 78 044046 (2008)]. We find that, as with the nonspinning mergers, the dominant waveform mode phases evolve together in lock-step through inspiral and merger, supporting the previous waveform description in terms of an adiabatically rigid rotator driving gravitational-wave emission-an implicit rotating source. We further apply the late-time merger-ringdown model for the rotational frequency introduced in [J.G. Baker et al. Phys. Rev. D 78 044046 (2008)], along with an improved amplitude model appropriate for the dominant (2, \pm2) modes. This provides a quantitative description of the merger-ringdown waveforms, and suggests that the major features of these waveforms can be described with reference only to the intrinsic parameters associated with the state of the final black hole formed in the merger. We provide an explicit model for the merger-ringdown radiation, and demonstrate that this model agrees to fitting factors better than 95% with the original numerical waveforms for system masses above \sim150M\odot. This model may be directly applicable to gravitational-wave detection of intermediate-mass black-hole mergers.
description: 19 pages, 17 figures; new version matches published article
Parameter Aligned Surface Trimming
Creators: name: Halbert, Shannon
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Computer Graphics
subject: NURBS
subject: Parametric Surface Trimming
subject: Computer Science

description: Parametric surfaces are widely used for surface modelling because of their easy editing and fast rendering properties. However, trimming these models is not as straightforward as it is with other surface types and doing so often results in the loss of some or all of the parametric properties of the original surface. This thesis introduces a new representation for trimmed parametric surfaces which preserves the parametric properties of the surface. Given a set of trimming curves in the parameter space of a surface, this method defines local subspaces aligned to the global parameter axes which surround groups of trimming curves. When multiple trimming curves are present, intersecting subspaces are further segmented using local Voronoi curve diagrams, allowing any shared subspace to be distributed equally between the trimming curves. Transition patches are then used to define local subspaces around the trimming curves each with their own parametrization that accommodates the trimmed edges. Coons patches are then created to map these local spaces to the global parameter space during rendering. This allows for high quality interpolation of the trimmed edges without affecting the parametric properties or continuity of the trimmed surface.
Weak-strong uniqueness of dissipative measure-valued solutions for polyconvex elastodynamics
Creators: name: Demoulini, Sophia
name: Stuart, David
name: Tzavaras, Athanasios
Publisher: name: arXiv
Year: 2011
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35L52

description: For the equations of elastodynamics with polyconvex stored energy, and some related simpler systems, we define a notion of dissipative measure-valued solution and show that such a solution agrees with a classical solution with the same initial data when such a classical solution exists. As an application of the method we give a short proof of strong convergence in the continuum limit of a lattice approximation of one dimensional elastodynamics in the presence of a classical solution. Also, for a system of conservation laws endowed with a positive and convex entropy, we show that dissipative measure-valued solutions attain their initial data in a strong sense after time averaging.
Charakterisierung und Modellierung von instabilen Metamaterialien
Creators: name: Findeisen, Claudio
Publisher: name: KIT Scientific Publishing
Year: 2019
Subjects: Metamaterialien
höhere Kontinuumsmechanik
Instabilitäten
Homogenisierung
Mikrostrukturierte Materialien
metamaterials
higher continua
instabilities
homogenization
microstructured materials

description: Metamaterialien, aus gezielt gestalteten Basiszellen aufgebaute Materialien, zeigen Effektiveigenschaften, die in erster Linie durch die Struktur getrieben werden und weniger von den Materialeigenschaften ihrer Konstituenten abhängen. In dieser Arbeit wird untersucht welches Potential sich durch die gezielte Ausnutzung von strukturellen Instabilitäten auf der Mikroebene ergibt und wie diese Materialien auf den verschiedenen relevanten Größenskalen modelliert werden können.
title: Handel w dziejach państwa i prawa
Creators: name: Nowicka, Dobromiła
Publisher: name: E-Wydawnictwo. Prawnicza i Ekonomiczna Biblioteka Cyfrowa. Wydział Prawa, Administracji i Ekonomii Uniwersytetu Wrocławskiego
Year: 2021

description: Monografia stanowi próbę przybliżenia wieloaspektowości zjawiska handlu z perspektywy prawnohistorycznej. Każdy z piętnastu rozdziałów traktuje o nieco innym wymiarze obrotu handlowego, postrzeganego przez pryzmat rozwoju regulacji prawnych i ich powiązań z relacjami społeczno-gospodarczymi, podmiotów w nim uczestniczących, ograniczeń z uwagi na przedmiot działalności handlowej, umów szczególnie istotnych dla handlu, monopoli, nie pomijając także negatywnego jego aspektu – handlu ludźmi. Poszczególne części monografii odnoszą się tak do ziem polskich, jak i obszarów innych państw, jednocześnie dotycząc zagadnienia handlu w bardzo szerokiej perspektywie czasowej – począwszy od antyku aż do regulacji współczesnych. Publikacja stanowi zaproszenie do szerokiego spojrzenia na handel w dziejach państwa i prawa, zawierając analizę przykładowych zagadnień, które ukazują bogactwo różnorodnych aspektów dyskusji nad tym niezwykle złożonym zagadnieniem.
Mediating Experiential Learning in Interactive Immersive Environments
Creators: name: Mostafa, Ahmed
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Virtual Environments
subject: Interactive
subject: Education
subject: Learning
subject: Simulation
subject: Immersion
subject: Computer Science

description: Simulation and immersive environments are gaining popularity in various contexts. Arguably, such interactive systems have the potential to benefit many users in a variety of education and training scenarios. However, some of these systems especially with the lack of skilled instructors are still faced by challenges of operational complexity, the incorporation of different technologies and features, and the limited availability of performance measures and feedback. Therefore, the design of these systems would benefit from integrating experiential aspects and essential educational aids. For example, users of such learning systems, especially the novice ones, can be better supported by a smoother learning curve, detailed guidance features, the availability of feedback and performance reporting, and the integration of engaging & reflective capabilities. In essence, we recognize a need to re-explore learning aids and how they impact design, usage, and overall learning experience in interactive immersive environments. The goal of this dissertation is to mediate experiential learning in interactive immersive environments. This includes exploring existing and novel learning aids that would facilitate learning with improved engagement and immersion, enrich learners with insightful reflections, better support novice users’ learning and training needs, and ultimately enhance the overall experience. To achieve this goal, we utilized existing learning models and simulation-based training approaches and proposed a framework of learning aids to mediate learning in interactive immersive environments. Working closely with domain expert collaborators, we designed, implemented and evaluated four new interactive immersive prototypes in an attempt to validate the practicality of our aids. The first prototype, NeuroSimVR, is a stereoscopic visualization augmented with educational aids to support how medical users learn about a common back surgery procedure. The second prototype, ReflectiveSpineVR, is an immersive virtual reality surgical simulation with innovative interaction history capabilities that aim to empower users’ memories and enable deliberate repetitive practice as needed. The third prototype, JackVR, is an interactive immersive training system, utilizing novel gamification elements, and aims to support oil-and-gas experts in the process of landing oil rigs. Our fourth prototype, RoboTeacher, involves a humanoid robot instructor for teaching people industrial assembly tasks. In our prototypes, we presented novel learning aids, visualization, and interaction techniques that are new to many of the current immersive learning tools. We conclude this dissertation with lessons learned and guidelines for designing with learning aids in future research directions that target interactive experiential environments.
Conformal Transformations in Metric-Affine Gravity and Ghosts
Creators: name: Karahan, Canan N.
name: Dogangun, Oktay
name: Demir, Durmus A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Conformal transformations play a widespread role in gravity theories in regard to their cosmological and other implications. In the pure metric theory of gravity, conformal transformations change the frame to a new one wherein one obtains a conformal-invariant scalar-tensor theory such that the scalar field, deriving from the conformal factor, is a ghost. In this work, conformal transformations and ghosts will be analyzed in the framework of the metric-affine theory of gravity. Within this framework, metric and connection are independent variables, and hence, transform independently under conformal transformations. It will be shown that, if affine connection is invariant under conformal transformations then the scalar field under concern is a non-ghost, non-dynamical field. It is an auxiliary field at the classical level, and might develop a kinetic term at the quantum level. Alternatively, if connection transforms additively with a structure similar to yet more general than that of the Levi-Civita connection, the resulting action describes the gravitational dynamics correctly, and more importantly, the scalar field becomes a dynamical non-ghost field. The equations of motion, for generic geometrical and matter-sector variables, do not reduce connection to the Levi-Civita connection, and hence, independence of connection from metric is maintained. Therefore, metric-affine gravity provides an arena in which ghosts arising from conformal factor are avoided thanks to the independence of connection from the metric.
description: 12 pp
Time-reversal symmetry relations for currents in quantum and stochastic nonequilibrium systems
Creators: name: Gaspard, Pierre
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: An overview is given of recent advances in the nonequilibrium statistical mechanics of quantum systems and, especially, of time-reversal symmetry relations that have been discovered in this context. The systems considered are driven out of equilibrium by time-dependent forces or by coupling to large reservoirs of particles and energy. The symmetry relations are established for the exchange of energy and particles between the subsystem and its environment. These results have important consequences. In particular, generalizations of the Kubo formula and the Casimir-Onsager reciprocity relations can be deduced beyond linear response properties. Applications to electron quantum transport in mesoscopic semiconducting circuits are discussed.
description: Chapter contributed to: R. Klages, W. Just, and C. Jarzynski (Eds.), Nonequilibrium Statistical Physics of Small Systems: Fluctuation Relations and Beyond (Wiley-VCH, Weinheim, 2012; ISBN 978-3-527-41094-1)
Extrasynaptic Modulation of GABA Synapses in the Paraventricular Nucleus of the Hypothalamus
Creators: name: Colmers, Phillip
Publisher: name: Graduate Studies
Year: 2017
Subjects: subject: Neuroscience
subject: Electrophysiology
subject: Optogenetics
subject: Stress
subject: Corticosterone
subject: Paraventricular nucleus of the hypothalamus
subject: Endocannabinoid
subject: DSI
subject: GABA
subject: Extrasynaptic

description: Challenges within an organisms’ environment elicit an evolutionarily conserved, adaptive, physiological stress response. Investigations into stress circuits have revealed complex, overlapping systems maintaining homeostatic control over internal and external environments, ensuring survival. In this thesis, I studied stress response regulation in mice. A small population of corticotropin releasing hormone (CRH) neurons in the paraventricular nucleus of the hypothalamus (PVN) govern activation of the stress response. The output of these neurons is under dense inhibitory constraint. Using electrophysiological and optogenetic tools, I examined plasticity in the GABA system regulating CRH neuron activity. Here, I tested the general hypothesis that extrasynaptic modulation of GABA transmission in the PVN plays an important role in shaping the output of PNCs. I found many forms of communication rely on GABA spillover to maintain proper function. Upon entering the extrasynaptic space, GABA can bind presynaptic GABABRs to constitutively self-regulate GABA release, or bind to extrasynaptic GABAARs to tonically inhibit CRH neuron excitability. Next, I found that corticosterone alters the strength of extrasynaptic GABAARs directly. Next, I examined the role of endocannabinoids (eCB) in modulating GABA synaptic strength. I found activation of extrasynaptic mGluRs curtailed the duration of eCB actions at GABA terminals. Specifically recruiting eCB action at GABA synapses in the absence of glutamate allowed persistent eCB effects. In conclusion, research in this thesis provides novel findings for extrasynaptic modulation of CRH neurons that are likely to have broader implications in other brain regions.
Nonaxisymmetric, multi-region relaxed magnetohydrodynamic equilibrium solutions
Creators: name: Hudson, S. R.
name: Dewar, R. L.
name: Hole, M. J.
name: McGann, M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We describe a magnetohydrodynamic (MHD) constrained energy functional for equilibrium calculations that combines the topological constraints of ideal MHD with elements of Taylor relaxation. Extremizing states allow for partially chaotic magnetic fields and non-trivial pressure profiles supported by a discrete set of ideal interfaces with irrational rotational transforms. Numerical solutions are computed using the Stepped Pressure Equilibrium Code, SPEC, and benchmarks and convergence calculations are presented.
description: Submitted to Plasma Physics and Controlled Fusion for publication with a cluster of papers associated with workshop: Stability and Nonlinear Dynamics of Plasmas, October 31, 2009 Atlanta, GA on occasion of 65th birthday of R.L. Dewar. V2 is revised for referees
MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation
Creators: name: Künnemann, Robert
name: Nemati, Hamed
Publisher: name: CISPA
Year: 2023

description: We study the verification of security properties at the state machine level of a minimalistic device, called the MAC-in-the-Box (MITB). This device computes a message authentication code based on the SHA-3 hash function and a key that is stored on device, but never output directly. It is designed for secure password storage, but may also be used for secure key-exchange and second-factor authentication. We formally verify, in the HOL4 theorem prover, that no outside observer can distinguish this device from an ideal functionality that provides only access to a hashing oracle. Furthermore, we propose protocols for the MITB’s use in password storage, key-exchange and second-factor authentication, and formally show that it improves resistance against host-compromise in these three application scenarios.
An approach to shaping away wireless interference in 802.11 traffic at different transmission rates
Creators: name: Wong, Jimmy Chak Ming
Publisher: name: University of British Columbia
Year: 2011

description: IEEE 802.11 wireless networks are widely deployed and used nowadays, especially in enterprise and university settings. The widespread usage means increased airspace congestion when many users connect at the same time, which slows down the wireless network performance. Two infamous problematic scenarios are the hidden terminal and the exposed terminal, where a victim node will suffer decreased throughput because of interference from other nodes which are unfairly using up the available airspace. This wireless unfairness occurs due to the design of the 802.11 protocol and the vast number of clients connected. The thesis presents a VOIDShaper Engine, which captures the network traffic at a central upstream router through which all wireless access points connect, and uses a previously developed VOID tool to analyze the traffic and generate a network interference map. With this map, VOIDShaper can find the interference between pairs of TCP Flows, and apply corrective traffic shaping rules on the interfering TCP flows directly at the router. All experiments were run in the Emulab testbed; we see that with traffic control, bandwidth fairness is achieved by using the HTB and SFQ queuing strategies at the router. The goals of this work are 1) to use VOIDShaper to detect and shape wireless traffic at the same 802.11 transmission rates due to interference, 2) to analyze how VOIDShaper responds to wireless interference when the nodes are transmitting at different wireless data rates, 3) to devise an algorithm and shaping policy for traffic which is sent at symmetric or different 802.11 transmission rates.
The algebraic combinatorics of snakes
Creators: name: Josuat-Vergès, Matthieu
name: Novelli, Jean-Christophe
name: Thibon, Jean-Yves
Publisher: name: arXiv
Year: 2011
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.
description: 29 pages, Latex
Do USDA Farm Program Participants Contribute to Soil Erosion?
Creators: name: Reichelderfer, Katherine H.
name: Reichelderfer, Katherine H.
Publisher: name: Unknown
Year: 1985
Subjects: subject: Agricultural and Food Policy
subject: Environmental Economics and Policy
subject: Farm Management
subject: Resource /Energy Economics and Policy
subject: Commodity programs
subject: conservation
subject: program consistency
subject: soil erosion

description: Only about one-third of U.S. cropland with excessive soil erosion rates is operated by farmers who might be influenced to reduce erosion if changes were made in the U.S. Department of Agriculture's commodity and soil conservation programs. The present commodity programs may conflict with conservation programs by encouraging the cultivation of erosive crops. Efforts to increase the consistency of USDA commodity and conservation programs would contribute little to overcoming the Nation's total erosion problems. Such efforts, however, should balance conservation objectives with objectives for farm income, commodity prices, production, and export.
DPIFuzz: A Differential Fuzzing Frameworkto Detect DPI Elusion Strategies for QUIC
Creators: name: Reen, Gaganjeet Singh
name: Rossow, Christian
Publisher: name: CISPA
Year: 2023

description: QUIC is an emerging transport protocol that has the potential to replace TCP in the near future. As such, QUIC will become an important target for Deep Packet Inspection (DPI). Reliable DPI is essential, e.g., for corporate environments, to monitor traffic entering and leaving their networks. However, elusion strategies threaten the validity of DPI systems, as they allow attackers to carefully design traffic to fool and thus evade on-path DPI systems. While such elusion strategies for TCP are well documented, it is unclear if attackers will be able to elude QUIC-based DPI systems. In this paper, we systematically explore elusion methodologies for QUIC. To this end, we present DPIFuzz: a differential fuzzing framework which can automatically detect strategies to elude stateful DPI systems for QUIC. We use DPIFuzz to generate and mutate QUIC streams in order to compare (and find differences in) the server-side interpretations of five popular open-source QUIC implementations. We show that DPIFuzz successfully reveals DPI elusion strategies, such as using packets with duplicate packet numbers or exploiting the diverging handling of overlapping stream offsets by QUIC implementations. DPIFuzz additionally finds four security-critical vulnerabilities in these QUIC implementations.