cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Carte de la composition minérale des fourrages naturels au Mali : éléments majeurs et oligo-éléments
Creators: name: De Zborowski, Isolde
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Fourrage vert
subject: Distribution géographique
subject: Composition chimique
subject: Oligo-élement
subject: Élément chimique
subject: Cartographie
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: Q54 - Composition des aliments pour animaux
subject: L02 - Alimentation animale
subject: Q54 - Feed composition
subject: L02 - Animal feeding

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Formation and Evolution of Ultraluminous X-ray Pulsar Binaries to Pulsar-Neutron Star and Pulsar-White Dwarf Systems
Creators: name: Abdusalam, Kunduz
name: Ablimit, Iminhaji
name: Hashim, P.
name: Lü, G. -L
name: Mardini, M. K.
name: Wang, Z. -J
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Recent observational and theoretical results have suggested that some of ultraluminous X-ray (ULX) sources may contain neutron star (NS) accretors. However, the formation channel and properties of donor stars of NS ULXs remain uncertain. By adopting the non-conservative and rotation-dependent mass transfer model in the primordial binary evolution, we investigate the way to form pulsar ULXs like observed pulsar ULXs in a systematic way. Our simulation results indicate that pulsar ULXs with Be stars and intermediate or/and high mass donors match observed apparent luminosities, orbital periods and observationally indicated donor masses of known pulsar ULXs. ULXs with Be and intermediate donors are main contributors. The route of accretion-induced collapse of WDs has 4.5% contribution to the NS ULXs, 4.0% of NSs in ULXs are formed through electron-capture supernovae (SNe), and 91.5% of NSs in ULXs are born with core-collapse SNe. We also studied the evolution of pulsar ULXs to double compact star systems. We do not find NS-black hole systems (merging in a Hubble time) that evolved from pulsar ULXs. Pulsar-white dwarf (WD) cases that evolve through pulsar ULXs have significant contributions to the whole NS-WD gravitational wave sources. Contributions of pulsar-WD and pulsar-NS cases that experienced pulsar ULXs are $\sim$40% and 11% among all LISA NS-WD and NS-NS sources, respectively. Monte Carlo simulation noise with different models give a non-negligible uncertainty.
description: 6 Figures, 2 tables; Published in ApJ (new version)
title: Schéma géologique et hydrogéologique du Mali
Creators: name: Magnier, S.
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Aquifoliaceae
subject: Eau souterraine
subject: Hydrogéologie
subject: Cartographie
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: P10 - Ressources en eau et leur gestion
subject: P10 - Water resources and management

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Birth and Death of the Wonder Child
Creators: name: Ochurte, Rufino
name: Mixco, Mauricio J.
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2021
Subjects: subject: klb

description: See Kiliwa Texts: "When I have Donned My Crest of Stars" (University of Utah Press, 1983), p. 112 for transcription, segmentation, glossing, and translation of this story.
Küng, Hans, Ching, Julia: Christentum und chinesische Religion
Creators: name: Lee-Linke, Sung-Hee
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 38 Nr. 2 (1989): Ökumenische Rundschau, Band 38, Heft 2
Fluctuation Induced Homochirality
Creators: name: Sugimori, Takeshi
name: Hyuga, Hiroyuki
name: Saito, Yukio
Publisher: name: arXiv
Year: 2008
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Physical sciences

description: We propose a new mechanism for the achievment of homochirality in life without any autocatalytic production process. Our model consists of a spontaneous production together with a recycling cross inhibition in a closed system. It is shown that although the rate equations for this system predict no chiral symmetry breaking, the stochastic master equation predicts complete homochirality. This is because the fluctuation induced by the discreteness of population numbers of participating molecules plays essential roles. This fluctuation conspires with the recyling cross inhibition to realize the homochirality.
description: 13 pages, 6 figures
Using idle workstations to implement parallel prefetch prediction
Creators: name: Wang, Jasmine Yongqi
Publisher: name: University of British Columbia
Year: 2009

description: The benefits of prefetching have been largely overshadowed by the overhead required to produce high quality predictions. Although theoretical and simulation-based results for prediction algorithms such as Prediction by Partial Matching (PPM) appear promising, practical results have thus far been disappointing. This outcome can be attributed to the fact that practical implementations ultimately make compromises in order to reduce overhead. These compromises limit the level of complexity, variety, and granularity used in the policies and mechanisms the implementation supports. This thesis examines the use of idle workstations to implement prediction-based prefetching. We propose a novel framework to leverage the resources in a system area network to reduce I/O stall time by prefetching non-resident pages into a target node's memory by an idle node. This configuration allows prediction to run in parallel with a target application. We have implemented a revised version of the GMS global memory system, called GMS-3P, that provides parallel prediction-based prefetching. We discuss the different algorithms we have chosen and the policies and mechanisms used to control the quality of predictions. We have also implemented a low overhead mechanism to communicate the history fault trace between the active node and the prediction node. This thesis also explores the needs of programs which have access patterns that cannot be captured by a single configuration of PPM. The dilemma associated with conventional prediction mechanisms that attempt to accommodate this behaviour is that varying the configuration adds overhead to the prediction mechanism. By moving the prediction mechanism to an idle node, we were able to add this functionality without compromising performance on the application node. Our results show that for some applications in GMS-3P, the I/O stall time can be reduced as much as 77%, while introducing an overhead of 4-8% on the node actively running the application.
Pattern formation in parametric sound generation
Creators: name: Perez-Arjona, Isabel
name: Sanchez-Morcillo, Victor J.
Publisher: name: arXiv
Year: 2005
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: Pattern formation of sound is predicted in a driven resonator where subharmonic generation takes place. A model allowing for diffraction of the fields (large-aspect ratio limit) is derived by means of the multiple scale expansions technique. An analysis of the solutions and its stability against space-dependent perturbations is performed in detail considering the distinctive peculiarities of the acoustical system. Numerical integration confirm the analytical predictions, and shows the possibility of patterns in the form of stripes and squares.
description: 17 pages, 3 figures; submitted to Physical Review E
On pedestrian dnamics: modelling, control, and simulation
Creators: name: Sanchez Bailo, Rafael Tomas
Publisher: name: Imperial College London
Year: 2020

description: This thesis concerns the modelling, control, and simulation of pedestrian dynamics. We begin by constructing a new microscopic, agent-based model which attempts to reproduce the rational behaviour of individual agents through the means of anticipation. Each pedestrian undergoes a two-step time evolution based on a perception stage and a decision stage. We continue by studying the consensus control of agent-based models, in both the smooth and non-smooth penalisation settings. The first is computed through gradient methods and studied in the mean-field limit; the second is aproximated through model-predictive control. Later, we propose a new family of macroscopic models for pedestrian dynamics, inspired by the literature of traffic modelling. The models include a singular congestion term, which ensures that the crowd density remains below a given physical capacity parameter. To capture the constrained behaviour, we propose asymptotic-preserving schemes with first and second-order accuracy. In the macroscopic regime, we consider a more general family of models for agent systems, and propose structure-preserving schemes which capture the energy dissipation of the system at the fully discrete level. The schemes are generalised to higher dimensions through sweeping dimensional splitting. To conclude, we prove the convergence of the fully implicit scheme.
To Push or To Pull: On Reducing Communication and Synchronization in Graph Computations
Creators: name: Besta, Maciej
name: Podstawski, Michal
name: Groner, Linus
name: Solomonik, Edgar
name: Hoefler, Torsten
Publisher: name: arXiv
Year: 2020
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: We reduce the cost of communication and synchronization in graph processing by analyzing the fastest way to process graphs: pushing the updates to a shared state or pulling the updates to a private state.We investigate the applicability of this push-pull dichotomy to various algorithms and its impact on complexity, performance, and the amount of used locks, atomics, and reads/writes. We consider 11 graph algorithms, 3 programming models, 2 graph abstractions, and various families of graphs. The conducted analysis illustrates surprising differences between push and pull variants of different algorithms in performance, speed of convergence, and code complexity; the insights are backed up by performance data from hardware counters.We use these findings to illustrate which variant is faster for each algorithm and to develop generic strategies that enable even higher speedups. Our insights can be used to accelerate graph processing engines or libraries on both massively-parallel shared-memory machines as well as distributed-memory systems.
title: Utilisation pastorale. Carte 1. Importance du cheptel malien
Creators: name: De Zborowski, Isolde
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Élevage
subject: Effectif du cheptel
subject: Population rurale
subject: Distribution des populations
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: L01 - Elevage - Considérations générales
subject: E51 - Population rurale
subject: L01 - Animal husbandry
subject: E51 - Rural population

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Measurement of radiation-pressure-induced optomechanical dynamics in a suspended Fabry-Perot cavity
Creators: name: Corbitt, Thomas
name: Ottaway, David
name: Innerhofer, Edith
name: Pelc, Jason
name: Mavalvala, Nergis
Publisher: name: arXiv
Year: 2005
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We report on experimental observation of radiation-pressure induced effects in a high-power optical cavity. These effects play an important role in next generation gravitational wave (GW) detectors, as well as in quantum non-demolition (QND) interferometers. We measure the properties of an optical spring, created by coupling of an intense laser field to the pendulum mode of a suspended mirror; and also the parametric instability (PI) that arises from the nonlinear coupling between acoustic modes of the cavity mirrors and the cavity optical mode. Specifically, we measure an optical rigidity of $K = 3 \times 10^4$ N/m, and PI value $R = 3$.
description: 4 pages, 3 figures
How to get from static to dynamic electromagnetism
Creators: name: König, Jürgen
Publisher: name: arXiv
Year: 2021
Subjects: subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: We demonstrate how to derive Maxwell's equations, including Faraday's law and Maxwell's correction to Ampère's law, by generalizing the description of static electromagnetism to dynamical situations. Thereby, Faraday's law is introduced as a consequence of the relativity principle rather than an experimental fact, in contrast to the historical course and common textbook presentations. As a by-product, this procedure yields explicit expressions for the infinitesimal Lorentz and, upon integration, the finite Lorentz transformation. The proposed approach helps to elucidate the relation between Galilei and Lorentz transformations and provides an alternative derivation of the Lorentz transformation without explicitly referring to the speed of light.
description: 21 pages, replaced with published version
title: Area increase and budding in giant vesicles triggered by light
title: behind the scene
titleType: Subtitle
Creators: name: Georgiev, Vasil N.
name: Grafmüller, Andrea
name: Bléger, David
name: Hecht, Stefan
name: Kunstmann, Sonja
name: Barbirz, Stefanie
name: Lipowsky, Reinhard
name: Dimova, Rumiana
Publisher: name: Universität Potsdam
Year: 2019

description: Biomembranes are constantly remodeled and in cells, these processes are controlled and modulated by an assortment of membrane proteins. Here, it is shown that such remodeling can also be induced by photoresponsive molecules. The morphological control of giant vesicles in the presence of a water-soluble ortho-tetrafluoroazobenzene photoswitch (F-azo) is demonstrated and it is shown that the shape transformations are based on an increase in membrane area and generation of spontaneous curvature. The vesicles exhibit budding and the buds can be retracted by using light of a different wavelength. In the presence of F-azo, the membrane area can increase by more than 5% as assessed from vesicle electrodeformation. To elucidate the underlying molecular mechanism and the partitioning of F-azo in the membrane, molecular dynamics simulations are employed. Comparison with theoretically calculated shapes reveals that the budded shapes are governed by curvature elasticity, that the spontaneous curvature can be decomposed into a local and a nonlocal contribution, and that the local spontaneous curvature is about 1/(2.5 mu m). The results show that exo- and endocytotic events can be controlled by light and that these photoinduced processes provide an attractive method to change membrane area and morphology.
description: Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe, 733
Superconductivity on a Möbius strip: numerical studies on order parameter and quasiparticles
Creators: name: Hayashi, Masahiko
name: Ebisawa, Hiromichi
name: Kuboki, Kazuhiro
Publisher: name: arXiv
Year: 2005
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Superconducting states of an anisortopic s-wave superconductor on a Möbius strip are studied numerically based on the Ginzburg-Landau theory and the Bogoliubov-de Gennes theory. In both, the equations are solved numerically on discitized lattice and the nonlinearity and the self-consistency are fully taken into account. First, we study the superconducting states on the Möbius strip in the presence of the Aharonov-Bohm flux threading the ring by employing the Ginzburg-Landau theory, and confirm the phase diagram previously proposed by Hayashi and Ebisawa [J. Phys. Soc. Jpn. {\bf 70}, 3495 (2002)]. The metastable states as well as the equilibrium energy state are studied and the nonequiriblium processes when the magnetic field is varied at a fixed temperature are discussed. Next, we study the microscopic superconducting states on the Möbius strip based on the Bogoliubov-de Gennes theory, especially focusing on the state with a real-space node in the superconducting gap, which is expected to appear when the flux threading the ring is half the superconducting flux quantum. The local density of states in this {\it nodal state} is calculated in detail and the existence of the zero-energy bound states is shown.
description: 7 pages, 8 figures
Teaching Interactive Proofs to Mathematicians
Creators: name: Ayala-Rincón, Mauricio
name: de Lima, Thaynara Arielly
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1; I.2.3

description: This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through short courses. In particular, it is discussed how, using as case-of-study algebraic notions and properties, the use of the proof assistant Prototype Verification System PVS is promoted to interest mathematicians in the development of their mechanized proofs.
description: In Proceedings ThEdu'20, arXiv:2010.15832
Heart disease in pregnancy: maternal cardiovascular adaptation and fetal outcomes
Creators: name: Dos Santos, Francois Sousa
Publisher: name: Imperial College London
Year: 2020

description: Introduction: The number of pregnant women with congenital heart disease (CHD) is increasing. Validation of non-invasive techniques to monitor cardiac output (CO) in this population is needed. Uteroplacental blood flow, impaired in women with CHD, is associated with their cardiac function. B-type natriuretic peptide (BNP), cytokines and cellular adhesion molecules (CAMs) could provide insight into the higher adverse pregnancy/cardiovascular events in women with CHD. Methods: Low-risk pregnant women (LR-group) and pregnant women with CHD (CHD-group) were seen in each trimester. Visits included blood sampling for BNP, cytokine/CAM analyses and measurement of haemodynamic parameters at T1-rest, T2-immediately after exercise and T3-after recovery, simultaneously with transthoracic echocardiography (TTE) and impedance cardiography (PhysioFlow®). Fetal growth and Doppler studies performed in the third trimester. Results: PhysioFlow® showed good trending ability (LR-group: concordance rate-CR=95.4%, angular bias=4.5o; CHD-group: CR=100%, angular bias=4.1o). Their blood pressure profile followed a J-shape pattern, heart rate increased, peripheral oxygen saturations decreased and CO remained stable with advancing gestation. No association found between uterine artery Doppler and CO/ΔCO or mean arterial pressure in either group. Umbilical artery Doppler was negatively associated with birthweight (BW-p=0.004, BW centile-p=0.006), as was the cerebroplacental ratio (BW-p=0.002, BW centile-p=0.003) in the LR-group. BNP decreased throughout pregnancy, without significant differences between groups. IL-6 was higher in the CHD-group (p=0.005) in the first trimester, IL-10 lower in the third trimester (p=0.018). High levels of IL-6 in the first trimester were associated with lower BW (p=0.002, BW centiles-p=0.020). Higher ICAM in the CHD-group in the first trimester was associated with lower BW (p=0.002, BW centiles-p=0.006). Conclusion: PhysioFlow® can be used in low-risk pregnancy to study trends in CO. BNP decreased throughout pregnancy in both groups. The proinflammatory cytokine profile in women with CHD could explain the higher incidence of adverse outcomes, although more research is needed.
Song: Scolding the Coyotes
Creators: name: Ochurte, Rufino
name: Mixco, Mauricio J.
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2021
Subjects: subject: klb

description: See Kiliwa Texts: "When I have Donned My Crest of Stars" (University of Utah Press, 1983), p. 101 for transcription, segmentation, glossing, and translation of this story.
An effective long-range attraction between protein molecules in solutions studied by small angle neutron scattering
Creators: name: Liu, Yun
name: Fratini, Emiliano
name: Baglioni, Piero
name: Chen, Wei-Ren
name: Chen, Sow-Hsin
Publisher: name: arXiv
Year: 2005
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Small angle neutron scattering intensity distributions taken from cytochrome C and lysozyme protein solutions show a rising intensity at very small wave vector, Q, which can be interpreted in terms of the presence of a weak long-range attraction between protein molecules. This interaction has a range several times that of the diameter of the protein molecule, much greater than the range of the screened electrostatic repulsion. We show evidence that this long-range attraction is closely related to the type of anion present and ion concentration in the solution.
Samuel, Vinay, Sugden, Chris: Der ganze Christus für eine geteilte Welt
Creators: name: Fritz, Gerhard
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 38 Nr. 2 (1989): Ökumenische Rundschau, Band 38, Heft 2
Efficiency of pair formation in a model society
Creators: name: Wasko, Mateusz
name: Kulakowski, Krzysztof
Publisher: name: arXiv
Year: 2006
Subjects: subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: In a recent paper a set of differential equations was proposed to describe a social process, where pairs of partners emerge in a community. The choice was performed on a basis of attractive resources and of random initial preferences. An efficiency of the process, defined as the probability of finding a partner, was found to depend on the community size. Here we demonstrate, that if the resources are not relevant, the efficiency is equal to unity; everybody finds a partner. With this new formulation, about 80 percent of community members enter to dyads; the remaining 20 percent form triads.
description: 6 pages, 2 figures. Presented at 2nd Polish Symposium on Econo- and Sociophysics, Cracow, 21-22 April 2006. New comment: to be published in Acta Phys. Pol. B
Thermodynamics of Squashed Kaluza-Klein Black Holes and Black Strings -- A Comparison of Reference Backgrounds --
Creators: name: Kurita, Yasunari
name: Ishihara, Hideki
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We investigate thermodynamics constructed on different background reference spacetimes for squashed Kaluza-Klein (SqKK) black hole and electrically charged black string in five-dimensional Einstein-Maxwell system. Two spacetimes are possible to be reference spacetimes giving finite gravitational classical actions: one is four-dimensional Minkowski times a circle and the other is the KK monopole. The boundary of the SqKK black hole can not be matched perfectly to that of the former reference spacetime because of the difference in topology. However, the resultant classical action coincides with that calculated by the counterterm subtraction scheme. The boundary of the KK monopole has the same topology with that of the SqKK black hole and can be matched to the boundary of the black hole perfectly. The resultant action takes different value from the result given by using the former reference spacetime. After a brief review of thermodynamic quantities of the black hole solutions, we calculate thermodynamic potentials relevant for several thermodynamic environments. The most stable state is different for each environment: For example, the KK monopole is the most stable state in isothermal environment with fixed gravitational tension. On the other hand, when the size of the extra-dimension is fixed, the Minkowski times a circle is the most stable. It is shown that these two spacetimes can be reference spacetimes of the five-dimensional black string.
description: 28 pages; references added, typo corrected;version accepted for publication in Class. Quantum Grav
Can we trust online crowdworkers? Comparing online and offline participants in a preference test of virtual agents
Creators: name: Jonell, Patrik
name: Kucherenko, Taras
name: Torre, Ilaria
name: Beskow, Jonas
Publisher: name: arXiv
Year: 2020
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: Multimedia (cs.MM)
subject: FOS: Computer and information sciences

description: Conducting user studies is a crucial component in many scientific fields. While some studies require participants to be physically present, other studies can be conducted both physically (e.g. in-lab) and online (e.g. via crowdsourcing). Inviting participants to the lab can be a time-consuming and logistically difficult endeavor, not to mention that sometimes research groups might not be able to run in-lab experiments, because of, for example, a pandemic. Crowdsourcing platforms such as Amazon Mechanical Turk (AMT) or Prolific can therefore be a suitable alternative to run certain experiments, such as evaluating virtual agents. Although previous studies investigated the use of crowdsourcing platforms for running experiments, there is still uncertainty as to whether the results are reliable for perceptual studies. Here we replicate a previous experiment where participants evaluated a gesture generation model for virtual agents. The experiment is conducted across three participant pools -- in-lab, Prolific, and AMT -- having similar demographics across the in-lab participants and the Prolific platform. Our results show no difference between the three participant pools in regards to their evaluations of the gesture generation models and their reliability scores. The results indicate that online platforms can successfully be used for perceptual evaluations of this kind.
description: Patrik Jonell and Taras Kucherenko contributed equally to this work. Published at the Proceedings of the 20th ACM International Conference on Intelligent Virtual Agent. 8 pages, 7 figures
Perception and manipulation of microrobots via optical tweezer
Creators: name: Zhang, Dandan
Publisher: name: Imperial College London
Year: 2021

description: Recent technological advances in micro-robotic systems have demonstrated much potential for biomedical applications. These include diagnostics at the cellular level, drug delivery and microsurgery. Similar to the manipulation in macro-scale robotics, dexterous manipulation is one of the most active areas to study for micro-robotics, where new approaches and technologies are explored to manipulate micro-objects or microrobots for different purposes. Although recent work has shown the potential of microrobots in biomedical applications, significant technical challenges remain to be solved. Micromanipulators cannot be considered as the simple scaling down version from the large-scale manipulators, since they do not have the same capabilities of 6 Degrees-of-Freedom (6 DoFs) manipulation in three-dimensional (3D) space and accurate on-board sensing for 6 DoFs pose estimation as per macroscale robotic systems. Therefore, the perception and manipulation of microrobots should be further explored. Micro-robotic systems include tethered and untethered microrobots. Among untethered micromanipulation, optical manipulation is one of the most accurate approaches and has been demonstrated in applications such as cell analysis and manipulation. Optical tweezer (OT) is a versatile tool for optical manipulation, and is the main focus of this thesis. To avoid damages to living cells caused by illuminating laser directly on them, optical microrobots controlled by OT can be used for indirect manipulation of biological objects in micro-scale. To develop a dexterous micro-robotic platform for biomedical research, perception and manipulation of untethered optical microrobots via OT are two key aspects to be studied. Such optical microrobot could enable 6 DoFs dexterous manipulation in a closed environment such as inside a microfluidic chip. It can also assist cell surgery by transporting and orientating cells or other biological objects to the desired pose. The main target of this thesis is to design and build an OT based micro-robotic system to enable 6 DoFs micromanipulation with accurate depth and pose estimation. Multiple optical traps are used as contactless robotic manipulators' end-effectors, which form a distributed control scheme. The main contributions of the thesis are listed as follows: i) Design and modeling of microrobots with complex shapes are investigated for the implementation of out-of-plane control, ii) Machine learning based algorithms for depth estimation and pose estimation are developed for microrobot monitoring during the optical manipulation, iii) Two control strategies for distributed force control of optical microrobots are developed while a potential application of indirect manipulation using the proposed OT based framework is demonstrated.
title: Utilisation pastorale. Carte 2. Les types d'élevage bovin
Creators: name: De Zborowski, Isolde
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Bovin
subject: Méthode d'élevage
subject: Localisation des productions
subject: Topographie
subject: Cartographie de l'occupation du sol
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: L01 - Elevage - Considérations générales
subject: L01 - Animal husbandry

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Song: Scolding the Clouds
Creators: name: Ochurte, Rufino
name: Mixco, Mauricio J.
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2021
Subjects: subject: klb

description: See Kiliwa Texts: "When I have Donned My Crest of Stars" (University of Utah Press, 1983), p. 102 for transcription, segmentation, glossing, and translation of this story.
title: Utilisation pastorale. Carte 3. Esquisse cartographique des déplacements traditionnels du cheptel
Creators: name: De Zborowski, Isolde
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Élevage
subject: Effectif du cheptel
subject: Population rurale
subject: Transhumance
subject: Mouvement
subject: Cartographie de l'occupation du sol
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: L01 - Elevage - Considérations générales
subject: E51 - Population rurale
subject: L01 - Animal husbandry
subject: E51 - Rural population

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Klausnitzer, Wolfgang: Das Papstamt im Disput zwischen Lutheranern und Katholiken
Creators: name: Schütz, Georg
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 38 Nr. 2 (1989): Ökumenische Rundschau, Band 38, Heft 2
Chemical abundances in 43 metal-poor stars
Creators: name: Jonsell, Karin
name: Edvardsson, Bengt
name: Gustafsson, Bengt
name: Magain, Pierre
name: Nissen, Poul Erik
name: Asplund, Martin
Publisher: name: arXiv
Year: 2005
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have derived abundances of O, Na, Mg, Al, Si, Ca, Sc, Ti, V, Cr, Fe, Ni and Ba for 43 metal-poor field stars in the solar neighbourhood with iron abundances [Fe/H] ranging from -0.4 to -3.0. Total abundance errors are estimated to about 0.1-0.2 dex for most elements, while relative abundances are most probably more accurate. We have made an extensive comparison with other similar studies and traced the reasons for the, in most cases, relatively small differences. Among the results we note the following: We find [O/Fe] from the O I IR- triplet lines to possibly increase beyond [Fe/H]=-1.0, though considerably less than obtained by others from abundances based on OH lines. We find correlations among the deviations for individual stars from the trends of individual alpha elements relative to Fe. This may support the idea that the formation of the Halo stars occurred in smaller systems with different star formation rates. We verify the finding by Gratton et al. (2003b) that stars that do not participate in the rotation of the galactic disk show a lower mean and larger spread in [alpha/Fe] than stars participating in the general rotation. The latter stars also seem to show some correlation between [alpha/Fe] and rotation speed. We finally advocate that a spectroscopic study of a larger sample of halo stars with well-defined selection criteria is very important, in addition to the very considerable efforts that various groups have already made. (Abridged)
description: A&A LaTeX, 24 pages, 18 b/w figures. Astronomy & Astrophysics, accepted
title: Utilisation pastorale. Carte 4. Le delta intérieur du Niger : plaque tournante de l'élevage au Mali
Creators: name: De Zborowski, Isolde
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Bétail
subject: Effectif du cheptel
subject: Conduite d'élevage
subject: Transhumance
subject: Groupe éthnique
subject: Delta
subject: Cartographie
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: L01 - Elevage - Considérations générales
subject: L01 - Animal husbandry

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Surface fluxes and vertical profiles in the radix layer
Creators: name: Santoso, Edi
Publisher: name: University of British Columbia
Year: 2009

description: The bottom two kilometers of the earth's atmosphere, called the atmospheric boundary layer (ABL) , can be vigorously mixed by convective circulations when the underlying surface is warmer than the air. Mixing can be so complete that the mean wind speed, MUL, and potential temperature, θUL, in the interior of the ABL are uniform with height. Between this uniform layer (UL) and the surface is a region of order 100 m thick called the radix layer (RxL), named because it contains the roots of convective thermals. These thermals not only cause vertical heat and momentum fluxes near the surface, but they control the shape of wind and temperature profiles in the RxL and UL. A new field campaign called Boundary-Layer Experiment 1996 (BLX96) was conducted using an instrumented aircraft to study these convective processes. The BLX96 flight pattern was designed by first test "flying" a virtual aircraft through a synthetic ABL . Results from BLX96 suggest that convective transport theory should be modified to give the surface kinematic heat flux as w'θ’s = C.H • w. • Δθ + w'θ'0, where C.H is an empirical coefficient, w. is the Deardorff velocity, Δθ is the potential temperature difference between the UL and the surface skin, and w'θ'0 is a radiative or non-stationary flux contribution. A similar formula is found for friction velocity u., as a measure of momentum flux: u.² = C.D • w. • MUL , where C.D is shown to depend on surface aerodynamic roughness. These relationships are validated against published data from seven other field programs. In the RxL, the vertical profiles of wind and potential temperature are found to obey new similarity equations: M(z) I MUL = [F(ζ.), and [θ(z)-θUL]/(θskin-θUL) = 1- F(ζ.), where F(ζ.) = (ζ.D)A • exp[A • (1 – ζ.D)] in the RxL, and F = 1 in the UL. The dimensionless height is found to be = ζ. = (1 / C) • (z I zi) • (w. / u.)B, where physical height z must be measured above the canopy displacement distance, and zi is ABL depth. RxL parameters A, B and C are found to be universal when validated against published data from two other field programs. Shape parameter D for wind profile is found to depend on the standard deviation of terrain elevation. [Scientific formulae used in this abstract could not be reproduced.]
Learning to Identify Electrons
Creators: name: Collado, Julian
name: Howard, Jessica N.
name: Faucett, Taylor
name: Tong, Tony
name: Baldi, Pierre
name: Whiteson, Daniel
Publisher: name: arXiv
Year: 2020
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We investigate whether state-of-the-art classification features commonly used to distinguish electrons from jet backgrounds in collider experiments are overlooking valuable information. A deep convolutional neural network analysis of electromagnetic and hadronic calorimeter deposits is compared to the performance of typical features, revealing a $\approx 5\%$ gap which indicates that these lower-level data do contain untapped classification power. To reveal the nature of this unused information, we use a recently developed technique to map the deep network into a space of physically interpretable observables. We identify two simple calorimeter observables which are not typically used for electron identification, but which mimic the decisions of the convolutional network and nearly close the performance gap.
description: 10 pages, lots of figures, v2 for submission
Multitrace Deformations of Vector and Adjoint Theories and their Holographic Duals
Creators: name: Elitzur, S.
name: Giveon, A.
name: Porrati, M.
name: Rabinovici, E.
Publisher: name: arXiv
Year: 2005
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present general methods to study the effect of multitrace deformations in conformal theories admitting holographic duals in Anti de Sitter space. In particular, we analyse the case that these deformations introduce an instability both in the bulk AdS space and in the boundary CFT. We also argue that multitrace deformations of the O(N) linear sigma model in three dimensions correspond to nontrivial time-dependent backgrounds in certain theories of infinitely many interacting massless fields on AdS_4, proposed years ago by Fradkin and Vasiliev. We point out that the phase diagram of a truly marginal large-N deformation has an infrared limit in which only an O(N) singlet field survives. We draw from this case lessons on the full string-theoretical interpretation of instabilities of the dual boundary theory and exhibit a toy model that resolves the instability of the O(N) model, generated by a marginal multitrace deformation. The resolution suggests that the instability may not survive in an appropriate UV completion of the CFT.
description: 18 pages, minor changes, references added. Version accepted by JHEP
Isabelle/HOL as a Meta-Language for Teaching Logic
Creators: name: From, Asta Halkjær
name: Villadsen, Jørgen
name: Blackburn, Patrick
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Proof assistants are important tools for teaching logic. We support this claim by discussing three formalizations in Isabelle/HOL used in a recent course on automated reasoning. The first is a formalization of System W (a system of classical propositional logic with only two primitive symbols), the second is the Natural Deduction Assistant (NaDeA), and the third is a one-sided sequent calculus that uses our Sequent Calculus Verifier (SeCaV). We describe each formalization in turn, concentrating on how we used them in our teaching, and commenting on features that are interesting or useful from a logic education perspective. In the conclusion, we reflect on the lessons learned and where they might lead us next.
description: In Proceedings ThEdu'20, arXiv:2010.15832
title: Utilisation pastorale. Carte 6. Déplacements de détresse et recherches d'alternatives
Creators: name: De Zborowski, Isolde
name: CIRAD-IEMVT-FRA
Publisher: name: CTA; CIRAD-IEMVT
Year: 1988
Subjects: subject: Bétail
subject: Alimentation des animaux
subject: Sécheresse
subject: Pâturages
subject: Fourrage
subject: Transhumance
subject: Mali
subject: Sahel
subject: Afrique occidentale
subject: L01 - Elevage - Considérations générales
subject: L02 - Alimentation animale
subject: L01 - Animal husbandry
subject: L02 - Animal feeding

description: In : Élevage et potentialités pastorales sahéliennes. Synthèses cartographiques. Mali = Animal husbandry and Sahelian pastoral potentialities. Cartographic synthesis. Mali. CIRAD-IEMVT. Wageningen : CTA-CIRAD-IEMVT. ISBN 2-85985-123-2
Formalizing IMO Problems and Solutions in Isabelle/HOL
Creators: name: Marić, Filip
name: Stojanović-{\Dj}urđević, Sana
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The International Mathematical Olympiad (IMO) is perhaps the most celebrated mental competition in the world and as such is among the greatest grand challenges for Artificial Intelligence (AI). The IMO Grand Challenge, recently formulated, requires to build an AI that can win a gold medal in the competition. We present some initial steps that could help to tackle this goal by creating a public repository of mechanically checked solutions of IMO Problems in the interactive theorem prover Isabelle/HOL. This repository is actively maintained by students of the Faculty of Mathematics, University of Belgrade, Serbia within the course "Introduction to Interactive Theorem Proving".
description: In Proceedings ThEdu'20, arXiv:2010.15832
Le Maroc à l'ère de l'économie frugale : Pratiques et perspectives
Creators: name: DABNICHI Youness
name: FERROUD Abderrahim
Publisher: name: Zenodo
Year: 2024

description: L'article explore l'économie frugale au Maroc, mettant en avant ses avantages, tels que l'amorçabilité, la durabilité et la création de valeur, ainsi que les défis à relever, comme la résistance au changement et le besoin de financement. Il examine les pratiques actuelles de l'économie frugale au Maroc, illustrées par des exemples concrets dans divers secteurs. Le rôle essentiel du gouvernement et de la société civile est souligné pour promouvoir cette approche économique novatrice. Une comparaison internationale met en lumière la diversité des pratiques d'économie frugale dans le monde et les leçons que le Maroc peut en tirer.

L'économie frugale offre au Maroc l'opportunité de répondre à ses défis économiques et environnementaux tout en favorisant la croissance et la durabilité. Pour réaliser pleinement ce potentiel, le gouvernement et la société civile doivent collaborer et s'engager dans la transition vers ce modèle économique responsable. Des questions de recherche futures sont également identifiées pour approfondir la compréhension de l'économie frugale au Maroc.
Network properties of written human language
Creators: name: Masucci, A. P.
name: Rodgers, G. J.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences

description: We investigate the nature of written human language within the framework of complex network theory. In particular, we analyse the topology of Orwell's \textit{1984} focusing on the local properties of the network, such as the properties of the nearest neighbors and the clustering coefficient. We find a composite power law behavior for both the average nearest neighbor's degree and average clustering coefficient as a function of the vertex degree. This implies the existence of different functional classes of vertices. Furthermore we find that the second order vertex correlations are an essential component of the network architecture. To model our empirical results we extend a previously introduced model for language due to Dorogovtsev and Mendes. We propose an accelerated growing network model that contains three growth mechanisms: linear preferential attachment, local preferential attachment and the random growth of a pre-determined small finite subset of initial vertices. We find that with these elementary stochastic rules we are able to produce a network showing syntactic-like structures.
description: 9 pages, 8 figures
The homotopy classification of four-dimensional toric orbifolds
Creators: name: Fu, Xin
name: So, Tseleung
name: Song, Jongbaek
Publisher: name: arXiv
Year: 2020
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics
subject: Primary 57R18, 55P15, Secondary 55P60

description: Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
description: 20 pages
Abelian Gauge Theory in de Sitter Space
Creators: name: Rouhani, Shahriar
name: Takook, Mohammad Vahid
Publisher: name: arXiv
Year: 2005
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Quantization of spinor and vector free fields in 4-dimensional de Sitter space-time, in the ambient space notation, has been studied in the previous works. Various two-points functions for the above fields are presented in this paper. The interaction between the spinor field and the vector field is then studied by the abelian gauge theory. The U(1) gauge invariant spinor field equation is obtained in a coordinate independent way notation and their corresponding conserved currents are computed. The solution of the field equation is obtained by use of the perturbation method in terms of the Green's function. The null curvature limit is discussed in the final stage.
description: 10 pages, typos corrected, reference added
Lucas-Interpretation on Isabelle's Functions
Creators: name: Neuper, Walther
Publisher: name: arXiv
Year: 2020
Subjects: subject: Programming Languages (cs.PL)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences
subject: F.4.1; I.2.3; K.3.1

description: Software tools of Automated Reasoning are too sophisticated for general use in mathematics education and respective reasoning, while Lucas-Interpretation provides a general concept for integrating such tools into educational software with the purpose to reliably and flexibly check formal input of students. This paper gives the first technically concise description of Lucas-Interpretation at the occasion of migrating a prototype implementation to the function package of the proof assistant Isabelle. The description shows straightforward adaptations of Isabelle's programming language and shows, how simple migration of the interpreter was, since the design (before the function package has been introduced to Isabelle) recognised appropriateness of Isabelle's terms as middle end. The paper gives links into the code in an open repository as invitation to readers for re-using the prototyped code or adopt the general concept. And since the prototype has been designed before the function package was implemented, the paper is an opportunity for recording lessons learned from Isabelle's development of code structure.
description: In Proceedings ThEdu'20, arXiv:2010.15832