Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "high relative"
@article{DBLP:journals/na/MainarPR24, author = {Esmeralda Mainar and Juan Manuel Pe{\~{n}}a and Beatriz Rubio}, title = {High relative accuracy through Newton bases}, journal = {Numer. Algorithms}, volume = {95}, number = {2}, pages = {747--772}, year = {2024} }
@article{DBLP:journals/sensors/StolenFHCJCBAR24, author = {Ethan Stolen and Ryan Fullarton and Rain Hein and Robin L. Conner and Luiz G. Jacobsohn and Charles{-}Antoine Collins{-}Fekete and Sam Beddar and Ugur Akgun and Daniel Robertson}, title = {High-Density Glass Scintillators for Proton Radiography - Relative Luminosity, Proton Response, and Spatial Resolution}, journal = {Sensors}, volume = {24}, number = {7}, pages = {2137}, year = {2024} }
@article{DBLP:journals/tac/KatsoukisR24, author = {Ilias Katsoukis and George A. Rovithakis}, title = {Robust State Synchronization for High-Order Relative Degree Two {MIMO} Uncertain Nonlinear Multiagent Systems}, journal = {{IEEE} Trans. Autom. Control.}, volume = {69}, number = {5}, pages = {3054--3065}, year = {2024} }
@article{DBLP:journals/tie/ChenLD24, author = {Sijia Chen and Yuzhu Li and Wei Dong}, title = {High-Performance Relative Localization Based on Key-Node Seeking Considering Aerial Drags Using Range and Odometry Measurements}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {71}, number = {6}, pages = {6021--6031}, year = {2024} }
@article{DBLP:journals/tit/NemaS24, author = {Aditya Nema and Pranab Sen}, title = {High Probability Decoupling via Approximate Unitary Designs and Efficient Relative Thermalization}, journal = {{IEEE} Trans. Inf. Theory}, volume = {70}, number = {4}, pages = {2590--2616}, year = {2024} }
@article{DBLP:journals/tsmc/LiLHDC24, author = {Chang{-}Jiang Li and Guo{-}Ping Liu and Ping He and Feiqi Deng and Jiannong Cao}, title = {Consensus of Multiple High-Order Integrator Agents With Time-Varying Connectivity and Delays: Protocols Using Only Relative States}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {54}, number = {5}, pages = {2663--2675}, year = {2024} }
@article{DBLP:journals/corr/abs-2402-13756, author = {Luca Crupi and Alessandro Giusti and Daniele Palossi}, title = {High-throughput Visual Nano-drone to Nano-drone Relative Localization using Onboard Fully Convolutional Networks}, journal = {CoRR}, volume = {abs/2402.13756}, year = {2024} }
@article{DBLP:journals/automatica/BreedenP23, author = {Joseph Breeden and Dimitra Panagou}, title = {Robust Control Barrier Functions under high relative degree and input constraints for satellite trajectories}, journal = {Autom.}, volume = {155}, pages = {111109}, year = {2023} }
@article{DBLP:journals/cnsns/AbreuFL23, author = {Eduardo Abreu and Paola Ferraz and Wanderson Lambert}, title = {A study of non-equilibrium wave groups in two-phase flow in high-contrast porous media with relative permeability hysteresis}, journal = {Commun. Nonlinear Sci. Numer. Simul.}, volume = {127}, pages = {107552}, year = {2023} }
@article{DBLP:journals/imm/GhemariBS23, author = {Zine Ghemari and Salah Belkhiri and Salah Saad}, title = {Improvement of the Relative Sensitivity for Obtaining a High Performance Piezoelectric Sensor}, journal = {{IEEE} Instrum. Meas. Mag.}, volume = {26}, number = {4}, pages = {49--56}, year = {2023} }
@article{DBLP:journals/isci/HuangL23, author = {Jizhao Huang and Danfeng Luo}, title = {Relatively exact controllability for higher-order fractional stochastic delay differential equations}, journal = {Inf. Sci.}, volume = {648}, pages = {119631}, year = {2023} }
@article{DBLP:journals/jfi/LiuR23, author = {Chuyang Liu and Xiaoe Ruan}, title = {Markov parameters identification and adaptive iterative learning control for linear discrete-time {MIMO} systems with higher-order relative degree}, journal = {J. Frankl. Inst.}, volume = {360}, number = {2}, pages = {1226--1251}, year = {2023} }
@article{DBLP:journals/jifs/WuMZW23, author = {Chong Wu and Zengli Mao and Baoqiang Zhan and Yahui Wu}, title = {A quadratic fuzzy relative evaluation approach for the high-quality development of marine economy}, journal = {J. Intell. Fuzzy Syst.}, volume = {45}, number = {1}, pages = {809--830}, year = {2023} }
@article{DBLP:journals/jscic/DiazMR23, author = {P. D{\'{\i}}az and Esmeralda Mainar and Beatriz Rubio}, title = {Polynomial Total Positivity and High Relative Accuracy Through Schur Polynomials}, journal = {J. Sci. Comput.}, volume = {97}, number = {1}, pages = {10}, year = {2023} }
@article{DBLP:journals/na/LaudadioMD23, author = {Teresa Laudadio and Nicola Mastronardi and Paul Van Dooren}, title = {Computing Gaussian quadrature rules with high relative accuracy}, journal = {Numer. Algorithms}, volume = {92}, number = {1}, pages = {767--793}, year = {2023} }
@article{DBLP:journals/nla/DelgadoP23, author = {Jorge Delgado and Juan Manuel Pe{\~{n}}a}, title = {High relative accuracy with some special matrices related to {\(\Gamma\)} and {\(\beta\)} functions}, journal = {Numer. Linear Algebra Appl.}, volume = {30}, number = {5}, year = {2023} }
@article{DBLP:journals/remotesensing/LibertiSWC23, author = {Gian Luigi Liberti and Mattia Sabatini and David S. Wethey and Daniele Ciani}, title = {A Multi-Pixel Split-Window Approach to Sea Surface Temperature Retrieval from Thermal Imagers with Relatively High Radiometric Noise: Preliminary Studies}, journal = {Remote. Sens.}, volume = {15}, number = {9}, pages = {2453}, year = {2023} }
@article{DBLP:journals/sensors/ShangSHZ23, author = {Zhaojiang Shang and Liejun Shen and Jianyong Huang and Huibin Zhang}, title = {A High-Temperature Superconducting Bandpass Dual-Mode Filter with Tunable Relative Bandwidth and Center Frequency}, journal = {Sensors}, volume = {23}, number = {3}, pages = {1079}, year = {2023} }
@article{DBLP:journals/sensors/ZhuZGX23, author = {Haipeng Zhu and Zhiwei Zhang and Chao Gu and Xuefei Xuan}, title = {A High-Relative-Bandwidth Doherty Power Amplifier with Modified Load Modulation Network for Wireless Communications}, journal = {Sensors}, volume = {23}, number = {5}, pages = {2767}, year = {2023} }
@article{DBLP:journals/tac/KogaK23, author = {Shumon Koga and Miroslav Krstic}, title = {Safe {PDE} Backstepping {QP} Control With High Relative Degree CBFs: Stefan Model With Actuator Dynamics}, journal = {{IEEE} Trans. Autom. Control.}, volume = {68}, number = {12}, pages = {7195--7208}, year = {2023} }
@article{DBLP:journals/tac/UsevitchP23, author = {James Usevitch and Dimitra Panagou}, title = {Adversarial Resilience for Sampled-Data Systems Under High-Relative-Degree Safety Constraints}, journal = {{IEEE} Trans. Autom. Control.}, volume = {68}, number = {3}, pages = {1537--1552}, year = {2023} }
@inproceedings{DBLP:conf/mmsports/YuWLYLWCZWX23, author = {Jun Yu and Leilei Wang and Renjie Lu and Shuoping Yang and Renda Li and Lei Wang and Minchuan Chen and Qingying Zhu and Shaojun Wang and Jing Xiao}, title = {Relative Boundary Modeling: {A} High-Resolution Cricket Bowl Release Detection Framework with {I3D} Features}, booktitle = {MMSports@MM}, pages = {151--159}, publisher = {{ACM}}, year = {2023} }
@article{DBLP:journals/corr/abs-2302-08011, author = {Dominic Maggio and Courtney Mario and Brett Streetman and Ted J. Steiner and Luca Carlone}, title = {Vision-Based Terrain Relative Navigation on High-Altitude Balloon and Sub-Orbital Rocket}, journal = {CoRR}, volume = {abs/2302.08011}, year = {2023} }
@article{DBLP:journals/corr/abs-2309-08813, author = {Kaier Liang and Mingyu Cai and Cristian{-}Ioan Vasile}, title = {Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: {A} Reference Governor Approach}, journal = {CoRR}, volume = {abs/2309.08813}, year = {2023} }
@article{DBLP:journals/corr/abs-2309-16945, author = {Vrushabh Zinage and Rohan Chandra and Efstathios Bakolas}, title = {Disturbance Observer-based Robust Integral Control Barrier Functions for Nonlinear Systems with High Relative Degree}, journal = {CoRR}, volume = {abs/2309.16945}, year = {2023} }
@article{DBLP:journals/amc/MatejasH22, author = {Josip Matejas and Vjeran Hari}, title = {The high relative accuracy of the {HZ} method}, journal = {Appl. Math. Comput.}, volume = {433}, pages = {127358}, year = {2022} }
@article{DBLP:journals/gandc/BattagliaPF22, author = {Maurizio Battaglia and Antonina Calahorrano{-}Di Patre and Ashton F. Flinders}, title = {gTOOLS, an open-source {MATLAB} program for processing high precision, relative gravity data for time-lapse gravity monitoring}, journal = {Comput. Geosci.}, volume = {160}, pages = {105028}, year = {2022} }
@article{DBLP:journals/isafm/LiTO22, author = {Shengnan Li and Edward P. K. Tsang and John O'Hara}, title = {Measuring relative volatility in high-frequency data under the directional change approach}, journal = {Intell. Syst. Account. Finance Manag.}, volume = {29}, number = {2}, pages = {86--102}, year = {2022} }
@article{DBLP:journals/jcam/Yang22, author = {Zhao Yang}, title = {Computing eigenvalues of quasi-generalized Vandermonde matrices to high relative accuracy}, journal = {J. Comput. Appl. Math.}, volume = {406}, pages = {114042}, year = {2022} }
@article{DBLP:journals/jfi/CeciliaC22, author = {Andreu Cecilia and Ramon Costa{-}Castell{\'{o}}}, title = {Addressing the relative degree restriction in nonlinear adaptive observers: {A} high-gain observer approach}, journal = {J. Frankl. Inst.}, volume = {359}, number = {8}, pages = {3857--3882}, year = {2022} }
@article{DBLP:journals/nla/YangM22, author = {Zhao Yang and Xiao{-}Xiao Ma}, title = {Computing eigenvalues of quasi-rational Bernstein-Vandermonde matrices to high relative accuracy}, journal = {Numer. Linear Algebra Appl.}, volume = {29}, number = {3}, year = {2022} }
@article{DBLP:journals/nm/LafontaineSW22, author = {David Lafontaine and Euan A. Spence and Jared Wunsch}, title = {A sharp relative-error bound for the Helmholtz h-FEM at high frequency}, journal = {Numerische Mathematik}, volume = {150}, number = {1}, pages = {137--178}, year = {2022} }
@article{DBLP:journals/remotesensing/LiDWWZ22, author = {Qingsong Li and Yi Dong and Dingjie Wang and Jie Wu and Liang Zhang}, title = {Real-Time Precise {DGNSS/INS} Integrated Relative Positioning with High Output Rate and Low Broadcast Rate for Kinematic-to-Kinematic Applications}, journal = {Remote. Sens.}, volume = {14}, number = {9}, pages = {2053}, year = {2022} }
@article{DBLP:journals/sensors/GanLLL22, author = {Yu Gan and Guangmin Li and Guodong Liu and Binghui Lu}, title = {High-Accuracy Relative Pose Measurement of Noncooperative Objects Based on Double-Constrained Intersurface Mutual Projections}, journal = {Sensors}, volume = {22}, number = {23}, pages = {9029}, year = {2022} }
@article{DBLP:journals/sensors/YeoL22, author = {Junho Yeo and Jong{-}Ig Lee}, title = {High-Sensitivity Slot-Loaded Microstrip Patch Antenna for Sensing Microliter-Volume Liquid Chemicals with High Relative Permittivity and High Loss Tangent}, journal = {Sensors}, volume = {22}, number = {24}, pages = {9748}, year = {2022} }
@article{DBLP:journals/tgrs/LiZJS22, author = {Litao Li and Guo Zhang and Yonghua Jiang and Xin Shen}, title = {An Improved On-Orbit Relative Radiometric Calibration Method for Agile High-Resolution Optical Remote-Sensing Satellites With Sensor Geometric Distortion}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {60}, pages = {1--15}, year = {2022} }
@article{DBLP:journals/tgrs/LiZZ22b, author = {Weike Li and Bin Zou and Lamei Zhang}, title = {A Robust Man-Made Target Detection Method Based on Relative Spectral Stationarity for High-Resolution {SAR} Images}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {60}, pages = {1--20}, year = {2022} }
@article{DBLP:journals/tgrs/XuGWTQJW22, author = {Wenhao Xu and Jinghuai Gao and Lingling Wang and Yajun Tian and Jianfeng Qiu and Xiudi Jiang and Daxing Wang}, title = {Compact Smoothness and Relative Sparsity Algorithm for High-Resolution Wavelet and Reflectivity Inversion of Seismic Data}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {60}, pages = {1--11}, year = {2022} }
@article{DBLP:journals/tim/YuGZNZ22, author = {Changgui Yu and Huaping Gong and Zhaoxu Zhang and Kai Ni and Chunliu Zhao}, title = {Temperature-Compensated High-Sensitivity Relative Humidity Sensor Based on Band-Pass Filtering and Vernier Effect}, journal = {{IEEE} Trans. Instrum. Meas.}, volume = {71}, pages = {1--8}, year = {2022} }
@inproceedings{DBLP:conf/amcc/KogaK22, author = {Shumon Koga and Miroslav Krstic}, title = {Safe {PDE} Backstepping {QP} Control with High Relative Degree CBFs: Stefan Model with Actuator Dynamics}, booktitle = {{ACC}}, pages = {2033--2038}, publisher = {{IEEE}}, year = {2022} }
@inproceedings{DBLP:conf/xsede/Smith22, author = {Preston M. Smith}, title = {Measuring the Relative Outputs of Computational Researchers in Higher Education}, booktitle = {{PEARC}}, pages = {21:1--21:7}, publisher = {{ACM}}, year = {2022} }
@article{DBLP:journals/corr/abs-2204-04376, author = {Ziliang Lyu and Xiangru Xu and Yiguang Hong}, title = {Small-Gain Theorem for Safety Verification under High-Relative-Degree Constraints}, journal = {CoRR}, volume = {abs/2204.04376}, year = {2022} }
@article{DBLP:journals/access/SunWR21, author = {Yu{-}Xiang Sun and Di Wu and Jian Ren}, title = {Millimeter-Wave Dual-Polarized Dielectric Resonator Reflectarray Fabricated by 3D Printing With High Relative Permittivity Material}, journal = {{IEEE} Access}, volume = {9}, pages = {103795--103803}, year = {2021} }
@article{DBLP:journals/access/YuFZLLZZ21, author = {Xiao Yu and Junfu Fan and Mengzhen Zhang and Qingyun Liu and Yi Li and Dafu Zhang and Yuke Zhou}, title = {Relative Radiation Correction Based on CycleGAN for Visual Perception Improvement in High-Resolution Remote Sensing Images}, journal = {{IEEE} Access}, volume = {9}, pages = {106627--106640}, year = {2021} }
@article{DBLP:journals/ijgi/YuHJA21, author = {Tengfei Yu and He Huang and Nana Jiang and Tri Dev Acharya}, title = {Study on Relative Accuracy and Verification Method of High-Definition Maps for Autonomous Driving}, journal = {{ISPRS} Int. J. Geo Inf.}, volume = {10}, number = {11}, pages = {761}, year = {2021} }
@article{DBLP:journals/ijkbo/Kaler21, author = {Anshuman Kaler}, title = {Measuring Relative Effectiveness of Service Quality Factors Affecting Quality of Higher Education in India}, journal = {Int. J. Knowl. Based Organ.}, volume = {11}, number = {2}, pages = {30--46}, year = {2021} }
@article{DBLP:journals/jifs/YinYWJ21, author = {Tingting Yin and Zhong Yang and Youlong Wu and Fangxiu Jia}, title = {High-precision roll attitude estimation of decoupled canards relative to the projectile body using bipolar hall-effect sensors}, journal = {J. Intell. Fuzzy Syst.}, volume = {41}, number = {3}, pages = {4577--4585}, year = {2021} }
@article{DBLP:journals/nla/DelgadoOP21, author = {Jorge Delgado and H{\'{e}}ctor Orera and Juan Manuel Pe{\~{n}}a}, title = {High relative accuracy with matrices of q-integers}, journal = {Numer. Linear Algebra Appl.}, volume = {28}, number = {5}, year = {2021} }
@article{DBLP:journals/remotesensing/AnzideiSSBTVSSM21, author = {Marco Anzidei and Giovanni Scicchitano and Giovanni Scardino and Christian Bignami and Cristiano Tolomei and Antonio Vecchio and Enrico Serpelloni and Vincenzo De Santis and Carmelo Monaco and Maurilio Milella and Arcangelo Piscitelli and Giuseppe Mastronuzzi}, title = {Relative Sea-Level Rise Scenario for 2100 along the Coast of South Eastern Sicily (Italy) by InSAR Data, Satellite Images and High-Resolution Topography}, journal = {Remote. Sens.}, volume = {13}, number = {6}, pages = {1108}, year = {2021} }
@article{DBLP:journals/sensors/GroganMSAN21, author = {Catherine Grogan and Faolan Radford McGovern and Rory Staines and George Amarandei and Izabela Naydenova}, title = {Cantilever-Based Sensor Utilizing a Diffractive Optical Element with High Sensitivity to Relative Humidity}, journal = {Sensors}, volume = {21}, number = {5}, pages = {1673}, year = {2021} }
@inproceedings{DBLP:conf/aiam/WangCS21, author = {Chen Wang and Xianglin Cheng and Shichang Sun}, title = {Preparation of polyacrylamide with high relative molecular weight based on miniemulsion polymerization}, booktitle = {{AIAM} {(ACM)}}, pages = {3127--3131}, publisher = {{ACM}}, year = {2021} }
@inproceedings{DBLP:conf/bigdataconf/KiranPLFTR21, author = {R. Uday Kiran and Pradeep Pallikila and Jos{\'{e}} Mar{\'{\i}}a Luna and Philippe Fournier{-}Viger and Masashi Toyoda and P. Krishna Reddy}, title = {Discovering Relative High Utility Itemsets in Very Large Transactional Databases Using Null-Invariant Measure}, booktitle = {{IEEE} BigData}, pages = {252--262}, publisher = {{IEEE}}, year = {2021} }
@inproceedings{DBLP:conf/cdc/BreedenP21, author = {Joseph Breeden and Dimitra Panagou}, title = {High Relative Degree Control Barrier Functions Under Input Constraints}, booktitle = {{CDC}}, pages = {6119--6124}, publisher = {{IEEE}}, year = {2021} }
@inproceedings{DBLP:conf/eucc/WangMLS021, author = {Chuanzheng Wang and Yiming Meng and Yinan Li and Stephen L. Smith and Jun Liu}, title = {Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control}, booktitle = {{ECC}}, pages = {1459--1464}, publisher = {{IEEE}}, year = {2021} }
@inproceedings{DBLP:conf/humanoids/EnglsbergerGHSL21, author = {Johannes Englsberger and Alessandro M. Giordano and Achraf Hiddane and Robert Schuller and Florian Loeffl and George Mesesan and Christian Ott}, title = {From Space to Earth - Relative-CoM-to-Foot {(RCF)} control yields high contact robustness}, booktitle = {{HUMANOIDS}}, pages = {170--177}, publisher = {{IEEE}}, year = {2021} }
@inproceedings{DBLP:conf/iccad/ZuoLTHS21, author = {Fangda Zuo and Mengchu Li and Tsun{-}Ming Tseng and Tsung{-}Yi Ho and Ulf Schlichtmann}, title = {Relative-Scheduling-Based High-Level Synthesis for Flow-Based Microfluidic Biochips}, booktitle = {{ICCAD}}, pages = {1--9}, publisher = {{IEEE}}, year = {2021} }
@article{DBLP:journals/corr/abs-2106-10345, author = {Joseph Breeden and Dimitra Panagou}, title = {High Relative Degree Control Barrier Functions Under Input Constraints}, journal = {CoRR}, volume = {abs/2106.10345}, year = {2021} }
@article{DBLP:journals/corr/abs-2107-04094, author = {Joseph Breeden and Dimitra Panagou}, title = {Robust Control Barrier Functions under High Relative Degree and Input Constraints for Satellite Trajectories}, journal = {CoRR}, volume = {abs/2107.04094}, year = {2021} }
@article{DBLP:journals/corr/abs-2109-04569, author = {Mitsuki Yoshida and Ryogo Yamamoto and Kanji Tanaka}, title = {{S3G-ARM:} Highly Compressive Visual Self-localization from Sequential Semantic Scene Graph Using Absolute and Relative Measurements}, journal = {CoRR}, volume = {abs/2109.04569}, year = {2021} }
@article{DBLP:journals/corr/abs-2111-01187, author = {Shumon Koga and Miroslav Krstic}, title = {Safe {PDE} Backstepping {QP} Control with High Relative Degree CBFs: Stefan Model with Actuator Dynamics}, journal = {CoRR}, volume = {abs/2111.01187}, year = {2021} }
@article{DBLP:journals/anor/AnMXWC20, author = {Qingxian An and Fanyong Meng and Beibei Xiong and Zongrun Wang and Xiaohong Chen}, title = {Assessing the relative efficiency of Chinese high-tech industries: a dynamic network data envelopment analysis approach}, journal = {Ann. Oper. Res.}, volume = {290}, number = {1}, pages = {707--729}, year = {2020} }
@article{DBLP:journals/kbs/ShenC20, author = {Zixin Shen and Argon Chen}, title = {Comprehensive relative importance analysis and its applications to high dimensional gene expression data analysis}, journal = {Knowl. Based Syst.}, volume = {203}, pages = {106120}, year = {2020} }
@article{DBLP:journals/moc/Huang20, author = {Rong Huang}, title = {A qd-type method for computing generalized singular values of {BF} matrix pairs with sign regularity to high relative accuracy}, journal = {Math. Comput.}, volume = {89}, number = {321}, pages = {229--252}, year = {2020} }
@article{DBLP:journals/monet/PatraHVCCMZ20, author = {Subhadeep Patra and David Van Hamme and Peter Veelaert and Carlos T. Calafate and Juan{-}Carlos Cano and Pietro Manzoni and Willian Zamora}, title = {Detecting Vehicles' Relative Position on Two-Lane Highways Through a Smartphone-Based Video Overtaking Aid Application}, journal = {Mob. Networks Appl.}, volume = {25}, number = {3}, pages = {1084--1094}, year = {2020} }
@article{DBLP:journals/neuroimage/ChauvinKWVGDWT20, author = {Laurent Chauvin and Kuldeep Kumar and Christian Wachinger and Mark G. Vangel and Jacques A. de Guise and Christian Desrosiers and William M. Wells III and Matthew Toews}, title = {Neuroimage signature from salient keypoints is highly specific to individuals and shared by close relatives}, journal = {NeuroImage}, volume = {204}, year = {2020} }
@article{DBLP:journals/remotesensing/KrietemeyerMGV20, author = {Andreas Krietemeyer and Hans van der Marel and Nick van de Giesen and Marie{-}claire ten Veldhuis}, title = {High Quality Zenith Tropospheric Delay Estimation Using a Low-Cost Dual-Frequency Receiver and Relative Antenna Calibration}, journal = {Remote. Sens.}, volume = {12}, number = {9}, pages = {1393}, year = {2020} }
@article{DBLP:journals/sensors/WangGJMKSWW20, author = {Xiaoliang Wang and Deren Gong and Yifei Jiang and Qiankun Mo and Zeyu Kang and Qiang Shen and Shufan Wu and Dengfeng Wang}, title = {A Submillimeter-Level Relative Navigation Technology for Spacecraft Formation Flying in Highly Elliptical Orbit}, journal = {Sensors}, volume = {20}, number = {22}, pages = {6524}, year = {2020} }
@article{DBLP:journals/tac/DiblikM20, author = {Josef Dibl{\'{\i}}k and Krist{\'{y}}na Menc{\'{a}}kov{\'{a}}}, title = {A Note on Relative Controllability of Higher Order Linear Delayed Discrete Systems}, journal = {{IEEE} Trans. Autom. Control.}, volume = {65}, number = {12}, pages = {5472--5479}, year = {2020} }
@inproceedings{DBLP:conf/automation/Adamiak20, author = {Katarzyna Adamiak}, title = {Model Reference {QSM} Control Strategy for Higher Relative Degree Outputs}, booktitle = {{AUTOMATION}}, series = {Advances in Intelligent Systems and Computing}, volume = {1140}, pages = {3--13}, publisher = {Springer}, year = {2020} }
@inproceedings{DBLP:conf/cdc/BreedenP20, author = {Joseph Breeden and Dimitra Panagou}, title = {Quadratic Programs for High Relative Degree Spatial Constraints and Spatiotemporal Specifications with Spacecraft Applications}, booktitle = {{CDC}}, pages = {1496--1502}, publisher = {{IEEE}}, year = {2020} }
@inproceedings{DBLP:conf/icassp/GohainJ20, author = {Prakash B. Gohain and Magnus Jansson}, title = {Relative Cost Based Model Selection for Sparse High-Dimensional Linear Regression Models}, booktitle = {{ICASSP}}, pages = {5515--5519}, publisher = {{IEEE}}, year = {2020} }
@inproceedings{DBLP:conf/l4dc/KhojastehDFA20, author = {Mohammad Javad Khojasteh and Vikas Dhiman and Massimo Franceschetti and Nikolay Atanasov}, title = {Probabilistic Safety Constraints for Learned High Relative Degree System Dynamics}, booktitle = {{L4DC}}, series = {Proceedings of Machine Learning Research}, volume = {120}, pages = {781--792}, publisher = {{PMLR}}, year = {2020} }
@inproceedings{DBLP:conf/larc/CarvalhoSFP20, author = {Gustavo S. Carvalho and Felipe O. Silva and Rog{\'{e}}rio P. Menezes Filho and Victor Hugo L. Pereira}, title = {Performance Analysis of Code-based Relative {GPS} Positioning as Function of Baseline Separation**This work was supported by the Coordination for the Improvement of Higher Education Personnel (CAPES), under grant 88881.169927/2018-01, the Brazilian Agricultural Research Corporation (EMBRAPA), under grant 212-20/2018, the Minas Gerais Research Foundation (FAPEMIG), under grant CAG-APQ-01449-17, and the National Council for Scientific and Technological Development (CNPq), under grant 313160/2019-8 Development (CNPq), under grant 313160/2019-8}, booktitle = {{LARS/SBR/WRE}}, pages = {1--6}, publisher = {{IEEE}}, year = {2020} }
@inproceedings{DBLP:conf/taln/MichaudAGW20, author = {Alexis Michaud and Oliver Adams and Severine Guillaume and Guillaume Wisniewski}, title = {Analyse d'erreurs de transcriptions phon{\'{e}}miques automatiques d'une langue {\^{A}}{\guillemotleft} rare {\^{A}}{\guillemotright} : le na (mosuo) (Analyzing errors in automatic phonemic transcriptions of the Na (Mosuo) language (SinoTibetan family) Automatic phonemic transcription tools now reach high levels of accuracy on a single speaker with relatively small amounts of training data: on the order two to three hours of transcribed speech)}, booktitle = {{JEP-TALN-RECITAL} {(1)}}, pages = {451--462}, publisher = {{ATALA} et {AFCP}}, year = {2020} }
@article{DBLP:journals/corr/abs-2004-03856, author = {Meenakshi Sarkar and Debasish Ghose and Evangelos A. Theodorou}, title = {High-Relative Degree Stochastic Control Lyapunov and Barrier Functions}, journal = {CoRR}, volume = {abs/2004.03856}, year = {2020} }
@article{DBLP:journals/corr/abs-2011-10721, author = {Chuanzheng Wang and Yinan Li and Yiming Meng and Stephen L. Smith and Jun Liu}, title = {Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control}, journal = {CoRR}, volume = {abs/2011.10721}, year = {2020} }
@article{DBLP:journals/access/DaiLL19, author = {Chunhui Dai and Guibin Luo and Zhiqiang Long}, title = {Research on Decoupling Problem of Suspension Gap and Location of Relative Position Sensor in High Speed Maglev Train}, journal = {{IEEE} Access}, volume = {7}, pages = {29836--29844}, year = {2019} }
@article{DBLP:journals/access/ZhangWWHTMLFY19, author = {Naihan Zhang and Beilei Wu and Muguang Wang and Mengyao Han and Yu Tang and Hongqian Mu and Yan Liu and Guofang Fan and Fengping Yan}, title = {High-Sensitivity Sensing for Relative Humidity and Temperature Based on an Optoelectronic Oscillator Using a Polyvinyl Alcohol-Fiber Bragg Grating-Fabry Perot Filter}, journal = {{IEEE} Access}, volume = {7}, pages = {148756--148763}, year = {2019} }
@article{DBLP:journals/automatica/ChowdhuryK19, author = {Dhrubajit Chowdhury and Hassan K. Khalil}, title = {Funnel control for nonlinear systems with arbitrary relative degree using high-gain observers}, journal = {Autom.}, volume = {105}, pages = {107--116}, year = {2019} }
@article{DBLP:journals/cluster/HeLS19, author = {Hao He and Xiuguo Liu and Yonglin Shen}, title = {Relative radiometric correction of high-resolution remote sensing images based on feature category}, journal = {Clust. Comput.}, volume = {22}, number = {Supplement}, pages = {7933--7941}, year = {2019} }
@article{DBLP:journals/iandc/KouzapasPY19, author = {Dimitrios Kouzapas and Jorge A. P{\'{e}}rez and Nobuko Yoshida}, title = {On the relative expressiveness of higher-order session processes}, journal = {Inf. Comput.}, volume = {268}, year = {2019} }
@article{DBLP:journals/jms/JahangiriS19, author = {Amir Jahangiri and Francisco Sepulveda}, title = {The Relative Contribution of High-Gamma Linguistic Processing Stages of Word Production, and Motor Imagery of Articulation in Class Separability of Covert Speech Tasks in {EEG} Data}, journal = {J. Medical Syst.}, volume = {43}, number = {2}, pages = {20:1--20:9}, year = {2019} }
@article{DBLP:journals/jms/JahangiriS19a, author = {Amir Jahangiri and Francisco Sepulveda}, title = {Correction to: The Relative Contribution of High-Gamma Linguistic Processing Stages of Word Production, and Motor Imagery of Articulation in Class Separability of Covert Speech Tasks in {EEG} Data}, journal = {J. Medical Syst.}, volume = {43}, number = {8}, pages = {237:1}, year = {2019} }
@article{DBLP:journals/mansci/AzmatBCI19, author = {Ghazala Azmat and Manuel Bagues and Antonio Cabrales and Nagore Iriberri}, title = {What You Don't Know...Can't Hurt You? {A} Natural Field Experiment on Relative Performance Feedback in Higher Education}, journal = {Manag. Sci.}, volume = {65}, number = {8}, pages = {3714--3736}, year = {2019} }
@article{DBLP:journals/sensors/WuLCZ19, author = {Qianqian Wu and Bilong Liu and Ning Cui and Sifang Zhao}, title = {Tracking Control of a Maglev Vibration Isolation System Based on a High-Precision Relative Position and Attitude Model}, journal = {Sensors}, volume = {19}, number = {15}, pages = {3375}, year = {2019} }
@article{DBLP:journals/sensors/YeoL19a, author = {Junho Yeo and Jong{-}Ig Lee}, title = {Meander-Line Slot-Loaded High-Sensitivity Microstrip Patch Sensor Antenna for Relative Permittivity Measurement}, journal = {Sensors}, volume = {19}, number = {21}, pages = {4660}, year = {2019} }
@inproceedings{DBLP:conf/cdc/XiaoB19, author = {Wei Xiao and Calin Belta}, title = {Control Barrier Functions for Systems with High Relative Degree}, booktitle = {{CDC}}, pages = {474--479}, publisher = {{IEEE}}, year = {2019} }
@inproceedings{DBLP:conf/mobisys/LeeP19, author = {Soyeon Lee and Sangjoon Park}, title = {High Precision Relative Positioning on a Mobile}, booktitle = {MobiSys}, pages = {616--617}, publisher = {{ACM}}, year = {2019} }
@article{DBLP:journals/corr/abs-1903-04706, author = {Wei Xiao and Calin Belta}, title = {Control Barrier Functions for Systems with High Relative Degree}, journal = {CoRR}, volume = {abs/1903.04706}, year = {2019} }
@article{DBLP:journals/corr/abs-1911-11093, author = {David Lafontaine and Euan A. Spence and Jared Wunsch}, title = {A sharp relative-error bound for the Helmholtz h-FEM at high frequency}, journal = {CoRR}, volume = {abs/1911.11093}, year = {2019} }
@article{DBLP:journals/corr/abs-1912-10116, author = {Mohammad Javad Khojasteh and Vikas Dhiman and Massimo Franceschetti and Nikolay Atanasov}, title = {Probabilistic Safety Constraints for Learned High Relative Degree System Dynamics}, journal = {CoRR}, volume = {abs/1912.10116}, year = {2019} }
@article{DBLP:journals/af/Virgilio18, author = {Gianluca Piero Maria Virgilio}, title = {Absolute vs. relative speed in high-frequency trading}, journal = {Algorithmic Finance}, volume = {7}, number = {3-4}, pages = {71--86}, year = {2018} }
@article{DBLP:journals/jscic/Huang18, author = {Rong Huang}, title = {A Periodic qd-Type Reduction for Computing Eigenvalues of Structured Matrix Products to High Relative Accuracy}, journal = {J. Sci. Comput.}, volume = {75}, number = {3}, pages = {1229--1261}, year = {2018} }
@article{DBLP:journals/pacmpl/0001ST18, author = {Hiroshi Unno and Yuki Satake and Tachio Terauchi}, title = {Relatively complete refinement type system for verification of higher-order non-deterministic programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {12:1--12:29}, year = {2018} }
@article{DBLP:journals/remotesensing/WangCPZC18, author = {Mi Wang and Chaochao Chen and Jun Pan and Ying Zhu and Xueli Chang}, title = {A Relative Radiometric Calibration Method Based on the Histogram of Side-Slither Data for High-Resolution Optical Satellite Imagery}, journal = {Remote. Sens.}, volume = {10}, number = {3}, pages = {381}, year = {2018} }
@article{DBLP:journals/tac/BartoszewiczL18, author = {Andrzej Bartoszewicz and Pawel Latosinski}, title = {Generalization of Gao's Reaching Law for Higher Relative Degree Sliding Variables}, journal = {{IEEE} Trans. Autom. Control.}, volume = {63}, number = {9}, pages = {3173--3179}, year = {2018} }
@article{DBLP:journals/tgrs/CuiK18, author = {Zhaoyu Cui and John P. Kerekes}, title = {Impact of Wavelength Shift in Relative Spectral Response at High Angles of Incidence in Landsat-8 Operational Land Imager and Future Landsat Design Concepts}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {56}, number = {10}, pages = {5873--5883}, year = {2018} }
@article{DBLP:journals/tits/LiuLDP18, author = {Liu Liu and Hongdong Li and Yuchao Dai and Quan Pan}, title = {Robust and Efficient Relative Pose With a Multi-Camera System for Autonomous Driving in Highly Dynamic Environments}, journal = {{IEEE} Trans. Intell. Transp. Syst.}, volume = {19}, number = {8}, pages = {2432--2444}, year = {2018} }
@inproceedings{DBLP:conf/ark/Condurache18, author = {Daniel Condurache}, title = {Higher-Order Relative Kinematics of Rigid Body Motions: {A} Dual Lie Algebra Approach}, booktitle = {{ARK}}, series = {Springer Proceedings in Advanced Robotics}, volume = {8}, pages = {83--91}, publisher = {Springer}, year = {2018} }
@inproceedings{DBLP:conf/birthday/BoyarFL18, author = {Joan Boyar and Lene M. Favrholdt and Kim S. Larsen}, title = {Relative Worst-Order Analysis: {A} Survey}, booktitle = {Adventures Between Lower Bounds and Higher Altitudes}, series = {Lecture Notes in Computer Science}, volume = {11011}, pages = {216--230}, publisher = {Springer}, year = {2018} }
@inproceedings{DBLP:conf/eucnc/SykoraH18, author = {Jan Sykora and Petr Hron}, title = {Achievable Rates for {HDF} {WPNC} Strategy with Hierarchical Bit-Wise Network Coding Maps for Higher-Order Constellations in {H-MAC} Channel with Relative Fading}, booktitle = {EuCNC}, pages = {11--15}, publisher = {{IEEE}}, year = {2018} }
@inproceedings{DBLP:conf/icc/LiuS18, author = {Yuanpeng Liu and Yuan Shen}, title = {UAV-Aided High-Accuracy Relative Localization of Ground Vehicles}, booktitle = {{ICC}}, pages = {1--6}, publisher = {{IEEE}}, year = {2018} }
@inproceedings{DBLP:conf/ipps/Katagiri18, author = {Takahiro Katagiri}, title = {Auto-Tuning for the Era of Relatively High Bandwidth Memory Architectures: {A} Discussion Based on an {FDM} Application}, booktitle = {{IPDPS} Workshops}, pages = {1084--1092}, publisher = {{IEEE} Computer Society}, year = {2018} }
@inproceedings{DBLP:conf/sitis/StojkovicALPJP18, author = {Ana Stojkovic and Jan Aelterman and Hi{\^{e}}p Quang Luong and Hans Van Parys and Ljubomir Jovanov and Wilfried Philips}, title = {How Size and Relative Contrast Can Improve Specular Highlight Detection}, booktitle = {{SITIS}}, pages = {258--265}, publisher = {{IEEE}}, year = {2018} }
@inproceedings{DBLP:conf/vss/LatosinskiB18, author = {Pawel Latosinski and Andrzej Bartoszewicz}, title = {Reaching law based {DSMC} with higher relative degree sliding variables}, booktitle = {{VSS}}, pages = {366--371}, publisher = {{IEEE}}, year = {2018} }
@article{DBLP:journals/corr/abs-1802-01070, author = {Paniz Karbasi and Ritchie Cai and Blake Schultze and Hanh Nguyen and Jones Reed and Patrick Hall and Valentina Giacometti and Vladimir Bashkirov and Robert P. Johnson and Nicholas T. Karonis and Jeffrey Olafsen and Caesar E. Ordo{\~{n}}ez and Keith E. Schubert and Reinhard W. Schulte}, title = {A Highly Accelerated Parallel Multi-GPU based Reconstruction Algorithm for Generating Accurate Relative Stopping Powers}, journal = {CoRR}, volume = {abs/1802.01070}, year = {2018} }
@phdthesis{DBLP:phd/dnb/Ni17, author = {Zhixu Ni}, title = {Development of mass spectrometry-based methods and bioinformatics solutions for high-throughput identification and relative quantification of lipid peroxidation products}, school = {Leipzig University, Germany}, year = {2017} }
@article{DBLP:journals/ieiceee/YuW17, author = {Yong Yu and Xudong Wang}, title = {Characteristic analysis of relatively high speed, loosely coupled rotating excitation transformers in {HEV} and {EV} drive motor excitation systems}, journal = {{IEICE} Electron. Express}, volume = {14}, number = {4}, pages = {20161218}, year = {2017} }
@article{DBLP:journals/ijhis/AliPR17, author = {Imran Ali and Millie Pant and U. S. Rana}, title = {Relative performance assessment of academic departments of higher educational institute using {DEA} with sensitivity analysis}, journal = {Int. J. Hybrid Intell. Syst.}, volume = {14}, number = {3}, pages = {181--191}, year = {2017} }
@article{DBLP:journals/jscic/HuangC17, author = {Rong Huang and Delin Chu}, title = {Computing Singular Value Decompositions of Parameterized Matrices with Total Nonpositivity to High Relative Accuracy}, journal = {J. Sci. Comput.}, volume = {71}, number = {2}, pages = {682--711}, year = {2017} }
@article{DBLP:journals/mr/LuoLHIB17, author = {Haoze Luo and Wuhua Li and Xiangning He and Francesco Iannuzzo and Frede Blaabjerg}, title = {Uneven temperature effect evaluation in high-power {IGBT} inverter legs and relative test platform design}, journal = {Microelectron. Reliab.}, volume = {76-77}, pages = {123--130}, year = {2017} }
@inproceedings{DBLP:conf/amcc/ChowdhuryK17, author = {Dhrubajit Chowdhury and Hassan K. Khalil}, title = {Funnel control of higher relative degree systems}, booktitle = {{ACC}}, pages = {598--603}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/icca/WangXHJ17, author = {Xinghu Wang and Dabo Xu and Yiguang Hong and Haibo Ji}, title = {Cooperative output feedback design for networks of strict-feedback systems having high relative degrees}, booktitle = {{ICCA}}, pages = {403--407}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/icspcc/DaiLL17, author = {Chunhui Dai and Guibin Luo and Zhiqiang Long}, title = {A signal process algorithm of relative position detection sensor for high speed maglev trains based on {KF-UKF}}, booktitle = {{ICSPCC}}, pages = {1--6}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/mmar/JaskulaPLB17, author = {Marek Jaskula and Mateusz Pietrala and Piotr Lesniewski and Andrzej Bartoszewicz}, title = {Application of higher relative degree sliding variables for congestion control in communication networks}, booktitle = {{MMAR}}, pages = {531--536}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/mmar/LatosiiiskiB17, author = {Pawel Latosinski and Andrzej Bartoszewicz}, title = {Inventory management strategies with higher relative degree sliding variables}, booktitle = {{MMAR}}, pages = {425--430}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/wacv/WangCGHGS17, author = {Jihang Wang and Chengqian Che and John M. Galeotti and Samantha Horvath and Vijay Gorantla and George D. Stetten}, title = {Ultrasound Tracking Using ProbeSight: Camera Pose Estimation Relative to External Anatomy by Inverse Rendering of a Prior High-Resolution 3D Surface Map}, booktitle = {{WACV}}, pages = {825--833}, publisher = {{IEEE} Computer Society}, year = {2017} }
@article{DBLP:journals/smr/BianPKZ16, author = {Yixin Bian and Mohammed Aziz Parande and G{\"{u}}nes Koru and Song Zhao}, title = {Testing the theory of relative dependency from an evolutionary perspective: higher dependencies concentration in smaller modules over the lifetime of software products}, journal = {J. Softw. Evol. Process.}, volume = {28}, number = {5}, pages = {340--371}, year = {2016} }
@article{DBLP:journals/tcas/YuL16, author = {Shuanghe Yu and Xiaojun Long}, title = {Finite-Time Consensus Tracking of Perturbed High-Order Agents With Relative Information by Integral Sliding Mode}, journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs}, volume = {63-II}, number = {6}, pages = {563--567}, year = {2016} }
@inproceedings{DBLP:conf/amcc/Gessing16, author = {Ryszard S. Gessing}, title = {Using the Relative Degree, high gain and saturation constraints to the controller design}, booktitle = {{ACC}}, pages = {6024--6029}, publisher = {{IEEE}}, year = {2016} }
@inproceedings{DBLP:conf/amcc/NguyenS16, author = {Quan Nguyen and Koushil Sreenath}, title = {Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints}, booktitle = {{ACC}}, pages = {322--328}, publisher = {{IEEE}}, year = {2016} }
@inproceedings{DBLP:conf/esop/KouzapasPY16, author = {Dimitrios Kouzapas and Jorge A. P{\'{e}}rez and Nobuko Yoshida}, title = {On the Relative Expressiveness of Higher-Order Session Processes}, booktitle = {{ESOP}}, series = {Lecture Notes in Computer Science}, volume = {9632}, pages = {446--475}, publisher = {Springer}, year = {2016} }
@inproceedings{DBLP:conf/ithet/TastimurKA16, author = {Canan Tastimur and Mehmet Karak{\"{o}}se and Erhan Akin}, title = {Improvement of relative accreditation methods based on data mining and artificial intelligence for higher education}, booktitle = {{ITHET}}, pages = {1--7}, publisher = {{IEEE}}, year = {2016} }
@inproceedings{DBLP:conf/med/CarrilloPQA16, author = {Luis Rodolfo Garc{\'{\i}}a Carrillo and Filiberto Mu{\~{n}}oz Palacios and Eduardo Steed Espinoza Quesada and Kostas Alexis}, title = {Adaptive high order sliding mode control for relative positioning and trajectory tracking of spacecraft formation flying}, booktitle = {{MED}}, pages = {1095--1101}, publisher = {{IEEE}}, year = {2016} }
@article{DBLP:journals/corr/LiuLD16, author = {Liu Liu and Hongdong Li and Yuchao Dai}, title = {Robust and Efficient Relative Pose with a Multi-camera System for Autonomous Vehicle in Highly Dynamic Environments}, journal = {CoRR}, volume = {abs/1605.03689}, year = {2016} }
@article{DBLP:journals/ijautcomp/RuanLB15, author = {Xiaoe Ruan and Zhao{-}Zhen Li and Zeungnam Zenn Bien}, title = {Discrete-frequency convergence of iterative learning control for linear time-invariant systems with higher-order relative degree}, journal = {Int. J. Autom. Comput.}, volume = {12}, number = {3}, pages = {281--288}, year = {2015} }
@article{DBLP:journals/jasis/Crispo15, author = {Erika Crispo}, title = {A new index to use in conjunction with the h-index to account for an author's relative contribution to publications with high impact}, journal = {J. Assoc. Inf. Sci. Technol.}, volume = {66}, number = {11}, pages = {2381--2383}, year = {2015} }
@article{DBLP:journals/jcb/AnhVNB15, author = {Tran Tuan Anh and Nam Tri Vo and Hoang Duc Nguyen and Pham The Bao}, title = {A Novel Method to Predict Highly Expressed Genes Based on Radius Clustering and Relative Synonymous Codon Usage}, journal = {J. Comput. Biol.}, volume = {22}, number = {12}, pages = {1086--1096}, year = {2015} }
@article{DBLP:journals/jocn/GorlickWKMBM15, author = {Marissa A. Gorlick and Darrell A. Worthy and Valerie S. Knopik and John E. McGeary and Christopher G. Beevers and W. Todd Maddox}, title = {\emph{DRD4} Long Allele Carriers Show Heightened Attention to High-priority Items Relative to Low-priority Items}, journal = {J. Cogn. Neurosci.}, volume = {27}, number = {3}, pages = {509--521}, year = {2015} }
@inproceedings{DBLP:conf/iros/ChenHGBH15, author = {Cheng Chen and Yuqing He and Feng Gu and Chunguang Bu and Jianda Han}, title = {A Real-time relative probabilistic mapping algorithm for high-speed off-road autonomous driving}, booktitle = {{IROS}}, pages = {6252--6258}, publisher = {{IEEE}}, year = {2015} }
@inproceedings{DBLP:conf/pldi/NguyenH15, author = {Phuc C. Nguyen and David Van Horn}, title = {Relatively complete counterexamples for higher-order programs}, booktitle = {{PLDI}}, pages = {446--456}, publisher = {{ACM}}, year = {2015} }
@inproceedings{DBLP:conf/sc/RoseGVMADJ15, author = {Luiz De Rose and Andrew Gontarek and Aaron Vose and Robert Moench and David Abramson and Minh Ngoc Dinh and Chao Jin}, title = {Relative debugging for a highly parallel hybrid computer system}, booktitle = {{SC}}, pages = {63:1--63:12}, publisher = {{ACM}}, year = {2015} }
@article{DBLP:journals/corr/KouzapasPY15, author = {Dimitrios Kouzapas and Jorge A. P{\'{e}}rez and Nobuko Yoshida}, title = {Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness}, journal = {CoRR}, volume = {abs/1502.02585}, year = {2015} }
@article{DBLP:journals/corr/Liu15f, author = {Chunlei Liu}, title = {Gold type codes of higher relative dimension}, journal = {CoRR}, volume = {abs/1506.01498}, year = {2015} }
@article{DBLP:journals/corr/Liu15g, author = {Chunlei Liu}, title = {Kasami type codes of higher relative dimension}, journal = {CoRR}, volume = {abs/1506.02204}, year = {2015} }
@article{DBLP:journals/jsyml/Kentaro14, author = {Sato Kentaro}, title = {Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories}, journal = {J. Symb. Log.}, volume = {79}, number = {3}, pages = {712--732}, year = {2014} }
@article{DBLP:journals/remotesensing/RahmanHCHB14, author = {Mir Mustafizur Rahman and Geoffrey J. Hay and Isabelle Couloigner and Bharanidharan Hemachandran and Jeremy Bailin}, title = {An Assessment of Polynomial Regression Techniques for the Relative Radiometric Normalization {(RRN)} of High-Resolution Multi-Temporal Airborne Thermal Infrared {(TIR)} Imagery}, journal = {Remote. Sens.}, volume = {6}, number = {12}, pages = {11810--11828}, year = {2014} }
@inproceedings{DBLP:conf/icinco/WangLXGG14, author = {Ting Wang and Hanlun Lei and Bo Xu and Tian Guan and Jun Guo}, title = {High-Order Analytical Solution of Relative Motion Equation for Satellite Formation Flying in Elliptical Orbit}, booktitle = {{ICINCO} {(2)}}, pages = {256--263}, publisher = {SciTePress}, year = {2014} }
@inproceedings{DBLP:conf/isccsp/DoiIAMN14, author = {Yuki Doi and Koichi Ichige and Hiroyuki Arai and Hiromi Matsuno and Masayuki Nakano}, title = {Antenna switching based on the relation between the relative location of array elements for high resolution 2-D {DOA} estimation}, booktitle = {{ISCCSP}}, pages = {437--440}, publisher = {{IEEE}}, year = {2014} }
@article{DBLP:journals/corr/NguyenH14, author = {Phuc C. Nguyen and David Van Horn}, title = {Relatively Complete Counterexamples for Higher-Order Programs}, journal = {CoRR}, volume = {abs/1411.3967}, year = {2014} }
@phdthesis{DBLP:phd/dnb/Tzschichholz13, author = {Tristan Tzschichholz}, title = {Relative pose estimation of known rigid objects using a novel approach to high-level PMD-CCD-sensor data fusion with regard to applications in space}, school = {Julius Maximilian University of W{\"{u}}rzburg}, year = {2013} }
@article{DBLP:journals/bioinformatics/MirabelloP13, author = {Claudio Mirabello and Gianluca Pollastri}, title = {Porter, PaleAle 4.0: high-accuracy prediction of protein secondary structure and relative solvent accessibility}, journal = {Bioinform.}, volume = {29}, number = {16}, pages = {2056--2058}, year = {2013} }
@article{DBLP:journals/moc/XueY13, author = {Jungong Xue and Qiang Ye}, title = {Computing exponentials of essentially non-negative matrices entrywise to high relative accuracy}, journal = {Math. Comput.}, volume = {82}, number = {283}, pages = {1577--1596}, year = {2013} }
@article{DBLP:journals/toms/DingleH13, author = {Nicholas J. Dingle and Nicholas J. Higham}, title = {Reducing the influence of tiny normwise relative errors on performance profiles}, journal = {{ACM} Trans. Math. Softw.}, volume = {39}, number = {4}, pages = {24:1--24:11}, year = {2013} }
@inproceedings{DBLP:conf/adprl/BomHW13, author = {Luuk Bom and Ruud Henken and Marco A. Wiering}, title = {Reinforcement learning to train Ms. Pac-Man using higher-order action-relative inputs}, booktitle = {{ADPRL}}, pages = {156--163}, publisher = {{IEEE}}, year = {2013} }
@inproceedings{DBLP:conf/icnc/WangLZL13, author = {Jie Wang and Huiying Lv and Yu Zeng and Yun Lin}, title = {Evaluating high-performance computing based on relative productivity indicator}, booktitle = {{ICNC}}, pages = {1809--1813}, publisher = {{IEEE}}, year = {2013} }
@inproceedings{DBLP:conf/popl/UnnoTK13, author = {Hiroshi Unno and Tachio Terauchi and Naoki Kobayashi}, title = {Automating relatively complete verification of higher-order functional programs}, booktitle = {{POPL}}, pages = {75--86}, publisher = {{ACM}}, year = {2013} }
@article{DBLP:journals/sensors/XueHL12, author = {Song Xue and Ning He and Zhiqiang Long}, title = {Electromagnetic Field Analysis and Modeling of a Relative Position Detection Sensor for High Speed Maglev Trains}, journal = {Sensors}, volume = {12}, number = {5}, pages = {6447--6462}, year = {2012} }
@inproceedings{DBLP:conf/eccv/Silvestre-BlanesLP12, author = {Javier Silvestre{-}Blanes and Ian van der Linde and Rub{\'{e}}n P{\'{e}}rez{-}Llor{\'{e}}ns}, title = {A Comparison of the Statistical Properties of {IQA} Databases Relative to a Set of Newly Captured High-Definition Images}, booktitle = {{ECCV} {(4)}}, series = {Lecture Notes in Computer Science}, volume = {7575}, pages = {800--813}, publisher = {Springer}, year = {2012} }
@inproceedings{DBLP:conf/embc/KimYLKWCSK12, author = {Ha{-}Young Kim and Sanghyun Yoo and Jihyun Lee and Hye Jin Kam and Kyoung{-}Gu Woo and Yoon{-}Ho Choi and Jidong Sung and Mira Kang}, title = {Identifying relatively high-risk group of coronary artery calcification based on progression rate: Statistical and machine learning methods}, booktitle = {{EMBC}}, pages = {2202--2205}, publisher = {{IEEE}}, year = {2012} }
@inproceedings{DBLP:conf/igarss/Brenner12, author = {Andreas R. Brenner}, title = {Ultra-high resolution airborne {SAR} imaging of vegetation and man-made objects based on 40{\%} relative bandwidth in X-band}, booktitle = {{IGARSS}}, pages = {7397--7400}, publisher = {{IEEE}}, year = {2012} }
@inproceedings{DBLP:conf/interspeech/Mai12, author = {Guangting Mai}, title = {Relative Importance of Temporal Envelope and Fine Structure Cues in Low- and High-Order Harmonic Regions for Mandarin Lexical-tone Recognition}, booktitle = {{INTERSPEECH}}, pages = {1856--1859}, publisher = {{ISCA}}, year = {2012} }
@phdthesis{DBLP:phd/basesearch/Ahmad11, author = {Mahmoud Ahmad}, title = {Highly Sensitive Sensor Based On Intracavity Laser Absorption Spectroscopy By Means of Relative Intensity Noise}, school = {Kassel University, Germany}, year = {2011} }
@inproceedings{DBLP:conf/cdc/Gallardo-HernandezFLSLRA11, author = {Ana Gabriela Gallardo{-}Hern{\'{a}}ndez and Leonid M. Fridman and Arie Levant and Yuri B. Shtessel and Ron S. Leder and Maria Cristina Revilla{-}Monsalve and Sergio Islas{-}Andrade}, title = {High-Order Sliding-Mode control of blood glucose concentration via practical relative degree identification}, booktitle = {{CDC/ECC}}, pages = {5786--5791}, publisher = {{IEEE}}, year = {2011} }
@inproceedings{DBLP:conf/icspcs/SaulF11, author = {Sa{\'{u}}l Lazcano{-}Salas and Francisco J. Garc{\'{\i}}a{-}Ugalde}, title = {A comparative study for turbo code interleavers designed for short frame size and relatively high {SNR} channel}, booktitle = {{ICSPCS}}, pages = {1--4}, publisher = {{IEEE}}, year = {2011} }
@inproceedings{DBLP:conf/igarss/BalssEFBM11, author = {Ulrich Balss and Michael Eineder and Thomas Fritz and Helko Breit and Christian Minet}, title = {Techniques for high accuracy relative and absolute localization of TerraSAR-X / TanDEM-X data}, booktitle = {{IGARSS}}, pages = {2464--2467}, publisher = {{IEEE}}, year = {2011} }
@article{DBLP:journals/sensors/SchaikGWG10, author = {Wilhelm van Schaik and Mart H. M. Grooten and Twan Wernaart and Cees van der Geld}, title = {High Accuracy Acoustic Relative Humidity Measurement inDuct Flow with Air}, journal = {Sensors}, volume = {10}, number = {8}, pages = {7421--7433}, year = {2010} }
@article{DBLP:journals/software/KoruE10, author = {Akif G{\"{u}}nes Koru and Khaled El Emam}, title = {The Theory of Relative Dependency: Higher Coupling Concentration in Smaller Modules}, journal = {{IEEE} Softw.}, volume = {27}, number = {2}, pages = {81--89}, year = {2010} }
@article{DBLP:journals/tcom/PettyjohnJL10, author = {Jeff S. Pettyjohn and Daniel R. Jeske and Jun Li}, title = {Least Squares-Based Estimation of Relative Clock Offset and Frequency in Sensor Networks with High Latency}, journal = {{IEEE} Trans. Commun.}, volume = {58}, number = {12}, pages = {3613--3620}, year = {2010} }
@inproceedings{DBLP:conf/iros/OnoII10, author = {Yuya Ono and Yoshio Iwai and Hiroshi Ishiguro}, title = {Relative posture estimation using high frequency markers}, booktitle = {{IROS}}, pages = {5214--5219}, publisher = {{IEEE}}, year = {2010} }
@inproceedings{DBLP:conf/upinlbs/UradzinskiLJ10, author = {Marcin Uradzinski and Jingnan Liu and Weiping Jiang}, title = {Towards precise car navigation: Detection of relative vehicle position on highway for collision avoidance}, booktitle = {{UPINLBS}}, pages = {1--8}, publisher = {{IEEE}}, year = {2010} }
@article{DBLP:journals/ijat/HiroseE09, author = {Kenji Hirose and Toshiyuki Enomoto}, title = {Optimization of Double-Sided Polishing Conditions to Achieve High Flatness: Consideration of Relative Motion Direction}, journal = {Int. J. Autom. Technol.}, volume = {3}, number = {5}, pages = {581--591}, year = {2009} }
@article{DBLP:journals/mscs/HabelP09, author = {Annegret Habel and Karl{-}Heinz Pennemann}, title = {Correctness of high-level transformation systems relative to nested conditions}, journal = {Math. Struct. Comput. Sci.}, volume = {19}, number = {2}, pages = {245--296}, year = {2009} }
@article{DBLP:journals/nm/DopicoKM09, author = {Froil{\'{a}}n M. Dopico and Plamen Koev and Juan M. Molera}, title = {Implicit standard Jacobi gives high relative accuracy}, journal = {Numerische Mathematik}, volume = {113}, number = {4}, pages = {519--553}, year = {2009} }
@article{DBLP:journals/comcom/WuWL08, author = {Chin{-}Chi Wu and Hsien{-}Ming Wu and Woei Lin}, title = {High-performance packet scheduling to provide relative delay differentiation in future high-speed networks}, journal = {Comput. Commun.}, volume = {31}, number = {10}, pages = {1865--1876}, year = {2008} }
@article{DBLP:journals/db/SlykeJHE08, author = {Craig Van Slyke and Richard D. Johnson and Ross Hightower and Wafa Elgarah}, title = {Implications of researcher assumptions about perceived relative advantage and compatibility}, journal = {Data Base}, volume = {39}, number = {2}, pages = {50--65}, year = {2008} }
@article{DBLP:journals/moc/Ye08, author = {Qiang Ye}, title = {Computing singular values of diagonally dominant matrices to high relative accuracy}, journal = {Math. Comput.}, volume = {77}, number = {264}, pages = {2195--2230}, year = {2008} }
@article{DBLP:journals/tsp/NadakuditiE08, author = {Raj Rao Nadakuditi and Alan Edelman}, title = {Sample Eigenvalue Based Detection of High-Dimensional Signals in White Noise Using Relatively Few Samples}, journal = {{IEEE} Trans. Signal Process.}, volume = {56}, number = {7-1}, pages = {2625--2638}, year = {2008} }
@inproceedings{DBLP:conf/gecco/FogelsonP08, author = {Sergey V. Fogelson and Walter D. Potter}, title = {A formulation for the relative permittivity of water and steam to high temperatures and pressures evolved using genetic programming}, booktitle = {{GECCO}}, pages = {1335--1336}, publisher = {{ACM}}, year = {2008} }
@inproceedings{DBLP:conf/iceccs/TianTF08, author = {Guosong Tian and Yu{-}Chu Tian and Colin J. Fidge}, title = {High-Precision Relative Clock Synchronization Using Time Stamp Counters}, booktitle = {{ICECCS}}, pages = {69--78}, publisher = {{IEEE} Computer Society}, year = {2008} }
@article{DBLP:journals/jcisd/BrownM07, author = {Scott P. Brown and Steven W. Muchmore}, title = {Rapid Estimation of Relative Protein-Ligand Binding Affinities Using a High-Throughput Version of {MM-PBSA}}, journal = {J. Chem. Inf. Model.}, volume = {47}, number = {4}, pages = {1493--1503}, year = {2007} }
@article{DBLP:journals/mms/WuWL07, author = {Chin{-}Chi Wu and Hsien{-}Ming Wu and Woei Lin}, title = {Delivering relative differentiated services in future high-speed networks using hierarchical dynamic deficit round robin}, journal = {Multim. Syst.}, volume = {13}, number = {3}, pages = {205--221}, year = {2007} }
@article{DBLP:journals/mr/BuiuHERLHC07, author = {Octavian Buiu and Steve Hall and Olof Engstr{\"{o}}m and B. Raeissi and Max C. Lemme and Paul K. Hurley and Karim Cherkaoui}, title = {Extracting the relative dielectric constant for "high-kappa layers" from {CV} measurements - Errors and error propagation}, journal = {Microelectron. Reliab.}, volume = {47}, number = {4-5}, pages = {678--681}, year = {2007} }
@article{DBLP:journals/ras/Zaman07, author = {Munir Zaman}, title = {High resolution relative localisation using two cameras}, journal = {Robotics Auton. Syst.}, volume = {55}, number = {9}, pages = {685--692}, year = {2007} }
@inproceedings{DBLP:conf/ceas/BlanzieriB07, author = {Enrico Blanzieri and Anton Bryl}, title = {Evaluation of the Highest Probability {SVM} Nearest Neighbor Classifier with Variable Relative Error Cost}, booktitle = {{CEAS}}, year = {2007} }
@inproceedings{DBLP:conf/icra/Zaman07, author = {Munir Zaman}, title = {High Precision Relative Localization Using a Single Camera}, booktitle = {{ICRA}}, pages = {3908--3914}, publisher = {{IEEE}}, year = {2007} }
@inproceedings{DBLP:conf/cdc/ChenS06a, author = {Weitian Chen and Mehrdad Saif}, title = {High-order Sliding-mode Differentiator Based Actuator Fault Diagnosis For Linear Systems with Arbitrary Relative Degree and Unmatched Unknown Inputs}, booktitle = {{CDC}}, pages = {1153--1158}, publisher = {{IEEE}}, year = {2006} }
@inproceedings{DBLP:conf/icalp/HondaBY06, author = {Kohei Honda and Martin Berger and Nobuko Yoshida}, title = {Descriptive and Relative Completeness of Logics for Higher-Order Functions}, booktitle = {{ICALP} {(2)}}, series = {Lecture Notes in Computer Science}, volume = {4052}, pages = {360--371}, publisher = {Springer}, year = {2006} }
@article{DBLP:journals/automatica/BullingerA05, author = {Eric Bullinger and Frank Allg{\"{o}}wer}, title = {Adaptive lambda-tracking for nonlinear higher relative degree systems}, journal = {Autom.}, volume = {41}, number = {7}, pages = {1191--1200}, year = {2005} }
@article{DBLP:journals/scientometrics/LetaPC05, author = {Jacqueline Leta and J{\'{u}}lio Cesar Rodrigues Pereira and Hernan Chaimovich}, title = {The Life Sciences - the relative contribution of the University of S{\~{a}}o Paulo to the highest impact factor journals and to those with the largest number of articles, 1980 to 1999}, journal = {Scientometrics}, volume = {63}, number = {3}, pages = {599--616}, year = {2005} }
@article{DBLP:journals/automatica/ChienY04, author = {Chiang{-}Ju Chien and Chia{-}Yu Yao}, title = {An output-based adaptive iterative learning controller for high relative degree uncertain linear systems}, journal = {Autom.}, volume = {40}, number = {1}, pages = {145--153}, year = {2004} }
@article{DBLP:journals/jbi/SomorjaiDDMNBP04, author = {Ray L. Somorjai and Brion Dolenko and Aleksander B. Demko and Marina Mandelzweig and Aleksander E. Nikulin and Richard Baumgartner and Nicolino J. Pizzi}, title = {Mapping high-dimensional data onto a relative distance plane - an exact method for visualizing and characterizing high-dimensional patterns}, journal = {J. Biomed. Informatics}, volume = {37}, number = {5}, pages = {366--379}, year = {2004} }
@article{DBLP:journals/scjapan/SakuraiYUK03, author = {Yasushi Sakurai and Masatoshi Yoshikawa and Shunsuke Uemura and Haruhiko Kojima}, title = {An indexing technique using relative approximation for high-dimensional data}, journal = {Syst. Comput. Jpn.}, volume = {34}, number = {12}, pages = {77--91}, year = {2003} }
@article{DBLP:journals/siammax/DopicoMM03, author = {Froil{\'{a}}n M. Dopico and Juan M. Molera and Julio Moro}, title = {An Orthogonal High Relative Accuracy Algorithm for the Symmetric Eigenproblem}, journal = {{SIAM} J. Matrix Anal. Appl.}, volume = {25}, number = {2}, pages = {301--351}, year = {2003} }
@inproceedings{DBLP:conf/cdc/MizumotoMTI03, author = {Ikuro Mizumoto and Ryuji Michino and Yuichi Tao and Zenta Iwai}, title = {Robust adaptive tracking control for time-varying nonlinear systems with higher order relative degree}, booktitle = {{CDC}}, pages = {4303--4308}, publisher = {{IEEE}}, year = {2003} }
@article{DBLP:journals/vldb/SakuraiYUK02, author = {Yasushi Sakurai and Masatoshi Yoshikawa and Shunsuke Uemura and Haruhiko Kojima}, title = {Spatial indexing of high-dimensional data based on relative approximation}, journal = {{VLDB} J.}, volume = {11}, number = {2}, pages = {93--108}, year = {2002} }
@inproceedings{DBLP:conf/cdc/KrishnamurthyK02, author = {Prashanth Krishnamurthy and Farshad Khorrami}, title = {Generalized adaptive output-feedback form with unknown parameters multiplying high output relative-degree states}, booktitle = {{CDC}}, pages = {1503--1508}, publisher = {{IEEE}}, year = {2002} }
@article{DBLP:journals/automatica/Miyasato00, author = {Yoshihiko Miyasato}, title = {A model reference adaptive controller for systems with uncertain relative degrees r, r+1 or r+2 and unknown signs of high-frequency gains}, journal = {Autom.}, volume = {36}, number = {6}, pages = {889--896}, year = {2000} }
@inproceedings{DBLP:conf/amcc/BullingerFKA00, author = {Eric Bullinger and Rolf Findeisen and Frantisek Kraus and Frank Allg{\"{o}}wer}, title = {Some further results on adaptive {\(\lambda\)}-tracking for linear systems with high relative degree}, booktitle = {{ACC}}, pages = {3655--3660}, publisher = {{IEEE}}, year = {2000} }
@inproceedings{DBLP:conf/amcc/SunWX00, author = {Mingxuan Sun and Danwei Wang and Guangyan Xu}, title = {Initial shift problem and its {ILC} solution for nonlinear systems with higher relative degree}, booktitle = {{ACC}}, pages = {277--281}, publisher = {{IEEE}}, year = {2000} }
@inproceedings{DBLP:conf/cdc/BullingerA00, author = {Eric Bullinger and Frank Allg{\"{o}}wer}, title = {Adaptive {\(\lambda\)}-tracking for nonlinear systems with higher relative degree}, booktitle = {{CDC}}, pages = {4771--4776}, publisher = {{IEEE}}, year = {2000} }
@inproceedings{DBLP:conf/vldb/SakuraiYUK00, author = {Yasushi Sakurai and Masatoshi Yoshikawa and Shunsuke Uemura and Haruhiko Kojima}, title = {The A-tree: An Index Structure for High-Dimensional Spaces Using Relative Approximation}, booktitle = {{VLDB}}, pages = {516--526}, publisher = {Morgan Kaufmann}, year = {2000} }
@inproceedings{DBLP:conf/agp/MomiglianoP99, author = {Alberto Momigliano and Frank Pfenning}, title = {The Relative Complement Problem for Higher-Order Patterns}, booktitle = {{APPIA-GULP-PRODE}}, pages = {497--512}, year = {1999} }
@inproceedings{DBLP:conf/eucc/BullingerA99, author = {Eric Bullinger and Frank Allg{\"{o}}wer}, title = {Adaptive X-tracking for linear systems with higher relative degree - The continuous adaptation case}, booktitle = {{ECC}}, pages = {873--878}, publisher = {{IEEE}}, year = {1999} }
@inproceedings{DBLP:conf/iclp/MomiglianoP99, author = {Alberto Momigliano and Frank Pfenning}, title = {The Relative Complement Problem for Higher-Order Patterns}, booktitle = {{ICLP}}, pages = {380--394}, publisher = {{MIT} Press}, year = {1999} }
@article{DBLP:journals/tac/Ding98, author = {Zhengtao Ding}, title = {Global adaptive output feedback stabilization of nonlinear systems of any relative degree with unknown high-frequency gains}, journal = {{IEEE} Trans. Autom. Control.}, volume = {43}, number = {10}, pages = {1442--1446}, year = {1998} }
@article{DBLP:journals/mcma/Kurbanmuradov97, author = {Orazgeldy Kurbanmuradov}, title = {Stochastic Lagrangian Models for Two-Particle Relative Dispersion in High-Reynolds Number Turbulence}, journal = {Monte Carlo Methods Appl.}, volume = {3}, number = {1}, pages = {37--52}, year = {1997} }
@article{DBLP:journals/ejcon/Morse96, author = {A. Stephen Morse}, title = {Overcoming the Obstacle of High Relative Degree}, journal = {Eur. J. Control}, volume = {2}, number = {1}, pages = {29--35}, year = {1996} }
@article{DBLP:journals/pr/Kowalewski95, author = {F. Kowalewski}, title = {A gradient procedure for determining clusters of relatively high point density}, journal = {Pattern Recognit.}, volume = {28}, number = {12}, pages = {1973--1984}, year = {1995} }
@article{DBLP:journals/ijhpca/ProfetaUR94, author = {Salvatore Profeta Jr. and Raymond J. Unwalla and Daniel J. Russell}, title = {Relative Energies and Structural Features of Small Amines and Their Ammonium Analogs: Results From 6-31G* Optimizations and an Mm2 Ammonium Force Field}, journal = {Int. J. High Perform. Comput. Appl.}, volume = {8}, number = {1}, pages = {35--46}, year = {1994} }
@article{DBLP:journals/tomacs/HeidelbergerSN94, author = {Philip Heidelberger and Perwez Shahabuddin and Victor F. Nicola}, title = {Bounded Relative Error in Estimating Transient Measures of Highly Dependable Non-Markovian Systems}, journal = {{ACM} Trans. Model. Comput. Simul.}, volume = {4}, number = {2}, pages = {137--164}, year = {1994} }
@article{DBLP:journals/tcad/KuM92, author = {David C. Ku and Giovanni De Micheli}, title = {Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {11}, number = {6}, pages = {696--718}, year = {1992} }
@article{DBLP:journals/computing/GluchowskaS90, author = {Jolanta Gluchowska and Alicja Smoktunowicz}, title = {Solving the linear least squares problem with very high relative accuracy}, journal = {Computing}, volume = {45}, number = {4}, pages = {345--354}, year = {1990} }
@article{DBLP:journals/ijhpca/Van-Catledge89, author = {Frederic A. Van{-}Catledge}, title = {Toward a General Model for Evaluating the Relative Performance of Computer Systems}, journal = {Int. J. High Perform. Comput. Appl.}, volume = {3}, number = {2}, pages = {100--108}, year = {1989} }
@article{DBLP:journals/acta/DammJ83, author = {Werner Damm and Bernhard Josko}, title = {A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures}, journal = {Acta Informatica}, volume = {20}, pages = {59--101}, year = {1983} }
@phdthesis{DBLP:phd/ethos/Cooke76, author = {Derek John Cooke}, title = {The pragmatic formalization of computing systems relative to a given high-level language}, school = {Imperial College London, {UK}}, year = {1976} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.