cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Ideology and social change in the Philippines: Catholic and fundamentalist Christianity in a Negros town
Creators: name: Haerle, Glenn R.
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: GN 671 P5 H33 1992
subject: Ethnology - Philippines
subject: Catholic Church - Philippines - History
subject: Philippines - Religion
subject: Philippines - Social conditions

description: Bibliography: p. 110-113.
description: This thesis is an anthropological study of ideology and social change within a Philippine context. The concepts of ideology and hegemony are used to explore how religion, as a form of ideology, is related to changes in the broader society. The thesis consists of an historical and an ethnographic component. The historical component explores the close relationship between Christianity, in particular Roman Catholicism, and colonial rule. The ethnographic component compares Catholicism and Fundamentalism, as differing forms of Christianity, in operation within a similar social milieu. The beliefs, scale and organizational structures of the Roman Catholic and Fundamentalist Baptist Churches in Kabankalan produce different ideological responses to social change. The ideological perspectives of the two religious groups are reflected in their educational and rural development programs. The Catholics advocate structural changes to society, while the Fundamentalists focus on transformation of the individual, and encourage conformity to the existing system.
Timed Automata Semantics for Visual e-Contracts
Creators: name: Martínez, Enrique
name: Cambronero, M. Emilia
name: Díaz, Gregorio
name: Schneider, Gerardo
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.4

description: C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in case of not fulfillment of their obligations and prohibitions. In such diagrams we are also able to represent absolute and relative timing constraints. In this paper we present a formal semantics for C-O Diagrams based on timed automata extended with an ordering of states and edges in order to represent different deontic modalities.
description: In Proceedings FLACOS 2011, arXiv:1109.2399
Casimir force measurements in Au-Au and Au-Si cavities at low temperature
Creators: name: Laurent, J.
name: Sellier, H.
name: Mosset, A.
name: Huant, S.
name: Chevrier, J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We report on measurements of the Casimir force in a sphere-plane geometry using a cryogenic force microscope to move the force probe in situ over different materials. We show how the electrostatic environment of the interacting surfaces plays an important role in weak force measurements and can overcome the Casimir force at large distance. After minimizing these parasitic forces, we measure the Casimir force between a gold-coated sphere and either a gold-coated or a heavily doped silicon surface in the 100-400 nm distance range. We compare the experimental data with theoretical predictions and discuss the consequence of a systematic error in the scanner calibration on the agreement between experiment and theory. The relative force over the two surfaces compares favorably with theory at short distance, showing that this Casimir force experiment is sensitive to the dielectric properties of the interacting surfaces.
description: accepted for publication in Physical Review B
ประเมินผลการนำผลงานวิจัยและองค์ความรู้ กรมควบคุมโรค ปี 2557-2559 ไปใช้ประโยชน์
Creators: name: ปวิตร คตโคตร
Publisher: name: กองนวัตกรรมและวิจัย กรมควบคุมโรค
Year: 2566
Subjects: ประเมินผล
การนำผลงานวิจัยไปใช้ประโยชน์
การนำองค์ความรู้ไปใช้ประโยชน์ กรมควบคุมโรค
วิจัยประเมินผล

description: วารสารควบคุมโรค, 49, 1, 206-221
Geochemistry and Sr-Nd isotopic studies of Palaeoproterozoic (ca. 2.3 Ga) meta-lamprophyre from Rapuru area, Nellore Schist Belt, Southern India: implication for back-arc basin magmatism and its relevance to the Columbia Supercontinent assembly
Creators: name: Meshram, Tushar
name: Mahapatro, Satya Narayana
name: Aravind, J. K.
name: Dora, M. L.
name: Baswani, Srinivasa
name: Gopalakrishna, G
name: Meshram, Rajkumar
name: Sesha Sai, V V
name: Randive, Kirtikumar
name: Das, Jitendra
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Supplementary material 2: Supplementary figure 8 b) Initial εNd(t) isotope vs. ΔNb variation diagram shows evidence of SCLM enriched by ancient subduction related sediments source for RL. c) fSm/Nd ns. εNd 2.3 Ga variation diagram shows decreasing trend for RL dykes. d) Initial εNd(t) isotope vs. time in Ma considering 2300 Ma calculated ages. e) 87Sr/86Sr isotope vs SiO2 variation diagram show poor correlation for RL dykes. f) 100/Nd vs. initial εNd(t) isotope shows poor correlation for RL dykes.
การเปลี่ยนแปลงน้ำหนักตัวหลังเข้าร่วมโปรแกรมการปรับเปลี่ยนพฤติกรรมสุขภาพ 7 สัปดาห์: กรณีศึกษา บุคลากรในกรมควบคุมโรค
Creators: name: ศิริวรรณ พิทยรังสฤษฏ์
Publisher: name: กองนวัตกรรมและวิจัย กรมควบคุมโรค
Year: 2566
Subjects: โปรแกรมควบคุมน้ำหนัก
ดัชนีมวลกาย
ที่ทำงาน
แอปพลิเคชัน

description: วารสารควบคุมโรค, 49, 1, 222-233
Spectral geometry of the Moyal plane with harmonic propagation
Creators: name: Gayral, Victor
name: Wulkenhaar, Raimar
Publisher: name: arXiv
Year: 2011
Subjects: subject: Operator Algebras (math.OA)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: We construct a `non-unital spectral triple of finite volume' out of the Moyal product and a differential square root of the harmonic oscillator Hamiltonian. We find that the spectral dimension of this triple is d but the KO-dimension is 2d. We add another Connes-Lott copy and compute the spectral action of the corresponding U(1)-Yang-Mills-Higgs model. We find that the `covariant coordinate' involving the gauge field combines with the Higgs field to a unified potential, yielding a deep unification of discrete and continuous parts of the geometry.
description: 37 pages
Jahresbericht des Römisch-Germanischen Zentralmuseums, Forschungsinstitut für Vor- und Frühgeschichte, 1990
Creators: name: Redaktion, Die
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2020

description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 37 Nr. 2 (1990)
การสอบสวนการระบาดโรคติดเชื้อไวรัสโคโรนา 2019 ที่มีความเชื่อมโยงกับงานศพ ในตำบลพระแก้ว อำเภอสังขะ จังหวัดสุรินทร์ เดือนตุลาคม 2564
Creators: name: กฤตินันท์ บุญรำไพ
Publisher: name: กองนวัตกรรมและวิจัย กรมควบคุมโรค
Year: 2566
Subjects: โรคติดเชื้อไวรัสโคโรนา 2019
การระบาด
งานศพ
ปัจจัยเสี่ยง
ประสิทธิผลของวัคซีน
ประสิทธิผลของมาตรการป้องกันโรค

description: วารสารควบคุมโรค, 49, 1, 234-246
Shot noise in magnetic tunnel junctions from first principles
Creators: name: Liu, Kai
name: Xia, Ke
name: Bauer, Gerrit E. W.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We compute the shot noise in ballistic and disordered Fe/MgO/Fe tunnel junctions by a wave function-matching method. For tunnel barriers with no more than 5 atomic layers we find a suppression of the Fano factor as a function of the magnetic configuration. For thicker MgO barriers the shot noise is suppressed up to a threshold bias indicating the onset of resonant tunneling. We find excellent agreement with recent experiments when interface disorder is taken into account
description: 5 pages,5 figures
Spin-oscillator model for DNA/RNA unzipping by mechanical force
Creators: name: Prados, A.
name: Carpio, A.
name: Bonilla, L. L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We model unzipping of DNA/RNA molecules subject to an external force by a spin-oscillator system. The system comprises a macroscopic degree of freedom, represented by a one-dimensional oscillator, and internal degrees of freedom, represented by Glauber spins with nearest-neighbor interaction and a coupling constant proportional to the oscillator position. At a critical value $F_c$ of an applied external force $F$, the oscillator rest position (order parameter) changes abruptly and the system undergoes a first-order phase transition. When the external force is cycled at different rates, the extension given by the oscillator position exhibits a hysteresis cycle at high loading rates whereas it moves reversibly over the equilibrium force-extension curve at very low loading rates. Under constant force, the logarithm of the residence time at the stable and metastable oscillator rest position is proportional to $(F-F_c)$ as in an Arrhenius law.
description: 9 pages, 6 figures, submitted to PRE
Yukawa unification in SO(10) with light sparticle spectrum
Creators: name: Badziak, Marcin
name: Olechowski, Marek
name: Pokorski, Stefan
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We investigate supersymmetric SO(10) GUT model with μ<0. The requirements of top-bottom-tau Yukawa unification, correct radiative electroweak symmetry breaking and agreement with the present experimental data may be met when the soft masses of scalars and gauginos are non-universal. We show how appropriate non-universalities can easily be obtained in the SO(10) GUT broken to the Standard Model. We discuss how values of BR(b-->s γ) and (g-2)_μsimultaneously in a good agreement with the experimental data can be achieved in SO(10) model with μ<0. In the region of the parameter space preferred by our analysis there are two main mechanisms leading to the LSP relic abundance consistent with the WMAP results. One is the co-annihilation with the stau and the second is the resonant annihilation via exchange of the Z boson or the light Higgs scalar. A very interesting feature of SO(10) models with negative μis that they predict relatively light sparticle spectra. Even the heaviest superpartners may easily have masses below 1.5 TeV in contrast to multi-TeV particles typical for models with positive μ.
description: 23 pages, 5 figures
The CAST experiment: status and perspectives
Creators: name: Iguaz, F. J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The status of the solar axion search with the CERN Axion Solar Telescope (CAST) will be discussed. Results from the first part of CAST phase II where the magnet bores were filled with 4He gas at variable pressure in order to scan axion masses up to 0.4 eV will be presented. From the absence of excess X-rays when the magnet was pointing to the Sun, we set a typical upper limit on the axion-photon coupling of g < 2.17 x 10^10 GeV$-1 at 95% CL for axion masses lower than 0.4 eV, the exact result depending on the pressure setting. Our search for axions with masses up to about 1.2 eV using 3He as a buffer gas is in progress in the second part of CAST phase II. Expectations for sensibilities will be given. Near future perspectives as well as more long term options for a new helioscope experiment will be evoked.
description: Proceedings of Identification of Dark Matter 2010-IDM2010 conference
Early diagenesis in the Fraser River Delta
Creators: name: Simpson, Graham P.
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: QE 571 S55 1992a
subject: Additional Copy: QE 571 S55 1992
subject: Diagenesis - British Columbia
subject: Formations (Geology) - British Columbia
subject: Deltas - British Columbia - Fraser River
subject: Marine Sediments
subject: Estuarine Sediments - British Columbia - Fraser River

description: Bibliography: p. 89-94.
Distributed System Contract Monitoring
Creators: name: D, Adrian Francalanza Ph.
name: Sc, Andrew Gauci M.
name: D, Gordon Pace Ph.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.
description: In Proceedings FLACOS 2011, arXiv:1109.2399
Contractile network models for adherent cells
Creators: name: Torres, P. Guthardt
name: Bischofs, I. B.
name: Schwarz, U. S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cell Behavior (q-bio.CB)
subject: FOS: Biological sciences

description: Cells sense the geometry and stiffness of their adhesive environment by active contractility. For strong adhesion to flat substrates, two-dimensional contractile network models can be used to understand how force is distributed throughout the cell. Here we compare the shape and force distribution for different variants of such network models. In contrast to Hookean networks, cable networks reflect the asymmetric response of biopolymers to tension versus compression. For passive networks, contractility is modeled by a reduced resting length of the mechanical links. In actively contracting networks, a constant force couple is introduced into each link in order to model contraction by molecular motors. If combined with fixed adhesion sites, all network models lead to invaginated cell shapes, but only actively contracting cable networks lead to the circular arc morphology typical for strongly adhering cells. In this case, shape and force distribution are determined by local rather than global determinants and thus are suited to endow the cell with a robust sense of its environment. We also discuss non-linear and adaptive linker mechanics as well as the relation to tissue shape.
description: 35 pages, 14 postscript figures, to appear in Physical Review E
Geochemistry and Sr-Nd isotopic studies of Palaeoproterozoic (ca. 2.3 Ga) meta-lamprophyre from Rapuru area, Nellore Schist Belt, Southern India: implication for back-arc basin magmatism and its relevance to the Columbia Supercontinent assembly
Creators: name: Meshram, Tushar
name: Mahapatro, Satya Narayana
name: Aravind, J. K.
name: Dora, M. L.
name: Baswani, Srinivasa
name: Gopalakrishna, G
name: Meshram, Rajkumar
name: Sesha Sai, V V
name: Randive, Kirtikumar
name: Das, Jitendra
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Supplementary material 1: Supplementary figure 1.
Inhalt
Creators: name: Redaktion, Die
Publisher: name: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Year: 2020

description: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege, Bd. 25 Nr. 11 (1972): Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Non-probabilistic proof of the A_2 theorem, and sharp weighted bounds for the q-variation of singular integrals
Creators: name: Hytönen, Tuomas P.
name: Lacey, Michael T.
name: Pérez, Carlos
Publisher: name: arXiv
Year: 2012
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 42B20, 42B25

description: Any Calderon-Zygmund operator T is pointwise dominated by a convergent sum of positive dyadic operators. We give an elementary self-contained proof of this fact, which is simpler than the probabilistic arguments used for all previous results in this direction. Our argument also applies to the q-variation of certain Calderon-Zygmund operators, a stronger nonlinearity than the maximal truncations. As an application, we obtain new sharp weighted inequalities.
description: 10 pages
German Romanticism and Philipp Otto Runge. A study in nineteenth-century art theory and iconography
Creators: name: Traeger, Jörg
Publisher: name: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Year: 2020

description: Rezension zu: Rudolf M. Bisanz, German Romanticism and Philipp Otto Runge. A study in nineteenth-century art theory and iconography. DeKalb: Northern Illinois University Press 1970. XI, 144 S. Mit 42 Abb.
description: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege, Bd. 25 Nr. 12 (1972): Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Editorial
Creators: name: Eitel, Bernhard
Publisher: name: Ruperto Carola
Year: 2020

description: In den vergangenen Jahren sahen wir uns immer wieder mit der Gefahr konfrontiert, dass Teile unseres gesellschaftlichen und wirtschaftlichen Lebens von Computerviren lahmgelegt werden könnten. Nun haben wir erleben müssen, dass ein die Menschen bedrohendes Virus zu einem weltweiten Shutdown bisher ungekannten Ausmaßes geführt hat. Doch nicht nur die Bedrohung durch Viren unterschiedlichster Art verbindet Maschinen und Menschen. Was sie gemeinsam auszeichnet und was Mensch und Maschine unterscheidet, wo beide voneinander lernen und wie sie sich gegenseitig ergänzen können, damit beschäftigt sich die aktuelle Ausgabe unseres Forschungsmagazins RUPERTO CAROLA zum Schwerpunktthema MASCHINE & MENSCH.
description: Ruperto Carola, Nr. 16 (2020): Maschine & Mensch
Molekulare Maschinen. Blick in die Proteinwerkstätten der Zelle
Creators: name: Hurt, Ed
Publisher: name: Ruperto Carola
Year: 2020

description: In jeder menschlichen Zelle finden sich rund eine Million kleiner Proteinfabriken, die Ribosomen. Die moderne Kryo-Elektronenmikroskopie erlaubt es nicht nur, den winzigen molekularen Maschinen bei der Arbeit zuzusehen, jüngst lieferte sie auch grundlegende Einblicke in den Herstellungsprozess der Ribosomen. Solche Erkenntnisse lassen auch die Ursachen von Krankheiten, etwa von Krebs, besser verstehen und auf eine gezieltere Behandlung hoffen.
description: Ruperto Carola, Nr. 16 (2020): Maschine & Mensch
Algorithmus für Kreativität gesucht. Herausforderungen maschinellen Sprachverstehens
Creators: name: Frank, Anette
name: Markert, Katja
Publisher: name: Ruperto Carola
Year: 2020

description: Ob Schachspiel, Quiz oder virtuelle Debatte: Dank Künstlicher Intelligenz sind Maschinen heut- zutage in der Lage, sich in allen möglichen Disziplinen mit Menschen zu messen – auch auf sprachlicher Ebene. Systeme, die das sogenannte tiefe Lernen anwenden, können beispielsweise Texte in hoher Qualität übersetzen oder Fragen des täglichen Lebens beantworten. Mit der Entwicklung und Untersuchung von Methoden, die diese und andere sprachliche Anwendungen für Maschinen ermöglichen, befasst sich die Computerlinguistik – auch an der Universität Heidelberg.
description: Ruperto Carola, Nr. 16 (2020): Maschine & Mensch
Equipartition of rotational and translational energy in a dense granular gas
Creators: name: Nichol, Kiri
name: Daniels, Karen E.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Experiments quantifying the rotational and translational motion of particles in a dense, driven, 2D granular gas floating on an air table reveal that kinetic energy is divided equally between the two translational and one rotational degrees of freedom. This equipartition persists when the particle properties, confining pressure, packing density, or spatial ordering are changed. While the translational velocity distributions are the same for both large and small particles, the angular velocity distributions scale with the particle radius. The probability distributions of all particle velocities have approximately exponential tails. Additionally, we find that the system can be described with a granular Boyle's Law with a van der Waals-like equation of state. These results demonstrate ways in which conventional statistical mechanics can unexpectedly apply to non-equilibrium systems.
Cultural metaphors as a source of meaning in architecture
Creators: name: Jorundsdottir, Gudrun
Publisher: name: Environmental Design
Year: 1992
Subjects: subject: NA 2542.4 J67 1992
subject: Architecture - Iceland
subject: Man - Influence of environment - Iceland
subject: Signs and symbols in architecture
subject: Architecture - Human factors
subject: Architecture - Psychological aspects

description: Bibliography: p. 91-96.
Ultrafast supercontinuum spectroscopy of carrier multiplication and biexcitonic effects in excited states of PbS quantum dots
Creators: name: Gesuele, F.
name: Sfeir, M. Y.
name: Koh, W. -K.
name: Murray, C. B.
name: Heinz, T. F.
name: Wong, C. W.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We examine the multiple exciton population dynamics in PbS quantum dots by ultrafast spectrally-resolved supercontinuum transient absorption (SC-TA). We simultaneously probe the first three excitonic transitions over a broad spectral range. Transient spectra show the presence of first order bleach of absorption for the 1S_h-1S_e transition and second order bleach along with photoinduced absorption band for 1P_h-1P_e transition. We also report evidence of the one-photon forbidden 1S_{h,e}-1P_{h,e} transition. We examine signatures of carrier multiplication (multiexcitons for the single absorbed photon) from analysis of the first and second order bleaches, in the limit of low absorbed photon numbers (~ 10^-2), at pump energies from two to four times the semiconductor band gap. The multiexciton generation efficiency is discussed both in terms of a broadband global fit and the ratio between early- to long-time transient absorption signals.. Analysis of population dynamics shows that the bleach peak due to the biexciton population is red-shifted respect the single exciton one, indicating a positive binding energy.
description: 16 pages, 5 figures
On superembedding approach and its possible application in search for SO(32) heterotic five-brane equations
Creators: name: Bandos, Igor A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We elaborate the superembedding description of 'simple' D = 10, N = 1 five-brane and discuss the possible application of the superembedding approach in search for the equations of motion of the mysterious SO(32) heterotic five brane on this basis.
description: 9 pages, LaTeX, w-art style
Endogenous respiratory rhythm in isolated brainstem preparations
Creators: name: McLean, Heather A.
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: QP 123 M228 1993
subject: Respiration - Regulation
subject: Frogs - Physiology
subject: Physiology, Comparative
subject: Brain stem - Physiology

description: Bibliography: p. 219-241.
Fibeln als Zeugnisse persönlichen Christentums südlich und nördlich der Alpen im 5. bis 9. Jahrhundert
Creators: name: Bierbrauer, Volker
Publisher: name: Acta Praehistorica et Archaeologica
Year: 2020

description: Acta Praehistorica et Archaeologica, Bd. 34 (2002)
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages
Creators: name: Hantry, Francois
name: Hacid, Mohand-Said
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1

description: Providing adequate tools to tackle the problem of inconsistent compliance rules is a critical research topic. This problem is of paramount importance to achieve automatic support for early declarative design and to support evolution of rules in contract-based or service-based systems. In this paper we investigate the problem of extracting temporal unsatisfiable cores in order to detect the inconsistent part of a specification. We extend conflict-driven SAT-solver to provide a new conflict-driven depth-first-search solver for temporal logic. We use this solver to compute LTL unsatisfiable cores without re-exploring the history of the solver.
description: In Proceedings FLACOS 2011, arXiv:1109.2399
Fifty-Fourth Annual Exhibition of the National Association of Women Artists, 1946
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 1946

description: The National Association of Women Artists (NAWA) was established in 1889 and is the oldest professional women's fine arts organization in the United States. NAWA's mission is to promote awareness of, and interest in, visual art created by women in the United States. As part of this effort NAWA holds an annual exhibition of works by members of the association and publishes an exhibition catalog to accompany or commemorate the annual exhibitions. These catalogs not only function as an exhibition catalog, but also as a document that summarizes the structure, membership, and activities of the association.Information that can be found in these catalogs includes lists of officers, members of the executive board and committees, prize winners, lists of exhibitor and members, and images of some of the artwork exhibited. Catalogs from the 2000s also include information on NAWA events and activities beyond the annual exhibition.Please note that the numbering of the annual catalogs was adjusted in 1960 and again in 1971. For example, NAWA designated the annual exhibition in 1960 as the 70th Anniversary Exhibition after 1959 was the 67th Annual Exhibition. These adjustments appear to have been made to reflect the date of the founding of the association, so that, by 1989, the annual exhibition commemorated the 100-year anniversary of the founding of NAWA in 1889.
Semiotics in education: an exploration of limits and possibilities in a science classroom context
Creators: name: Groisman, Andrea L. Marcilla De
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: LB 1033.5 M37 1992
subject: Communication in education
subject: Semiotics
subject: Socialization
subject: Education
subject: Science - Study and teaching

description: Bibliography: p. 107-119.
Imeglimin Hydrochloride: First Approval
Creators: name: Lamb, Yvette
Publisher: name: Adis Journals
Year: 2021
Subjects: subject: Medicine
subject: 110107 Metabolic Medicine
subject: FOS: Clinical medicine

description: Declarations
Funding The preparation of this review was not supported by any external funding.
Authorship and Conflict of interest During the peer review process the manufacturer of the agent under review was offered an opportunity to comment on the article. Changes resulting from any comments received were made by the authors on the basis of scientific completeness and accuracy. Yvette Lamb is a salaried employee of Adis International Ltd/Springer Nature, and declares no relevant conflicts of interest. All authors contributed to the review and are responsible for the article content.
Ethics approval, Consent to participate and consent for publication, Availability of data and material, Code availability Not applicable.
Additional information about this Adis Drug Review can be found here
Abstract
Imeglimin hydrochloride (TWYMEEG®; hereafter referred to as imeglimin) is an orally administered, first-in-class glimin being developed by Poxel and, in several Asian countries, Sumitomo Dainippon Pharma for the treatment of type 2 diabetes (T2D). The glimins are a novel class of glucose-lowering agents that target multiple components of diabetes-associated pathology. In June 2021, imeglimin received its first approval for use in T2D in Japan. The Japanese approval was based on extensive preclinical and clinical data, including positive results from the pivotal phase III TIMES programme. This article summarizes the milestones in the development of imeglimin leading to this first approval for T2D.

© Springer Nature Switzerland AG 2021
Fifty-Fifth Annual Exhibition of the National Association of Women Artists, 1947
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 1947

description: The National Association of Women Artists (NAWA) was established in 1889 and is the oldest professional women's fine arts organization in the United States. NAWA's mission is to promote awareness of, and interest in, visual art created by women in the United States. As part of this effort NAWA holds an annual exhibition of works by members of the association and publishes an exhibition catalog to accompany or commemorate the annual exhibitions. These catalogs not only function as an exhibition catalog, but also as a document that summarizes the structure, membership, and activities of the association.Information that can be found in these catalogs includes lists of officers, members of the executive board and committees, prize winners, lists of exhibitor and members, and images of some of the artwork exhibited. Catalogs from the 2000s also include information on NAWA events and activities beyond the annual exhibition.Please note that the numbering of the annual catalogs was adjusted in 1960 and again in 1971. For example, NAWA designated the annual exhibition in 1960 as the 70th Anniversary Exhibition after 1959 was the 67th Annual Exhibition. These adjustments appear to have been made to reflect the date of the founding of the association, so that, by 1989, the annual exhibition commemorated the 100-year anniversary of the founding of NAWA in 1889.
Conceptualization of relational aspects in interventions for fathers undergoing the transition to fatherhood: A systematic review
Creators: name: Correia, Joana
name: Vowels, Laura
name: Debrot, Anik
name: Darwiche, Joëlle
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Psychiatry and Psychology
subject: Medicine and Health Sciences

description: We are interested in interventions specifically designed for fathers and targeting their mental health during the transition to fatherhood (prenatal period, pregnancy and postnatal period). Among the content of these interventions, we are particularly interested in relational aspects, an area that can be strongly impacted during this transition phase (see Kotelchuck, 2021; Ramchandini et al., 2011; Schlagintweit et al., 2016). The objective of this review is thus to identify which interventions developed between 2002 and 2022 address relational aspects and to further investigate how these have been included in the interventions and what their effects are. The results of this review will allow us to know if this domain is considered in the interventions and how it is constructed. This will allow us to better design this aspect in future interventions for fathers.
Über den Import westeuropäischer Feinsteinwerkzeuge nach Westfalen
Creators: name: Brandt, Karl
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Bonner Jahrbücher, Bd. 146 (1941): Bonner Jahrbücher des Vereins von Altertumsfreunden im Rheinlande und des Rheinischen Provinzialmuseums in Bonn
Gertrud Dorka, Urgeschichte des Weizackerkreises Pyritz
Creators: name: Kersten, W.
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Rezension zu: Gertrud Dorka, Urgeschichte des Weizackerkreises Pyritz. Schriften aus dem Pommerschen Landesmuseum in Stettin. Stettin (Leon Sauniers) 1939. 260 Seiten, 60 Bild- und 7 Kartentafeln.
description: Bonner Jahrbücher, Bd. 146 (1941): Bonner Jahrbücher des Vereins von Altertumsfreunden im Rheinlande und des Rheinischen Provinzialmuseums in Bonn
Bericht über die Tätigkeit des Landesmuseums in Bonn in der Zeit vom 1. April 1939 bis 31. Dezember 1940
Creators: name: Oelmann, F.
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Bonner Jahrbücher, Bd. 146 (1941): Bonner Jahrbücher des Vereins von Altertumsfreunden im Rheinlande und des Rheinischen Provinzialmuseums in Bonn
"Quantization is a mystery"
Creators: name: Todorov, Ivan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: History and Overview (math.HO)
subject: History and Philosophy of Physics (physics.hist-ph)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 81S10, 01A60

description: Expository notes which combine a historical survey of the development of quantum physics with a review of selected mathematical topics in quantization theory (addressed to students that are not complete novices in quantum mechanics). After recalling in the introduction the early stages of the quantum revolution, and recapitulating in Sect. 2.1 some basic notions of symplectic geometry, we survey in Sect. 2.2 the so called prequantization thus preparing the ground for an outline of geometric quantization (Sect. 2.3). In Sect. 3 we apply the general theory to the study of basic examples of quantization of Kaehler manifolds. In Sect. 4 we review the Weyl and Wigner maps and the work of Groenewold and Moyal that laid the foundations of quantum mechanics in phase space, ending with a brief survey of the modern development of deformation quantization. Sect. 5 provides a review of second quantization and its mathematical interpretation. We point out that the treatment of (nonrelativistic) bound states requires going beyond the neat mathematical formalization of the concept of second quantization. An appendix is devoted to Pascual Jordan, the least known among the creators of quantum mechanics and the chief architect of the "theory of quantized matter waves".
description: lecture notes, 51 pages
Mittelsteinzeitliche Fundstellen am Niederrhein
Creators: name: Brandt, Karl
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Bonner Jahrbücher, Bd. 150 (1950): Bonner Jahrbücher des Vereins von Altertumsfreunden im Rheinlande und des Rheinischen Provinzialmuseums in Bonn
An Investigation into the effect of target shape on movement time in a computer pointing task
Creators: name: Zahorouski, Heather M.
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: BF 295 Z34 1992
subject: Movement, Psychology of
subject: Perceptual-motor learning
subject: Computer-assisted instruction
subject: Electronic data processing

description: Bibliography: p. 54-59.
Bronzener Frauenkopf, um 400 n. Chr.
Creators: name: Delbrueck, Richard
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Bonner Jahrbücher, Bd. 150 (1950): Bonner Jahrbücher des Vereins von Altertumsfreunden im Rheinlande und des Rheinischen Provinzialmuseums in Bonn
Electron Counting Capacitance Standard with an improved five-junction R-pump
Creators: name: Camarota, Benedetta
name: Scherer, Hansjoerg
name: Keller, Mark W
name: Lotkhov, Sergey V
name: Willenberg, Gerd-Dietmar
name: Ahlers, Franz Josef
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: The Electron Counting Capacitance Standard currently pursued at PTB aims to close the Quantum Metrological Triangle with a final precision of a few parts in 10^7. This paper reports the considerable progress recently achieved with a new generation of single-electron tunnelling devices. A five-junction R-pump was operated with a relative charge transfer error of five electrons in 10^7, and was used to successfully perform single-electron charging of a cryogenic capacitor. The preliminary result for the single-electron charge quantum has an uncertainty of less than two parts in 10^6 and is consistent with the value of the elementary charge.
description: 16 pages, 9 figures, 1 table
No Glitch in the Matrix: Robust Reconstruction of Gravitational Wave Signals Under Noise Artifacts
Creators: name: Chatterjee, Chayan
name: Jani, Karan
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Gravitational wave observations by ground based detectors such as LIGO and Virgo have transformed astrophysics, enabling the study of compact binary systems and their mergers. However, transient noise artifacts, or glitches, pose a significant challenge, often obscuring or mimicking signals and complicating their analysis. In this work, we extend the Attention-boosted Waveform Reconstruction network to address glitch mitigation, demonstrating its robustness in reconstructing waveforms in the presence of real glitches from the third observing run of LIGO. Without requiring explicit training on glitches, AWaRe accurately isolates gravitational wave signals from data contaminated by glitches spanning a wide range of amplitudes and morphologies. We evaluate this capability by investigating the events GW191109 and GW200129, which exhibit strong evidence of anti-aligned spins and spin precession respectively, but may be adversely affected by data quality issues. We find that, regardless of the potential presence of glitches in the data, AWaRe reconstructs both waveforms with high accuracy. Additionally, we perform a systematic study of the performance of AWaRe on a simulated catalog of injected waveforms in real LIGO glitches and obtain reliable reconstructions of the waveforms. By subtracting the AWaRe reconstructions from the data, we show that the resulting residuals closely align with the background noise that the waveforms were injected in. The robustness of AWaRe in mitigating glitches, despite being trained exclusively on GW signals and not explicitly on glitches, highlights its potential as a powerful tool for improving the reliability of searches and characterizing noise artifacts.
Calculation of the One W Loop $H \to γγ$ Decay Amplitude with a Lattice Regulator
Creators: name: Bursa, Francis
name: Cherman, Aleksey
name: Hammant, Thomas C.
name: Horgan, Ron R.
name: Wingate, Matthew
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: There has been a controversial recent claim that the standard result on the Higgs to two photon decay rate is incorrect, with the use of dimensional regularization fingered as the alleged culprit. Given the great importance of the $H\to γγ$ process as a possible Standard Model Higgs discovery channel at the LHC if the Higgs mass is light, it is critical to find a way to check the correctness of the results of dimensional regularization for this process. Here we report the results of a perturbative calculation of the $H\to γγ$ decay amplitude using a spacetime lattice as a UV regulator, which is the only known gauge-invariant regulator for non-Abelian gauge theories other than dimensional regularization. We find that the decay amplitude calculated using lattice-regularized perturbation theory is consistent to very high statistical accuracy with the decay amplitude obtained using dimensional regularization.
description: 5 pages, 4 figures
Bericht über die Tätigkeit des Landesmuseums in Bonn in der Zeit vom 1. Januar bis 31. Dezember 1949
Creators: name: Neuffer, Eduard
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Bonner Jahrbücher, Bd. 150 (1950): Bonner Jahrbücher des Vereins von Altertumsfreunden im Rheinlande und des Rheinischen Provinzialmuseums in Bonn
Close encounters of the protostellar kind in IC 1396N
Creators: name: Beltran, M. T.
name: Massi, F.
name: Fontani, F.
name: Codella, C.
name: Lopez, R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We have mapped in the 2.7 mm continuum and 12CO with the PdBI the IR-dark "tail" that crosses the IC 1396N globule from south to north, and is the most extincted part of this cloud. These observations have allowed us to distinguish all possible associations of molecular hydrogen emission features by revealing the presence of two well-collimated low-mass protostellar outflows at the northern part of the globule. The outflows are located almost in the plane of the sky and are colliding with each other towards the position of a strong 2.12 microns H2 line emission feature.
description: 4 pages, 1 table1, 2 figures. Accepted for publication in A&A Letters
The pedagogy of Keith Johnstone: the role of improvisation in teaching and acting training
Creators: name: Kearley, Hilda Louise
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: PN 2071 I5 K43 1992
subject: Improvisation (Acting) - Study and teaching
subject: Johnstone, Keith
subject: Acting - Study and teaching

description: Bibliography: p. 230-234.
Protecting entangled states of two ions by engineering reservoir
Creators: name: Xue, Dong
name: Zou, Jian
name: Yang, Lin-Guang
name: Li, Jun-Gang
name: Shao, Bin
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a proposal for realizing local decoherence-free evolution of given entangled states of two two-level (TL) ions. For two TL ions coupled to a single heavily damped cavity, we can use engineering reservoir scheme to obtain a decoherence-free subspace which can be nonadiabatically controlled by the system and reservoir parameters. Then the local decoherence-free evolution of the entangled states are achieved. And we also discuss the relation between the geometric phases and the entanglement of the two ions under the nonadiabatic coherent evolution.
From Contracts in Structured English to CL Specifications
Creators: name: Montazeri, Seyed M.
name: Roy, Nivir K. S.
name: Schneider, Gerardo
Publisher: name: arXiv
Year: 2011
Subjects: subject: Computation and Language (cs.CL)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework (GF). In particular we use the contract language CL as a target formal language for this translation. In our framework CL specifications could then be input into the tool CLAN to detect the presence of conflicts (whether there are contradictory obligations, permissions, and prohibitions. We also use GF to get a version in (restricted) English of CL formulae. We discuss the implementation of such a framework.
description: In Proceedings FLACOS 2011, arXiv:1109.2399
Chiral symmetry on the edge of 2D symmetry protected topological phases
Creators: name: Chen, Xie
name: Wen, Xiao-Gang
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Symmetry protected topological (SPT) states are short-range entangled states with symmetry, which have symmetry protected gapless edge states around a gapped bulk. Recently, we proposed a systematic construction of SPT phases in interacting bosonic systems, however it is not very clear what is the form of the low energy excitations on the gapless edge. In this paper, we answer this question for two dimensional bosonic SPT phases with Z_N and U(1) symmetry. We find that while the low energy modes of the gapless edges are non-chiral, symmetry acts on them in a chiral way, i.e. acts on the right movers and the left movers differently. This special realization of symmetry protects the gaplessness of the otherwise unstable edge states by prohibiting a direct scattering between the left and right movers. Moreover, understanding of the low energy effective theory leads to experimental predictions about the SPT phases. In particular, we find that all the 2D U(1) SPT phases have even integer quantized Hall conductance.
description: 9 pages including supplementary materials. 3 figures
Magneto-sensitive elastomers in a homogeneous magnetic field: a regular rectangular lattice model
Creators: name: Ivaneyko, D.
name: Toshchevikov, V.
name: Saphiannikova, M.
name: Heinrich, G.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: A theory of mechanical behaviour of the magneto-sensitive elastomers is developed in the framework of a linear elasticity approach. Using a regular rectangular lattice model, different spatial distributions of magnetic particles within a polymer matrix are considered: isotropic, chain-like and plane-like. It is shown that interaction between the magnetic particles results in the contraction of an elastomer along the homogeneous magnetic field. With increasing magnetic field the shear modulus for the shear deformation perpendicular to the magnetic field increases for all spatial distributions of magnetic particles. At the same time, with increasing magnetic field the Young's modulus for tensile deformation along the magnetic field decreases for both chain-like and isotropic distributions of magnetic particles and increases for the plane-like distribution of magnetic particles.
description: 38 pages, 15 figures
Investigation into the mechanism of mechanical degradation of deformed pipeline steel exposed to a sour gas environment
Creators: name: Huang, Hongsheng
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: TA 660 P55 H83 1992
subject: Pipelines - Cracking
subject: Pipe, Steel - Testing
subject: Fracture mechanics

description: Bibliography: p. 212-230.
Géza Alföldy, Bevölkerung und Gesellschaft der römischen Provinz Dalmatien
Creators: name: Wilkes, John J.
Publisher: name: Bonner Jahrbücher
Year: 2020

description: Rezension zu: Géza Alföldy, Bevölkerung und Gesellschaft der römischen Provinz Dalmatien. Mit einem Beitrag von Andreas Mócsy. Budapest: Akadémiai Kiadó, 1965. Pp. 233, folding map.
description: Bonner Jahrbücher, Bd. 166.1966: Bonner Jahrbücher