A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Analysis and applications of the XDI model
Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems
Preserved Fulltext
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
2017
Nihon Reoroji Gakkaishi
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
Evidence-Based Complementary and Alternative Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2004
ETRI Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Journal of Polymer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of the Franklin Institute
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Computers & Geosciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2001
Journal of the Franklin Institute
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Pattern Recognition Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2013 pre-print arXiv:1304.7859v1 fatcat:eyvwg4ojtffb5jh53a5ap45rsu
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
2019
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Frontiers in Pharmacology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
IEEE Transactions on Pattern Analysis and Machine Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
IEEE Transactions on Parallel and Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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