Filters








1,793,318 Hits in 6.3 sec

Characterizing functional dependencies in formal concept analysis with pattern structures

Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli
2014 Annals of Mathematics and Artificial Intelligence  
Computing functional dependencies from a relation is an important database topic, with many applications in database management, reverse engineering and query optimization.  ...  Here, we present an alternative avoiding such a data representation and show how to characterize functional dependencies using the formalism of pattern structures, an extension of classical FCA to handle  ...  We discuss data transformation with FCA in Section 3.3. It is followed by our main contribution which consists in characterizing functional dependencies with pattern structures (Section 4).  ... 
doi:10.1007/s10472-014-9400-3 fatcat:ckesjrsxe5fc5cvek5x35zondy

Self-test with deterministic test pattern generators [chapter]

Arno Kunzmann, Sven Kriebel
1995 IFIP Advances in Information and Communication Technology  
For the computation of the mapping function two approaches will be discussed that are based on an tuned ATPG algorithm or alternatively on a given deterministic test pattern set.  ...  Experimental data with over 30 benchmark circuits underline the efficiency of these approaches; with only a few exceptions a LFSR of length 20 is sufficient to guarantee complete fault coverage.  ...  lfm:l: computing compatible inputs ATPGBased Test Pattern Based (A~ Structural Level (B~ Functional Level Boolean Function with Circuit Primary Indep. Relevant Indep.  ... 
doi:10.1007/978-0-387-34920-6_39 fatcat:fboyd62sczazvlmvikt5l3n22y

Representing structure in linear interconnected dynamical systems

E. Yeung, J. Goncalves, H. Sandberg, S. Warnick
2010 49th IEEE Conference on Decision and Control (CDC)  
We define and present, in particular, four representations of system structure-complete computational, subsystem, signal, and zero pattern structureand discuss some of their fundamental properties.  ...  We illustrate their application with a numerical example and show how radically different representations of structure can be consistent with a single LTI input-output system. 978-1-4244-7746-3/10/$26.00  ...  Zero Pattern Structure A fourth natural notion of system structure is the description of output dependencies on input variables.  ... 
doi:10.1109/cdc.2010.5718109 dblp:conf/cdc/YeungGSW10 fatcat:kva4qcgagjgwlh7joakr5qyi3y

Pattern Structures and Concept Lattices for Data Mining and Knowledge Processing [chapter]

Mehdi Kaytoue, Victor Codocedo, Aleksey Buzmakov, Jaume Baixeries, Sergei O. Kuznetsov, Amedeo Napoli
2015 Lecture Notes in Computer Science  
.) in domains such as databases (functional dependencies), data-mining (local pattern discovery), information retrieval and information fusion.  ...  This article aims at presenting recent advances in Formal Concept Analysis (2010)(2011)(2012)(2013)(2014)(2015), especially when the question is dealing with complex data (numbers, graphs, sequences, etc  ...  To overcome this problem, we present a characterization of functional dependencies in terms of (partition) pattern structures that offers additional benefits for the computation of dependencies [4] .  ... 
doi:10.1007/978-3-319-23461-8_19 fatcat:i2rzursl7bfqvhthponxzbtpce

Ypnos

Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
2010 Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP '10  
We introduce the language and provide some discussion on the theoretical aspects of the language semantics, particularly the structuring of computations around the category theoretic notion of a comonad  ...  We present a declarative domain-specific language, Ypnos, for expressing structured grid computations which encourages manual specification of causally sequential operations but then allows a simple, predictable  ...  Many thanks to Tom Schrijvers for various insights and help with paper, and to Marcelo Fiore for many interesting discussions.  ... 
doi:10.1145/1708046.1708053 dblp:conf/popl/OrchardBM10 fatcat:f7hqph5s45aw3i3f6zeyjjoxsa

Structure-function interplay as signature for brain decoding and fingerprinting [article]

Alessandra Griffa, Enrico Amico, Raphael Liegeois, Dimitri Van De Ville, Maria Giulia Preti
2021 bioRxiv   pre-print
SDI allowed accurate classifications for both decoding and fingerprinting, outperforming functional signatures. Further, SDI profiles in resting-state correlated with individual cognitive traits.  ...  Here, we leveraged brain structure-function coupling as a new imaging-based biomarker to characterize tasks and individuals.  ...  During rest, relatively weaker structure-function dependencies were associated with better executive and memory abilities.  ... 
doi:10.1101/2021.04.19.440314 fatcat:dcikyc5fwbcnxf3j5tqzxcg3oy

Patterns for Federated Architecture

George Fernandez, Liping Zhao, Inji Wijegunaratne
2003 Journal of Object Technology  
This article presents how to design a distributed federated architectural form using three architectural patterns, and shows how these three patterns are to be connected to comply with the specification  ...  DESIGN PATTERNS FOR A FEDERATION ARCHITECTURE 136 J OURNAL OF OBJECT TECHNOLOGY  ...  In particular, we are indebit to our KoalaPLoP shepherd, Neil Harrison for his valuable help with the early version of this paper.  ... 
doi:10.5381/jot.2003.2.3.a4 fatcat:kgs5bcqsr5gdjmvclh3y3urz6y

Functional differentiations in evolutionary reservoir computing networks [article]

Yutaka Yamaguti, Ichiro Tsuda
2020 arXiv   pre-print
We propose an extended reservoir computer that shows the functional differentiation of neurons.  ...  To develop neuronal units to show specificity, depending on the input information, the internal dynamics should be controlled to produce contracting dynamics after expanding dynamics.  ...  The emergence of functional differentiation in the brain depends not only on gene expressions but on self-organization with constraints.  ... 
arXiv:2006.11507v2 fatcat:vzbnk7ij2fb5dgmhezrmr6v4ou

System Dependence Graphs in Sequential Erlang [chapter]

Josep Silva, Salvador Tamarit, César Tomás
2012 Lecture Notes in Computer Science  
The system dependence graph (SDG) is a data structure used in the imperative paradigm for different static analysis, and particularly, for program slicing.  ...  Unfortunately, the SDG cannot be used in the functional paradigm due to important features that are not considered in this formalism (e.g., pattern matching, higher-order, composite expressions, etc.).  ...  The set of all restrictions in a graph is denoted with D r , and it can be easily computed with function constraints that takes the initial node of a pattern and the set of repeated variables in the parameters  ... 
doi:10.1007/978-3-642-28872-2_33 fatcat:huq7v2kivvblxc7s34ct5kkydm

Harmonic Order Parameters for Characterizing Complex Particle Morphologies [article]

Aaron S. Keys, Christopher R. Iacovella, Sharon C. Glotzer
2010 arXiv   pre-print
To do so, we build on a powerful set of techniques that originate in the computer science field of "shape matching."  ...  We demonstrate how shape matching techniques can be applied to identify unknown structures and create highly-specialized ad hoc order parameters.  ...  Therefore, such projections can lead to non-distinguishing patterns for structures with radial dependence.  ... 
arXiv:1012.4527v1 fatcat:d6qkqqazyvduzgtre2qszszb6y

Graph-Based Representation Of Syntactic Structures Of Natural Languages Based On Dependency Relations

Chang-ho An, Zhanfang Zhao, Hee-kyung Moon
2021 Turkish Journal of Computer and Mathematics Education  
This paper presents a new graph-based representation of syntactic structures called syntactic knowledge graph based on dependency relations.  ...  A new set of dependency relations derived from the markers is proposed.  ...  However, these approaches do not consider the markers' functions as the enabler to realize valency patterns and dependency relations in surface structures.  ... 
doi:10.17762/turcomat.v12i5.901 fatcat:3l6ziwm56vex3pri5o5ei2ejri

ML Dependency Analysis for Assessors [chapter]

Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux
2012 Lecture Notes in Computer Science  
Providing similar tools for ML languages requires special attention on specific features such as higher-order functions and pattern-matching.  ...  -accesses to values from terminals, files, sensors etc.) and dependencies between these inputs and outputs.  ...  The loss of structure previously explained (see the code sample presentation) is also an issue since it makes more difficult checking the computed dependencies wihout structure against structured ones  ... 
doi:10.1007/978-3-642-33826-7_19 fatcat:6momclagonfm7gwu3nsdfni6fe

Cerebral cartography and connectomics

O. Sporns
2015 Philosophical Transactions of the Royal Society of London. Biological Sciences  
whole-brain connectivity to cellular-scale networks, and the mapping of structure/function relations in empirical recordings and computational models.  ...  Cerebral cartography and connectomics pursue similar goals in attempting to create maps that can inform our understanding of the structural and functional organization of the cortex.  ...  and context dependence of functional networks.  ... 
doi:10.1098/rstb.2014.0173 pmid:25823870 pmcid:PMC4387514 fatcat:p43fa5pg4vg7zg2wlbh6dkh5vm

Characterizing Structure Through Shape Matching and Applications to Self-Assembly

Aaron S. Keys, Christopher R. Iacovella, Sharon C. Glotzer
2011 Annual Review of Condensed Matter Physics  
Structural quantities such as order parameters and correlation functions are often employed to gain insight into the physical behavior and properties of condensed matter systems.  ...  Most order parameters and correlation functions used in condensed matter apply a specific measure of structural similarity within the context of a broader scheme.  ...  The types of global patterns that we create depend on the structural properties of the system.  ... 
doi:10.1146/annurev-conmatphys-062910-140526 fatcat:sih5td7barfypbxf654yv7rlue

Characterizing approximate-matching dependencies in formal concept analysis with pattern structures

Jaume Baixeries, Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli
2018 Discrete Applied Mathematics  
Our new results state that, starting from the conceptual structure of a pattern structure, and generalizing the notion of relation between tuples, approximate-matching dependencies can be characterized  ...  A functional dependency holds when the values of an attribute can be determined by another.  ...  This proposition is structurally the same as the one used in [13] to prove the characterization of functional dependencies with pattern structures.  ... 
doi:10.1016/j.dam.2018.03.073 fatcat:zomtrupnfrghlfg44s6zcaz4q4
« Previous Showing results 1 — 15 out of 1,793,318 results