cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Topological charge pumping in a one-dimensional optical lattice
Creators: name: Wang, Lei
name: Troyer, Matthias
name: Dai, Xi
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: A topological charge pump [1] transfers charge in a quantized fashion. The quantization is stable against the detailed form of the pumping protocols and external noises and shares the same topological origin as the quantum Hall effect. We propose an experiment setup to realize topological charge pumping of cold atoms in a one-dimensional optical lattice. The quantization of the pumped charge is confirmed by first-principle simulations of the dynamics of uniform and trapped systems. Quantum effects are shown to be crucial for the topological protection of the charge quantization. Finite-temperature and non-adiabatic effect on the experimental observables are discussed. Realization of such a topological charge pump servers as a firm step towards exploring topological states and non-equilibrium dynamics using cold atoms.
description: added references and new supplemental material
title: Hardware Accelerator for Star Centroiding
Creators: name: Sakib, Nazmus
Publisher: name: Utah State University
Year: 2020

description: Since the dawn of civilization mankind has gazed upon the night sky and looked for directions. In this modern age, the stars have proved to be a reliable reference point for navigation in space. From small-satellites for gathering weather data to inter-planetary missions like Cassini Orbiter, figuring out the location of a spacecraft has been done successfully by taking images of star filed visible from the spacecraft, processing and analyzing the image to find the stars and then finding out from a star catalog which part of the sky the patterns of the visible stars best matches. But a lot of calculation is involved in this process which means it takes up huge amount of power and time to complete. In this research work a hardware will be developed that will reduce the power and increase the speed of this process. The accuracy of this design will be tested under different environmental conditions, modeling the actual region of operation of this design which is the space.
title: Predicting the Impact of Weather on Rural Travel Times Using Now-Cast Weather Forecast Data
Creators: name: Meshram, Manish
Publisher: name: Utah State University
Year: 2020

description: In the states which record extreme weather conditions and high snow in winters, the travel time to drive between cities can get highly affected due to these bad weather conditions. The present solutions to tackle this problem are largely flow or time related and do not take weather conditions into account while making the predictions about travel time. Also these solutions can mostly be used for real time travel and not the future travel. In addition to that, the studies that have been done in this space are mostly for urban travel times but most parts of the interstate highways go through rural areas.
This thesis is an attempt to analyze the impact of weather conditions on the travel time or speed of vehicles on highways during winter months. It uses the weather forecast data to make predictions on the speeds of various highway segments. The problem of predicting the speed has been treated as a regression problem and various statistical measures and machine learning techniques have been used to gain some insights on the behavior of speeds for various road segments on highways.
Additional file 1 of Development of an itaconic acid production process with Ustilaginaceae on alternative feedstocks
Creators: name: Niehoff, Paul-Joachim
name: Müller, Waldemar
name: Pastoors, Johannes
name: Miebach, Katharina
name: Ernst, Philipp
name: Hemmerich, Johannes
name: Noack, Stephan
name: Wierckx, Nick
name: Büchs, Jochen
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Plant Biology

description: Supplementary Material 1
Titel
Creators: name: Redaktion, Die
Publisher: name: Würzburger Jahrbücher für die Altertumswissenschaft
Year: 2018

description: Würzburger Jahrbücher für die Altertumswissenschaft, [N.F.] Bd. 36 (2012): Würzburger Jahrbücher für die Altertumswissenschaft
title: Salinity Tolerance in Kentucky Bluegrass Hybrids
Creators: name: Harris, Paul G.
Publisher: name: Utah State University
Year: 2020

description: Diminishing water sources in the Intermountain West have led to increased use of alternative sources of water. These sources, such as reclaimed water, generally have elevated salinity levels that may slow growth, and cause a decline in turfgrass quality. Kentucky bluegrass (Poa pratensis L.) is sensitive to salt stress, but is otherwise very well adapted to many turfgrass areas because of its dark color, durability, ability to recover from wear, and soft texture. Because of these positive traits, it has been the subject of selection for salt tolerance. This study was designed to evaluate the salt tolerance of hybrids from parents that had previously recorded higher salt tolerance, and parents with higher quality traits. My hypothesis was that hybrids from these parent would have mid-parent salt tolerances.
Thirty-one Kentucky bluegrass entries were included in this experiment, ten parents and twenty-one hybrids. Parents and hybrid plants were irrigated with increasing salinity levels. Plants were irrigated every-other-day with an automated boom irrigation system. Treatments began at a lower salinity level (3 dS m-1) for two weeks then increased to a higher salinity level (6 dS m-1) for the remainder of the eight-week experiment. Electrolyte leakage was measured to quantify salt stress along with visual quality ratings of plant health. The experiment was replicated 4 times over the course of 3 years.
There was significant variation in salt tolerance among the different parents and hybrids. Grasses demonstrating higher salt tolerance generally did so during all four replications of the experiment. Of the hybrids that were evaluated, six demonstrated improved salt tolerance. The majority of these hybrids were offspring of parents: 768, ‘North Star’, 827, and 603. The numbered parents are breeding lines in the USDA-USU bluegrass program. I concluded that some Kentucky bluegrass hybrids have potential for use in environments with elevated salinity levels.
Band and Mott Insulators and Superconductivity in Honeycomb-Lattice Ionic-Hubbard Model
Creators: name: Watanabe, Tsutomu
name: Ishihara, Sumio
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Motivated by superconductivity (SC) in layered nitrides, we study an ionic-Hubbard model on a honeycomb lattice, which consists of two sublattices with an energy-level offset, by using an optimization variational Monte Carlo method. Parameter values for the Coulomb interaction and the energy-level offset, to realize a band insulator in non-doped state, are evaluated, and the SC state is investigated in a carrier-doped band insulator. It is found that, in a weakly doped band insulator, spin fluctuation remains and the spin-singlet d-wave SC state is realized. Present results support an unconventional spin-singlet SC state suggested by the experimental observations in layered nitrides.
description: 8 pages, 9 figures
Additional file 4 of Embedding the rehabilitation treatment specification system (RTSS) into clinical practice: an evaluation of a pilot teaching programme
Creators: name: Gibson, Jamie
name: Sampford, Jade
name: Myers-Ingram, Richard
name: Jones, Gareth D.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases

description: Additional file 4. Inter-rater reliability data for the Frequency of Terminology Vocabulary Audit completed at pre and post RTSS teaching Programme.
Decidability of multiset, set and numerically decipherable directed figure codes
Creators: name: Moczurad, Włodzimierz
Publisher: name: arXiv
Year: 2016
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Codes with various kinds of decipherability, weaker than the usual unique decipherability, have been studied since multiset decipherability was introduced in mid-1980s. We consider decipherability of directed figure codes, where directed figures are defined as labelled polyominoes with designated start and end points, equipped with catenation operation that may use a merging function to resolve possible conflicts. This is one of possible extensions generalizing words and variable-length codes to planar structures. Here, verification whether a given set is a code is no longer decidable in general. We study the decidability status of figure codes depending on catenation type (with or without a merging function), decipherability kind (unique, multiset, set or numeric) and code geometry (several classes determined by relative positions of start and end points of figures). We give decidability or undecidability proofs in all but two cases that remain open.
description: Preliminary, short version of this paper appeared in IWOCA 2012 proceedings volume as M. Kolarz and W. Moczurad, Multiset, set and numerically decipherable codes over directed figures, in Springer's LNCS vol. 7643, pp. 224-235
Eine eisenzeitliche Fischfauna aus Sedimenten der Alt-Aa bei Haus Kump in Münster
Creators: name: Schöllmann, Lothar
name: Flotmann, Ulrich
name: Schlösser, Manfred
name: Bunzel-Drüke, Margret
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2017

description: -
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2015 (2016)
title: Ð¢ÐµÑÐ¼Ð¾Ð°ÐºÑÐ¸Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ¿ÐµÐºÑÑÐ¾ÑÐºÐ¾Ð¿Ð¸Ñ ÐÐÐ¡-Ð¿Ð»ÐµÐ½Ð¾Ðº Ñ ÑÐ°Ð·Ð»Ð¸ÑÐ½ÑÐ¼ ÑÐ¾Ð´ÐµÑÐ¶Ð°Ð½Ð¸ÐµÐ¼ Ð¼Ð¾Ð½ÑÐ¼Ð¾ÑÐ¸Ð»Ð»Ð¾Ð½Ð¸ÑÐ°
title: Thermally stimulated spectroscopy of ABS-films with varying montmorillonite content
Creators: name: ÐÐµÑÑÐ¾Ð², ÐÐ»ÐµÐºÑÐ°Ð½Ð´Ñ
name: ÐÐ°ÑÑÐ»Ð¸Ð½Ð°, ÐÐ»ÐµÐ½Ð°
Publisher: name: ÐÐÐÐÐ¢ÐÐ¥-ÐÐ ÐÐ¡Ð¡
Year: 2024
Subjects: Ð¡Ð¿ÐµÐºÑÑÐ¾ÑÐºÐ¾Ð¿Ð¸Ñ
Ð­Ð»ÐµÐºÑÑÐµÑÑ (ÑÐ¸Ð·.)
ÐÐ¾Ð¼Ð¿Ð¾Ð·Ð¸ÑÐ¸Ð¾Ð½Ð½ÑÐµ Ð¼Ð°ÑÐµÑÐ¸Ð°Ð»Ñ
Ð¼Ð¾Ð½ÑÐ¼Ð¾ÑÐ¸Ð»Ð»Ð¾Ð½Ð¸Ñ
ÑÐµÑÐ¼Ð¾ÑÑÐ¸Ð¼ÑÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð°Ñ Ð´ÐµÐ¿Ð¾Ð»ÑÑÐ¸Ð·Ð°ÑÐ¸Ñ
ÑÐ»ÐµÐºÑÑÐ¸ÑÐµÑÐºÐ¸ Ð°ÐºÑÐ¸Ð²Ð½ÑÐµ Ð´ÐµÑÐµÐºÑÑ
ÑÐ½ÐµÑÐ³Ð¸Ñ Ð°ÐºÑÐ¸Ð²Ð°ÑÐ¸Ð¸
montmorillonite
thermally stimulated depolarization
electrically active defects
activation energy

description: Ð ÑÑÐ°ÑÑÐµ Ð¿ÑÐµÐ´ÑÑÐ°Ð²Ð»ÐµÐ½Ñ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÐÐÐ¡-Ð¿Ð»ÐµÐ½Ð¾Ðº Ñ ÑÐ°Ð·Ð»Ð¸ÑÐ½ÑÐ¼ ÑÐ¾Ð´ÐµÑÐ¶Ð°Ð½Ð¸ÐµÐ¼ Ð¼Ð¾Ð½ÑÐ¼Ð¾ÑÐ¸Ð»Ð»Ð¾Ð½Ð¸ÑÐ°, Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð½ÑÐµ Ð¼ÐµÑÐ¾Ð´Ð°Ð¼Ð¸ ÑÐµÑÐ¼Ð¾ÑÑÐ¸Ð¼ÑÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð¹ ÑÐµÐ»Ð°ÐºÑÐ°ÑÐ¸Ð¸ Ð¿Ð¾ÑÐµÐ½ÑÐ¸Ð°Ð»Ð°. ÐÑÑÐ²Ð»ÐµÐ½Ð° Ð·Ð°Ð²Ð¸ÑÐ¸Ð¼Ð¾ÑÑÑ Ð²Ð»Ð¸ÑÐ½Ð¸Ñ Ð½Ð°Ð¿Ð¾Ð»Ð½Ð¸ÑÐµÐ»Ñ Ð½Ð° ÑÑÐ°Ð±Ð¸Ð»ÑÐ½Ð¾ÑÑÑ ÑÐ»ÐµÐºÑÑÐµÑÐ½Ð¾Ð³Ð¾ ÑÐ¾ÑÑÐ¾ÑÐ½Ð¸Ñ. ÐÐ»Ñ
Ð¾Ð¿ÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¿Ð°ÑÐ°Ð¼ÐµÑÑÐ¾Ð² ÑÐ»ÐµÐºÑÑÐ¸ÑÐµÑÐºÐ¸ Ð°ÐºÑÐ¸Ð²Ð½ÑÑ Ð´ÐµÑÐµÐºÑÐ¾Ð² Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½ Ð¼ÐµÑÐ¾Ð´ ÐÐ¾Ð³ÑÐ½Ð°-ÐÑÑÐ°. ÐÐ½Ð°Ð»Ð¸Ð· Ð¿Ð¾ÐºÐ°Ð·Ð°Ð» ÑÐµÐ½Ð´ÐµÐ½ÑÐ¸Ñ Ðº ÑÐ¾ÑÑÑ ÑÐ½ÐµÑÐ³Ð¸Ð¸ Ð°ÐºÑÐ¸Ð²Ð°ÑÐ¸Ð¸ ÐºÐ¾Ð¼Ð¿Ð¾Ð·Ð¸ÑÐ½ÑÑ Ð¿Ð»ÐµÐ½Ð¾Ðº Ñ ÑÐ²ÐµÐ»Ð¸ÑÐµÐ½Ð¸ÐµÐ¼ ÑÐ¾Ð´ÐµÑÐ¶Ð°Ð½Ð¸Ñ Ð¼Ð¾Ð½ÑÐ¼Ð¾ÑÐ¸Ð»Ð»Ð¾Ð½Ð¸ÑÐ° Ð² ÐÐÐ¡-ÑÑÑÑÐºÑÑÑÐµ Ð¿Ð¾ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ Ñ Ð¸ÑÑÐ¾Ð´Ð½ÑÐ¼ ÐÐÐ¡.
description: The article presents the study results of ABS films with varying montmorillonite content, carried out by using thermally stimulated potential relaxation methods. The dependence of the fillerâs influence on the electret state stability has been revealed. The Bogdan-Bos method was used to determine the
parameters of electrically active defects. The analysis showed the increase in activation energy due to the increase of the montmorillonite content in the ABS structure of composite films compared to the original ABS films.
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Creators: name: Weinert, Alexander
name: Zimmermann, Martin
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences
subject: D.2.4

description: The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the cost incurred between occurrences of odd colors and the next occurrence of a larger even one. Such games quantitatively extend parity games while retaining most of their attractive properties, i.e, determining the winner is in NP and co-NP and one player has positional winning strategies. We show that the characteristics of parity games with costs are vastly different when asking for strategies realizing the minimal such bound: The solution problem becomes PSPACE-complete and exponential memory is both necessary in general and always sufficient. Thus, solving and playing parity games with costs optimally is harder than just winning them. Moreover, we show that the tradeoff between the memory size and the realized bound is gradual in general. All these results hold true for both a unary and binary encoding of costs. Moreover, we investigate Streett games with costs. Here, playing optimally is as hard as winning, both in terms of complexity and memory.
Steinerne Fundamente und ein Pilgerzeichen – eine neuentdeckte Hofwüstung in Welver
Creators: name: Cichy, Eva
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2017

description: -
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2015 (2016)
Additional file 1 of Association between childhood obesity and infertility in later life: a systematic review of cohort studies
Creators: name: Pourghazi, Farzad
name: Eslami, Maysa
name: Mohammadi, Sammy
name: Ghoreshi, Reza
name: Ejtahed, Hanieh-Sadat
name: Qorbani, Mostafa
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Science Policy

description: Supplementary Material 1
»Wildes Westfalen« – NABU und Archäologiemuseum machen eine Ausstellung
Creators: name: Jülich, Susanne
name: Lagers, Michael
name: Moors, Cornelia
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2017

description: -
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2015 (2016)
Trees and spatial topology change in CDT
Creators: name: Ambjorn, Jan
name: Budd, Timothy G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Generalized causal dynamical triangulations (generalized CDT) is a model of two-dimensional quantum gravity in which a limited number of spatial topology changes is allowed to occur. We solve the model at the discretized level using bijections between quadrangulations and trees. In the continuum limit (scaling limit) the amplitudes are shown to agree with known formulas and explicit expressions are obtained for loop propagators and two-point functions. It is shown that from a combinatorial point of view generalized CDT can be viewed as the scaling limit of planar maps with a finite number of faces and we determine the distance function on this ensemble of planar maps. Finally, the relation with planar maps is used to illuminate a mysterious identity of certain continuum cylinder amplitudes.
description: 41 pages, 18 figures. Many details and proofs added
Backaction limits on self-sustained optomechanical oscillations
Creators: name: Poot, M.
name: Fong, K. Y.
name: Bagheri, M.
name: Pernice, W. H. P.
name: Tang, H. X.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The maximum amplitude of mechanical oscillators coupled to optical cavities are studied both analytically and numerically. The optical backaction on the resonator enables self-sustained oscillations whose limit cycle is set by the dynamic range of the cavity. The maximum attainable amplitude and the phonon generation quantum efficiency of the backaction process are studied for both unresolved and resolved cavities. Quantum efficiencies far exceeding one are found in the resolved sideband regime where the amplitude is low. On the other hand the maximum amplitude is found in the unresolved system. Finally, the role of mechanical nonlinearities is addressed.
Additional file 5 of Embedding the rehabilitation treatment specification system (RTSS) into clinical practice: an evaluation of a pilot teaching programme
Creators: name: Gibson, Jamie
name: Sampford, Jade
name: Myers-Ingram, Richard
name: Jones, Gareth D.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases

description: Additional file 5. Clinical Reasoning Rubric of Documentation Assessment used to measure quality of clinical reasoning in SOAP documentation, complete at pre and post RTSS teaching programme.
Algebraization, transcendence, and D-group schemes
Creators: name: Bost, Jean-Benoit
Publisher: name: arXiv
Year: 2013
Subjects: subject: Algebraic Geometry (math.AG)
subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: We present a conjecture in Diophantine geometry concerning the construction of line bundles over smooth projective varieties over $\bar{\mathbb Q}}$. This conjecture, closely related to the Grothendieck Period Conjecture for cycles of codimension 1, is also motivated by classical algebraization results in analytic and formal geometry and in transcendence theory. Its formulation involves the consideration of $D$-group schemes attached to abelian schemes over algebraic curves over $\bar{\mathbb Q}}$. We also derive the Grothendieck Period Conjecture for cycles of codimension 1 in abelian varieties over $\bar{\mathbb Q}}$ from a classical transcendence theorem à la Schneider-Lang.
description: To appear in the proceedings of the conference "Recent developments in model theory", Ol\'eron 2011, in Notre Dame Journal of Formal Logic, Volume 54, Number 3-4, 2013. Typos corrected
Die Kunst- und Geschichtsdenkmäler der Provinz Westfalen. 1. Stück: Kreis Hamm. — Münster
Creators: name: Lehfeldt, Paul
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Die Kunst- und Geschichtsdenkmäler der Provinz Westfalen. 1. Stück: Kreis Hamm. — Münster. Selbstverlag des Provinzialvereins 1880.
description: Bonner Jahrbücher, Bd. 69 (1880): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Strong Coupling to Two-Dimensional Anderson Localized Modes
Creators: name: Cazé, Alexandre
name: Pierrat, Romain
name: Carminati, Rémi
Publisher: name: arXiv
Year: 2013
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We use a scattering formalism to derive a condition of strong coupling between a resonant scatterer and an Anderson localized mode for electromagnetic waves in two dimensions. The strong coupling regime is demonstrated based on exact numerical simulations, in perfect agreement with theory. The strong coupling threshold can be expressed in terms of the Thouless conductance and the Purcell factor, thus connecting key concepts in transport theory and cavity quantum electrodynamics.
Additional file 6 of Embedding the rehabilitation treatment specification system (RTSS) into clinical practice: an evaluation of a pilot teaching programme
Creators: name: Gibson, Jamie
name: Sampford, Jade
name: Myers-Ingram, Richard
name: Jones, Gareth D.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases

description: Additional file 6. Script that guided semi structured focus group used to measure adoption and reflection of the RTSS teaching Programme.
A characterization of trees with equal 2-domination and 2-independence numbers
Creators: name: Brause, Christoph
name: Henning, Michael A.
name: Krzywkowski, Marcin
Publisher: name: arXiv
Year: 2016
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C05, 05C69

description: A set $S$ of vertices in a graph $G$ is a $2$-dominating set if every vertex of $G$ not in $S$ is adjacent to at least two vertices in $S$, and $S$ is a $2$-independent set if every vertex in $S$ is adjacent to at most one vertex of $S$. The $2$-domination number $γ_2(G)$ is the minimum cardinality of a $2$-dominating set in $G$, and the $2$-independence number $α_2(G)$ is the maximum cardinality of a $2$-independent set in $G$. Chellali and Meddah [{\it Trees with equal $2$-domination and $2$-independence numbers,} Discussiones Mathematicae Graph Theory 32 (2012), 263--270] provided a constructive characterization of trees with equal $2$-domination and $2$-independence numbers. Their characterization is in terms of global properties of a tree, and involves properties of minimum $2$-dominating and maximum $2$-independent sets in the tree at each stage of the construction. We provide a constructive characterization that relies only on local properties of the tree at each stage of the construction.
description: 17 pages, 4 figures
title: Constructing Mathematical Concepts through External Representations Utilizing Technology: An Implementation in IRT Course
Creators: name: Marsigit, M.
name: Retnawati, Heri
name: Apino, Ezi
name: H. Santoso, Rusgianto
name: Arlinwibowo, Janu
name: Santoso, Agus
name: Rasmuin, R.
Publisher: name: TEM Journal
Year: 2020

description: One of useful theories in the educational and psychological assessment is an item response theory (IRT) that applies mathematical concepts. For students, constructing math concept to solve problems in IRT is very difficult and utilizing technology such as computer and software will help. In a qualitative approach, this study described how students constructed mathematical concepts in the item response theory using external mathematical representations integrated with technology. The participants were 19 graduate students. Data were collected through observation in 5 courses. The data were analyzed using Milles and Hubberman technique through reduction, display, and verification. The results showed that by using external representations and providing cases, presenting data in tables, the collaboration among the students to solve problems, create and demonstrate graphics utilizing technology to construct mathematical concepts, utilize the context assessment related to mathematical concepts, and also use graphs could support students’ thinking for constructing mathematical concepts in IRT.
Study of Ni and Zn doped CeOFeAs: Effect on the structural transition and specific heat capacity
Creators: name: Singh, S. J.
name: Prakash, Jai
name: Pal, A.
name: Patnaik, S.
name: Awana, V. P. S.
name: Ganguli, A. K.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We have systematically studied the substitution of nonmagnetic Zn and magnetic Ni at iron sites in Ce based oxypnictide. The parent compound (CeOFeAs) shows an anomaly in resistivity around 150 K due to structural transition from tetragonal (space group: P4/nmm) to orthorhombic structure (space group: Cmma). Substitution of Zn suppresses this anomaly to lower temperature (~130 K) but Ni substitution does not show any anomaly around this temperature and the compound behaves like a metal. Further, we find that non magnetic (Zn) doping leads to higher impurity scattering as compared to magnetic Ni doping. Similar to the resistivity measurement, the specific heat shows another jump near 4 K for CeOFeAs. This is attributed to the ordering of Ce3+ moments. This peak shifts to 3.8 K for Zn substituted compound and there is no change in the ordering temperature in the Ni substituted CeOFeAs. These peaks are broadened in applied magnetic field (5 T) and the calculated magnetic entropy tends to saturate at the same value for 0 T and 5 T external magnetic field.
description: 16 pages Text+Figs
Quantitative Automata under Probabilistic Semantics
Creators: name: Chatterjee, Krishnendu
name: Henzinger, Thomas A.
name: Otop, Jan
Publisher: name: arXiv
Year: 2016
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions, we establish that automata with monitor counters and nested weighted automata are equivalent. We study for the first time such quantitative automata under probabilistic semantics. We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics. We present a complete picture of decidability for such automata, and even an almost-complete picture of computational complexity, for the probabilistic questions we consider.
Die Rekonstruktion der römischen Villen von Nennig und Fliessem
Creators: name: Mylius, Hermann
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 129 (1924): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
title: Ways of Critical and Creative Thinking Development in Practical Training through Video-Study
Creators: name: Valentová, Monika
name: Brečka, Peter
Publisher: name: TEM Journal
Year: 2020

description: Practical training is an integral part of training for any future profession. Improving and extending the practical training for future teachers, by strengthening the development of the required key competences oriented towards teachers´ critical and creative thinking, has been in the centre of attention in education in Slovakia. Future teachers enter the practice with many ideas on what is expected of good teaching to represent. However, their teaching style often lacks creativity, ability to assess or self-assess, as well as higher level of critical thinking when choosing appropriate methods and procedures. The objective of this article is to point out the application of observational video-studies, using the AAA method as a means of strengthening practical teacher preparation with emphasis on critical thinking development among educators in technical subjects. This paper is a followup to the previous study ´Implementation of Critical Thinking Strategies in School Subject Technology: A Preliminary Study´.
Additional file 1 of The effect of selenium supplementation on sonographic findings of salivary glands in papillary thyroid cancer (PTC) patients treated with radioactive iodine: study protocol for a double-blind, randomized, placebo-controlled clinical trial
Creators: name: Amini, Sepide
name: Golshani, Marjan
name: Moslehi, Masoud
name: Hajiahmadi, Somayeh
name: Askari, Gholamreza
name: Iraj, Bijan
name: Bagherniya, Mohammad
Publisher: name: figshare
Year: 2023
Subjects: Medicine
Cell Biology
Neuroscience
Chemical Sciences not elsewhere classified
Developmental Biology
Cancer
Science Policy
Mental Health

description: Additional file 1.
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Creators: name: Cooper, Martin C.
name: Živný, Stanislav
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computational Complexity (cs.CC)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: F.4.1
subject: 68Q15

description: Characterising tractable fragments of the constraint satisfaction problem (CSP) is an important challenge in theoretical computer science and artificial intelligence. Forbidding patterns (generic sub-instances) provides a means of defining CSP fragments which are neither exclusively language-based nor exclusively structure-based. It is known that the class of binary CSP instances in which the broken-triangle pattern (BTP) does not occur, a class which includes all tree-structured instances, are decided by arc consistency (AC), a ubiquitous reduction operation in constraint solvers. We provide a characterisation of simple partially-ordered forbidden patterns which have this AC-solvability property. It turns out that BTP is just one of five such AC-solvable patterns. The four other patterns allow us to exhibit new tractable classes.
Slow dynamics in cylindrically confined colloidal suspensions
Creators: name: Saklayen, Nabiha
name: Hunter, Gary L.
name: Edmond, Kazem V.
name: Weeks, Eric R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: We study bidisperse colloidal suspensions confined within glass microcapillary tubes to model the glass transition in confined cylindrical geometries. We use high speed three-dimensional confocal microscopy to observe particle motions for a wide range of volume fractions and tube radii. Holding volume fraction constant, we find that particles move slower in thinner tubes. The tube walls induce a gradient in particle mobility: particles move substantially slower near the walls. This suggests that the confinement-induced glassiness may be due to an interfacial effect.
description: Submitted to AIP conference proceedings for "Slow Dynamics in Complex Systems" (Sendai, Japan, Dec. 2012)
title: Implementing the Praxeological Approach to Teaching Practice at Pedagogical University
Creators: name: Lyashova, Nadiia
name: Pomyrcha, Svitlana
name: Beskorsa, Olena
name: Ishutina, Olena
name: Khvashchevska, Olha
Publisher: name: TEM Journal
Year: 2020

description: The article deals with the issue of improving the process of organizing the pre-service teaching as one of the priority conditions for developing future primary school teachers’ professional competence. It is determined that the effective way of solving this problem is to form the future teachers’ successful pedagogical experience while both studying at the university and having teaching practice. The emphasis is on the effectiveness of the praxeological approach. The authors claim that the coverage of various aspects of organizing the teaching practice, research and systematic analysis of theoretical foundations and problems of different directions have long been in sight of scholars; it is proved by the detailed analysis of scientific works by foreign and native scholars. The stage-by-stage implementation of the praxeological approach to the organization of the assistant practice for Master students of the specialty “Primary Education” and its influence on the professional development of future specialists are highlighted.
Additional file 1 of Disentangling concepts of inappropriate polypharmacy in old age: a scoping review
Creators: name: Lau, Sofie Rosenlund
name: Waldorff, Frans
name: Holm, Anne
name: Frølich, Anne
name: Andersen, John Sahl
name: Sallerup, Mette
name: Christensen, Sarah Emilie
name: Clausen, Stine Søndersted
name: Due, Tina Drud
name: Hølmkjær, Pernille
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1. Template used for data extraction
title: ÐÑÐ¾Ð±ÐµÐ½Ð½Ð¾ÑÑÐ¸ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ñ ÑÐ¾ÑÐ¾Ð½Ð½ÑÑ Ð¸ ÐºÐ²Ð°Ð½ÑÐ¾Ð²ÑÑ ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¹ Ðº Ð¸Ð½Ð´ÑÑÑÑÐ¸Ð¸ Ð¿Ð¾ÑÑÐ¾Ð² Ð¸ ÑÑÐ´Ð¾ÑÑÑÐ¾Ð¸ÑÐµÐ»ÑÐ½Ð¾Ð¹ ÑÐµÐ¼Ð°ÑÐ¸ÐºÐ¸
title: Specifics of application of photonic and quantum technologies to the ports and shipbuilding industry
Creators: name: ÐÐ¾ÑÐ¸ÑÐµÐ½ÐºÐ¾, ÐÐ¾Ð½ÑÑÐ°Ð½ÑÐ¸Ð½
name: ÐÐ°ÐºÑÐ°Ð½Ð¾Ð², ÐÐ½Ð´ÑÐµÐ¹
Publisher: name: ÐÐÐÐÐ¢ÐÐ¥-ÐÐ ÐÐ¡Ð¡
Year: 2024
Subjects: Ð¡ÑÐ´Ð¾ÑÑÑÐ¾ÐµÐ½Ð¸Ðµ
ÐÐ¾ÑÑÑ
ÑÐ¾ÑÐ¾Ð½Ð½ÑÐµ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ñ
ÐºÐ²Ð°Ð½ÑÐ¾Ð²ÑÐµ ÐºÐ¾Ð¼Ð¿ÑÑÑÐµÑÑ
Ð´Ð°ÑÐ°-ÑÐµÐ½ÑÑÑ
ÑÐ½ÐµÑÐ³Ð¾ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÑ
Ð¿ÐµÑÑÐ¿ÐµÐºÑÐ¸Ð²Ð½ÑÐµ ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¸
photonic computing
quantum computers
data centers
energy efficiency
advanced technologies

description: Ð ÑÑÐ°ÑÑÐµ Ð¿ÑÐµÐ´ÑÑÐ°Ð²Ð»ÐµÐ½Ñ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ñ ÑÐ¾ÑÐ¾Ð½Ð½ÑÑ Ð¸ ÐºÐ²Ð°Ð½ÑÐ¾Ð²ÑÑ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ð¹ Ð² Ð¿Ð¾ÑÑÐ¾Ð²Ð¾Ð¹ Ð¸Ð½Ð´ÑÑÑÑÐ¸Ð¸ Ð¸ ÑÑÐ´Ð¾ÑÑÑÐ¾ÐµÐ½Ð¸Ð¸. Ð Ð°ÑÑÐ¼Ð¾ÑÑÐµÐ½Ñ Ð¿ÐµÑÑÐ¿ÐµÐºÑÐ¸Ð²Ñ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÐ¾ÑÐ¾Ð½Ð½ÑÑ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸Ð¹ Ð¿Ð¾Ð²ÑÑÐµÐ½Ð¸Ñ ÑÐ½ÐµÑÐ³Ð¾ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÐ¸, ÑÑÐºÐ¾ÑÐµÐ½Ð¸Ñ Ð¾Ð±ÑÐ°Ð±Ð¾ÑÐºÐ¸ Ð´Ð°Ð½Ð½ÑÑ
Ð¿Ð¾ÑÑÐµÐ´ÑÑÐ²Ð¾Ð¼ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÑ ÑÐ¸ÑÑÐµÐ¼Ð°Ñ ÑÐ¿ÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð¿Ð¾ÑÑÐ°Ð¼Ð¸. ÐÑÐ¾Ð±Ð¾Ðµ Ð²Ð½Ð¸Ð¼Ð°Ð½Ð¸Ðµ ÑÐ´ÐµÐ»ÐµÐ½Ð¾ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÑÐ¼ ÐºÐ²Ð°Ð½ÑÐ¾Ð²ÑÑ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ð¹ Ñ ÑÐµÐ»ÑÑ Ð¾Ð¿ÑÐ¸Ð¼Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð»Ð¾Ð³Ð¸ÑÑÐ¸ÑÐµÑÐºÐ¸Ñ Ð¿ÑÐ¾ÑÐµÑÑÐ¾Ð², Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ð¸ ÑÐ»Ð¾Ð¶Ð½ÑÑ ÑÑÐ´Ð¾ÑÑÑÐ¾Ð¸ÑÐµÐ»ÑÐ½ÑÑ ÐºÐ¾Ð½ÑÑÑÑÐºÑÐ¸Ð¹. ÐÑÐ¼ÐµÑÐ°ÐµÑÑÑ Ð½ÐµÐ¾Ð±ÑÐ¾Ð´Ð¸Ð¼Ð¾ÑÑÑ Ð´Ð°Ð»ÑÐ½ÐµÐ¹ÑÐ¸Ñ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ð¹ Ð¿ÑÐµÐ¾Ð´Ð¾Ð»ÐµÐ½Ð¸Ñ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ñ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ñ Ð±Ð°ÑÑÐµÑÐ¾Ð², Ð°Ð´Ð°Ð¿ÑÐ°ÑÐ¸Ð¸ Ð¿ÐµÑÐµÐ´Ð¾Ð²ÑÑ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸Ð¹ Ðº ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐµ Ð¼Ð¾ÑÑÐºÐ¾Ð¹ Ð¾ÑÑÐ°ÑÐ»Ð¸.
description: The article presents the results of research into the application of photonic and quantum computing in the port industry and shipbuilding. The prospects of using photonic technologies to improve energy efficiency and accelerate data processing in automated port management systems are considered.
Special attention is paid to the possibilities of quantum computing in optimization of logistic processes and modeling of complex shipbuilding structures. The need for further research to overcome existing technological barriers and adapt these advanced technologies to the specifics of the maritime industry is noted.
On the algebraic structure of Weihrauch degrees
Creators: name: Brattka, Vasco
name: Pauly, Arno
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and concurrent Kleene algebras. Introducing the notion of an ideal with respect to the compositional product, we can consider suitable quotients of the Weihrauch degrees. We also prove some specific characterizations using the implication. In order to introduce and study compositional products and implications, we introduce and study a function space of multi-valued continuous functions. This space turns out to be particularly well-behaved for effectively traceable spaces that are closely related to admissibly represented spaces.
Marc Lienhard, Luther. Ses sources, sa pensée, sa place dans l’histoire, Genève (Labor et Fides) 2016
Creators: name: Quisinsky, Michael
Publisher: name: Francia-Recensio
Year: 2017

description: Marc Lienhard, Luther. Ses sources, sa pensée, sa place dans l’histoire, Genève (Labor et Fides) 2016, 681 p., ISBN 978-2-8309-1605-8, EUR 24,00.
description: Francia-Recensio, 2017/4
Microgrids for rural schools: An energy-education accord to curb societal challenges for sustainable rural developments
Creators: name: Chatterjee, Abhi
name: Brent, Alan
name: Rayudu, Ramesh
name: Verma, P
Publisher: name: Open Access Victoria University of Wellington | Te Herenga Waka
Year: 2021
Subjects: Uncategorized

description: Quality education and schools have a key role to play in the sustainable development of society. Unfortunately, many remote communities in developing countries fail to enjoy access to quality education due to a lack of electricity, thereby interrupting regular school services in the villages. The main objective of the paper contributes to understanding the importance of the energy-education accord, and aims to curb the social challenges prevailing in the villages. Specifically, the paper suggests a technical intervention by designing a hybrid renewable energy system for such schools. The approach is demonstrated through a case study with a load demand of approximately 4 kWh/d, comprising a class size of 40 students. A techno-economic evaluation of the energy system reveals the levelized cost of energy of the system at USD 0.22 per kWh, which may be affordable considering number of other aspects, outlined in this paper, to enable a larger uptake of such systems in developing countries.
Interrogating differences: A comparative analysis of Africa's informal settlements
Creators: name: Kovacic, Z
name: Musango, JK
name: Ambole, LA
name: Buyana, K
name: Smit, S
name: Anditi, C
name: Mwau, B
name: Ogot, M
name: Lwasa, S
name: Brent, Alan
name: Nsangi, G
name: Sseviiri, H
Publisher: name: Open Access Victoria University of Wellington | Te Herenga Waka
Year: 2021
Subjects: Economics

description: Urban development in Africa is a very diverse and ambivalent phenomenon with aspects that do not fall neatly into global standards. Informal settlements therefore challenge governance by standards. We argue that quantifying and interrogating differences offers a better basis for governance. By drawing on a comparative analysis of three different informal settlements in Sub-Saharan Africa, this paper explores what differences reveal about the governance of informal settlements. The paper uses an urban societal metabolism approach, focussed on gender, energy and health, based on questionnaires and focus group discussions in Enkanini (Stellenbosch, South Africa), Mathare (Nairobi, Kenya), and Kasubi-Kawaala (Kampala, Uganda). The contribution of the paper is both empirical and theoretical. Empirically, we provide new evidence about the metabolism of urban informality at multiple levels of analysis: the individual, the household and the settlement. Findings show the gender asymmetries in urban poverty and the intricate links between energy choices, health and economic status. Theoretically, we argue that different levels of analysis produce different understandings of urban informality, and that analyzing informal settlements only by population aggregates means missing information. We conclude by arguing that understanding differences leads to the formulation of modest and localised goals, which are better able to take into account the complexity of urban informality.
Dark matter and Ricci-like holographic dark energy coupled through a quadratic interaction
Creators: name: Chimento, Luis P.
name: Richarte, Martín G.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We examine a spatially flat Friedmann-Robertson-Walker (FRW) universe filled with interacting dark matter and a modified holographic Ricci dark energy (MHRDE). The interaction term is selected as a significant rational function of the total energy density and its first derivative homogeneous of degree. We show that the effective one-fluid obeys the equation of state of a relaxed Chaplygin gas, then the universe turns to be dominated by pressureless dark matter at early times and undergoes an accelerated expansion in the far future driven by a strong negative pressure. Performing a $χ^{2}$-statistical analysis with the observational Hubble data and the Union2 compilation of SNe Ia, we place some constraints on cosmological parameters analyzing the feasibleness of the modified holographic Ricci ansatz. It turned that MHRDE gets the accelerated expansion faster than the $Λ$CDM model. Finally, a new model with a component that does not exchange energy with the interacting dark sector is presented for studying bounds on the dark energy at early times.
description: 7 pages, 3 figures, conference. To appear in the proceedings of the CosmoSul conference, held in Rio de Janeiro, Brazil, 01-05 august of 2011
Ein bemerkenswerter Hallstattring vom Niederrhein
Creators: name: Dehn, Wolfgang
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 1 (1952)
Additional file 2 of Disentangling concepts of inappropriate polypharmacy in old age: a scoping review
Creators: name: Lau, Sofie Rosenlund
name: Waldorff, Frans
name: Holm, Anne
name: Frølich, Anne
name: Andersen, John Sahl
name: Sallerup, Mette
name: Christensen, Sarah Emilie
name: Clausen, Stine Søndersted
name: Due, Tina Drud
name: Hølmkjær, Pernille
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 2. Overview of included references and descriptive analysis
F. R. Wulsin, The Prehistoric Archaeology of Northwest Africa / R. Neuville - A. Rühlmann, LaPlace du Paleolithique Ancien dans le Quaternaire Marocain / M. Alinagro-Basch, Prehistoria del Norte de Africa y del Sáhara Español / B. Howe - H. L. Movius Jr., A Stone Age Cave Site in Tangier
Creators: name: Milojčić, Vladimir
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: Rezension zu: F. R. Wulsin, The Prehistoric Archaeology of Northwest Africa. Papers of the Peabody Museum of American Archaeology and Ethnology Bd. 19, 1. Harvard University, Cambridge, Mass. 1941. 173 S.

Rezension zu: R. Neuville - A. Rühlmann, LaPlace du Paleolithique Ancien dans le Quaternaire Marocain. Collection Hesperis Inst. d. Hautes Etudes Marocaines 8 (Casablanca 1941). 156 S., 49 Abb., 8 Taf.

Rezension zu: M. Alinagro-Basch, Prehistoria del Norte de Africa y del Sáhara Español. Barcelona 1946. 302 S., 261 Abb.

Rezension zu: B. Howe - H. L. Movius Jr., A Stone Age Cave Site in Tangier. Papers of the Peabody Museum of American Archaeology and Ethnology Bd. 28, 1. Harvard University, Cambridge, Mass. 1947. 32 S., 8 Abb.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 1 (1952)
title: ÐÐ½Ð°Ð»Ð¸Ð· Ð¸ Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ¸ ÐºÐ¾Ð½ÑÐµÐ¿ÑÐ¸Ð¸ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÑ ÑÐ¸ÑÑÐµÐ¼ Ð¾Ð±ÑÐ»ÑÐ¶Ð¸Ð²Ð°Ð½Ð¸Ñ ÑÑÐ´Ð¾Ð²Ð¾Ð³Ð¾ Ð¾Ð±Ð¾ÑÑÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ
title: Analysis and modeling of the development of the concept of automated systems for maintenance of marine equipment
Creators: name: Ð¯ÐºÐ¾Ð²Ð»ÐµÐ², ÐÐ¸ÑÐ°Ð»Ð¸Ð¹
name: ÐÐ°ÑÑÐµÐ²ÑÐºÐ¸Ð¹, ÐÐ²Ð³ÐµÐ½Ð¸Ð¹
Publisher: name: ÐÐÐÐÐ¢ÐÐ¥-ÐÐ ÐÐ¡Ð¡
Year: 2024
Subjects: Ð¡ÑÐ´Ð°
Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ
ÑÑÐ´Ð¾Ð²Ð¾Ðµ Ð¾Ð±Ð¾ÑÑÐ´Ð¾Ð²Ð°Ð½Ð¸Ðµ
ÑÐµÑ Ð½Ð¸ÑÐµÑÐºÐ¾Ðµ Ð¾Ð±ÑÐ»ÑÐ¶Ð¸Ð²Ð°Ð½Ð¸Ðµ
automation
marine equipment
maintenance

description: Ð ÑÑÐ°ÑÑÐµ ÑÐ°ÑÑÐ¼Ð°ÑÑÐ¸Ð²Ð°ÑÑÑÑ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÐµ ÑÐ¸ÑÑÐµÐ¼Ñ Ð¾Ð±ÑÐ»ÑÐ¶Ð¸Ð²Ð°Ð½Ð¸Ñ ÑÑÐ´Ð¾Ð²Ð¾Ð³Ð¾ Ð¾Ð±Ð¾ÑÑÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ. ÐÑÐ¾Ð²Ð¾Ð´Ð¸ÑÑÑ Ð°Ð½Ð°Ð»Ð¸Ð· ÑÐ¶Ðµ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ñ ÑÐµÑÐµÐ½Ð¸Ð¹, Ð¸Ñ Ð²Ð»Ð¸ÑÐ½Ð¸Ñ Ð½Ð° ÑÐºÑÐ¿Ð»ÑÐ°ÑÐ°ÑÐ¸Ð¾Ð½Ð½ÑÐµ Ð¿ÑÐ¾ÑÐµÑÑÑ Ð¸ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÐ¸ ÑÐ½Ð¸Ð¶ÐµÐ½Ð¸Ñ Ð²ÑÐµÐ¼ÐµÐ½Ð¸ Ð½Ð° Ð¾Ð±ÑÐ»ÑÐ¶Ð¸Ð²Ð°Ð½Ð¸Ðµ Ð¸ Ð·Ð°ÑÑÐ°Ñ. ÐÐ¿Ð¸ÑÑÐ²Ð°ÑÑÑÑ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÑ Ð²Ð½ÐµÐ´ÑÐµÐ½Ð¸Ñ ÑÐ°ÐºÐ¸Ñ ÑÐ¸ÑÑÐµÐ¼ Ð¸ Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÑÑÑÑÑ Ð¿ÐµÑÑÐ¿ÐµÐºÑÐ¸Ð²Ñ Ð¸Ñ Ð´Ð°Ð»ÑÐ½ÐµÐ¹ÑÐµÐ³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑÐ¶Ðµ Ð³Ð¾ÑÐ¾Ð²ÑÑ ÑÐµÑÐµÐ½Ð¸Ð¹.
description: The article considers automated systems for servicing marine equipment. An analysis of existing solutions, their impact on operational processes and the possibility of reducing maintenance time and costs is carried out. The results of the implementation of such systems are described and the prospects for their further development are modeled based on the analysis of readymade solutions.
Analyzing Timed Systems Using Tree Automata
Creators: name: Akshay, S.
name: Gastin, Paul
name: Krishna, Shankara Narayanan
Publisher: name: arXiv
Year: 2016
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1

description: Timed systems, such as timed automata, are usually analyzed using their operational semantics on timed words. The classical region abstraction for timed automata reduces them to (untimed) finite state automata with the same time-abstract properties, such as state reachability. We propose a new technique to analyze such timed systems using finite tree automata instead of finite word automata. The main idea is to consider timed behaviors as graphs with matching edges capturing timing constraints. When a family of graphs has bounded tree-width, they can be interpreted in trees and MSO-definable properties of such graphs can be checked using tree automata. The technique is quite general and applies to many timed systems. In this paper, as an example, we develop the technique on timed pushdown systems, which have recently received considerable attention. Further, we also demonstrate how we can use it on timed automata and timed multi-stack pushdown systems (with boundedness restrictions).
$(2/2/3)$-SAT problem and its applications in dominating set problems
Creators: name: Ahadi, Arash
name: Dehghan, Ali
Publisher: name: arXiv
Year: 2016
Subjects: subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: The satisfiability problem is known to be $\mathbf{NP}$-complete in general and for many restricted cases. One way to restrict instances of $k$-SAT is to limit the number of times a variable can be occurred. It was shown that for an instance of 4-SAT with the property that every variable appears in exactly 4 clauses (2 times negated and 2 times not negated), determining whether there is an assignment for variables such that every clause contains exactly two true variables and two false variables is $\mathbf{NP}$-complete. In this work, we show that deciding the satisfiability of 3-SAT with the property that every variable appears in exactly four clauses (two times negated and two times not negated), and each clause contains at least two distinct variables is $ \mathbf{NP} $-complete. We call this problem $(2/2/3)$-SAT. For an $r$-regular graph $G = (V,E)$ with $r\geq 3$, it was asked in [Discrete Appl. Math., 160(15):2142--2146, 2012] to determine whether for a given independent set $T $ there is an independent dominating set $D$ that dominates $T$ such that $ T \cap D =\varnothing $? As an application of $(2/2/3)$-SAT problem we show that for every $r\geq 3$, this problem is $ \mathbf{NP} $-complete. Among other results, we study the relationship between 1-perfect codes and the incidence coloring of graphs and as another application of our complexity results, we prove that for a given cubic graph $G$ deciding whether $G$ is 4-incidence colorable is $ \mathbf{NP} $-complete.