type system - researchr tag

researchr

You are not signed in
Sign in
Sign up

2013

Optimizing Data Structures in High-Level ProgramsTiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky. In POPL 2013. 2013:

2012

2011

Performance evaluation of multidimensional parabolic type problems on distributed computing systemsNorma Alias, Rasiya Anwar, Che Rahim Che Teh, Noriza Satam, Norhafiza Hamzah, Zarith Safiza Abdul Ghaffar, Roziha Darwis, Md. Rajibul Islam. ISCC 2011: 103-110 [doi]

Development of drawing assist system for patients with cerebral palsy of the tension athetosis typeHiroaki Aoyama, Tomoyuki Nakao, Naruto Miyagawa, Naoki Kubota, Satoshi Horihata, Ken ichi Yano. icra 2011: 4664-4669 [doi]

Linear Inference for Type-II Censored Lifetime Data of Reliability Systems With Known SignaturesN. Balakrishnan, H. K. T. Ng, Jorge Navarro. tr, 60(2):426-440, 2011. [doi]

Realizability and Parametricity in Pure Type SystemsJean-Philippe Bernardy, Marc Lasson. fossacs 2011: 108-122 [doi]

Bifurcation diagrams for the moments of a kinetic type model of keloid-immune system competitionCarlo Bianca, Luisa Fermo. cma, 61(2):277-288, 2011. [doi]

A Return on Investment as a Metric for Evaluating Information Systems: Taxonomy and ApplicationAlexei Botchkarev, P. Andru. Interdisciplinary Journal of Information, Knowledge, and Management, 6:245-269, 2011.

IDRIS ---: systems programming meets full dependent typesEdwin Brady. plpv 2011: 43-54 [doi]

Design and evaluation of a virtual environment for the treatment of angerWillem-Paul Brinkman, N. Hattangadi, Z. Meziane, P. Pul. In Virtual Reality International Conference (VRIC 2011). 2011:

Type-Based Access Control in Data-Centric SystemsLuís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão. ESOP 2011: 136-155 [doi]

Intelligent transportation control system design using wavelet neural network and PID-type learning algorithmsChiu-Hsiung Chen. eswa, 38(6):6926-6939, 2011. [doi]

An incremental support vector machine-trained TS-type fuzzy system for online classification problemsWei-Yuan Cheng, Chia-Feng Juang. fss, 163(1):24-44, 2011. [doi]

Efficient Arnoldi-type algorithms for rational eigenvalue problems arising in fluid-solid systemsSo-Hsiang Chou, Tsung-Ming Huang, Wei-Qiang Huang, Wen-Wei Lin. jcphy, 230(5):2189-2206, 2011. [doi]

A historical review of evolutionary learning methods for Mamdani-type fuzzy rule-based systems: Designing interpretable genetic fuzzy systemsOscar Cordón. ijar, 52(6):894-913, 2011. [doi]

Multiple periodic solutions for impulsive Gause-type ratio-dependent predator-prey systems with non-monotonic numerical responsesBinxiang Dai, Ying Li, Zhenguo Luo. amc, 217(18):7478-7487, 2011. [doi]

The DOPLER meta-tool for decision-oriented variability modeling: a multiple case studyDeepak Dhungana, Paul Grünbacher, Rick Rabiser. ASE, 18(1):77-114, 2011. [doi]

A flexible and scalable audio information retrieval system for mixed-type audio signalsEbru Dogan, Mustafa Sert, Adnan Yazici. ijis, 26(10):952-970, 2011. [doi]

An Accurate Type System for Information Flow in Presence of ArraysSéverine Fratani, Jean-Marc Talbot. forte 2011: 153-167 [doi]

A type and effect system for deadlock avoidance in low-level languagesProdromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas. tldi 2011: 15-28 [doi]

A discrete analogue of Lyapunov-type inequalities for nonlinear difference systemsXiaofei He, Qi-Ming Zhang. cma, 62(2):677-684, 2011. [doi]

Dispersal permanence of a periodic predator-prey system with Holling type-IV functional responseMeihua Huang, Xuepeng Li. amc, 218(2):502-513, 2011. [doi]

A Multi-type Indexing CBVR System Constructed with MPEG-7 Visual FeaturesYin-Fu Huang, He-Wen Chen. amt 2011: 71-82 [doi]

Analytical approximations to predict performance measures of markovian type manufacturing systems with job failures and parallel processingMaria Hulett, Purushothaman Damodaran. eor, 212(1):89-99, 2011. [doi]

Lyapunov-based design of resilient mixed MSE-dissipative-type state observers for a class of nonlinear systems and general performance criteriaChung Seop Jeong, Edwin Engin Yaz, Yvonne Ilke Yaz. ijsysc, 42(5):789-800, 2011. [doi]

A sufficient and necessary condition for the existence of positive solutions for a prey-predator system with Ivlev-type functional responseYunfeng Jia. appml, 24(7):1084-1088, 2011. [doi]

Tandem Queueing System with Different Types of CustomersValentina I. Klimenok, Che Soong Kim, Alexander N. Dudin. asmta 2011: 99-112 [doi]

Induced L::2::-norm minimization of glucose-insulin system for Type I diabetic patientsLevente Kovács, Balázs Benyó, Jozsef Bokor, Zoltán Benyó. cmpb, 102(2):105-118, 2011. [doi]

Platform Independent, Higher-Order, Statically Checked Mobile ApplicationsDean Kramer, Tony Clark, Samia Oussena. International Journal of Design, Analysis and Tools for Circuits and Systems, 2(1):14-29, August 2011.

A WSDL-based type system for asynchronous WS-BPEL processesAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. fmsd, 38(2):119-157, 2011. [doi]

A species-based improved electromagnetism-like mechanism algorithm for TSK-type interval-valued neural fuzzy system optimizationChing-Hung Lee, Chung-Ta Li, Feng-Yu Chang. fss, 171(1):22-43, 2011. [doi]

Optimal difference systems of sets and partition-type cyclic difference packingsJianguo Lei, Cuiling Fan. dcc, 58(2):135-153, 2011. [doi]

The Effects of Personality Type in User-Centered Appraisal SystemsZacharias Lekkas, Nikos Tsianos, Panagiotis Germanakos, Constantinos Mourlas, George Samaras. hci 2011: 388-396 [doi]

A type system for reflective program generatorsChristof Lutteroth, Dirk Draheim, Gerald Weber. SCP, 76(5):392-422, 2011. [doi]

Extended alias type system using separating implicationToshiyuki Maeda, Haruki Sato, Akinori Yonezawa. tldi 2011: 29-42 [doi]

Storage and retrieval of system log events using a structured schema based on message type transformationAdetokunbo Makanju, A. Nur Zincir-Heywood, Evangelos E. Milios. SAC 2011: 528-533 [doi]

A type III phase-field system with a logarithmic potentialAlain Miranville, Ramón Quintanilla. appml, 24(6):1003-1008, 2011. [doi]

An automatic trace based performance evaluation model building for parallel distributed systemsAhmad Mizan, Greg Franks. In Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering. 2011: [doi]

Reducing ICI effect in OFDM system using low-complexity Kalman filter based on comb-type pilots arrangementAllam Mousa, Hala Mahmoud. ijcomsys, 24(1):53-61, 2011. [doi]

Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong EquivalenceJohannes Oetsch, Hans Tompits. lpnmr 2011: 254-259 [doi]

MEMS-based eyeglass type wearable Line-of-Sight detection systemAkira Oikawa, Norihisa Miki. icra 2011: 3640-3645 [doi]

User-perceived reliability of shared protection systems with the Erlang type-k repair schemeHirokazu Ozaki, Atsushi Kara, Zixue Cheng. ijict, 3(3):209-226, 2011. [doi]

Affective responses to system messages in human-computer-interaction: Effects of modality and message typeHans-Rüdiger Pfister, Sabine Wollstädter, Christian Peter. iwc, 23(4):372-383, 2011. [doi]

SimCheck: a contract type system for SimulinkPritam Roy, Natarajan Shankar. isse, 7(2):73-83, 2011. [doi]

Algorithm for a general discrete k-out-of-n: G system subject to several types of failure with an indefinite number of repairpersonsJuan Eloy Ruiz-Castro, Quan-Lin Li. eor, 211(1):97-111, 2011. [doi]

An ensemble of logical-type neuro-fuzzy systemsRafal Scherer. eswa, 38(10):13115-13120, 2011. [doi]

Refined typing to localize the impact of forced strictness on free theoremsDaniel Seidel, Janis Voigtländer. ACTA, 48(3):191-211, 2011. [doi]

Indoor Hovering Control of Small Ducted-fan Type OAV Using Ultrasonic Positioning SystemJinok Shin, Sanki Ji, Woonghee Shon, Hogil Lee, Kuk Cho, Sangdeok Park. jirs, 61(1-4):15-27, 2011. [doi]

Extending type systems in a library: Type-safe XML processing in C++Yuriy Solodkyy, Jaakko Järvi. SCP, 76(4):290-306, 2011. [doi]

Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded SystemsMichael Stilkerich, Jens Schedel, Peter Ulbrich, Wolfgang Schröder-Preikschat, Daniel Lohmann. isorc 2011: 163-170 [doi]

Taming wildcards in Java s type systemRoss Tate, Alan Leung, Sorin Lerner. PLDI 2011: 614-627 [doi]

Languages as librariesTobin-Hochstadt, Sam, St-Amour, Vincent, Culpepper, Ryan, Flatt, Matthew, Matthias Felleisen. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 2011: 132-141 [doi]

Diffusion-Driven Instabilities and Spatio-Temporal Patterns in an Aquatic predator-prey System with Beddington-Deangelis Type Functional ResponseRanjit Kumar Upadhyay, N. K. Thakur, V. Rai. IJBC, 21(3):663-684, 2011. [doi]

OutsideIn(X) Modular type inference with local assumptionsDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. J. Funct. Program., 21(4-5):333-412, 2011.

A modified Halpern-type iteration algorithm for a family of hemi-relatively nonexpansive mappings and systems of equilibrium problems in Banach spacesZiming Wang, Yongfu Su, Dongxing Wang, Yucai Dong. jcam, 235(8):2364-2371, 2011. [doi]

Lyapunov-type inequality for a class of quasilinear systemsXiaojing Yang, Yong-In Kim, Kueiming Lo. mcm, 53(5-6):1162-1166, 2011. [doi]

Robust switching-type H::∞:: filter design for linear uncertain systems with time-varying delayDan Ye, Guang-Hong Yang. isci, 181(9):1686-1699, 2011. [doi]

Asymptotic properties of consensus-type algorithms for networked systems with regime-switching topologiesGang George Yin, Yu Sun, Le Yi Wang. automatica, 47(7):1366-1378, 2011. [doi]

Systematic image processing for diagnosing brain tumors: A Type-II fuzzy expert system approachMohammad Hossein Fazel Zarandi, Marzie Zarinbal, M. Izadi. asc, 11(1):285-294, 2011. [doi]

Stochastic Kolmogorov-type system with infinite delayShaobo Zhou, Shigeng Hu, Liqun Cen. amc, 218(2):207-218, 2011. [doi]

Optimal Control of Inventory Systems with Multiple Types of Remanufacturable ProductsSean X. Zhou, Zhijie Tao, Xiuli Chao. msom, 13(1):20-34, 2011. [doi]

2010

Linearity and iterator types for Gödel s SystemSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. lisp, 23(1):1-27, 2010. [doi]

On the realization of band-pass type systems for bounded bandlimited signalsHolger Boche, Ullrich J. Mönich. icassp 2010: 3702-3705 [doi]

Iterative algorithms for a general system of generalized nonlinear mixed composite-type equilibriaLu-Chuan Ceng, Sy-Ming Guu, Jen-Chih Yao. cma, 60(3):890-905, 2010. [doi]

Criteria of Stability for Continuous-Time Switched Systems by Using Liao-Type ExponentsXiongping Dai, Yu Huang, Mingqing Xiao. siamco, 48(5):3271-3296, 2010. [doi]

Feedback Bandwidth Allocation for Users under Different Types of Channels in Multi-Antenna SystemsLv Ding, Wei Xu, Bin Jiang, Xiqi Gao. ieicet, 93-B(7):1980-1983, 2010. [doi]

Diagnostic system for the diagnosis of a reparable technical object, with the use of an artificial neural network of RBF typeStanislaw Duer. nca, 19(5):691-700, 2010. [doi]

Constructive realization of dual systems for generators of multi-window spline-type spacesHans G. Feichtinger, Darian M. Onchis. jcam, 234(12):3467-3479, 2010. [doi]

The Undecidability of Type Related Problems in Type-free Style System FKen-etsu Fujita, Aleksy Schubert. RTA 2010: 103-118 [doi]

Answer type validation in question answering systemsArnaud Grappy, Brigitte Grau. riao 2010: 9-15 [doi]

A predictor-corrector type algorithm for the pseudospectral abscissa computation of time-delay systemsSuat Gumussoy, Wim Michiels. automatica, 46(4):657-664, 2010. [doi]

Verticum-type systems applied to ecological monitoringM. Gámez, I. López, I. Szabó, Z. Varga. amc, 215(9):3230-3238, 2010. [doi]

New types of hyper MV-deductive systems in hyper MV-algebrasYoung Bae Jun, Min Su Kang, Hee Sik Kim. mlq, 56(4):400-405, 2010. [doi]

An Optimized Iterative (Turbo) Receiver for OFDM Systems with Type-I Hybrid ARQ: Clipping and CFO CasesThomas Ketseoglou. TWC, 9(8):2468-2477, 2010. [doi]

A hybrid type system for lock-freedom of mobile processesNaoki Kobayashi, Davide Sangiorgi. TOPLAS, 32(5), 2010. [doi]

Interacting Many-Particle Systems of Different Particle Types Converge to a Sorted StateSimon Lyngby Kokkendorff, Jens Starke, Noemi Hummel. siamam, 70(7):2534-2555, 2010. [doi]

Adaptivity Types in Mobile User Adaptive System FrameworkOndrej Krejcar. mobilware 2010: 363-374 [doi]

A queueing system with n-phases of service and (n-1)-types of retrial customersChristos Langaris, Ioannis Dimitriou. eor, 205(3):638-649, 2010. [doi]

A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebraFrançois Lemaire, Asli Ürgüplü. issac 2010: 85-92 [doi]

A series of exact solutions for (2 + 1)-dimensional Wick-type stochastic generalized Broer-Kaup system via a modified variable-coefficient projective Riccati equation mapping methodQing Liu, Jia-Cheng Lan, Hong-Yu Wu, Zi-Hua Wang. amc, 217(2):629-638, 2010. [doi]

Initial shift problem for robust iterative learning control systems with polytopic-type uncertaintyDeyuan Meng, Yingmin Jia, Junping Du, Fashan Yu. ijsysc, 41(7):825-838, 2010. [doi]

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution StyleKoji Mineshima, Mitsuhiro Okada, Ryo Takemura. diagrams 2010: 99-114 [doi]

On robust stability of LTI fractional-order delay systems of retarded and neutral typeKamran Akbari Moornani, Mohammad Haeri. automatica, 46(2):362-368, 2010. [doi]

::::SafeGI::::: Type Checking to Improve Correctness in Rendering System ImplementationJiawei Ou, Fabio Pellacini. cgf, 29(4):1269-1277, 2010. [doi]

Identification of block-oriented systems in the presence of nonparametric input nonlinearities of switch and backlash typesY. Rochdi, F. Giri, J. B. Gning, F. Z. Chaoui. automatica, 46(5):864-877, 2010. [doi]

Embedded hardware low cost JPEG 2000 video coding system - Hardware coder for surveillance type videosArthur Schuchter, Andreas Uhl. jrtip, 5(3):149-162, 2010. [doi]

Automatically Generating Counterexamples to Naive Free TheoremsDaniel Seidel, Janis Voigtländer. FLOPS 2010: 175-190 [doi]

The dynamics of an impulsive one-prey multi-predators system with delay and Holling-type II functional responseYuanfu Shao, Binxiang Dai, Zhenguo Luo. amc, 217(6):2414-2424, 2010. [doi]

A dynamic framework for integrated management of all types of resources in P2P systemsMohsen Sharifi, Seyedeh Leili Mirtaheri, Ehsan Mousavi Khaneghah. tjs, 52(2):149-170, 2010. [doi]

Equality Is Typable in Semi-full Pure Type SystemsVincent Siles, Hugo Herbelin. lics 2010: 21-30 [doi]

On Order Types of Systems of Segments in the PlaneAndrew Suk. order, 27(1):63-68, 2010. [doi]

Automatic Pitch Type Recognition System from Single-View Video Sequences of Baseball Broadcast VideosMasaki Takahashi, Mahito Fujii, Masahiro Shibata, Nobuyuki Yagi, Shin ichi Satoh. ijmdem, 1(1):12-36, 2010. [doi]

Word Order, Marking, and a Two-Dimensional Classification of Parts-of-Speech System TypesRelja Vulanovic. jql, 17(3):229-252, 2010. [doi]

Uniformly Hyperbolic Attractor of the Smale-Williams Type for a Poincaré Map in the Kuznetsov SystemDaniel Wilczak. siamads, 9(4):1263-1283, 2010. [doi]

A nonmonotone smoothing-type algorithm for solving a system of equalities and inequalitiesYing Zhang, Zheng-Hai Huang. jcam, 233(9):2312-2321, 2010. [doi]

Spectrum of Lyapunov exponents of non-smooth dynamical systems of integrate-and-fire typeDouglas Zhou, Yi Sun, Aaditya V. Rangan, David Cai. jcns, 28(2):229-245, 2010. [doi]

A regularized smoothing-type algorithm for solving a system of inequalities with a P::0::-functionJianguang Zhu, Hongwei Liu, Xiangli Li. jcam, 233(10):2611-2619, 2010. [doi]

The impact of Allee effect on a predator-prey system with Holling type II functional responseJian Zu, Masayasu Mimura. amc, 217(7):3542-3556, 2010. [doi]

On Lyapunov-type inequality for quasilinear systemsDevrim Çakmak, Aydin Tiryaki. amc, 216(12):3584-3591, 2010. [doi]

PreviousNext