Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Yo-Sub Han, Derick Wood |
A New Linearizing Restriction in the Pattern Matching Problem. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
string pattern matching, design and analysis of algorithms, Automata and formal languages |
63 | Nibaldo Rodríguez, Claudio Cubillos |
Wavelet Network with Hybrid Algorithm to Linearize High Power Amplifiers. |
ECAL |
2007 |
DBLP DOI BibTeX RDF |
power amplifier, digital modulation, linearizing, Wavelet network |
51 | Nobuyuki Sugio, Shunichi Nambu, Toshinobu Kaneko |
A Fast Calculus for the Linearizing Attack and Its Application to an Attack on KASUMI. |
AAECC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Xinping Huang, Mario Caron |
Benefit of linearizing power amplifiers in multi-port amplifier subsystems. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Hua Yang, Marc Pollefeys, Greg Welch, Jan-Michael Frahm, Adrian Ilie |
Differential Camera Tracking through Linearizing the Local Appearance Manifold. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Kurt-Ulrich Witt |
On Linearizing Graphs. |
WG |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Nibaldo Rodríguez, Claudio Cubillos, Orlando Durán |
Wavelet Network for Nonlinearities Reduction in Multicarrier Systems. |
IWINAC (2) |
2007 |
DBLP DOI BibTeX RDF |
linearizing, Wavelet network, multicarrier |
31 | Stanimir Mollov, Robert Babuska, János Abonyi, Henk B. Verbruggen |
Effective optimization for fuzzy model predictive control. |
IEEE Trans. Fuzzy Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Katsuhiro Narikiyo, Hitoshi Takata |
A formal linearization for time-variant nonlinear systems by the cubic Hermite interpolation and its applications. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Sreetama Sarkar, Souvik Kundu 0002, Peter A. Beerel |
Linearizing Models for Efficient yet Robust Private Inference. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Akhil Ahmed, Ehecatl Antonio del Rio-Chanona, Mehmet Mercangöz |
Linearizing nonlinear dynamics using deep learning. |
Comput. Chem. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Alexander A. Semenov, Kirill Antonov, Stepan Kochemazov, Artem Pavlenko |
Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Nathan J. Kong, J. Joe Payne, James Zhu, Aaron M. Johnson |
Saltation Matrices: The Essential Tool for Linearizing Hybrid Dynamical Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Marino Pagan, Adrian Valente, Srdjan Ostojic, Carlos D. Brody |
Brief technical note on linearizing recurrent neural networks (RNNs) before vs after the pointwise nonlinearity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tianjiao Ding, Shengbang Tong, Kwan Ho Ryan Chan, Xili Dai, Yi Ma 0001, Benjamin D. Haeffele |
Unsupervised Manifold Linearizing and Clustering. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Daniele Carosi, Fabiana Zama, Alessandro Morri, Lorella Ceschini |
Linearizing Anhysteretic Magnetization Curves: A Novel Algorithm for Finding Simulation Parameters and Magnetic Moments. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Eranda Çela, Bettina Klinz, Stefan Lendl, Gerhard J. Woeginger, Lasse Wulf |
A linear time algorithm for linearizing quadratic and higher-order shortest path problems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tianjiao Ding, Shengbang Tong, Kwan Ho Ryan Chan, Xili Dai, Yi Ma 0001, Benjamin D. Haeffele |
Unsupervised Manifold Linearizing and Clustering. |
ICCV |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Eranda Çela, Bettina Klinz, Stefan Lendl, Gerhard J. Woeginger, Lasse Wulf |
A Linear Time Algorithm for Linearizing Quadratic and Higher-Order Shortest Path Problems. |
IPCO |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Thomaskutty Mathew, Simhadri Nani, Anoop C. S., Vineeth Bala Sukumaran |
Studies on Linearizing Direct-Digital Converter Schemes for Thermistors. |
I2MTC |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sabbir Ahmed, Erfan Nozari |
On the Linearizing Effect of Temporal Averaging in Nonlinear Dynamical Systems. |
ACC |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Udayan Banerjee, Indra Narayan Kar, Subir Kumar Saha |
Data-Driven Feedback Linearizing Controller for Robotic Manipulators with Uncertain Dynamics. |
CoDIT |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hamou Ait Abbas |
Robust Input Output Linearizing Control Augmented with Only One Hidden Layer Neural Network For Induction Motors. |
CoDIT |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Shohei Hagane, Lorenzo Jamone, Gentiane Venture |
Linearizing Robotic Manipulator's Dynamics Using Koopman Operator and Applying Generalized Predictive Control. |
SII |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Adrien Badré, Chongle Pan |
LINA: A Linearizing Neural Network Architecture for Accurate First-Order and Second-Order Interpretations. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Robert Altmann, Roland Maier |
A Decoupling and Linearizing Discretization for Weakly Coupled Poroelasticity with Nonlinear Permeability. |
SIAM J. Sci. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Robert Scheffler 0001 |
Linearizing Partial Search Orders. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Haixu Wu, Jialong Wu 0001, Jiehui Xu, Jianmin Wang 0001, Mingsheng Long |
Flowformer: Linearizing Transformers with Conservation Flows. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
21 | Yizhe Zhang 0002, Deng Cai 0002 |
Linearizing Transformer with Key-Value Memory Bank. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Dat Ngo, Seungmin Lee, Ui-Jean Kang, Tri Minh Ngo, Gidong Lee, Bongsoon Kang |
Adapting a Dehazing System to Haze Conditions by Piece-Wisely Linearizing a Depth Estimator. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Elliot Nelson, Debarun Bhattacharjya, Tian Gao, Miao Liu, Djallel Bouneffouf 0001, Pascal Poupart |
Linearizing contextual bandits with latent state dynamics. |
UAI |
2022 |
DBLP BibTeX RDF |
|
21 | Sabbir Ahmed, Erfan Nozari |
On the Linearizing Effect of Spatial Averaging in Large-Scale Populations of Homogeneous Nonlinear Systems. |
CDC |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Robert Scheffler 0001 |
Linearizing Partial Search Orders. |
WG |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yizhe Zhang 0002, Deng Cai 0002 |
Linearizing Transformer with Key-Value Memory. |
EMNLP |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Haixu Wu, Jialong Wu 0001, Jiehui Xu, Jianmin Wang 0001, Mingsheng Long |
Flowformer: Linearizing Transformers with Conservation Flows. |
ICML |
2022 |
DBLP BibTeX RDF |
|
21 | Robert Altmann, Roland Maier |
A decoupling and linearizing discretization for poroelasticity with nonlinear permeability. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Hongjia Chen 0001, Lei Du, Zongqi Cao |
Backward error analysis of linearizing-balancing strategies for heavily damped quadratic eigenvalue problem. |
Appl. Math. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sayan Sarkar, Tamaghno Chatterjee, Aayushman Ghosh |
Development on Linearizing Front End and Amplification Structure for Commercial GMR Sensor-based Cardiorespiratory Monitoring system. |
EMBC |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Roger L. Goodwin |
Linearizing Computing the Power Set with OpenMP. |
IPDPS Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
21 | M. A. H. Pramanik, Tushar Kanti Roy, M. S. Anower, S. K. Ghosh, Md. Apel Mahmud |
Partial Feedback Linearizing Backstepping Excitation Controller for a Synchronous Generator in a Simple Power System to Improve the Transient Stability. |
IAS |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Bingsheng He, Feng Ma, Xiaoming Yuan 0001 |
Optimally linearizing the alternating direction method of multipliers for convex programming. |
Comput. Optim. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Buyang Li, Yuki Ueda, Guanyu Zhou |
A Second-Order Stabilization Method for Linearizing and Decoupling Nonlinear Parabolic Systems. |
SIAM J. Numer. Anal. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Nandapurkar Kishor Bhaskarrao, Chandrika Sreekantan Anoop, Pranab Kumar Dutta |
An Improved Linearizing Digital Interface for Shaft Angle Sensors with Sine-Cosine Characteristic. |
IEEE Trans. Instrum. Meas. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Jieyu Li, Jayaram K. Udupa, Yubing Tong, Lisheng Wang, Drew A. Torigian |
LinSEM: Linearizing segmentation evaluation metrics for medical images. |
Medical Image Anal. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Immo Huismann, Jörg Stiller, Jochen Fröhlich |
Linearizing the hybridizable discontinuous Galerkin method: A linearly scaling operator. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Fernando Castañeda, Mathias Wulfman, Ayush Agrawal, Tyler Westenbroek, S. Shankar Sastry, Claire J. Tomlin, Koushil Sreenath |
Improving Input-Output Linearizing Controllers for Bipedal Robots via Reinforcement Learning. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | J. Robin B. Cockett, Jean-Simon Pacaud Lemay |
Linearizing Combinators. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Neda Sarrafan, Khoshnam Shojaei |
High-Gain Observer-Based Neural Adaptive Feedback Linearizing Control of a Team of Wheeled Mobile Robots. |
Robotica |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Jeng-Tze Huang, Yu-Cheung Law |
Adaptive Linearizing Fuzzy Control of Delayed MIMO Nonstrict-Feedback Systems. |
IEEE Trans. Fuzzy Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Md Shakil Akter, Rohan Sehgal, Klaas Bult |
A Resistive Degeneration Technique for Linearizing Open-Loop Amplifiers. |
IEEE Trans. Circuits Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Yanqing Li, Yuan Zhou, Yun Chiu |
A Compact Calibration Model for Linearizing CMOS Sample-and-Hold Circuits. |
IEEE Trans. Circuits Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Tushar Kanti Roy, Md. Apel Mahmud, Weixiang Shen, Amanullah Maung Than Oo |
An Adaptive Partial Feedback Linearizing Control Scheme: An Application to a Single Machine Infinite Bus System. |
IEEE Trans. Circuits Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Adeel Akhtar, Sajid Saleem, Steven L. Waslander |
Feedback Linearizing Controllers on SO(3) using a Global Parametrization. |
ACC |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Tom Davot, Annie Chateau, Rodolphe Giroudeau, Mathias Weller |
Linearizing Genomes: Exact Methods and Local Search. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Fernando Castañeda, Mathias Wulfman, Ayush Agrawal, Tyler Westenbroek, Shankar Sastry 0001, Claire J. Tomlin, Koushil Sreenath |
Improving Input-Output Linearizing Controllers for Bipedal Robots via Reinforcement Learning. |
L4DC |
2020 |
DBLP BibTeX RDF |
|
21 | Mehdi Toloo, Madjid Tavana, Francisco J. Santos-Arteaga |
An integrated data envelopment analysis and mixed integer non-linear programming model for linearizing the common set of weights. |
Central Eur. J. Oper. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Oscar Karnalim |
IR-based technique for linearizing abstract method invocation in plagiarism-suspected source code pair. |
J. King Saud Univ. Comput. Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander V. Pesterev |
Estimation of the Attraction Domain for an Affine System with Constrained Vector Control Closed by the Linearizing Feedback. |
Autom. Remote. Control. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Khoshnam Shojaei, Ali Kazemy |
Adaptive Neural Feedback Linearizing Control of Type (m, s) Mobile Manipulators with a Guaranteed Prescribed Performance. |
Robotica |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Han Le Duc, Bruno Feuvrie, Matthieu Pastore, Yide Wang |
An Adaptive Cascaded ILA- and DLA-Based Digital Predistorter for Linearizing an RF Power Amplifier. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Han Le Duc, Minh Hong Nguyen, Van-Phuc Hoang, Hien M. Nguyen, Duc Minh Nguyen |
Linearizing RF Power Amplifiers Using Adaptive RPEM Algorithm. |
INISCOM |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Aline Aguiar da Franca, Dirk Abel |
Multivariable DMC based on a Wiener Model with Linearizing Pre-Compensation for Lift-Force Control of Interacting Airfoils *. |
AIM |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Jordan Boehm, Eric Berkenpas, Charles Shepard, Derek A. Paley |
Feedback-Linearizing Control for Velocity and Attitude Tracking of an ROV with Thruster Dynamics Containing Input Dead Zones. |
ACC |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Nandapurkar Kishor Bhaskarrao, Chandrika Sreekantan Anoop, Pranab Kumar Dutta |
A Linearizing Analog Front-End for Sine-Cosine Shaft Encoder. |
TENCON |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Sagnik Dutta, Tapabrata Sen, Chandrika Sreekantan Anoop |
Study and Noise Analysis of a Linearizing Front-End Circuit for GMR Sensors. |
TENCON |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Josep M. Olm, Enric Fossas, Victor Repecho, Arnau Dòria-Cerezo, Robert Griñó |
Feedback linearizing control of a magnetically coupled multiport dc-dc converter for automotive applications. |
IECON |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Tian-Bo Deng |
Simplified Phase-Equalization System Design via Linearizing Nonlinear Design Constraints. |
KST |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Julio Cesar Ortiz-Cornejo, Jorge A. Pardiñas-Mir |
Characterization of the Bias Current Behavior in a SOA for Linearizing Amplification in a CO-OFDM System. |
ICETE (1) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Konrad Schrempf |
Linearizing the word problem in (some) free fields. |
Int. J. Algebra Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | T. F. Orchi, Tushar Kanti Roy, Md. Apel Mahmud, Amanullah Maung Than Oo |
Feedback Linearizing Model Predictive Excitation Controller Design for Multimachine Power Systems. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Nandapurkar Kishor Bhaskarrao, Anoop Chandrika Sreekantan, Pranab Kumar Dutta |
Analysis of a Linearizing Direct Digitizer With Phase-Error Compensation for TMR Angular Position Sensor. |
IEEE Trans. Instrum. Meas. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Meziane Salima, Atarsia Loubna, Toufouti Riad |
A Global Stability of Linearizing Control of Induction Motor for PV Water Pumping Application. |
Int. J. Syst. Dyn. Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Sagel, Hao Shen 0002 |
Linearizing Visual Processes with Convolutional Variational Autoencoders. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
21 | Tolgay Kara, Ilyas Eker |
Adaptive approximate input-output linearizing control with applications to ball and beam mechanism. |
Trans. Inst. Meas. Control |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Juan Carlos Cambera, Vicente Feliú Batlle |
Feedback Linearizing Controller for a Single Link Flexible Arm with a Passive Gravity Compensation Mechanism. |
IROS |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Luis Gerardo de la Fraga, Esteban Tlelo-Cuautle |
Linearizing the Transconductance of an OTA Through the Optimal Sizing by Applying NSGA-II. |
SMACD |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Sriram Ravindran |
Linearizing Convolutional Neural Network improves P300 detection. |
|
2018 |
RDF |
|
21 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
Linearizing Discrete-Time Hybrid Systems. |
IEEE Trans. Autom. Control. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Hao-Chun Lu |
Improved logarithmic linearizing method for optimization problems with free-sign pure discrete signomial terms. |
J. Glob. Optim. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Gwanghyeon Jeong, Seunghoon Kang, Taehwan Joo, Songcheol Hong |
An Integrated Dual-Mode CMOS Power Amplifier With Linearizing Body Network. |
IEEE Trans. Circuits Syst. II Express Briefs |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sveinung Johan Ohrem, Torstein Thode Kristoffersen, Christian Holden |
Adaptive feedback linearizing control of a gas liquid cylindrical cyclone. |
CCTA |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Nandapurkar Kishor Bhaskarrao, Anoop Chandrika Sreekantan, Pranab Kumar Dutta |
A linearizing interface circuit with phase-error compensated direct-digital output for TMR-based angular position sensor. |
I2MTC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Andrey Ivanov 0001, Dmitry Lakontsev |
Adaptable look-up tables for linearizing high power amplifiers. |
ICFSP |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Fumiya Tsukui, Shiro Masuda |
Non-iterative data-driven controller parameters tuning of feedback linearizing controller. |
ASCC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Andres Macana, S. M. Mohiuddin, Hemanshu Roy Pota, Md. Apel Mahmud |
Online energy management strategy for islanded microgrids with feedback linearizing inner controllers. |
ISGT Asia |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Gregoire Nieto, Frederic Devernay, James L. Crowley |
Linearizing the Plenoptic Space. |
CVPR Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Oussama Boutalbi, Khier Benmahammed, Mabrouk Boubezoula |
Robust feedback linearizing controller design for an overhead crane system. |
ICSC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alexander N. Lozhkin, Kazuo Nagatani, Yasuyuki Oishi |
Linearizing High Power Amplifiers through Radio over Fiber Links. |
IEICE Trans. Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Xiaowen Feng, Yide Wang, Bruno Feuvrie, Anne-Sophie Descamps, Yuehua Ding, Zhiwen Yu 0002 |
Analysis on LUT based digital predistortion using direct learning architecture for linearizing power amplifiers. |
EURASIP J. Wirel. Commun. Netw. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Yann N. Dauphin, David Grangier |
Predicting distributions with Linearizing Belief Networks. |
ICLR (Poster) |
2016 |
DBLP BibTeX RDF |
|
21 | Florin Stînga, Emil Petre |
Predictive And Feedback Linearizing Control Of Chlamydomonas ReinhardTII Photoautotrophic Growth Process. |
ECMS |
2016 |
DBLP DOI BibTeX RDF |
|
21 | François Chan, Yiu Tong Chan, Robert J. Inkol |
Path loss exponent estimation and RSS localization using the linearizing variable constraint. |
MILCOM |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Seok-Kyoon Kim, Kyo-Beum Lee |
Robust Feedback-Linearizing Output Voltage Regulator for DC/DC Boost Converter. |
IEEE Trans. Ind. Electron. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Gerasimos G. Rigatos, Guilherme V. Raffo |
Input-Output Linearizing Control of the Underactuated Hovercraft Using the Derivative-Free Nonlinear Kalman Filter. |
Unmanned Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Xin Yang, Tsuyoshi Sugiura, Norihisa Otani, Tadamasa Murakami, Eiichiro Otobe, Toshihiko Yoshimasu |
A 5-GHz Band WLAN SiGe HBT Power Amplifier IC with Novel Adaptive-Linearizing CMOS Bias Circuit. |
IEICE Trans. Electron. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Abriola, Santiago Figueira, Gabriel Senno |
Linearizing well quasi-orders and bounding the length of bad sequences. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Stanislaw Szczepanski, Bogdan Pankiewicz, Slawomir Koziel, Marek Wójcikowski |
Multiple output differential OTA with linearizing bulk-driven active-error feedback loop for continuous-time filter applications. |
Int. J. Circuit Theory Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
21 | Leon Bobrowski, Magdalena Topczewska |
Linearizing layers of radial binary classifiers with movable centers. |
Pattern Anal. Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Proving correctness of imperative programs by linearizing constrained Horn clauses. |
Theory Pract. Log. Program. |
2015 |
DBLP DOI BibTeX RDF |
|