Filters








807,691 Hits in 11.9 sec

On the Behavioral Equivalence Between k-data Structures

M. A. Martins
2007 Computer journal  
We generalize the well-known equivalence relation between finite automata, which relies on the Nerode equivalence relation between states, to k-data structures.  ...  Throughout this paper we consider data structures as sorted algebras endowed with a designated subset of their visible part, which represents the set of truth values.  ...  ACKNOWLEDGEMENTS The author would like to thank the referees for their comments that improved the quality of this paper and, Don Pigozzi and Isabel Ferreirim for some fruitful discussions concerning this  ... 
doi:10.1093/comjnl/bxm031 fatcat:bectox7tm5asfaovn62btifcqi

Does structure find structure?: A critique of Burt's use of distance as a measure of structural equivalence

Katherine Faust, A. Kimball Romney
1985 Social Networks  
This paper examines some of the assumptions and consequences of the use of distance as a measure of structural equivalence. as implemented in Burt's STRUCTURE program.  ...  with information on the similarity of the patterns between pairs of individuals, e.g. correlation.  ...  In the current paper we restrict our analysis to the behavioral data, though our results have implications for what correspondence might be found between behavioral and reported data.  ... 
doi:10.1016/0378-8733(85)90009-7 fatcat:qj5fxxg5yvfbralegzd76p5xvu

Closure properties for the class of behavioral models

Manuel A. Martins
2007 Theoretical Computer Science  
Using equivalence systems we obtain a new and more complete analysis of the axiomatization of the behavioral models.  ...  In our abstract algebraic approach the data structures are sorted algebras endowed with a designated subset of their visible part, called a filter, which represents a set of truth values.  ...  He also gratefully thanks the anonymous referees who made important suggestions to improve this work.  ... 
doi:10.1016/j.tcs.2007.01.024 fatcat:k6yk7cp2nbcl5nzvh4ki355jae

Reflexive Regular Equivalence for Bipartite Data [article]

Aaron Gerow, Mingyang Zhou, Stan Matwin, Feng Shi
2017 arXiv   pre-print
This work presents an unsupervised method for assessing similarity in bipartite data. Similar to some co-clustering methods, the method is based on regular equivalence in graphs.  ...  Bipartite data is common in data engineering and brings unique challenges, particularly when it comes to clustering tasks that impose on strong structural assumptions.  ...  Shi and Gerow were supported by The Templeton Foundation grant to the Metaknowledge Research Network. Gerow is supported by the Trustees of the Isaak Walton Killam Foundation.  ... 
arXiv:1702.04956v1 fatcat:wdw5it4xjfac7am6epm557i5pu

Investigations on double-state behavior of the counterflow premixed flame system

Viswanath R. Katta, Shengteng Hu, Peiyong Wang, Robert W. Pitz, William M. Roquemore, James R. Gord
2007 Proceedings of the Combustion Institute  
Detailed comparisons were made between measurements and calculations for the two flame structures.  ...  For the given flow conditions, the flame system can have either a single-flame or a double-flame structure depending on the way those conditions were achieved.  ...  Acknowledgments Financial support for the computational work was provided by the Air Force Office of Scientific Research (AFOSR, Julian Tishkoff) and the Air Force Contract #F33615-00-C-2068 (Vince Belovich  ... 
doi:10.1016/j.proci.2006.08.028 fatcat:xqccohtptzbjtez75uqkaowvn4

Behavioural reasoning for conditional equations

MANUEL A. MARTINS, DON PIGOZZI
2007 Mathematical Structures in Computer Science  
to which the methods apply), and then focusing on the behavioral equivalence of hidden data in the sense introduced by H.  ...  Roşu showed in 2000 that this is not possible in general, but much work has been done on the partial specification of behavioral equivalence for a wide class of HEL's.  ...  Leibniz congruence Behavioral equivalence over a k-data structure turns out to be a congruence relation on the underlying algebra of the data structure with special properties.  ... 
doi:10.1017/s0960129507006305 fatcat:basmwhppfzey3adym6z32u7dq4

Handling design and implementation optimizations in equivalence checking for behavioral synthesis

Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie
2013 Proceedings of the 50th Annual Design Automation Conference on - DAC '13  
We identify two key optimizations that complicate equivalence checking for behavioral synthesis: (1) operation gating, and (2) global variables.  ...  Equivalence checking is critical to ensure that the synthesized RTL conforms to its ESL specification. Such equivalence checking must effectively handle design and implementation optimizations.  ...  Our key observation is that there are two key sources of local inequivalence between CCDFG and RTL: Operation Gating: Behavioral synthesis tools often opti-mize the RTL by introducing control structures  ... 
doi:10.1145/2463209.2488878 dblp:conf/dac/YangRHX13 fatcat:q24coqkw7zbgtno7ztk4kppn6u

Behavioral equivalence of hidden k -logics: An abstract algebraic approach

Sergey Babenyshev, Manuel A. Martins
2016 Journal of Applied Logic  
In this paper we discuss a question we posed in [2] about the relationship between the behavioral equivalences of equivalent hidden logics.  ...  We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.  ...  The second author also acknowledges the financial assistance by EU FP7 Marie Curie PIRSES-GA-2012-318986 project GeTFun and the project FFI2013-47126-P by the Spanish Ministry of Research.  ... 
doi:10.1016/j.jal.2016.03.002 fatcat:lsbvjqsey5bdbalrlkgui4k7la

State‐based reconstructability analysis

Martin Zwick, Michael S. Johnson
2004 Kybernetes  
of model fit for analyses based on sample data.  ...  Reconstructability analysis (RA) is a method for detecting and analyzing the structure of multivariate categorical data.  ...  One of these equivalence classes corresponds to the A:B variable-based structure.  ... 
doi:10.1108/03684920410534092 fatcat:j6dvfvadwvhp3cvmwxbib2jmbq

Impedance Measurement and Equivalent Circuit Analysis of Binary Alkali Silicate Melts

Yusuke Harada, Noritaka Saito, Kunihiko Nakashima
2019 ISIJ International  
between the structures of silicate melts and equivalent circuits estimated from Nyquist plots.  ...  The same equivalent circuit as that used to fit the data shown in the inset of Fig. 2 for these data, where Table 3 shows the calculated circuit component values.  ... 
doi:10.2355/isijinternational.isijint-2018-602 fatcat:iu34x2cbnzdmhjeux37buw5rsa

Modeling automotive FlexRay transceivers for signal integrity and EMC simulations

H. Günther, U. Hilger, S. Frei
2011 Advances in Radio Science  
The model shows good results in comparison to measurement data.</p>  ...  </strong> Automotive bus systems like FlexRay or CAN transmit safety critical data.  ...  Figure 4 shows the comparison between simulation easurement data at node 4. The agreement between behavior and measurement values is very good.  ... 
doi:10.5194/ars-9-111-2011 fatcat:pmhbjjnxonhcnm4kavsqi5avia

An extension of the Equivalent Material Concept applied to fracture of U-notched solids

F.J. Gómez, S. Cicero, A.R. Torabi
2020 Procedia Structural Integrity  
The Equivalent Material Concept is a tool that allows the fracture behavior of notched components in elastoplastic materials to be analyzed by transforming them into fictitious linear elastic ones, defining  ...  Abstract The Equivalent Material Concept is a tool that allows the fracture behavior of notched components in elastoplastic materials to be analyzed by transforming them into fictitious linear elastic  ...  Acknowledgements The authors wish to express their gratitude to the European Union's H2020 research and innovation program for their financial support under the LightCoce project (No 814632).  ... 
doi:10.1016/j.prostr.2020.10.087 fatcat:mx5nagqcmrbtnfxrkxvpuwpn4q

Dynamic equivalent modeling for power converter based on LSTM neural network in wide operating range

Yunlu Li, Guiqing Ma, Junyou Yang, Haixin Wang, Jiawei Feng, Yihua Ma
2021 Energy Reports  
At first, the equivalence of black-box modeling problem and deep loop neural network is studied.  ...  Existing modeling methods based on impedance frequency scanning method can only guarantee that the dynamic modeling is effective at a single working point.  ...  Acknowledgments The authors would like to thank the support by the science research funds from Liaoning Education Department, China (LQGD2020002).  ... 
doi:10.1016/j.egyr.2021.01.041 fatcat:vvwojzkn2zcjxgdfcqqgeqiwdq

Structural behavior of human lumbar spinal motion segments

Mack G. Gardner-Morse, Ian A.F. Stokes
2004 Journal of Biomechanics  
Also, the stiffness matrices were expressed in the form of an 'equivalent' structure that would give insights into the structural behavior of the spine.  ...  The linearized stiffness matrices at each preload magnitude were expressed as an equivalent structure consisting of a truss and a beam with a rigid posterior offset, whose geometrical properties varied  ...  Motion segments were supplied by the Anatomical Board of the State of Texas and National Disease Research Interchange (NDRI). Dr. Richard Single performed the statistical analyses.  ... 
doi:10.1016/j.jbiomech.2003.10.003 pmid:14706323 fatcat:i7b6m6mc2vbj5madddcvk2pmiu

Can There Be Infinitely Many Models Equivalent to a Given Covariance Structure Model?

Tenko Raykov, George A. Marcoulides
2001 Structural Equation Modeling  
In fact, unless the model equivalence problem is addressed, any originally considered model-regardless of how well it fits the data-remains only one possible means of its explanation (e.g., MacCallum,  ...  The problem of equivalent models has plagued researchers since the earliest developmental stages of structural equation modeling (SEM; Marcoulides & Schumacker, 1996) .  ...  Ozer for valuable discussions on model equivalence.  ... 
doi:10.1207/s15328007sem0801_8 fatcat:ujsd2f2kqzbs3bbxh3avjuvxt4
« Previous Showing results 1 — 15 out of 807,691 results