cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Conflict-driven symbolic execution : how to learn to get better
Creators: name: Val, Celina Gomes Do
Publisher: name: University of British Columbia
Year: 2014

description: Due to software complexity, manual and automatic testing are not enough to guarantee the correct behavior of software. One alternative to this limitation is known as Symbolic Execution. Symbolic Execution is a formal verification method that simulates software execution using symbolic values instead of concrete ones. The execution starts with all input variables unconstrained, and assignments that use any input variable are encoded as logical expressions. Whenever a branch is reached, the symbolic execution engine checks which values the branch condition can assume. If more than one valid evaluation is possible, the execution forks, and a new process is created for each possibility. In cases where the program execution is finite, symbolic execution is complete, and potentially executes every reachable program path. However, the number of paths is exponential in the number of branches in the program, and this approach suffers from a problem know as path explosion. This thesis presents a novel algorithm that can dynamically reduce the number of paths explored during symbolic execution in order to prove a given set of properties. The algorithm is capable of learning from conflicts detected while symbolically executing a path. I have named this algorithm Conflict-Driven Symbolic Execution (CDSE), since it was inspired by the conflict-driven clause learning (CDCL) insights introduced by modern boolean satisfiability solvers. The proposed algorithm takes advantage of two features responsible for the success of CDCL solvers: conflict analysis and non-chronological backtracking. In a nutshell, CDSE prunes the search space every time a certain branch is proven infeasible by learning the reason why there is a conflict. In order to assess the proposed algorithm, this thesis presents a proof-of-concept CDSE tool named Kite, and compares its performance to the state-of-the-art symbolic execution tool Klee. The results are encouraging, and present practical evidence that conflict-driven symbolic execution can perform better than regular symbolic execution.
Supplementary material for: On the impact of incomplete taxon sampling on the relative timing of gene transfer events
Creators: name: Bernabeu, Moisès
name: Manzano, Saioa
name: Gabaldón, Toni
Publisher: name: Zenodo
Year: 2023

description: In this Zenodo repository you will find:

supplementary_material.pdf: the supplementary material for the paper with the figures and their captions and a supplementary text.
supplementary_material_data.zip: here you will find the data, script and raw figures that we used for the supplementary material. The simulated data was obtained using the original scripts of Tricou et al. https://doi.org/10.5281/zenodo.6901799.
Automatic abstractive summarization of meeting conversations
Creators: name: Oya, Tatsuro
Publisher: name: University of British Columbia
Year: 2014

description: Nowadays, there are various ways for people to share and exchange information. Phone calls, E-mails, and social networking applications are tools which have made it much easier for us to communicate. Despite the existence of these convenient methods for exchanging ideas, meetings are still one of the most important ways for people to collaborate, share information, discuss their plans, and make decisions for their organizations. However, some drawbacks exist to them as well. Generally, meetings are time consuming and require the participation of all members. Taking meeting minutes for the benefit of those who miss meetings also requires considerable time and effort. To this end, there has been increasing demand for the creation of systems to automatically summarize meetings. So far, most summarization systems have applied extractive approaches whereby summaries are simply created by extracting important phrases or sentences and concatenating them in sequence. However, considering that meeting transcripts consist of spontaneous utterances containing speech disfluencies such as repetitions and filled pauses, traditional extractive summarization approaches do not work effectively in this domain. To address these issues, we present a novel template-based abstractive meeting summarization system requiring less annotated data than that needed for previous abstractive summarization approaches. In order to generate abstract and robust templates that can guide the summarization process, our system extends a novel multi-sentence fusion algorithm and utilizes lexico-semantic information. It also leverages the relationship between human-authored summaries and their source meeting transcripts to select the best templates for generating abstractive summaries of meetings. In our experiment, we use the AMI corpus to instantiate our framework and compare it with state-of-the-art extractive and abstractive systems as well as human extractive and abstractive summaries. Our comprehensive evaluations, based on both automatic and manual approaches, have demonstrated that our system outperforms all baseline systems and human extractive summaries in terms of both readability and informativeness. Furthermore, it has achieved a level of quality nearly equal to that of human abstracts based on a crowd-sourced manual evaluation.
All order covariant tubular expansion
Creators: name: Mukhopadhyay, Partha
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider tubular neighborhood of an arbitrary submanifold embedded in a (pseudo-)Riemannian manifold. This can be described by Fermi normal coordinates (FNC) satisfying certain conditions as described by Florides and Synge in \cite{FS}. By generalizing the work of Muller {\it et al} in \cite{muller} on Riemann normal coordinate expansion, we derive all order FNC expansion of vielbein in this neighborhood with closed form expressions for the curvature expansion coefficients. Our result is shown to be consistent with certain integral theorem for the metric proved in \cite{FS}.
description: 27 pages. Corrected an error in a class of coefficients resulting from a typo. Integral theorem and all other results remain unchanged
A finite field hypergeometric function associated to eigenvalues of a Siegel eigenform
Creators: name: McCarthy, Dermot
name: Papanikolas, Matthew A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: Although links between values of finite field hypergeometric functions and eigenvalues of elliptic modular forms are well known, we establish in this paper that there are also connections to eigenvalues of Siegel modular forms of higher degree. Specifically, we relate the eigenvalue of the Hecke operator of index $p$ of a Siegel eigenform of degree 2 and level 8 to a special value of a ${}_4F_3$-hypergeometric function.
description: 16 pages
Marginal multi-Bernoulli filters: RFS derivation of MHT, JIPDA and association-based MeMBer
Creators: name: Williams, Jason L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Systems and Control (eess.SY)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Recent developments in random finite sets (RFSs) have yielded a variety of tracking methods that avoid data association. This paper derives a form of the full Bayes RFS filter and observes that data association is implicitly present, in a data structure similar to MHT. Subsequently, algorithms are obtained by approximating the distribution of associations. Two algorithms result: one nearly identical to JIPDA, and another related to the MeMBer filter. Both improve performance in challenging environments.
description: Journal version at http://ieeexplore.ieee.org/document/7272821. Matlab code of simple implementation included with ancillary files
Metropolitan Gardens – gardens in the interstices of the metropolitan tissue
Creators: name: De Wit, Saskia
Publisher: name: SPOOL
Year: 2013
Subjects: interstice; interstitial garden; landscape architecture; garden; metropolitan landscape; place

description: The heterogeneity of the contemporary metropolitan landscape has led to a multiplicity of intermediate spaces, in between and within the different tissues of the metropolitan landscape. These interstices can provide favourable conditions to be transformed into gardens. What design instruments can be discovered for these gardens to address the characteristics of the interstice? And what is the value of doing so? In this essay three contemporary examples are compared, which explicitly address the different metropolitan landscapes in which they are located.

Paley Park (New York, USA) is a transformation of an interstice within a dense urban tissue.

Crazannes Garden (Crazannes, FR) creates a point of contact between motorway and rural landscape.

Reflection Garden (Seattle, USA) addresses the inclusion of what used to be the hinterland into the metropolitan realm, which has so little physical impact that the interstitial space between the urban fragments constitutes practically the entire surface.

The gardens are compared focusing on the landscape, the metropolitan condition of their situation, and the formal, spatial and visual transformation of the context in the composition of the garden. From the case studies one can conclude that gardens can define specific places in a generic metropolitan landscape, employing several design tools: centring, enclosing and highlighting a specific selection of existing landscape qualities.
description: SPOOL, Vol 1 No 1: Landscape metropolis #1
Metropolitan Gardens – gardens in the interstices of the metropolitan tissue
Creators: name: De Wit, Saskia
Publisher: name: TU Delft
Year: 2013
Subjects: interstice; interstitial garden; landscape architecture; garden; metropolitan landscape; place

description: The heterogeneity of the contemporary metropolitan landscape has led to a multiplicity of intermediate spaces, in between and within the different tissues of the metropolitan landscape. These interstices can provide favourable conditions to be transformed into gardens. What design instruments can be discovered for these gardens to address the characteristics of the interstice? And what is the value of doing so? In this essay three contemporary examples are compared, which explicitly address the different metropolitan landscapes in which they are located.Paley Park (New York, USA) is a transformation of an interstice within a dense urban tissue.Crazannes Garden (Crazannes, FR) creates a point of contact between motorway and rural landscape.Reflection Garden (Seattle, USA) addresses the inclusion of what used to be the hinterland into the metropolitan realm, which has so little physical impact that the interstitial space between the urban fragments constitutes practically the entire surface.The gardens are compared focusing on the landscape, the metropolitan condition of their situation, and the formal, spatial and visual transformation of the context in the composition of the garden. From the case studies one can conclude that gardens can define specific places in a generic metropolitan landscape, employing several design tools: centring, enclosing and highlighting a specific selection of existing landscape qualities.
description: SPOOL, SPOOL 01/2013: landscape metropolis
Quantum Metrology: Towards an alternative definition for the meter
Creators: name: Zois, Ioannis P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The motivation for this article came from an attempt to give an alternative definition for the meter, the SI unit for measuring length. As a starting point towards this goal, in this piece of work we present the underlying theory behind our approach which uses ideas from quantum field theory and noncommutative geometry, in particular the notion of an odd K-cycle which is based on the Dirac operator (and its inverse, the Dirac propagator). Using (the perhaps more familiar) physics terminology, the key point in our strategy is this: instead of measuring length directly in space-time we measure the "algebraic (spectral) length" in the space of the corresponding quantum states of some particle (fermion) acted upon by the Dirac propagator. This approach shares the spirit of the unanimus vote of the 24th General Conference of Standards and Measures (21st October 2011) in Serves, France for the redefinition of the fundamental units using Planck's constant.
description: Extended version of an invited talk during the 4th Tactical Conference on Metrology, 3-4 February 2012, National Technical University of Athens, Athens Greece
Coalitional game approach for cooperation strategy in cognitive radio networks
Creators: name: Dai, Zhiyu
Publisher: name: University of British Columbia
Year: 2014

description: Cognitive radio networks (CRNs) provide an effective solution to address the increasing demand for spectrum resources. The cooperation among secondary users (SUs) improves the sensing performance and spectrum efficiency. In this thesis, we study a traffic-demand based cooperative spectrum sensing and access strategy in a CRN with multiple SUs and multiple primary users (PUs). In the proposed strategy, each SU makes its own cooperation decision according to its traffic demand. When the SU has a high traffic demand, it selectively chooses channels to sense and access. When it has no data to transmit, it can choose not to perform sensing and save energy for future transmission. In the first part of the thesis, we study the traffic demand-based cooperation strategy in CRNs, in which each SU senses at most one channel during a time slot. We formulate this problem as a non-transferable utility (NTU) coalition formation game, in which each SU receives a coalition value that takes into account the expected throughput and energy efficiency. In order to obtain the final coalition structure, we propose a sequential coalition formation (SCF) algorithm. Simulation results show that our proposed algorithm achieves a higher throughput and energy efficiency than a previously proposed coalition formation algorithm in [1]. In the second part of this thesis, we extend the cooperation strategy problem in CRNs by enabling each SU to sense multiple channels during the sensing stage. We formulate the problem as an NTU overlapping coalitional game. We propose an overlapping coalition formation (OCF) algorithm to obtain a stable coalition structure. The proposed OCF algorithm is proved to converge after a finite number of iterations. We also modify the SCF algorithm proposed in the first part of this thesis to address the problem in the new system model. The modified SCF algorithm requires a lower number of iterations and involves less information exchange among SUs. Moreover, an adaptive transmission power control scheme is proposed for SUs to further improve their energy efficiency. Simulation results show that our proposed algorithms achieve a higher throughput than the disjoint coalition formation (DCF) algorithm.
The Euler characteristic of a Hecke algebra
Creators: name: Terragni, T.
name: Weigel, Th.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 20C08 (Primary) 16S80, 20F55 (Secondary)

description: It is shown that the Euler characteristic $χ_{(\mathcal{H},\mathcal{B},ε_q)}$ of a $\mathbb{Z}[[q]]$-Hecke algebra $\mathcal{H}$ associated with a finitely generated Coxeter group $(W,S)$ coincides with $p_{(W,S)}(q)^{-1}$, where $p_{(W,S)}(t)$ is the Poincaré series of $(W,S)$.
description: 11 pages; J. Pure Appl. Algebra (2014)
MOESM2 of Alteration in TET1 as potential biomarker for immune checkpoint blockade in multiple cancers
Creators: name: Wu, Hao-Xiang
name: Chen, Yan-Xing
name: Wang, Zi-Xian
name: Zhao, Qi
name: He, Ming-Ming
name: Wang, Ying-Nan
name: Wang, Feng
name: Xu, Rui-Hua
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified

description: Additional file 2: Figure S2. Related to Fig. 6_Flowchart of data processing of the TCGA dataset. (PDF 107 kb)
Mario Luzi. Dall’“esistenzialismo tragico” all’approdo alla luce nel loquace silenzio della Parola
Creators: name: Bianco, Michele
Publisher: name: Avellino : Associazione culturale Internazionale Sinestesie
Year: 2019
Subjects: Mario Luzi
Esistenzialismo
Existentialism

description: Il saggio esamina brevemente l’intera produzione poetica di Luzi che appare bilanciata tra due poli distinti ma non irrelati in quanto sottesi e riducibili a un’unità inconsutile e archetipicoteleologica che li invera come riflessi dialettici di una necessaria complementarietà strutturale manifestantesi sul piano stilistico e su quello escatologico, quale riverberazione in prospettiva metafisico-anagogica dell’ascésa-ascèsi del poeta sul proscenio della vita. Dalla dimensione orizzontale a quella verticale, ossia dall’esperienza ermetica delle origini alla successiva immersione nella vita e “nell’opera del mondo”, intese come itinerarium ad lucem, in una visione cristiana della vita e in una problematica ricerca di senso e di inesausta interrogazione, spesso senza risposta, il poeta perviene agli enigmatici aspetti dell’esistenza, fino all’approdo definitivo del silenzio abbagliante, che è la voce stessa di Dio.
description: The present essay investigates the whole poetic production by Luzi which seems to balance between two different but interrelated points as they belong to an unalterable and archetypical-teleological unit; such a necessary structural complementarity (at a stylistic and eschatological level) represents - according to a metaphysical-anagogical perspective – the rise-ascesisi of the poet to the proscenium of life. From the horizontal to the vertical dimension, from the hermetic experience of origins to the subsequent immersion in life and “in the work of the world” (seen as ‘itinerarium ad lucem’, according to a Christian view of life in a problematic search for sense and questions with no answears) the poet perceives the enigmatic aspect of existence till the final silence which is the voice of God.
Directly finite algebras of pseudofunctions on locally compact groups
Creators: name: Choi, Yemon
Publisher: name: arXiv
Year: 2012
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 22D15, 43A15 (primary), 22D25, 46L05 (secondary)

description: An algebra $A$ is said to be directly finite if each left invertible element in the (conditional) unitization of $A$ is right invertible. We show that the reduced group ${\rm C}^\ast$-algebra of a unimodular group is directly finite, extending known results for the discrete case. We also investigate the corresponding problem for algebras of $p$-pseudofunctions, showing that these algebras are directly finite if $G$ is amenable and unimodular, or unimodular with the Kunze--Stein property. An exposition is also given of how existing results from the literature imply that $L^1(G)$ is not directly finite when $G$ is the affine group of either the real or complex line.
description: AMS-LaTeX, 16 pages. v3: some typos corrected from v2; Remark 3.5 also patched. Final version, to appear in the Glasgow Mathematical Journal. v4: two more typos caught by author when reviewing page proofs
Measurement of the cross section for electromagnetic dissociation with neutron emission in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=2.76$ TeV
Creators: name: ALICE Collaboration
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The first measurement of neutron emission in electromagnetic dissociation of $^{208}$Pb nuclei at the LHC is presented. The measurement is performed using the neutron Zero Degree Calorimeters of the ALICE experiment, which detect neutral particles close to beam rapidity. The measured cross sections of single and mutual electromagnetic dissociation of Pb nuclei at $\sqrt{s_{\rm NN}}$ = 2.76 TeV with neutron emission are $σ_{\rm single\ EMD} = 187.4\pm0.2$ (stat.) $^{+13.2} _{-11.2}$ (syst.) b and $σ_{\rm mutual\ EMD} = 5.7\pm0.1$ (stat.) $\pm$0.4 (syst.) b, respectively. The experimental results are compared to the predictions from a relativistic electromagnetic dissociation model.
description: 15 pages, 5 captioned figures, 2 tables, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/2868
Space-time stationary solutions for the Burgers equation
Creators: name: Bakhtin, Yuri
name: Cator, Eric
name: Khanin, Konstantin
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: Analysis of PDEs (math.AP)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 37L40, 37L55, 35R60, 37H99, 60K35, 60G55

description: We construct space-time stationary solutions of the 1D Burgers equation with random forcing in the absence of periodicity or any other compactness assumptions. More precisely, for the forcing given by a homogeneous Poissonian point field in space-time we prove that there is a unique global solution with any prescribed average velocity. These global solutions serve as one-point random attractors for the infinite-dimensional dynamical system associated to solutions to the Cauchy problem. The probability distribution of the global solutions defines a stationary distribution for the corresponding Markov process. We describe a broad class of initial Cauchy data for which the distribution of the Markov process converges to the above stationary distribution. Our construction of the global solutions is based on a study of the field of action-minimizing curves. We prove that for an arbitrary value of the average velocity, with probability 1 there exists a unique field of action-minimizing curves initiated at all of the Poissonian points. Moreover action-minimizing curves corresponding to different starting points merge with each other in finite time.
description: 50 pages. In this version: small technical corrections in Lemmas 6.1 and 6.3
Symplectic foliations and generalized complex structures
Creators: name: Bailey, Michael
Publisher: name: arXiv
Year: 2012
Subjects: subject: Symplectic Geometry (math.SG)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53D18

description: We answer the natural question: when are a regular Poisson structure along with a complex structure transverse to its symplectic leaves induced by generalized complex structure? The leafwise symplectic form and transverse complex structure determine an obstruction class in a certain cohomology, which vanishes if and only if our question has an affirmative answer. We first study a component of this obstruction, which gives the condition that the leafwise cohomology class of the symplectic form must be transversely pluriharmonic. As a consequence, under certain topological hypotheses, we infer that we actually have a symplectic fibre bundle over a complex base. We then show how to compute the full obstruction via a spectral sequence. We give various concrete necessary and sufficient conditions for the vanishing of the obstruction. Throughout, we give examples to test the sharpness of these conditions, including a symplectic fibre bundle over a complex base which does not come from a generalized complex structure, and a regular generalized complex structure which is very unlike a symplectic fibre bundle, i.e., for which nearby leaves are not symplectomorphic.
description: 22 pages; v2: added diagrams, plus minor revisions; v3: corrected Example 5.7. arXiv admin note: text overlap with arXiv:1201.0791
Riscritture novecentesche del «Candido» di Voltaire: il sogno di Sciascia e la musica di Bernstein
Creators: name: Assante, Maria Silvia
Publisher: name: Avellino : Associazione culturale Internazionale Sinestesie
Year: 2019
Subjects: Letteratura contemporanea
Ironia
Riscritture
Musica e letteratura
Contemporary literature
Irony
Re-writing
Music and literature

description: Nella nota finale del suo “Candido, ovvero un sogno fatto in Sicilia” Leonardo Sciascia riporta le parole di Montesquieu secondo cui da un’opera originale nascono centinaia di opere figlie che si servono della prima «come i geometri delle loro formule». Il “Candido” di Voltaire non sarà infatti padre solo del romanzo di Sciascia ma, negli stessi anni, anche dello spettacolare musical omonimo di Leonard Bernstein. L’articolo indaga le due riletture novecentesche, descrivendo quanto debbano allo spirito ironico, leggero e sarcastico del filosofo francese nel raccontare di uomini «ragionevoli» in un mondo sempre più «irragionevole».
description: In the final note of his ‘Candido, ovvero un sogno fatto in Sicilia’, Leonardo Sciascia reports Montesquieu’s words according to which from an original work result hundreds of other works which use the first one «as [make use] of their formulas». Indeed, Voltaire’s ‘Candide’ will be not only father of Sciascia’s novel but also, in the same years, the father of the spectacular musical of the same name by Leonard Bernstein. The article investigates the two twentieth-century re-readings, describing how much they owe to ironic, light and sarcastic spirit of the French philosopher in telling about “reasonable” men in an increasingly “unreasonable” world.
La nuova qualificazione dei docenti di religione: note a margine del D.P.R. n. 175 del 2012
Creators: name: Attollino, Simona
Publisher: name: Università degli Studi di Milano
Year: 2013
Subjects: Istruzione e IRC

description: Il contributo, sottoposto a valutazione, è destinato alla pubblicazione negli atti del Convegno nazionale ADEC "Insegnamenti e insegnanti di religione nella scuola pubblica italiana" (Catanzaro, 25-27 ottobre 2012).

SOMMARIO: 1. Il piano dei diritti: incompiute acquisizioni giurisprudenziali - 2. La qualificazione professionale dei docenti alla luce del D.P.R. n. 175 del 20 agosto 2012 - 3. Verso l’accentuazione del carattere culturale dell’I.R.C. - 4. L’ermeneutica del pluralismo sociale: un’offerta formativa aperta.

ABSTRACT
This essay regards the new professional status of teacher's religion in public school, in the light of juridical discipline approved in 2012. It analyses the rules as well as the abundant case-law in this field, underling the trend that considers the cultural value of catholicism teaching in public school in respect to the context of religious and social pluralism.
description: Stato, Chiese e pluralismo confessionale, 2013: 23 dicembre
Hypercontractivity, Sum-of-Squares Proofs, and their Applications
Creators: name: Barak, Boaz
name: Brandão, Fernando G. S. L.
name: Harrow, Aram W.
name: Kelner, Jonathan A.
name: Steurer, David
name: Zhou, Yuan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computational Complexity (cs.CC)
subject: Data Structures and Algorithms (cs.DS)
subject: Quantum Physics (quant-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: We study the computational complexity of approximating the 2->q norm of linear operators (defined as ||A||_{2->q} = sup_v ||Av||_q/||v||_2), as well as connections between this question and issues arising in quantum information theory and the study of Khot's Unique Games Conjecture (UGC). We show the following: 1. For any constant even integer q>=4, a graph $G$ is a "small-set expander" if and only if the projector into the span of the top eigenvectors of G's adjacency matrix has bounded 2->q norm. As a corollary, a good approximation to the 2->q norm will refute the Small-Set Expansion Conjecture--a close variant of the UGC. We also show that such a good approximation can be obtained in exp(n^(2/q)) time, thus obtaining a different proof of the known subexponential algorithm for Small Set Expansion. 2. Constant rounds of the "Sum of Squares" semidefinite programing hierarchy certify an upper bound on the 2->4 norm of the projector to low-degree polynomials over the Boolean cube, as well certify the unsatisfiability of the "noisy cube" and "short code" based instances of Unique Games considered by prior works. This improves on the previous upper bound of exp(poly log n) rounds (for the "short code"), as well as separates the "Sum of Squares"/"Lasserre" hierarchy from weaker hierarchies that were known to require omega(1) rounds. 3. We show reductions between computing the 2->4 norm and computing the injective tensor norm of a tensor, a problem with connections to quantum information theory. Three corollaries are: (i) the 2->4 norm is NP-hard to approximate to precision inverse-polynomial in the dimension, (ii) the 2->4 norm does not have a good approximation (in the sense above) unless 3-SAT can be solved in time exp(sqrt(n) polylog(n)), and (iii) known algorithms for the quantum separability problem imply a non-trivial additive approximation for the 2->4 norm.
description: v1: 52 pages. v2: 53 pages, fixed small bugs in proofs of section 6 (on UG integrality gaps) and section 7 (on 2->4 norm of random matrices). Added comments about real-vs-complex random matrices and about the k-extendable vs k-extendable & PPT hierarchies. v3: fixed mistakes in random matrix section. The result now holds only for matrices with random entries instead of random columns
Note preliminari sui protocolli concordatari
Creators: name: Lillo, Pasquale
Publisher: name: Università degli Studi di Milano
Year: 2013
Subjects: Concordati e intese

description: Contributo sottoposto a valutazione
SOMMARIO: 1. Chiesa cattolica e ordinamento internazionale – 2 Forme di stipulazione concordataria – 3. I protocolli concordatari – 4. Natura giuridica dei protocolli – 5. Nessi esistenziali dei protocolli ecclesiastici ‒ 6. Casi particolari di protocolli concordatari ‒ 7. Il Protocollo italiano del 1984.
description: Stato, Chiese e pluralismo confessionale, 2013: 23 dicembre
Synthesis of TRPV6 inhibitor, (S)-2-(((4-chlorobenzyl)oxy)methyl)-1-(4-methoxyphenethyl)pyrrolidine (CMP)
Creators: name: Charoenphandhu, Narattaphol
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 310113
subject: Synthetic biology

description: Synthesis of TRPV6 inhibitor, (S)-2-(((4-chlorobenzyl)oxy)methyl)-1-(4-methoxyphenethyl)pyrrolidine (CMP)
Inapproximability of the Partition Function for the Antiferromagnetic Ising and Hard-Core Models
Creators: name: Galanis, Andreas
name: Stefankovic, Daniel
name: Vigoda, Eric
Publisher: name: arXiv
Year: 2012
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Mathematical Physics (math-ph)
subject: Probability (math.PR)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Recent inapproximability results of Sly (2010), together with an approximation algorithm presented by Weitz (2006) establish a beautiful picture for the computational complexity of approximating the partition function of the hard-core model. Let $λ_c(T_Δ)$ denote the critical activity for the hard-model on the infinite $Δ$-regular tree. Weitz presented an FPTAS for the partition function when $λ0$ such that (unless RP=NP) there is no FPRAS for approximating the partition function on graphs of maximum degree $Δ$ for activities $λ$ satisfying $λ_c(T_Δ)
description: Journal version (no changes)
MOESM11 of CircPLEKHM3 acts as a tumor suppressor through regulation of the miR-9/BRCA1/DNAJB6/KLF4/AKT1 axis in ovarian cancer
Creators: name: Zhang, Lei
name: Zhou, Qing
name: Qiu, Qiongzi
name: Hou, Ling
name: Wu, Mengting
name: Li, Jia
name: Li, Xufan
name: Lu, Bingjian
name: Cheng, Xiaodong
name: Liu, Pengyuan
name: Lu, Weiguo
name: Lu, Yan
Publisher: name: figshare
Year: 2019
Subjects: subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Pharmacology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 11: Figure S8. The relative expression of PLEKHM3 after knockdown or overexpression of circPLEKHM3 in ovarian cancer cells by real time quantitative RT-PCR.
Estimation of the Number of Spikes, Possibly Equal, in the High-Dimensional Case
Creators: name: Passemier, Damien
name: Yao, Jian-Feng
Publisher: name: arXiv
Year: 2011
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics

description: Estimating the number of spikes in a spiked model is an important problem in many areas such as signal processing. Most of the classical approaches assume a large sample size $n$ whereas the dimension $p$ of the observations is kept small. In this paper, we consider the case of high dimension, where $p$ is large compared to $n$. The approach is based on recent results of random matrix theory. We extend our previous results to a more difficult situation where some spikes are equal, and compare our algorithm to an existing benchmark method.
The existence of Bogomolny decompositions for gauged baby Skyrme models
Creators: name: Stȩpień, Ł. T.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: 35Q51

description: The Bogomolny decompositions (Bogomolny equations) for the gauged baby Skyrme models: restricted and full one, in (2+0)-dimensions, are derived, for some general classes of the potentials. The conditions, which must be satisfied by the potentials, for each of these mentioned models, are also derived.
Maximum rank of a Legendrian web
Creators: name: Wang, Joe S.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53A60

description: We propose the Legendrian web in a contact three manifold as a second order generalization of the planar web. An Abelian relation for a Legendrian web is analogously defined as an additive equation among the first integrals of its foliations. For a class of Legendrian $\, d$-webs defined by simple second order ODE's, we give an algebraic construction of $$ ρ_d = \frac{(d-1)(d-2)(2d+3)}{6}$$ linearly independent Abelian relations. We then employ the method of local differential analysis and the theory of linear differential systems to show that $\, ρ_d$ is the maximum rank of a Legendrian $\, d$-web. In the complex analytic category, we give a possible projective geometric interpretation of $ρ_d$ as an analogue of Castelnuovo bound for degree 2d surfaces in the 3-quadric $\mathbb{Q}^3\subset\mathbb{P}^4$ via the duality between $\mathbb{P}^3$ and $\mathbb{Q}^3$ associated with the rank two complex simple Lie group Sp$(2,\mathbb{C})$. The Legendrian 3-webs of maximum rank three are analytically characterized, and their explicit local normal forms are found. For an application, we give an alternative characterization of a Darboux super-integrable metric as a two dimensional Riemannian metric $\,g_+$ which admits a mate metric $\, g_-$ such that a Legendrian 3-web naturally associated with the geodesic foliations of the pair $\, g_{\pm}$ has maximum rank.
description: 33 pages. Final version
A Machine-learning Approach For Predicting Butyrate Production By Microbial Consortia Using Metabolic Network Information
Creators: name: Silva-Andrade, Claudia
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 461199
subject: Machine learning not elsewhere classified
classificationCode: 310202
subject: Biological network analysis
classificationCode: 310201
subject: Bioinformatic methods development

description: Supplementary, executables and code for "Silva-Andrade et al."
Quantum Circuits 101: How does a superconducting quantum bit work, and what can I use it for
Creators: name: Steele, Gary
Publisher: name: Zenodo
Year: 2021

description: A talk I gave at Fysica 2018 (https://www.fysica.nl/previous-editions/) in which I try to explain superconducting quantum bits for a broad audience The audience members will have a broad physics background, that is, including undergraduate and graduate students, researchers, teachers and physicists working in industry, academia, and public service.
Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory
Creators: name: Fredenhagen, Klaus
name: Rejzner, Katarzyna
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: On the basis of a thorough discussion of the Batalin-Vilkovisky formalism for classical field theory presented in our previous publication, we construct in this paper the Batalin-Vilkovisky complex in perturbatively renormalized quantum field theory. The crucial technical ingredient is a proof that the renormalized time-ordered product is equivalent to the pointwise product of classical field theory. The renormalized Batalin-Vilkovisky algebra is then the classical algebra but written in terms of the time-ordered product, together with an operator which replaces the ill defined graded Laplacian of the unrenormalized theory. We identify it with the anomaly term of the anomalous Master Ward Identity of Brennecke and Dütsch. Contrary to other approaches we do not refer to the path integral formalism and do not need to use regularizations in intermediate steps.
description: 34 pages
Covariate assisted screening and estimation
Creators: name: Ke, Zheng Tracy
name: Jin, Jiashun
name: Fan, Jianqing
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistics Theory (math.ST)
subject: Methodology (stat.ME)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Consider a linear model $Y=Xβ+z$, where $X=X_{n,p}$ and $z\sim N(0,I_n)$. The vector $β$ is unknown but is sparse in the sense that most of its coordinates are $0$. The main interest is to separate its nonzero coordinates from the zero ones (i.e., variable selection). Motivated by examples in long-memory time series (Fan and Yao [Nonlinear Time Series: Nonparametric and Parametric Methods (2003) Springer]) and the change-point problem (Bhattacharya [In Change-Point Problems (South Hadley, MA, 1992) (1994) 28-56 IMS]), we are primarily interested in the case where the Gram matrix $G=X'X$ is nonsparse but sparsifiable by a finite order linear filter. We focus on the regime where signals are both rare and weak so that successful variable selection is very challenging but is still possible. We approach this problem by a new procedure called the covariate assisted screening and estimation (CASE). CASE first uses a linear filtering to reduce the original setting to a new regression model where the corresponding Gram (covariance) matrix is sparse. The new covariance matrix induces a sparse graph, which guides us to conduct multivariate screening without visiting all the submodels. By interacting with the signal sparsity, the graph enables us to decompose the original problem into many separated small-size subproblems (if only we know where they are!). Linear filtering also induces a so-called problem of information leakage, which can be overcome by the newly introduced patching technique. Together, these give rise to CASE, which is a two-stage screen and clean [Fan and Song Ann. Statist. 38 (2010) 3567-3604; Wasserman and Roeder Ann. Statist. 37 (2009) 2178-2201] procedure, where we first identify candidates of these submodels by patching and screening, and then re-examine each candidate to remove false positives.
description: Published in at http://dx.doi.org/10.1214/14-AOS1243 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Investigation of the correlated dynamics of quantum-dot cellular automata circuits and systems
Creators: name: Karim, Faizal
Publisher: name: University of British Columbia
Year: 2014

description: Quantum-dot Cellular Automata (QCA) provides a basis for classical computation without transistors. Many simulations of QCA rely upon the Intercellular Hartree Approximation (ICHA), which neglects the possibility of entanglement between cells. While simple and computationally efficient, the ICHA’s many shortcomings make it difficult to accurately model the dynamics of large systems of QCA cells. On the other hand, solving a full Hamiltonian for each circuit, while more accurate, becomes computationally intractable as the number of cells increases. This work explores an intermediate solution that exists somewhere in the solution space spanned by the ICHA and the full Hamiltonian. The solution presented in this thesis builds off of the work done by Toth et al., and studies the role that correlations play in the dynamics of QCA circuits. Using the coherence-vector formalism, we show that we can accurately capture the dynamical behaviour of QCA systems by including two-cell correlations. In order to capture the system’s interaction with the environment, we introduce a new method for computing the steady-state configurations of a QCA system using well-known stochastic methods, and use the relaxation-time approximation to drive the QCA system to these configurations. For relatively-low temperatures, we show that this approach is accurate to within a few percent, and can be computed in linear time. QCADesigner, the de facto simulation tool used in QCA research, has been used and cited in hundreds of papers since its creation in 2004. By implementing computationally accurate and efficient algorithms to the existing simulation engines present in QCADesigner, this research is expected to make a significant contribution to the future of QCA circuit design. In particular, researchers in the field will be able to identity a whole new set of design rules that will lead to more compact circuit design, realistic clocking schemes, and crosstalk-tolerant layouts. In addition, proper estimates on the power dissipation, pipelining, and limitations of room temperature operation will now be feasible for QCA circuits of any size; a huge step forward for QCA design.
Improved master equation approach to quantum transport: From Born to self-consistent Born approximation
Creators: name: Li, Jun
name: Jin, Jinshuang
name: Li, Xin-Qi
name: Yan, YiJing
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Beyond the second-order Born approximation, we develop an improved master equation approach to quantum transport by virtue of a self-consistent Born approximation. The basic idea is replacing the free Green's function in the tunneling self-energy by an effective reduced propagator under the Born approximation. We found that the effect of this simple improvement is remarkable, for instance, it can not only recover the exact result of noninteracting transport under arbitrary voltages, but also predict the challenging nonequilibrium Kondo effect. In addition to having an elegant structure, the application convenience and accuracy of the proposed scheme, as demonstrated by the examples in this work, may suggest it a useful tool for quantum transports.
Universal Polynomials for Tautological Integrals on Hilbert Schemes
Creators: name: Rennemo, Jørgen Vold
Publisher: name: arXiv
Year: 2012
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14C05, 14N10, 14N35

description: We show that tautological integrals on Hilbert schemes of points can be written in terms of universal polynomials in Chern numbers. The results hold in all dimensions, though they strengthen known results even for surfaces by allowing integrals over arbitrary "geometric" subsets (and their Chern-Schwartz-MacPherson classes). We apply this to enumerative questions, proving a generalised Göttsche Conjecture for all singularity types and in all dimensions. So if L is a sufficiently ample line bundle on a smooth variety X, in a general subsystem P^d of |L| of appropriate dimension the number of hypersurfaces with given singularity types is a polynomial in the Chern numbers of (X,L). When X is a surface, we get similar results for the locus of curves with fixed "BPS spectrum" in the sense of stable pairs theory.
description: 44 pages, minor changes and corrections
A Machine-learning Approach For Predicting Butyrate Production By Microbial Consortia Using Metabolic Network Information
Creators: name: Silva-Andrade, Claudia
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 461199
subject: Machine learning not elsewhere classified
classificationCode: 310202
subject: Biological network analysis
classificationCode: 310201
subject: Bioinformatic methods development

description: Executables and code for "Silva-Andrade et al."
The nature of assembly bias - III. Observational properties
Creators: name: Lacerna, Ivan
name: Padilla, Nelson
name: Stasyszyn, Federico
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We analyse galaxies in groups in the Sloan Digital Sky Survey (SDSS) and find a weak but significant assembly-type bias, where old central galaxies have a higher clustering amplitude (61 $\pm$ 9 per cent) at scales > 1 Mpc than young central galaxies of equal host halo mass ($M_{h} \sim 10^{11.8} h^{-1}$ $M_{\odot}$). The observational sample is volume-limited out to z=0.1 with $M_r -$ 5 log$(h) \le -19.6$. We construct a mock catalogue of galaxies that shows a similar signal of assembly bias (46 $\pm$ 9 per cent) at the same halo mass. We then adapt the model presented by Lacerna & Padilla (Paper I) to redefine the overdensity peak height, which traces the assembly bias such that galaxies in equal density peaks show the same clustering regardless of their stellar age, but this time using observational features such as a flux limit. The proxy for peak height, which is proposed as a better alternative than the virial mass, consists in the total mass given by the mass of neighbour host haloes in cylinders centred at each central galaxy. The radius of the cylinder is parametrized as a function of stellar age and virial mass. The best-fitting set of parameters that make the assembly bias signal lower than 5$-$15 per cent for both SDSS and mock central galaxies are similar. The idea behind the parametrization is not to minimize the bias, but it is to use this method to understand the physical features that produce the assembly bias effect. Even though the tracers of the density field used here differ significantly from those used in paper I, our analysis of the simulated catalogue indicates that the different tracers produce correlated proxies, and therefore the reason behind this assembly bias is the crowding of peaks in both simulations and the SDSS.
description: 12 pages, 11 figures. Accepted for publication in MNRAS
«Intorcinata come un budello»: per un «misenabismo» della cultura novecentesca
Creators: name: Allasia, Clara
Publisher: name: Avellino : Associazione culturale Internazionale Sinestesie
Year: 2019
Subjects: Sanguineti
Mari
Letteratura e cinema
Letteratura e arte
Literature and cinema
Literature and art

description: Il saggio si propone di indagare il rapporto fra due autori apparentemente molto distanti come Edoardo Sanguineti e Michele Mari, da un lato esaminando il loro modo di intendere la lingua, la tradizione letteraria e intermediale e dall’altro ricorrendo all’analisi di alcune frequenti immagini metaforiche che permettono di enucleare elementi forti di affinità.
description: The essay aims investigatethe relationship between two apparently very different authors such as Edoardo Sanguineti and Michele Mari, examining, on the one hand, their way of understanding the language, the literary and intermediate tradition and, on the other, resorting to the analysis of some frequent metaphorical images, which allow us to identify strong elements of affinity.