Filters








713 Hits in 3.0 sec

Analysis and applications of the XDI model

W.C. Mallon, J.T. Udding, T. Verhoeff
Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems  
In order to specify and verify so called Delay Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models.  ...  We also show how healthiness, finite execution models and a distributive parallel composition cannot coexist.  ...  Acknowledgments This work was partially sponsored by the Esprit Working Group 21949 (ACiD-WG).  ... 
doi:10.1109/async.1999.761537 dblp:conf/async/MallonUV99 fatcat:g7bkdyggojgh5mz34vztazkg5m

High Performance Polyurethane Elastomers Using New Cyclaliphatic Diisocyanate

Satoshi Yamasaki, Goro Kuwamura, Hirokazu Morita, Daisuke Hasegawa, Ken Kojio, Atsushi Takahara
2017 Nihon Reoroji Gakkaishi  
The reason is explained that the hard segment chains of the 1,4-H 6 XDI-based PUEs crystallized well with formation of hydrogen bonds in the PUEs due to the symmetric structure of 1,4-H 6 XDI.  ...  The PUEs were prepared with 1,4-H 6 XDI, polyesterpolyol as a long chain polyol and 1,4-butanediol (BD) as a chain extender.  ...  Thermal Mechanical Analysis (TMA) The softening temperature of PUE and injection molding sheet prepared by TPU pellet was measured by using TMA (model TMA/SS6100, Seiko Instruments) according to JIS K-  ... 
doi:10.1678/rheology.45.261 fatcat:5zo3ahzxb5f4rfpwaivqwfwlvy

Filtering design for two-dimensional Markovian jump systems with state-delays and deficient mode information

Yanling Wei, Jianbin Qiu, Hamid Reza Karimi, Mao Wang
2014 Information Sciences  
By the properties of the transition probability matrix and the convexification of uncertain domains, a new sufficient condition for H 1 performance analysis of filtering error system will be firstly presented  ...  This paper is concerned with the problem of H 1 filtering for a class of two-dimensional Markovian jump linear systems described by the Fornasini-Marchesini local state-space model.  ...  Acknowledgements The authors are grateful to the Editor-in-Chief, the Associate Editor, and anonymous reviewers for their constructive comments based on which the presentation of this paper has been greatly  ... 
doi:10.1016/j.ins.2013.12.042 fatcat:xo454codifh4jd5bsb2654imqe

Safety Evaluation of Chinese Medicine Injections with a Cell Imaging-Based Multiparametric Assay Revealed a Critical Involvement of Mitochondrial Function in Hepatotoxicity

Meng Wang, Chen-Xiang Liu, Ran-Ran Dong, Shuang He, Ting-Ting Liu, Tie-Chan Zhao, Zhi-Long Wang, Xi-Ya Shen, Bo-Li Zhang, Xiu-Mei Gao, Yan Zhu
2015 Evidence-Based Complementary and Alternative Medicine  
We have adapted a sensitive and reproducible multiparametric cell-based high-content analysis assay to evaluate the hepatic-safety of four Chinese medicine injections and validated it with classical animal-based  ...  The safety of herbal medicine products has been a widespread concern due to their complex chemical nature and lack of proper evaluation methods.  ...  It is a recent advance in the automation of quantitative 2 Evidence-Based Complementary and Alternative Medicine epifluorescence microscopy and image analysis and in the application of microfluorescent  ... 
doi:10.1155/2015/379586 pmid:25792997 pmcid:PMC4352439 fatcat:wskmmltx75dftdqyucnj4x3xja

Agent-Based Intelligent Multimedia Broadcasting within MPEG-21 Multimedia Framework

Munchurl Kim, Jeongyeon Lim, Kyeongok Kang, Jinwoong Kim
2004 ETRI Journal  
The user preference is modeled as the User Preference description scheme in MPEG-7 multimedia description schemes. We discuss a framework structure and implementation for the IBS.  ...  in easy navigation of the program content being broadcast.  ...  In our application, we attach both XDI and CDI in the content element of the ACL message.  ... 
doi:10.4218/etrij.04.0603.0012 fatcat:5jynnhp3pjaslflnfp3c77hmey

Cure Kinetics of an Optical Polythiourethane with Amine Catalyst by IR Analysis

Weiping Du, Guiming Zhang, Song Wang, Lianjiang Tan, Huifang Chen
2019 International Journal of Polymer Science  
The -NCO absorption band of XDI was used to monitor the conversion of diisocyanate into polythiourethane.  ...  An optical polythiourethane based on m-xylylene diisocyanate (XDI) and 4-mercaptomethyl-3,6-dithia-1,8-octanedithiol (BES) has been studied.  ...  Acknowledgments This work was financially supported by the National Key Research and Development Program of China (2016YFB0302300) and the Taizhou Science and Technology Project (1017GY15).  ... 
doi:10.1155/2019/8194379 fatcat:pqmqcwk4qreefd66o7kpisw4ii

Delay-dependent control for 2-D switched delay systems in the second FM model

Zhaoxia Duan, Zhengrong Xiang, Hamid Reza Karimi
2013 Journal of the Franklin Institute  
model.  ...  Firstly, some sufficient conditions for the exponential stability and weighted H ∞ disturbance attenuation performance of the underlying system are derived via the average dwell time approach.  ...  Acknowledgments This work was supported by the National Natural Science Foundation of China under Grants Nos. 60974027 and 61273120.  ... 
doi:10.1016/j.jfranklin.2013.04.019 fatcat:nfrkm77ocjbh7oxhw3k2lhavfi

TAUEST: a computer program for estimating persistence in unevenly spaced weather/climate time series

Manfred Mudelsee
2002 Computers & Geosciences  
The lag-1 scatterplot of the data (xði@1Þ vs xðiÞ) and of the residuals (rði@1Þ vs rðiÞ) is shown.  ...  The fit subroutine of TAUEST was also combined with the SPECTRUM frequency-analysis package for unevenly spaced data (Schulz and Stattegger, 1997) to quantify the analogue of persistence in the frequency  ... 
doi:10.1016/s0098-3004(01)00041-3 fatcat:kourcwzfrncipafiz7a2nj4cha

Transfer function computation for generalized n-dimensional systems

George E. Antoniou
2001 Journal of the Franklin Institute  
The proposed algorithms are based on the discrete Fourier transform (DFT), and easily can be implemented. An example is included to illustrate the application of the algorithm.  ...  A theoretically interesting technique is proposed for the determination of the coefficients of the determinantal polynomial and the coefficients of the adjoint polynomial matrix of a given n-D system,  ...  Acknowledgments The author would like to thank all the reviewers for their valuable comments. TRANSFER FUNCTION COMPUTATION FOR MULTIDIMENSIONAL SYSTEMS  ... 
doi:10.1016/s0016-0032(00)00066-1 fatcat:rx5shtngnfgkvgs6tw2fvmaxbm

Testing for the absence of correlation between two spatial or temporal sequences

Ronny O. Vallejos
2012 Pattern Recognition Letters  
Three examples in the context of signal processing and spatial models are discussed to point out the advantages and limitations of our proposal.  ...  The method introduced in this paper has potential applications in time series where it is of interest to measure the comovement of two temporal sequences.  ...  The author is also grateful to Dr. Gavind Rao and José Vallejos at The University of Maryland, Baltimore County for providing the data set used in the application discussed in Section 7.  ... 
doi:10.1016/j.patrec.2012.05.013 fatcat:4kedktazy5anjm6iv3bi7d3xnm

Verification of Building Blocks for Asynchronous Circuits

Freek Verbeek, Julien Schmaltz
2013 Electronic Proceedings in Theoretical Computer Science  
Our verification effort consists of building an executable checker in the ACL2 logic tailored for our purpose. We prove that this checker is correct.  ...  Scalable formal verification constitutes an important challenge for the design of asynchronous circuits. Deadlock freedom is a property that is desired but hard to verify.  ...  The only information relevant to the analysis of primitive X , is whether its input wires are stable or not. A wire w is stable if and only if its value is permanently unchanged.  ... 
doi:10.4204/eptcs.114.6 fatcat:gcywfhjjdfdjlj4esccgqjbpjy

Cross-Device Computation Coordination for Mobile Collocated Interactions with Wearables

Hyoseok Yoon, Choonsung Shin
2019 Sensors  
Mobile devices, wearables and Internet-of-Things are crammed into smaller form factors and batteries, yet they encounter demanding applications such as big data analysis, data mining, machine learning,  ...  Lastly, we demonstrate the feasibility of our approach through experiments and exemplar cases using 12 commercial Android devices with varying computation capabilities.  ...  In their survey, MEC research themes across its components are categorized into computation task models, communication models, computation models of mobile devices and computation models of MEC servers  ... 
doi:10.3390/s19040796 fatcat:tjoog6nmdzhkhki2gkgbghafry

Efficacy of Chinese Herbal Injections for the Treatment of Primary Nephrotic Syndrome: A Bayesian Network Meta-Analysis of Randomized Controlled Trials

Hangxing Yu, Miaoru Han, Wei Lin, Lin Wang, Panying Liu, Kang Yang, Ming Pei, Hongtao Yang
2020 Frontiers in Pharmacology  
In this study, we performed a network meta-analysis to investigate the efficacy of CHIs in the treatment of PNS.  ...  The results of the network meta-analysis showed that: with Western medical (WM) treatment as a co-intervention, in terms of improving the total clinical effectiveness and serum albumin level, DHI was the  ...  The details of the included studies are shown in  ... 
doi:10.3389/fphar.2020.579241 pmid:33178022 pmcid:PMC7596388 fatcat:6xyof6vsgbfgppctzz5tfmjfui

Robust and Efficient Saliency Modeling from Image Co-Occurrence Histograms

Shijian Lu, Cheston Tan, Joo-Hwee Lim
2014 IEEE Transactions on Pattern Analysis and Machine Intelligence  
This paper presents a visual saliency modeling technique that is efficient and tolerant to the image scale variation.  ...  The proposed technique has a number of advantageous characteristics. It is fast and very easy to implement.  ...  The notations xði; jÞ and xði 0 ; j 0 Þ denote image values at locations ði; jÞ and ði 0 ; j 0 Þ, respectively, and pðxði; jÞ; xði 0 ; j 0 ÞÞ is therefore the element of P indexed by xði; jÞ and xði 0  ... 
doi:10.1109/tpami.2013.158 pmid:24231877 fatcat:k7svov6vxzbmdh2em6ubgaodma

Improving Medium-Grain Partitioning for Scalable Sparse Tensor Decomposition

Seher Acer, Tugba Torun, Cevdet Aykanat
2018 IEEE Transactions on Parallel and Distributed Systems  
Tensor decomposition is widely used in the analysis of multi-dimensional data.  ...  Compared to the baseline mediumgrain model, CartHP achieves average reductions of 52, 43 and 24 percent in total communication volume, communication time and overall runtime of CPD-ALS, respectively.  ...  ACKNOWLEDGMENTS This work is supported by the Scientific and Technological Research Council of Turkey (TUBITAK) under project EEEAG-116E043.  ... 
doi:10.1109/tpds.2018.2841843 fatcat:nwpjcw6tbrexhbvbmcu5vognm4
« Previous Showing results 1 — 15 out of 713 results