Filters








1,656 Hits in 9.3 sec

Scattering amplitudes in YM and GR as minimal model brackets and their recursive characterization [article]

Andrea Nützi, Michael Reiterer
2018 arXiv   pre-print
Using a variant of Hartogs extension for singular varieties, we give a rigorous account of a recursive characterization of the amplitudes via their residues independent of their original definition in  ...  To emphasize that amplitudes are robust objects, we give a succinct list of properties that suffice for a dgLa so as to produce the YM and GR amplitudes respectively.  ...  Acknowledgments: We thank Thomas Willwacher for very useful comments on parts of this manuscript; Eugene Trubowitz for studying L ∞ algebras and homotopy transfer with us; and Horst Knörrer for his interest  ... 
arXiv:1812.06454v1 fatcat:x5odu6vqz5cxbfxsnlpsgtlf5a

Algorithms for detecting dependencies and rigid subsystems for CAD [article]

James Farre, Helena Kleinschmidt, Jessica Sidman, Audrey Lee-St.John, Stephanie Stark, Louis Theran, Xilin Yu
2015 arXiv   pre-print
Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies.  ...  We present combinatorial algorithms for identifying subgraphs associated to factors of a particular polynomial, whose vanishing indicates a special position and resulting dependency.  ...  As we will rely on both concepts of sparsity, we draw the reader's attention to the use of parentheses to denote the parametrized (k, )-sparsity of simple graphs (appearing for classical bar-and-joint  ... 
arXiv:1306.1572v2 fatcat:mwyewcknrzaftnvy7f72rdup7u

The Spatial-Perceptual Design Space: A New Comprehension for Data Visualization

José Fernando Rodrigues, Agma JM Traina, Maria Cristina F. de Oliveira, Caetano Traina
2007 Information Visualization  
The new organization of concepts that we introduce is our main contribution: a grammar for the visualization design based on the review of former works and of classical and state-of-the-art techniques.  ...  Like so, the paper is presented as a survey whose structure introduces a new conceptualization for the space of techniques concerning visual analysis.  ...  Section 6 explains the role of interaction in the proposed framework. Section 7 proposes a unified model for visualization, named Visualization Machine, which integrates all the proposed concepts.  ... 
doi:10.1057/palgrave.ivs.9500161 fatcat:aakavsuw3bedxebc6vx6jd24ne

Energy Trees: Regression and Classification With Structured and Mixed-Type Covariates [article]

Riccardo Giubilei, Tullia Padellini, Pierpaolo Brutti
2022 arXiv   pre-print
In this work, we propose Energy Trees as a model for regression and classification tasks where covariates are potentially both structured and of different types.  ...  The continuous growth of data complexity requires methods and models that adequately account for non-trivial structures, as any simplification may induce loss of information.  ...  As a recursive partitioning model, they are interpretable, scale-invariant, do not require preprocessing or parametric assumptions, and have built-in feature selection.  ... 
arXiv:2207.04430v1 fatcat:4tjtp5y7mbhtjppwubcqnbykcy

Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1

FEDERICO ASCHIERI
2013 Mathematical Structures in Computer Science  
Realizers are written in a classical version of Girard's System F.  ...  We introduce a classical realizability semantics based on interactive learning for full second-order Heyting Arithmetic with excluded middle and Skolem axioms over Σ 0 1 -formulas.  ...  Interactive Realizability and Bar Recursive Interpretations of Analysis As another example of inefficiency problems in classical logic, let us consider Spector's computational interpretation of Analysis  ... 
doi:10.1017/s0960129513000455 fatcat:bdbguwmxuzab7dp34rdaensi5y

Subject index volumes 1–200

1999 Theoretical Computer Science  
recursive programming, 759 forms of systems of ODE, 3 117 framework, 2612 functional algorithms, 2580 interpretation, 1127 interpretations, 1365 locally catenative L scheme, 1563 m-ary method,  ...  directed system, 3011 fault tolerance of -, 2283 for Struchey's parametric polymorphism, 1312 model. 1698 syntax of a subset of PASCAL, 103 systolic system. 1062 syntax of ALGOL, 60,260 behaviours  ... 
doi:10.1016/s0304-3975(98)00319-3 fatcat:s22ud3iiqjht7lfbtc3zctk7zm

Monadic abstract interpreters

Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
2013 Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13  
Recent developments in the systematic construction of abstract interpreters hinted at the possibility of a broad unification of concepts in static analysis.  ...  Monads become the unifying agent between these concepts and between semantics.  ...  Dominique Devriese holds a Ph.D. fellowship of the Research Foundation -Flanders (FWO). Different parts of Might's effort on this work were partially supported by the DARPA programs APAC and CRASH.  ... 
doi:10.1145/2491956.2491979 dblp:conf/pldi/SergeyDMMDCP13 fatcat:6lxon36nrngw3iufpeexuhecsu

Monadic abstract interpreters

Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
2013 SIGPLAN notices  
Recent developments in the systematic construction of abstract interpreters hinted at the possibility of a broad unification of concepts in static analysis.  ...  Monads become the unifying agent between these concepts and between semantics.  ...  Dominique Devriese holds a Ph.D. fellowship of the Research Foundation -Flanders (FWO). Different parts of Might's effort on this work were partially supported by the DARPA programs APAC and CRASH.  ... 
doi:10.1145/2499370.2491979 fatcat:2biou3qrtraw5p5pk7bj6b2b6e

PCOT: Cache Oblivious Tiling of Polyhedral Programs [article]

Waruna Ranasinghe, Nirmal Prajapati, Tomofumi Yuki, Sanjay Rajopadhye
2018 arXiv   pre-print
The answer to this question is complicated for modern architecture due to a number of reasons.  ...  In this paper, we present a detailed empirical study to answer this question for a range of kernels that fit the polyhedral model.  ...  Furthermore, they also showed [5] how to combine iner-and intra array reuse in a unifying framework. The other schedule independent memory allocation was pioneered by Strout et al. [57] .  ... 
arXiv:1802.00166v1 fatcat:tsnkzovxmzdg5pbo3lotif3hoe

Ambiguity in Asset Pricing and Portfolio Choice: A Review of the Literature

Massimo Guidolin, Francesca Rinaldi
2010 Social Science Research Network  
A literature has arisen that models agents whose choices are consistent with models that are less restrictive than the standard subjective expected utility framework.  ...  A third approach focusses on alternative frameworks of rational decision-making.  ...   (177) where   is the realization of a hidden state  at time .  follows a -state Markov chain, and each of the realizations can be interpreted as a possible state of the economy: different realizations  ... 
doi:10.2139/ssrn.1673494 fatcat:nbksq5dbvfbevnuguaz2psywgy

Ambiguity in asset pricing and portfolio choice: a review of the literature

Massimo Guidolin, Francesca Rinaldi
2012 Theory and Decision  
A literature has arisen that models agents whose choices are consistent with models that are less restrictive than the standard subjective expected utility framework.  ...  A third approach focusses on alternative frameworks of rational decision-making.  ...   (177) where   is the realization of a hidden state  at time .  follows a -state Markov chain, and each of the realizations can be interpreted as a possible state of the economy: different realizations  ... 
doi:10.1007/s11238-012-9343-2 fatcat:cb6mtt6kbrerlkc3uteb5o4edm

Concrete Generic Functionals [chapter]

Raymond T. Boute
2003 IFIP Advances in Information and Communication Technology  
., designing a collection of functionals without restriction on their arguments makes it intrinsically applicable to all objects captured by the uniformization.  ...  In the considered framework, generality is obtained by (re)defining traditionally non-functional objects uniformly as functions.  ...  An important observation is that the variety of interpretations shown in Fig. 2 and 4 illustrates the generic nature of • and T , which also depends on the unified definition of tuples and sequences  ... 
doi:10.1007/978-0-387-35672-3_5 fatcat:6wbu6ekfkzglloehoo7d457jze

A relativistic extension of Hopfield neural networks via the mechanical analogy [article]

Adriano Barra, Matteo Beccaria, Alberto Fachechi
2018 arXiv   pre-print
a unified framework for handling both with deep learning and network pruning.  ...  Hamiltonian for a free particle).  ...  Elena Agliari for the useful discussions, especially concerning the numerical analysis.  ... 
arXiv:1801.01743v1 fatcat:rseelisorrfdhm5prqrzrpnwcq

A sequential distance-based approach for imputing missing data: Forward Imputation

Nadia Solaro, Alessandro Barbiero, Giancarlo Manzi, Pier Alda Ferrari
2016 Advances in Data Analysis and Classification  
equilibrium framework with recursive utilities.  ...  returns and their behavior of persistence are investigated in a unified framework through a Markov Switching ARFIMA model.  ... 
doi:10.1007/s11634-016-0243-0 fatcat:yvrqlgllsbesbnvnzzci2egpl4

Toward a computational framework for cognitive biology: Unifying approaches from cognitive neuroscience and comparative cognition

W. Tecumseh Fitch
2014 Physics of Life Reviews  
Toward a computational framework for cognitive biology: Unifying approaches from cognitive neuroscience and comparative cognition. Phys Life Rev (2014), http://dx.  ...  Starting at the neuronal level, I first discuss the contemporary realization that single neurons are powerful tree-shaped computers, which implies a reorientation of computational models of learning and  ...  Acknowledgements I acknowledge the financial support of ERC Advanced Grant SOMACCA, and thank Daniel Bowling and an anonymous reviewer for detailed comments on an earlier version of the manuscript.  ... 
doi:10.1016/j.plrev.2014.04.005 pmid:24969660 fatcat:5q72wz4vizathb4mi45zslkinu
« Previous Showing results 1 — 15 out of 1,656 results