cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
Creators: name: Pesant, Gilles
name: Quimper, Claude-Guy
name: Zanarini, Alessandro
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Designing a search heuristic for constraint programming that is reliable across problem domains has been an important research topic in recent years. This paper concentrates on one family of candidates: counting-based search. Such heuristics seek to make branching decisions that preserve most of the solutions by determining what proportion of solutions to each individual constraint agree with that decision. Whereas most generic search heuristics in constraint programming rely on local information at the level of the individual variable, our search heuristics are based on more global information at the constraint level. We design several algorithms that are used to count the number of solutions to specific families of constraints and propose some search heuristics exploiting such information. The experimental part of the paper considers eight problem domains ranging from well-established benchmark puzzles to rostering and sport scheduling. An initial empirical analysis identifies heuristic maxSD as a robust candidate among our proposals.eWe then evaluate the latter against the state of the art, including the latest generic search heuristics, restarts, and discrepancy-based tree traversals. Experimental results show that counting-based search generally outperforms other generic heuristics.
"SlepSlep_400_200_SLHA.dat" of "Search for electroweak production of charginos and sleptons decaying into final states with two leptons and missing transverse momentum in $\sqrt{s}=13$ TeV $pp$ collisions using the ATLAS detector"
Creators: name: ATLAS Collaboration
Publisher: name: HEPData
Year: 2019

description: SlepSlep_400_200 SLHA
description: A search for the electroweak production of charginos and sleptons decaying into final states with two electrons or muons is presented. The analysis is based on 139.0 fb$^{-1}$ of proton-proton collisions recorded by the ATLAS detector at the Large Hadron Collider at $\sqrt{s}$ = 13 TeV. Three R-parity conserving scenarios where the lightest neutralino is the lightest supersymmetric particle are considered: the production of chargino pairs with decays via either W bosons or sleptons, and the direct production of slepton pairs. The analysis is optimised to target the first of these scenarios, but its results are also interpreted in the other ones. No significant deviations from the Standard Model expectations are observed and stringent limits at 95% confidence level are set on the masses of relevant supersymmetric particles in each of these scenarios. For a massless lightest neutralino, masses up to 420 GeV are excluded for the production of the lightest chargino pairs assuming W boson mediated decays and up to 1 TeV for slepton mediated decays, whereas for slepton-pair production masses up to 700 GeV are excluded assuming three generations of mass-degenerate sleptons.
Overlap Technique for End-Cap Seals on Cylindrical Magnetic Shields
Creators: name: Malkowski, S.
name: Adhikari, R. Y.
name: Boissevain, J.
name: Daurer, C.
name: Filippone, B. W.
name: Hona, B.
name: Plaster, B.
name: Woods, D.
name: Yan, H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: We present results from studies of the effectiveness of an overlap technique for forming a magnetic seal across a gap at the boundary between a cylindrical magnetic shield and an end-cap. In this technique a thin foil of magnetic material overlaps the two surfaces, thereby spanning the gap across the cylinder and the end-cap, with the magnetic seal then formed by clamping the thin magnetic foil to the surfaces of the cylindrical shield and the end-cap on both sides of the gap. In studies with a prototype 31-cm diameter, 91-cm long, 0.16-cm thick cylindrical magnetic shield and flared end-cap, the magnetic shielding performance of our overlap technique is comparable to that obtained with the conventional method in which the end-cap is placed in direct lapped contact with the cylindrical shield via through bolts or screws.
description: 4 pages, 5 figures
"EWKtwoLeptons2016.cxx" of "Search for electroweak production of charginos and sleptons decaying into final states with two leptons and missing transverse momentum in $\sqrt{s}=13$ TeV $pp$ collisions using the ATLAS detector"
Creators: name: ATLAS Collaboration
Publisher: name: HEPData
Year: 2019

description: Truth code to compute acceptance and efficiency
description: A search for the electroweak production of charginos and sleptons decaying into final states with two electrons or muons is presented. The analysis is based on 139.0 fb$^{-1}$ of proton-proton collisions recorded by the ATLAS detector at the Large Hadron Collider at $\sqrt{s}$ = 13 TeV. Three R-parity conserving scenarios where the lightest neutralino is the lightest supersymmetric particle are considered: the production of chargino pairs with decays via either W bosons or sleptons, and the direct production of slepton pairs. The analysis is optimised to target the first of these scenarios, but its results are also interpreted in the other ones. No significant deviations from the Standard Model expectations are observed and stringent limits at 95% confidence level are set on the masses of relevant supersymmetric particles in each of these scenarios. For a massless lightest neutralino, masses up to 420 GeV are excluded for the production of the lightest chargino pairs assuming W boson mediated decays and up to 1 TeV for slepton mediated decays, whereas for slepton-pair production masses up to 700 GeV are excluded assuming three generations of mass-degenerate sleptons.
Signatures in the conductance for phase transitions in excitonic systems
Creators: name: Soller, H.
name: Breyel, D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We analyse two phase transitions in exciton bilayer systems: a topological phase transition to a phase which hosts Majorana fermions and a phase transition to a Wigner crystal. Using generic simple models for the different phases we discuss the conductance properties of the latter when contacted to metallic leads and demonstrate the possibility to observe the different phase transitions by simple conductance measurements.
description: 5 pages, 4 figures, accepted for publication in Modern Physics Letters B
Hydrodynamic roughness induced by a multiscale topography
Creators: name: Jia, Pan
name: Andreotti, Bruno
name: Claudin, Philippe
Publisher: name: arXiv
Year: 2023
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Turbulent flows above a solid surface are characterised by a hydrodynamic roughness that represents, for the far velocity field, the typical length scale at which momentum mixing occurs close to the surface. Here, we are theoretically interested in the hydrodynamic roughness induced by a two-dimensional modulated surface, the elevation profile of which is decomposed in Fourier modes. We describe the flow for a sinusoidal mode of given wavelength and amplitude with RANS equations closed by means of a mixing-length approach that takes into account a possible surface geometrical roughness as well as the presence of a viscous sublayer. It also incorporates spatial transient effects at the laminar-turbulent transition. Performing a weekly non-linear expansion in the bedform aspect ratio, we predict the effective hydrodynamic roughness when the surface wavelength is varied and we show that it presents a non-monotonic behaviour at the laminar-turbulent transition when the surface is hydrodynamically smooth. Further, with a self-consistent looped calculation, we are able to recover the smooth-rough transition of a flat surface, for which the hydrodynamic roughness changes from a regime where it is dominated by the viscous length to another one where it scales with the surface corrugation. We finally apply the results to natural patterns resulted from hydrodynamic instabilities such as those associated with dissolution or sediment transport. We discuss in particular the aspect ratio selection of dissolution bedforms and roughness hierarchy in superimposed ripples and dunes.
Multi-wavelength Radio Continuum Emission Studies of Dust-free Red Giants
Creators: name: O'Gorman, Eamon
name: Harper, Graham M.
name: Brown, Alexander
name: Drake, Stephen
name: Richards, Anita M. S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Multi-wavelength centimeter continuum observations of non-dusty, non-pulsating K spectral-type red giants directly sample their chromospheres and wind acceleration zones. Such stars are feeble emitters at these wavelengths however, and previous observations have provided only a small number of modest S/N measurements slowly accumulated over three decades. We present multi-wavelength Karl G. Jansky Very Large Array thermal continuum observations of the wind acceleration zones of two dust-free red giants, Arcturus (Alpha Boo: K2 III) and Aldebaran (Alpha Tau: K5 III). Importantly, most of our observations of each star were carried out over just a few days, so that we obtained a snapshot of the different stellar atmospheric layers sampled at different wavelengths, independent of any long-term variability. We report the first detections at several wavelengths for each star including a detection at 10 cm (3.0 GHz: S band) for both stars and a 20 cm (1.5 GHz: L band) detection for Alpha Boo. This is the first time single luminosity class III red giants have been detected at these continuum wavelengths. Our long-wavelength data sample the outer layers of Alpha Boo's atmosphere where its wind velocity is approaching its terminal value and the ionization balance is becoming frozen-in. For Alpha Tau, however, our long-wavelength data are still sampling its inner atmosphere, where the wind is still accelerating probably due to its lower mass-loss rate. We compare our data with published semi-empirical models based on ultraviolet data, and the marked deviations highlight the need for new atmospheric models to be developed. Spectral indices are used to discuss the possible properties of the stellar atmospheres, and we find evidence for a rapidly cooling wind in the case of Alpha Boo. Finally, we develop a simple analytical wind model for Alpha Boo based on our new long-wavelength flux measurements.
ApéndiceEncuesta sobre el uso y la relación entre Escenarios y User Story Mapping
Creators: name: Panizzi, Marisa Daniela
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 461205
subject: Requirements engineering

description: Apéndice - Encuesta sobre el uso y la relación entre Escenarios y User Story Mapping
A Wide-field Near- and Mid-Infrared Census of Young Stars in NGC 6334
Creators: name: Willis, Sarah
name: Marengo, Massimo
name: Allen, Lori
name: Fazio, Giovanni G.
name: Smith, Howard
name: Carey, Sean
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: This paper presents a study of the rate and efficiency of star formation in the NGC 6334 star forming region. We obtained observations at J, H, and Ks taken with the NOAO Extremely Wide-Field Infrared Imager (NEWFIRM) and combined them with observations taken with the Infrared Array Camera (IRAC) camera on the Spitzer Space Telescope at wavelengths λ = 3.6, 4.5, 5.8, and 8.0 μm. We also analyzed previous observations taken at 24 μm using the Spitzer MIPS camera as part of the MIPSGAL survey. We have produced a point source catalog with >700,000 entries. We have identified 2283 YSO candidates, 375 Class I YSOs and 1908 Class II YSOs using a combination of existing IRAC-based color classification schemes that we have extended and validated to the near-IR for use with warm Spitzer data. We have identified multiple new sites of ongoing star formation activity along filamentary structures extending tens of parsecs beyond the central molecular ridge of NGC 6334. By mapping the extinction we derived an estimate for the gas mass, 2.2 x 10^5 M_sun. The heavy concentration of protostars along the dense filamentary structures indicates that NGC 6334 may be undergoing a "mini-starburst" event with Σ{SFR}>8.2 M_sun Myr^-1 pc^-2 and SFE>0.10. We have used these estimates to place NGC 6334 in the Kennicutt-Schmidt diagram to help bridge the gap between observations of local low-mass star forming regions and star formation in other galaxies.
Cloning in Elections: Finding the Possible Winners
Creators: name: Elkind, Edith
name: Faliszewski, Piotr
name: Slinko, Arkadii
Publisher: name: arXiv
Year: 2014
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Multiagent Systems (cs.MA)
subject: FOS: Computer and information sciences

description: We consider the problem of manipulating elections by cloning candidates. In our model, a manipulator can replace each candidate c by several clones, i.e., new candidates that are so similar to c that each voter simply replaces c in his vote with a block of these new candidates, ranked consecutively. The outcome of the resulting election may then depend on the number of clones as well as on how each voter orders the clones within the block. We formalize what it means for a cloning manipulation to be successful (which turns out to be a surprisingly delicate issue), and, for a number of common voting rules, characterize the preference profiles for which a successful cloning manipulation exists. We also consider the model where there is a cost associated with producing each clone, and study the complexity of finding a minimum-cost cloning manipulation. Finally, we compare cloning with two related problems: the problem of control by adding candidates and the problem of possible (co)winners when new alternatives can join.
Narcotic use following Male to Female Genital Gender Affirmation Surgery: A retrospective study comparing Conventional Care and Enhanced Recovery After Surgery protocol
Creators: name: MARIA KONEN
Publisher: name: figshare
Year: 2020
Subjects: subject: 110323 Surgery
subject: FOS: Clinical medicine

description: A retrospective chart review was performed to compare the morphine equivalent requirements for all patients who underwent genital MtF: GAS at Gritman Medical Center in Moscow, Idaho from April 2018-April 2019. A convenience sample was utilized with a total of 92 patients, 47 of which were treated from April 2018-September 2018 (conventional care) and 45 of which were treated from September 2018-April 2019 (ERAS protocol). All narcotics administered were extracted from the electronic medical record and converted into morphine equivalents for standardized comparison. 
The Codes of SOTE method.
Creators: name: Yangyang, Liu
Publisher: name: Zenodo
Year: 2020

description: The zip file contains the following files:
 1. Example_SOTE_MainProgram.m (Matlab script)
 2. Example_Plot_Simulation.m (Matlab script)
 3. A folder containing four Matlab functions used in MainProgram.
 4. The MMS data for the reconstruction (In Folders FGM, FPI, and MEC).
 5. The paper of SOTE method (2019APJS_LiuYY.pdf). These files exhibit a complete SOTE reconstruction case. It is useful for reconstructing the magnetic field structures in space plasmas.
The Hartree approximation in curved spacetimes revisited I: the effective potential in de Sitter
Creators: name: Nacir, Diana L. López
name: Mazzitelli, Francisco D.
name: Trombetta, Leonardo G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider a quantum scalar field with λϕ^4 interaction in curved spacetimes. The quantum effects are taken into account nonperturbatively using the Hartree approximation to the 2PI effective action. Although this approximation has been considered in many previous works, we reconsider it using a consistent nonperturbative renormalization procedure, which we extend to general curved spacetimes. We obtain the renormalized equations for the mean field and for the propagator of the fluctuations, showing explicitly their independence on the arbitrary scale introduced by the regularization scheme. We apply our results to the particular case of de Sitter spacetime and discuss spontaneous symmetry breaking. The results depend strongly on the renormalization procedure.
description: 40 pages, 8 figures
Hard X-ray Lags in Active Galactic Nuclei: Testing the Distant Reverberation Hypothesis with NGC 6814
Creators: name: Walton, D. J.
name: Zoghbi, A.
name: Cackett, E. M.
name: Uttley, P.
name: Harrison, F. A.
name: Fabian, A. C.
name: Kara, E.
name: Miller, J. M.
name: Reis, R. C.
name: Reynolds, C. S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present an X-ray spectral and temporal analysis of the variable active galaxy NGC 6814, observed with Suzaku during November 2011. Remarkably, the X-ray spectrum shows no evidence for the soft excess commonly observed amongst other active galaxies, despite its relatively low level of obscuration, and is dominated across the whole Suzaku bandpass by the intrinsic powerlaw-like continuum. Despite this, we clearly detect the presence of a low frequency hard lag of ~1600s between the 0.5-2.0 and 2.0-5.0 keV energy bands at greater than 6-sigma significance, similar to those reported in the literature for a variety of other AGN. At these energies, any additional emission from e.g. a very weak, undetected soft excess, or from distant reflection must contribute less than 3% of the observed countrates (at 90% confidence). Given the lack of any significant continuum emission component other than the powerlaw, we can rule out models that invoke distant reprocessing for the observed lag behavior, which must instead be associated with this continuum emission. These results are fully consistent with a propagating fluctuation origin for the low frequency hard lags, and with the interpretation of the high frequency soft lags - a common feature seen in the highest quality AGN data with strong soft excesses - as reverberation from the inner accretion disk.
description: 6 pages, 5 figures, accepted for publication in the ApJL
Semantic Similarity Measures Applied to an Ontology for Human-Like Interaction
Creators: name: Albacete, Esperanza
name: Calle, Javier
name: Castro, Elena
name: Cuadra, Dolores
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: The focus of this paper is the calculation of similarity between two concepts from an ontology for a Human-Like Interaction system. In order to facilitate this calculation, a similarity function is proposed based on five dimensions (sort, compositional, essential, restrictive and descriptive) constituting the structure of ontological knowledge. The paper includes a proposal for computing a similarity function for each dimension of knowledge. Later on, the similarity values obtained are weighted and aggregated to obtain a global similarity measure. In order to calculate those weights associated to each dimension, four training methods have been proposed. The training methods differ in the element to fit: the user, concepts or pairs of concepts, and a hybrid approach. For evaluating the proposal, the knowledge base was fed from WordNet and extended by using a knowledge editing toolkit (Cognos). The evaluation of the proposal is carried out through the comparison of system responses with those given by human test subjects, both providing a measure of the soundness of the procedure and revealing ways in which the proposal may be improved.
Solar axion flux from the axion-electron coupling
Creators: name: Redondo, Javier
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In non-hadronic axion models, where axions couple to electrons at tree level, the solar axion flux is completely dominated by the ABC reactions (Atomic recombination and deexcitation, Bremsstrahlung and Compton). In this paper the ABC flux is computed from available libraries of monochromatic photon radiative opacities (OP, LEDCOP and OPAS) by exploiting the relations between axion and photon emission cross sections. These results turn to be ~ 30% larger than previous estimates due to atomic recombination (free-bound electron transitions) and deexcitation (bound-bound), which where not previously taken into account.
description: 24 pages, 9 figures. Data points for the solar-axion flux are provided in the file gaeflux.dat uploaded with the paper
Systematic identification of gene families for use as markers for phylogenetic and phylogeny- driven ecological studies of bacteria and archaea and their major subgroups
Creators: name: Wu, Dongying
name: Jospin, Guillaume
name: Eisen, Jonathan A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Genomics (q-bio.GN)
subject: FOS: Biological sciences

description: With the astonishing rate that the genomic and metagenomic sequence data sets are accumulating, there are many reasons to constrain the data analyses. One approach to such constrained analyses is to focus on select subsets of gene families that are particularly well suited for the tasks at hand. Such gene families have generally been referred to as marker genes. We are particularly interested in identifying and using such marker genes for phylogenetic and phylogeny-driven ecological studies of microbes and their communities. We therefore refer to these as PhyEco (for phylogenetic and phylogenetic ecology) markers. The dual use of these PhyEco markers means that we needed to develop and apply a set of somewhat novel criteria for identification of the best candidates for such markers. The criteria we focused on included universality across the taxa of interest, ability to be used to produce robust phylogenetic trees that reflect as much as possible the evolution of the species from which the genes come, and low variation in copy number across taxa. We describe here an automated protocol for identifying potential PhyEco markers from a set of complete genome sequences. The protocol combines rapid searching, clustering and phylogenetic tree building algorithms to generate protein families that meet the criteria listed above. We report here the identification of PhyEco markers for different taxonomic levels including 40 for all bacteria and archaea, 114 for all bacteria, and much more for some of the individual phyla of bacteria. This new list of PhyEco markers should allow much more detailed automated phylogenetic and phylogenetic ecology analyses of these groups than possible previously.
description: 24 pages, 3 figures
Soergel Calculus
Creators: name: Elias, Ben
name: Williamson, Geordie
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Algebra (math.QA)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: The monoidal category of Soergel bimodules is an incarnation of the Hecke category, a fundamental object in representation theory. We present this category by generators and relations, using the language of planar diagrammatics. We show that Libedinsky's light leaves give a basis for morphism spaces and give a new proof of Soergel's classification of the indecomposable Soergel bimodules.
description: 83 pages, many figures, best viewed in color
TRANSPORTATION STATUS IN PEDAGOGICAL PROCESS.
Creators: name: Rajabova, Xurshida
Publisher: name: Zenodo
Year: 2023

description: Nowadays, using different interactive methods in higher education institutions, students pay great attention to the formation of independent thinking and independent thinking. Regardless of interactive methods, the relationship lies in its basis. The teacher always communicates with the students. Therefore, he must have perfectly mastered communal aspects and laws.
Giant fluctuations of local magnetoresistance of organic spin valves and non-hermitian 1D Anderson model
Creators: name: Roundy, R. C.
name: Nemirovsky, D.
name: Kagalovsky, V.
name: Raikh, M. E.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Motivated by recent experiments, where the tunnel magnetoresitance (TMR) of a spin valve was measured locally, we theoretically study the distribution of TMR along the surface of magnetized electrodes. We show that, even in the absence of interfacial effects (like hybridization due to donor and acceptor molecules), this distribution is very broad, and the portion of area with negative TMR is appreciable even if on average the TMR is positive. The origin of the local sign reversal is quantum interference of subsequent spin-rotation amplitudes in course of incoherent transport of carriers between the source and the drain. We find the distribution of local TMR exactly by drawing upon formal similarity between evolution of spinors in time and of reflection coefficient along a 1D chain in the Anderson model. The results obtained are confirmed by the numerical simulations.
description: 5 pages, 3 figures, supplemental material
CFD Modeling and Simulation on Hydrodynamics of CFB Biomass Gasifier using FLUENT
Creators: name: Beniyam Kebede W/Kidane
Publisher: name: Zenodo
Year: 2011

description: Biomass gasification in Circulating fluidized beds (CFB) is one of the most promising

conversion processes in meeting future ecologically compatible and sustainable energy demand,

based on a combination of flexibility, efficiency, and environmental acceptability. Widespread

industrial use of CFB technology in coal and biomass combustion and gasification depends on

improved control of the fluidization process that demands a better understanding of fluidized bed

hydrodynamics. However, its application to CFB systems is limited due to the high

computational requirements for understanding complex fluid flow behavior. The effect of

different operating parameters on the hydrodynamic behavior of a two-phase gas-solid CFB

biomass gasifier were studied in this thesis work systematically using computational fluid

dynamics (CFD) software FLUENT.
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
Creators: name: Grau, Bernardo Cuenca
name: Motik, Boris
name: Stoilos, Giorgos
name: Horrocks, Ian
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at least one query, ontology, and data set. The lack of completeness guarantees, however, may be unacceptable for applications in areas such as health care and defence, where missing answers can adversely affect the applications functionality. Furthermore, even if an application can tolerate some level of incompleteness, it is often advantageous to estimate how many and what kind of answers are being lost. In this paper, we present a novel logic-based framework that allows one to check whether a reasoner is complete for a given query Q and ontology T---that is, whether the reasoner is guaranteed to compute all answers to Q w.r.t. T and an arbitrary data set A. Since ontologies and typical queries are often fixed at application design time, our approach allows application developers to check whether a reasoner known to be incomplete in general is actually complete for the kinds of input relevant for the application. We also present a technique that, given a query Q, an ontology T, and reasoners R_1 and R_2 that satisfy certain assumptions, can be used to determine whether, for each data set A, reasoner R_1 computes more answers to Q w.r.t. T and A than reasoner R_2. This allows application developers to select the reasoner that provides the highest degree of completeness for Q and T that is compatible with the applications scalability requirements. Our results thus provide a theoretical and practical foundation for the design of future ontology-based information systems that maximise scalability while minimising or even eliminating incompleteness of query answers.
Quantum noise eater for a single photonic qubit
Creators: name: Gavenda, Miroslav
name: Čelechovská, Lucie
name: Dušek, Miloslav
name: Filip, Radim
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose a quantum noise eater for a single qubit and experimentally verify its performance for recovery of a superposition carried by a dual-rail photonic qubit. We consider a case when only one of the rails (e.g., one of interferometric arms) is vulnerable to noise. A coherent but randomly arriving photon penetrating into this single rail causes a change of its state, which results in an error in a subsequent quantum information processing. We theoretically prove and experimentally demonstrate a conditional full recovery of the superposition by this quantum noise eater.
description: 16 pages, 6 figures
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction
Creators: name: Lee, J. H. M.
name: Leung, Ka Lun
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: Many combinatorial problems deal with preferences and violations, the goal of which is to find solutions with the minimum cost. Weighted constraint satisfaction is a framework for modeling such problems, which consists of a set of cost functions to measure the degree of violation or preferences of different combinations of variable assignments. Typical solution methods for weighted constraint satisfaction problems (WCSPs) are based on branch-and-bound search, which are made practical through the use of powerful consistency techniques such as AC*, FDAC*, EDAC* to deduce hidden cost information and value pruning during search. These techniques, however, are designed to be efficient only on binary and ternary cost functions which are represented in table form. In tackling many real-life problems, high arity (or global) cost functions are required. We investigate efficient representation scheme and algorithms to bring the benefits of the consistency techniques to also high arity cost functions, which are often derived from hard global constraints from classical constraint satisfaction. The literature suggests some global cost functions can be represented as flow networks, and the minimum cost flow algorithm can be used to compute the minimum costs of such networks in polynomial time. We show that naive adoption of this flow-based algorithmic method for global cost functions can result in a stronger form of null-inverse consistency. We further show how the method can be modified to handle cost projections and extensions to maintain generalized versions of AC* and FDAC* for cost functions with more than two variables. Similar generalization for the stronger EDAC* is less straightforward. We reveal the oscillation problem when enforcing EDAC* on cost functions sharing more than one variable. To avoid oscillation, we propose a weak version of EDAC* and generalize it to weak EDGAC* for non-binary cost functions. Using various benchmarks involving the soft variants of hard global constraints ALLDIFFERENT, GCC, SAME, and REGULAR, empirical results demonstrate that our proposal gives improvements of up to an order of magnitude when compared with the traditional constraint optimization approach, both in terms of time and pruning.
On the Robustness of Temporal Properties for Stochastic Models
Creators: name: Bartocci, Ezio
name: Bortolussi, Luca
name: Nenzi, Laura
name: Sanguinetti, Guido
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model and to reason about the dynamics of biological systems, due to their ability to capture the stochasticity inherent in biological processes. A classical question in formal modelling with clear relevance to biological modelling is the model checking problem. i.e. calculate the probability that a behaviour, expressed for instance in terms of a certain temporal logic formula, may occur in a given stochastic process. However, one may not only be interested in the notion of satisfiability, but also in the capacity of a system to mantain a particular emergent behaviour unaffected by the perturbations, caused e.g. from extrinsic noise, or by possible small changes in the model parameters. To address this issue, researchers from the verification community have recently proposed several notions of robustness for temporal logic providing suitable definitions of distance between a trajectory of a (deterministic) dynamical system and the boundaries of the set of trajectories satisfying the property of interest. The contributions of this paper are twofold. First, we extend the notion of robustness to stochastic systems, showing that this naturally leads to a distribution of robustness scores. By discussing two examples, we show how to approximate the distribution of the robustness score and its key indicators: the average robustness and the conditional average robustness. Secondly, we show how to combine these indicators with the satisfaction probability to address the system design problem, where the goal is to optimize some control parameters of a stochastic model in order to best maximize robustness of the desired specifications.
description: In Proceedings HSB 2013, arXiv:1308.5724
IDENTIDADE DA CULTURA MOCAMBICANA
Creators: name: Anifo Inusso  Moniz  Martinho
Publisher: name: Zenodo
Year: 2018

description: Como resultado da globalização as culturas de vários povos estão sofrendo transformações motivadas pelos contactos de populações de origens diferentes. Por esta razão este trabalho tem como objectivo analisar a identidade da cultura moçambicana. Este estudo fundamenta-se numa pesquisa qualitativa e bibliográfica. Os resultados da pesquisa indicam que a cultura moçambicana é caracterizada como sendo multicultural, multilingue e multiétnica. As conclusões do estudo apontam que a cultura moçambicana em parte resulta da interacção dos habitantes deste território com povos de outros países, sobretudo da influência dos árabes e portugueses que dominaram esta região por longos anos.
Drake: An Efficient Executive for Temporal Plans with Choice
Creators: name: Conrad, Patrick Raymond
name: Williams, Brian
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: This work presents Drake, a dynamic executive for temporal plans with choice. Dynamic plan execution strategies allow an autonomous agent to react quickly to unfolding events, improving the robustness of the agent. Prior work developed methods for dynamically dispatching Simple Temporal Networks, and further research enriched the expressiveness of the plans executives could handle, including discrete choices, which are the focus of this work. However, in some approaches to date, these additional choices induce significant storage or latency requirements to make flexible execution possible. Drake is designed to leverage the low latency made possible by a preprocessing step called compilation, while avoiding high memory costs through a compact representation. We leverage the concepts of labels and environments, taken from prior work in Assumption-based Truth Maintenance Systems (ATMS), to concisely record the implications of the discrete choices, exploiting the structure of the plan to avoid redundant reasoning or storage. Our labeling and maintenance scheme, called the Labeled Value Set Maintenance System, is distinguished by its focus on properties fundamental to temporal problems, and, more generally, weighted graph algorithms. In particular, the maintenance system focuses on maintaining a minimal representation of non-dominated constraints. We benchmark Drakes performance on random structured problems, and find that Drake reduces the size of the compiled representation by a factor of over 500 for large problems, while incurring only a modest increase in run-time latency, compared to prior work in compiled executives for temporal plans with discrete choices.
Diffusion, subdiffusion, and trapping of active particles in heterogeneous media
Creators: name: Chepizhko, Oleksandr
name: Peruani, Fernando
Publisher: name: arXiv
Year: 2013
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We study the transport properties of a system of active particles moving at constant speed in an heterogeneous two-dimensional space. The spatial heterogeneity is modeled by a random distribution of obstacles, which the active particles avoid. Obstacle avoidance is characterized by the particle turning speed $γ$. We show, through simulations and analytical calculations, that the mean square displacement of particles exhibits two regimes as function of the density of obstacles $ρ_o$ and $γ$. We find that at low values of $γ$, particle motion is diffusive and characterized by a diffusion coefficient that displays a minimum at an intermediate obstacle density $ρ_o$. We observe that in high obstacle density regions and for large $γ$ values, spontaneous trapping of active particles occurs. We show that such trapping leads to genuine subdiffusive motion of the active particles. We indicate how these findings can be used to fabricate a filter of active particles.
description: to appear in Phys. Rev. Lett
Penyemprotan Desinfektan di Perumahan Villa Mutiara Indah
Creators: name: Ardiansyah
Publisher: name: Zenodo
Year: 2020
Subjects: penyemprotan
desinfektan
hmi cabang gowa raya

description: kegiatan adalah salah satu program kerja HMI Cabang Gowa yang dibidang Kesehatan Masyarakat. kegiatan ini dilakukan di daerah kabupaten Gowa guna memutus mata rantai covid-19.
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Creators: name: Lee, Joohyung
name: Palla, Ravi
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical formulas, we reformulate the situation calculus and the event calculus in the general theory of stable models. We also present a translation that turns the reformulations further into answer set programs, so that efficient answer set solvers can be applied to compute the situation calculus and the event calculus.
Phase statistics of the WMAP 7 year data
Creators: name: Kovács, András
name: Szapudi, István
name: Frei, Zsolt
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We performed a comprehensive statistical analysis using complex phases of the a_lm coefficients computed from the most recent data of the Wilkinson Microwave Anisotropy Probe (WMAP). Our aim was to confirm or constrain the presence of non-Gaussianities in the data. We found phase correlations - that suggest non-Gaussianity - at high-l in a_lm coefficients by applying various statistical tests. Most of all, we detected a non-Gaussian signal reaching a significance of 4.7 sigma using random walk statistics and simulations. However, our conclusion is that the non-Gaussian behavior is due to contamination from galactic foregrounds that show up in small scales only. When masked out the contaminated regions, we found no significant non-Gaussianity. Furthermore, we constrained the f_NL parameter using CMB simulations that mimic primordial non-Gaussianity. Our estimate is f_NL=40 +/- 200, in agreement with previous measurements and inflationary expectations.
description: 4 pages, 4 figures, Accepted for Publication in AN
Physaria fendleri and Ricinus communis LCAT-like phospholipases selectively cleave hydroxy acyl chains from phosphatidylcholine
Creators: name: Xu, Yang; Caldo, Kristian Mark P.; Singer, Stacy D.; Mietkiewska, Elzbieta; Greer, Michael S.; Tian, Bo; Dyer, John M.; Smith, Mark; Zhou, Xue-Rong; Qiu, Xiao; Weselake, Randall J.; Chen, Guanqun
Publisher: name: University of Alberta Libraries
Year: 2020

Abstract
How to Make Your Packaging More Brandable
Creators: name: Kerry, Jin
Publisher: name: Zenodo
Year: 2020
Subjects: Packaging, Branding

description: The most important part of your retail store or restaurant is your packaging, so you'll want to make your custom packaging more brandable. This means that you have to think about how you pack your food items and beverages to make a strong impression on your consumers. You'll find that this is an easy thing to do because there are many different ways that you can pack your products.
Robustness Analysis for Value-Freezing Signal Temporal Logic
Creators: name: Brim, L.
name: Vejpustek, T.
name: Šafránek, D.
name: Fabriková, J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Engineering, Finance, and Science (cs.CE)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric Temporal Logic (MTL). Furthermore, we present an algorithm for STL* robustness computation, which is implemented in the tool Parasim. Application of STL* robustness analysis is demonstrated on case studies.
description: In Proceedings HSB 2013, arXiv:1308.5724
MODERN METHODS OF TEACHING ENGLISH
Creators: name: Butunbayeva, Aziza
Publisher: name: Zenodo
Year: 2023

description: Modern educational development has given rise to a new direction of innovative pedagogy. Innovative means "introduction (dissemination) of innovation". The socio-psychological aspect of innovation was developed by the American researcher E. Rogers. He studied the classification of the participants of the innovation process, their attitude to the innovation, etc. The concepts of novelty and innovation are mutually different in scientific directions. "Innovation" means a tool, new method, methodology, technology. "Innovation" is a process that develops according to certain stages of education.
Stable long-distance propagation and on-off switching of colliding soliton sequences with dissipative interaction
Creators: name: Chakraborty, Debananda
name: Peleg, Avner
name: Jung, Jae-Hun
Publisher: name: arXiv
Year: 2013
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We study propagation and on-off switching of two colliding soliton sequences in the presence of second-order dispersion, Kerr nonlinearity, linear loss, cubic gain, and quintic loss. Employing a Lotka-Volterra (LV) model for dynamics of soliton amplitudes along with simulations with two perturbed coupled nonlinear Schrödinger (NLS) equations, we show that stable long-distance propagation can be achieved for a wide range of the gain-loss coefficients, including values that are outside of the perturbative regime. Furthermore, we demonstrate robust on-off and off-on switching of one of the sequences by an abrupt change in the ratio of cubic gain and quintic loss coefficients, and extend the results to pulse sequences with periodically alternating phases. Our study significantly strengthens the recently found relation between collision dynamics of sequences of NLS solitons and population dynamics in LV models, and indicates that the relation might be further extended to solitary waves of the cubic-quintic Ginzburg-Landau equation.
description: 14 pages, 3 figures
Computing All-Pairs Shortest Paths by Leveraging Low Treewidth
Creators: name: Planken, Léon R.
name: de Weerdt, Mathijs M.
name: van der Krogt, Roman P. J.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: We present two new and efficient algorithms for computing all-pairs shortest paths. The algorithms operate on directed graphs with real (possibly negative) weights. They make use of directed path consistency along a vertex ordering d. Both algorithms run in O(n^2 w_d) time, where w_d is the graph width induced by this vertex ordering. For graphs of constant treewidth, this yields O(n^2) time, which is optimal. On chordal graphs, the algorithms run in O(nm) time. In addition, we present a variant that exploits graph separators to arrive at a run time of O(n w_d^2 + n^2 s_d) on general graphs, where s_d andlt= w_d is the size of the largest minimal separator induced by the vertex ordering d. We show empirically that on both constructed and realistic benchmarks, in many cases the algorithms outperform Floyd-Warshalls as well as Johnsons algorithm, which represent the current state of the art with a run time of O(n^3) and O(nm + n^2 log n), respectively. Our algorithms can be used for spatial and temporal reasoning, such as for the Simple Temporal Problem, which underlines their relevance to the planning and scheduling community.
Robustness of the filamentation instability for asymmetric plasma shells collision in arbitrarily oriented magnetic field
Creators: name: Bret, Antoine
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: The filamentation instability triggered when two counter streaming plasma shells overlap appears to be the main mechanism by which collisionless shocks are generated. It has been known for long that a flow aligned magnetic field can completely suppress this instability. In a recent paper [PHYSICS OF PLASMAS 18, 080706 (2011)], it was demonstrated in two dimensions that for the case of two cold, symmetric, relativistically colliding shells, such cancellation cannot occur if the field is not perfectly aligned. Here, this result is extended to the case of two asymmetric shells. The filamentation instability appears therefore as an increasingly robust mechanism to generate shocks.
description: 3 pages, 2 figures, to appear in Physics of Plasmas