|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 192 occurrences of 124 keywords
|
|
|
Results
Found 291 publication records. Showing 291 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
On the concurrent behaviour of SCR specifications. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics |
123 | James Kirby, Myla Archer, Constance L. Heitmeyer |
SCR: A Practical Approach to Building a High Assurance COMSEC System. |
ACSAC |
1999 |
DBLP DOI BibTeX RDF |
|
110 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. |
RE |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
108 | Constance L. Heitmeyer |
Using the SCR* Toolset to Specify Software Requirements. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
103 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis |
93 | Ming-Dou Ker, Kuo-Chun Hsu |
On-chip ESD protection circuit design with novel substrate-triggered SCR device in sub-quarter-micron CMOS process. |
ISCAS (5) |
2002 |
DBLP DOI BibTeX RDF |
|
93 | Zhenyi Jin |
Deriving Mode Invariants from SCR Specifications. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
88 | Nagisa Munekata, Naofumi Yoshida, Shigeru Sakurazawa, Yasuo Tsukahara, Hitoshi Matsubara |
Design of Positive Biofeedback Using a Robot's Behaviors as Motion Media. |
ICEC |
2006 |
DBLP DOI BibTeX RDF |
|
83 | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
Deriving tabular event-based specifications from goal-oriented requirements models. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR |
79 | H. Feng, R. Zhan, Q. Wu, G. Chen, X. Guan, A. Z. Wang |
RC-SCR: a novel low-voltage ESD protection circuit with new triggering mechanism. |
APCCAS (2) |
2002 |
DBLP DOI BibTeX RDF |
|
74 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
74 | L. J. Chmura, Anthony F. Norcio, T. J. Wicinski |
Evaluating Software Design Processes by Analyzing Change Data Over Time. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
software design processes evaluation, early design and code change data, software cost reduction, error-correction effort, stepwise growth, module interface updates, software engineering |
68 | Elizabeth I. Leonard, Constance L. Heitmeyer |
Program Synthesis from Formal Requirements Specifications Using APTS. |
High. Order Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis |
67 | Marsha Chechik, John D. Gannon |
Automatic Analysis of Consistency between Requirements and Designs. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis |
64 | Dejan Desovski, Bojan Cukic |
A Strategy for Verification of Decomposable SCR Models. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Kun-Hsien Lin, Ming-Dou Ker |
ESD protection design for I/O cells in sub-130-nm CMOS technology with embedded SCR structure. |
ISCAS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Joanne M. Atlee, Michael A. Buckley |
A Logic-Model Semantics for SCR Software Requirements. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
model checking, reactive systems, formal semantics, software requirements |
59 | Shao Tao, Akkihebbal L. Ananda, Mun Choon Chan |
Spherical Coordinate Routing for 3D wireless ad-hoc and sensor networks. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Xiaojiang Du, Fengiing Lin |
Secure cell relay routing protocol for sensor networks. |
IPCCC |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
59 | James Kirby Jr., Myla Archer, Constance L. Heitmeyer |
Applying Formal Methods to an Information Security Device: An Experience Report. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
58 | Tereza G. Kirner |
Applying the SCR Method in Software Requirements Specifications. |
SCCC |
2000 |
DBLP DOI BibTeX RDF |
SCR method, Software Cost Reduction method, real-time process control systems, liquid mixture system, real-time systems, formal specification, case study, process control, software cost estimation, software requirements specifications |
52 | Joanne M. Atlee, John D. Gannon |
State-Based Model Checking of Event-Driven System Requirements. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements |
49 | Ming-Dou Ker, Chun-Yu Lin 0001, Guo-Xuan Meng |
ESD protection design for fully integrated CMOS RF power amplifiers with waffle-structured SCR. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Virginie Wiels, Steve M. Easterbrook |
Formal Modeling of Space Shuttle Software Change Requests using SCR. |
RE |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
SCR*: A Toolset for Specifying and Analyzing Software Requirements. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
44 | David Owen 0002, Dejan Desovski, Bojan Cukic |
Effectively Combining Software Verification Strategies: Understanding Different Assumptions. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Wenjing Jia, Huaifeng Zhang, Xiangjian He, Qiang Wu 0001 |
Symmetric Color Ratio in Spiral Architecture. |
ACCV (2) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Angelo Gargantini, Constance L. Heitmeyer |
Using Model Checking to Generate Tests from Requirements Specifications. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw |
Automated Consistency Checking of Requirements Specifications. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking |
44 | Steven P. Miller |
Specifying the mode logic of a flight guidance system in CoRE and SCR. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control |
40 | Samuel Vogel |
Ãœber Ordnungsmechanismen im wissensbasierten Entwurf von SCR-Systemen (On order mechanisms in the knowledge-based design of SCR systems) |
|
2016 |
DOI RDF |
|
40 | Anthony Bonfils |
Experimental closed-loop control of SCR aftertreatment systems using NOx sensors cross-sensitive to NH3. (Commande expérimentale en boucle fermée des systèmes de post-traitement SCR en utilisant des sondes à NOx sensibles au NH3). |
|
2013 |
RDF |
|
40 | J. Bourgeat, Christophe Entringer, Philippe Galy, Marise Bafleur, D. Marin-Cudraz |
Evaluation of the ESD performance of local protections based on SCR or bi-SCR with dynamic or static trigger circuit in 32 nm. |
Microelectron. Reliab. |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Maria Teresa Andrade, Artur Pimenta Alves |
Experiments with Dynamic Multiplexing and UPC Renegotiation for Video over ATM. |
NETWORKING |
2000 |
DBLP DOI BibTeX RDF |
renegotiation Abbreviations: AAL, ATM Adaptation Layer, ACTS, Advanced Communications, Technologies & Services, CDV, Cell Delay Variation, CDVT, Cell Delay Variation Tolerance, CTD, Cell Transfer Delay, EFCI, Explicit Forward Congestion Indication, GOP, Group Of Pictures, MBS, Maximum Burst Size, Motion Picture Expert Group, Network Interface Card, Peak Cell Rate, MCR, Minimum Cell Rate, Resource and Management, Sustainable Cell Rate, UNI, User Network Interface, Usage Parameter Control, Quality of Service, QoS, Quality of Service, ATM, ATM, Asynchronous Transfer Mode, VoD, Video on Demand, CAC, MPEG, CBR, statistical multiplexing, VBR, Variable Bit Rate, Connection Admission Control, UPC, UPC, ABR, Virtual Circuit, RM, Available Bit Rate, SCR, PCR, VC, NIC, Constant Bit Rate |
39 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
38 | Sun-Yuan Kung, M. Fang, S. P. Liou, M. Y. Chiu, Jin-Shiuh Taur |
Decision-based neural network for face recognition system. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
decision-based neural network, face recognition system, hierarchical network structure, nonlinear basis functions, competitive credit-assignment scheme, face detector, eye localizer, DBNN based face recognizer, SCR-IM database, ARPA-FERET database, classification, learning (artificial intelligence), feature extraction, feature extraction, face recognition, image recognition, neural nets, feature vectors, human face |
35 | Fuad Abujarad, Sandeep S. Kulkarni |
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Michal Iglewski |
Automatic Testing of SCR Specifications. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Angelo Gargantini, Elvinia Riccobene |
Automatic Model Driven Animation of SCR Specifications. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Shengbo Chen, Huaikou Miao, Zhong-sheng Qian |
Modeling and Verifying Web Browser Interactions. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Yutao Ma, Keqing He, Wei Liu 0011, Jingbai Tian |
A Grid-Oriented Platform for Software Component Repository Based on Domain Ontology. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Dejan Desovski, Bojan Cukic |
A Component-Based Approach to Verification and Validation of Formal Software Models. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Robert J. Hall 0001, Andrea Zisman |
OMML: A Behavioural Model Interchange Format. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jaemyung Cho, Junbeom Yoo, Sung Deok Cha |
NuEditor - A Tool Suite for Specification and Verification of NuSCR. |
SERA |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Lu Shen, Xi Yang 0001, Byrav Ramamurthy |
A Load-Balancing Spare Capacity Reallocation Approach in Service-Rich SONET Metro Mesh Networks. |
BROADNETS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ralph D. Jeffords, Constance L. Heitmeyer |
A strategy for efficiently verifying requirements. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal methods, software tools, invariants, requirements specification, compositional verification |
29 | Constance L. Heitmeyer |
Applying Practical Formal Methods to the Specification and Analysis of Security Properties. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Tevfik Bultan |
Action Language: a specification language for model checking reactive systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
model checking, specification languages, reactive systems |
29 | Mehran Dowlatshahi, Subrata De |
A Comparative Study of Numerical and Heuristic Approaches to Calculations of Sustainable Cell Rate. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
|
24 | San-yhi Chen, Li-Fong Lin, Chih-Sheng Chang, Chung-Ju Chang |
The sustainable-cell-rate usage parameter control with adjustable window for high-speed multimedia communications. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
neural fuzzy, usage parameter control, ATM, fuzzy, SCR |
24 | Paul Ammann, Paul E. Black |
A Specification-Based Coverage Metric to Evaluate Test Sets. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV |
23 | William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov |
Requirements interaction management. |
ACM Comput. Surv. |
2003 |
DBLP DOI BibTeX RDF |
KATE, WinWin, deficiency driven design, distributed intentionality, software cost reduction (SCR)., Requirements engineering, system architecture, dependency analysis, viewpoints, interaction analysis, system specification, KAOS, Telos, composite system, Oz, analysis and design |
20 | Sang-Wook Kwon, Kyoung-Il Do, Jeong-Min Lee, U.-Yeol Seo, Yong-Seo Koo |
Design of High-Robustness LDO Regulator With Floating SCR Based ESD Protection Circuit Using High Gain Buffer. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Xian Yu, Yubing Han, Jiayin Chen, Miao Wang, Weixing Sheng |
Two-Stage Sea-Surface Small Target Detection Using Multifeature-Fusion-Based Binary Classifier and SCR Enhancement. |
IEEE Trans. Geosci. Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Sora Park, Yoonseo Choi, Sungho Lee, Kang-Il Cho |
A High Holding Voltage Diode-Triggered SCR for Low-Voltage ESD Application. |
ICEIC |
2024 |
DBLP DOI BibTeX RDF |
|
20 | U.-Yeol Seo, Sang-Wook Kwon, Seung Gu Jeong, Jeong-Min Lee, Kwang-Yeob Lee, Yong-Seo Koo |
Development of Diode Triggering SCR-Based ESD Protection Circuit with Improved Trigger Voltage for Low Voltage Application. |
ICEIC |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Seshadri Gopalan, Krishna Vasudevan, Dinesh Kumar 0005 |
An Approach to Control SCR Bridge Rectifier to Suppress the Effect of Even Ordered Supply Voltage Harmonics on DC-Bus Capacitor of Adjustable Speed Drives. |
IEEE Trans. Ind. Electron. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mridul Marwaha, Kuntal Satpathi, Mohamed Sathik Mohamed Halick, Josep Pou, Chandana Jayampathi Gajanayake, Amit Kumar Gupta, Devinda A. Molligoda, Ravi Kiran Surapaneni |
SCR-Based Bidirectional Circuit Breaker for DC System Protection With Soft Reclosing Capability. |
IEEE Trans. Ind. Electron. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xiaowen Bi, Shiyou Hu, Yunxiu Yang, Qin Shu, Shenglong Guo |
Sea clutter suppression algorithm in low SCR based on improved fractional Fourier transform. |
Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Sulav Ghimire, Kanakesh Vatta Kkuni, Emerson D. Guest, Kim H. Jensen, Guangya Yang |
Small-Signal Stability and SCR Enhancement of Offshore WPPs with Synchronous Condensers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kaushal Nishad, Senda Agrebi |
Estimation of Entropy Generation in a SCR-DeNOx System with AdBlue Spray Dynamic Using Large Eddy Simulation. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ruoyu Liu, Xin Lai 0003, Jiayin Wang, Xiaoyan Zhu 0003, Yuqian Liu |
SCR-CUSUM: An illness-death semi-Markov model-based risk-adjusted CUSUM for semi-competing risk data monitoring. |
Comput. Ind. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Sang-Wook Kwon, Seung Gu Jeong, Jung Min Lee, Yong-Seo Koo |
High-reliability LDO regulator with built-in SCR-based ESD protection circuit designed for effective peak voltage reduction. |
IEICE Electron. Express |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ting-En Lin, Shen-Li Chen, Zhi-Wei Liu, Xing-Chen Mai, Xiu-Yuan Yang, Yu-Jie Chung |
High-voltage nLDMOS Drain Side Schottky/SCR Modulations for Enhancement Reliability Capabilities. |
ICCE-Taiwan |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shudong Huang, Srivatsan Parthasarathy, Yuanzhong Paul Zhou, Jean-Jacques Hajjar, Elyse Rosenbaum |
Optimization of SCR for High-Speed Digital and RF Applications in 45-nm SOI CMOS Technology. |
IRPS |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Laura Zunarelli, Luigi Balestra, Susanna Reggiani, Raj Sankaralingam, Mariano Dissegna, Gianluca Boselli |
TCAD study of the Holding-Voltage Modulation in Irradiated SCR-LDMOS for HV ESD Protection. |
IRPS |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Satendra Kumar Gautam, Harsha B. Variar, Juan Luo, Ning Shi, David Marreiro, Shekar Mallikarjunaswamy, Mayank Shrivastava |
3D Approaches to Engineer Holding Voltage of SCR. |
IRPS |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Harsha B. Variar, Satendra Kumar Gautam, Ashita Kumar, K. M. Amogh, Juan Luo, Ning Shi, David Marreiro, Shekar Mallikarjunaswamy, Mayank Shrivastava |
Engineering Custom TLP I-V Characteristic Using a SCR-Diode Series ESD Protection Concept. |
IRPS |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jojan Valle-De La Cruz, Luis Crisostomo-Soto, Gonzalo Sulca-Ramos, Kener Velasquez-Colorado, Hector Valcarcel-Castillo, Deyby Huamanchahua |
Reducing Emissions through AdBlue Tank Temperature Control in Diesel Engines with SCR System. |
CACRE |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Wenjun Zhan, Defeng He, Lianming Li |
Distributed Economic Model Predictive Control of Hybrid SNCR-SCR Systems. |
RICAI |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xin Liu 0084, Liyuan Li, Liqi Liu, Xiaofeng Su, Fansheng Chen |
Moving Dim and Small Target Detection in Multiframe Infrared Sequence With Low SCR Based on Temporal Profile Similarity. |
IEEE Geosci. Remote. Sens. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Bo Hu, Chang Liu, Yuan Yang, Bin Wang, Dan Cai, Weifeng Xu |
Adaptive Internal Model Control of SCR Denitration System Based on Multi-Objective Optimization. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jinghua Zhao, Jie Liu, Hongyu Sun, Yunfeng Hu, Yao Sun, Fangxi Xie |
Data-Driven Predictive Control With Switched Subspace Matrices for an SCR System. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Min Li, Junjie Wu 0001, Weibo Huo, Ruili Jiang, Zhongyu Li, Jianyu Yang, Huiyong Li |
Target-Oriented SAR Imaging for SCR Improvement via Deep MF-ADMM-Net. |
IEEE Trans. Geosci. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Gaétan Bahl, Lionel Daniel, Florent Lafarge |
SCR: Smooth Contour Regression with Geometric Priors. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Sang-Wook Kwon, Yong-Seo Koo |
Design of high-reliability LDO regulator with SCR based ESD protection circuit using body technique and load transient detection. |
IEICE Electron. Express |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zhi-Wei Liu, Shen-Li Chen, Jhong-Yi Lai, Xing-Chen Mai, Yu-Jie Chung |
An Investigation of ESD-Enhancement by the Drain-side Embedded SCR Area Modulation for HV pLDMOSs. |
ICCE-TW |
2022 |
DBLP DOI BibTeX RDF |
|
20 | M. Monishmurali, Nagothu Karmel Kranthi, Gianluca Boselli, Mayank Shrivastava |
Effect of Source & Drain Side Abutting on the Low Current Filamentation in LDMOS-SCR Devices. |
IRPS |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Sachin Joshi, Pingen Chen |
Design and Optimization of a Parallel Micro-Hybrid Vehicle with Lean-Burn Gasoline Engine and Passive SCR System. |
ACC |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Carlos Guevara-Chamorro, Deyby Huamanchahua |
SCR Exhaust After-treatment System for D13C Engines. |
UEMCON |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jihoon Lim, Patrick Kirchen, Ryozo Nagamune |
LPV Controller Design for Diesel Engine SCR Aftertreatment Systems Based on Quasi-LPV Models. |
IEEE Control. Syst. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Maoxuan Wang, Yongfu Wang, Gang Chen |
Interval type-2 fuzzy neural network based constrained GPC for NH3 flow in SCR de-NOx process. |
Neural Comput. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jose Titus, Harikrishnan P, Kamalesh Hatua |
An SCR-Based CSI-Fed Induction Motor Drive for High Power Medium Voltage Applications. |
IEEE Trans. Ind. Electron. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Lu Xie, Guozhang Jiang, Feng Qian |
A CAN-Based Urea Line Heater Diagnostics Development and Experimental Validation for Selective Catalytic Reduction (SCR) System. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Zhenhao Tang, Shikui Wang, Shengxian Cao, Yang Li 0011, Tao Shen |
Dynamic Prediction Model for NOx Emission of SCR System Based on Hybrid Data-driven Algorithms. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Jie Ren, Cui-Ping Pu, An Yu |
Smith control of SCR system based on sliding mode control. |
J. Comput. Methods Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tien-Yu Lan, Shen-Li Chen, Yu-Jie Zhou, Shi-Zhe Hong, Jhong-Yi Lai, Zhi-Wei Liu |
Holding-voltage Improvement of UHV Circular nLDMOS Transistors by the Drain-side SCR Engineering. |
ICCE-TW |
2021 |
DBLP DOI BibTeX RDF |
|
20 | M. Monishmurali, Mayank Shrivastava |
A Novel High Voltage Drain Extended FinFET SCR for SoC Applications. |
IRPS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jihoon Lim, Patrick Kirchen, Ryozo Nagamune |
LPV Controller Design for Diesel Engine SCR Aftertreatment Systems based on Quasi-LPV Models. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Kyoung-Il Do, Seung-Hoo Jin, Byung-Seok Lee, Je-Wook Woo, Yong-Seo Koo |
Design of All-Directional ESD Protection circuit with SCR-based I/O and LIGBT-based Power clamp. |
ICEIC |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Bo Chen, Xiaoshu Sun, Decai Li, Yuqing He, Chunsheng Hua |
SCR-Graph: Spatial-Causal Relationships Based Graph Reasoning Network for Human Action Prediction. |
CONF-CDS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tao Qin, Jun Rong, Guang Yang 0021, Yankai Wang, Yi Han, Bin Cai, Yingli Yu |
Thermal System Simulation Study of Wide-Load Out-Of-Stock Technical Transformation to Reduce SCR Inlet Flue Gas Temperature of 300MW Subcritical Boiler. |
CECNet |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Kai Jiang, Fengjun Yan, Hui Zhang 0019 |
Data-Driven Modeling and UFIR-Based Outlet NO$_{x}$ Estimation for Diesel-Engine SCR Systems. |
IEEE Trans. Ind. Electron. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kai Jiang, Fengjun Yan, Hui Zhang 0019 |
Hydrothermal Aging Factor Estimation for Two-Cell Diesel-Engine SCR Systems via a Dual Time-Scale Unscented Kalman Filter. |
IEEE Trans. Ind. Electron. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yingshuai Liu, Jianwei Tan |
Experimental Study on Solid SCR Technology to Reduce NOx Emissions from Diesel Engines. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Angelin Peace Preethi, P. Karthigaikumar |
Micro-machined silicon accelerometer with piezoresistive SCR implementation for glucolysis. |
Int. J. Wavelets Multiresolution Inf. Process. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Zhuo Zhang, Mingwei Shi, Zibin Yin, Defeng Wu, Leyang Dai |
Prediction modelling of exhaust characteristics of a marine engine for SCR urea dosing calibration. |
Int. J. Comput. Appl. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sheng-Kai Fan, Shen-Li Chen, Po-Lin Lin, Shi-Zhe Hong, Tien-Yu Lan, Yu-Jie Zhou |
A Novel SCR-based Schottky Diode and Lightly P-well Additions of HV 60V nLDMOS on ESD Capability. |
ICCE-TW |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 291 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|