Search results for "BTT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Yongbing Zhong, Jinfu Feng, Zhizhuan Peng, Xiaolong Liang	Research on Adaptive System of the BTT-45 Air-to-Air Missile Based on Multilevel Hierarchical Intelligent Controller.	ICES	2007	DBLP DOI BibTeX RDF	BTT, STT, Air-to-Air Missile, Reversing Design, “IC”
79	Klaus Ambos-Spies, Levke Bentzien	Separating NP-Completeness Notions under Strong Hypotheses.	CCC	1997	DBLP DOI BibTeX RDF	NP-completeness notions separation, strong hypotheses, NP-m-completeness, NP-T-completeness, bounded-query reducibilities, resource bounded Baire category concept, computational complexity, resource bounded measure
70	Yuru Xu, Jinyong Yu, Yuman Yuan, Wenjin Gu	Adaptive fuzzy sliding-mode controller for BTT missile.	ICARCV	2004	DBLP DOI BibTeX RDF
52	Guang-Ren Duan 0001, Hai-Hua Yu, Feng Tan	Parametric control systems design with applications in missile control.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	high-order linear systems, parametric approaches, Sylvester matrix equations, BTT missile
50	Bruno Legeard, Fabien Peureux, Mark Utting	A Comparison of the BTT and TTF Test-Generation Methods.	ZB	2002	DBLP DOI BibTeX RDF
40	Yan Hao Wei, Mu-Song Chen, Chuan Ku Lin, Chi-Pan Hwang	Minimal Resource Allocation on CAN Bus Using Radial Basis Function Networks.	ISNN (3)	2007	DBLP DOI BibTeX RDF
40	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
40	Toshio Suzuki	Bounded truth table does not reduce the one-query tautologies to a random oracle.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 03D15
40	Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng	Resource Bounded Randomness and Weakly Complete Problems.	ISAAC	1994	DBLP DOI BibTeX RDF
40	Ronald V. Book, Jack H. Lutz, Klaus W. Wagner	On Complexity Classes and Algorithmically Random Languages (Extended Abstract).	STACS	1992	DBLP DOI BibTeX RDF
31	Yuda Zhu, Baijie Qiao, Yanan Wang, Bo Pan, Lin Chen, Xuefeng Chen 0002	A GMC-Based Accelerated Algorithm for Identifying the Frequency and Amplitude of Multimode BTT Signals.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
31	Antonietta Argiuolo, Michela Ponticorvo	Analysing E-BTT data: the E-TAN ANALYST prototype.	MetroXRAINE	2022	DBLP DOI BibTeX RDF
31	Federica Somma, Paolo Bartolomeo, Onofrio Gigliotta	E-BTT in primary school-aged children: preliminary results.	PSYCHOBIT	2021	DBLP BibTeX RDF
31	Antonietta Argiuolo, Orazio Miglino, Michela Ponticorvo	The E-TAN analyst project: new horizons on E-BTT data analysis.	PSYCHOBIT	2021	DBLP BibTeX RDF
31	Zongyi Guo	On a novel equivalent control-based adaptive sliding mode approach for autopilot design of BTT missiles.	Trans. Inst. Meas. Control	2018	DBLP DOI BibTeX RDF
31	Pavel Procházka, Dusan Maturkanic, Marek Brabec	Measurement and assessment of turbine rotor speed instabilities in applying the BTT method.	I2MTC	2018	DBLP DOI BibTeX RDF
31	Shanzhong Liu, Ling Wei, Yongbin Liu	The design of backstepping controller based on BTT missile.	ICIA	2016	DBLP DOI BibTeX RDF
31	Eldane Vieira Junior, Rita Maria da Silva Julia	BTT-Go: An Agent for Go that Uses a Transposition Table to Reduce the Simulations and the Supervision in the Monte-Carlo Tree Search.	FLAIRS	2014	DBLP BibTeX RDF
31	Lei Jiang, Lixin Lu, Lingmei Jiang, Gengjun Zhang	The urban effect on climate changes in Beijing-Tianjin-Tnagshan (BTT) regions over China.	IGARSS	2013	DBLP DOI BibTeX RDF
31	Zhi-xiang Deng, Yong-Ji Wang, Fan Gu, Chuan-Feng Li	Robust decoupling control of BTT vehicle based on PSO.	Int. J. Bio Inspired Comput.	2010	DBLP DOI BibTeX RDF
31	Hao Wu, Yongji Wang 0001, Zongzhun Zheng	Robust non-linear feedback control for BTT missile with NN-based uncertainty estimation.	Int. J. Model. Identif. Control.	2009	DBLP DOI BibTeX RDF
31	Jianguo Yao, Xiaoping Zhu, Zhou Zhou 0017	The Design of sliding Mode Control System Based on backstepping Theory for BTT UAV.	Control. Intell. Syst.	2008	DBLP DOI BibTeX RDF
31	Stephen A. Fenner, Marcus Schaefer 0001	Bounded Immunity and Btt-Reductions.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF
31	Heinz Mathis	Differential detection of GMSK signals with low BtT using the SOVA.	IEEE Trans. Commun.	1998	DBLP DOI BibTeX RDF
31	Jefim Kinber	On btt-Degrees of Sets of Minimal Numbers in Gödel Numberings.	Math. Log. Q.	1977	DBLP DOI BibTeX RDF
31	Martin Ziegler 0002	Ein Rekursiv Aufzählbarer btt-Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört.	Math. Log. Q.	1976	DBLP DOI BibTeX RDF
20	Kai Wang, Yan Liu, Xiaowei Sun	Small Moving Infrared Target Detection Algorithm under Low SNR Background.	IAS	2009	DBLP DOI BibTeX RDF
20	Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki	Does truth-table of linear norm reduce the one-query tautologies to a random oracle?	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 03D15
20	Jinyong Yu, Chuanjin Cheng, Shixing Wang 0002	The Application of Full Adaptive RBF NN to SMC Design of Missile Autopilot.	ISNN (2)	2008	DBLP DOI BibTeX RDF	SMC, missile, adaptive, RBF
20	Takashi Tanaka, Tomohiro Shima, Masateru Furusato, Yuma Kokuzawa, Kazuhiko Ito, Kiyotaka Iwasaki, Yi Qian 0002, Mitsuo Umezu	Tensile Test to Ensure a Safety of Cannula Connection in Clinical Ventricular Assist Device (VAD).	LSMS (2)	2007	DBLP DOI BibTeX RDF
20	Marcelo d'Amorim, Grigore Rosu	Efficient Monitoring of omega-Languages.	CAV	2005	DBLP DOI BibTeX RDF
20	Jinyong Yu, Daquan Tang, Wenjin Gu, Yigao Deng	Adaptive fuzzy sliding-mode controller for nonlinear system with a general set of uncertainty.	ICARCV	2004	DBLP DOI BibTeX RDF
20	Xiao Zhi Gao 0001, Seppo J. Ovaska, Xiaolei Wang 0001	Learning algorithm for linguistic information feedback-based dynamical fuzzy system (LIFDFS).	SMC (3)	2004	DBLP DOI BibTeX RDF
20	Thomas Thierauf, Seinosuke Toda, Osamu Watanabe 0001	On Sets Bounded Truth-Table Reducible to P-selective Sets.	STACS	1994	DBLP DOI BibTeX RDF
20	Jack H. Lutz, Elvira Mayordomo	Measure, Stochasticity, and the Density of Hard Languages.	STACS	1993	DBLP DOI BibTeX RDF
20	Bin Fu, Hong-Zhou Li	On Symmetric Differences of NP-hard Sets with Weakly-P-Selective Sets.	ISAAC	1992	DBLP DOI BibTeX RDF