Search results for "conversions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Fernando Ferreira 0001, Gilda Ferreira	Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.	Stud Logica	2009	DBLP DOI BibTeX RDF	commuting conversions, predicative quantifiers, Natural deduction
66	Mirjana Borisavljevic	A Connection Between Cut Elimination and Normalization.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
63	Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren	A precision- and range-independent tool for testing floating-point arithmetic II: conversions.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	IEEE floating-point standard, multiprecision, validation, conversion, floating-point, arithmetic, decimal
52	Shijun Xiang, Jiwu Huang, Xiaoyun Feng	Analysis of Quantization-Based Audio Watermarking in DA/AD Conversions.	KES (2)	2005	DBLP DOI BibTeX RDF
44	Gee-Swee Poo, Yinzhu Zhou	A, new multicast wavelength assignment algorithm in wavelength-routed WDM networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
44	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
41	Jan Schnasse, Sebastian Beyl, Elona Chudobkaite, Volker Heydegger, Manfred Thaller	XCL: The Extensible Characterisation Language - One Step towards an Automatic Evaluation of Format Conversions.	ECDL	2008	DBLP DOI BibTeX RDF
41	Felix Joachimski, Ralph Matthes	Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
41	Maya R. Gupta, Robert M. Gray	Color conversions using maximum entropy estimation.	ICIP (1)	2001	DBLP DOI BibTeX RDF
41	Kazukuni Kobara, Hideki Imai	Semantically Secure McEliece Public-Key Cryptosystems-Conversions for McEliece PKC.	Public Key Cryptography	2001	DBLP DOI BibTeX RDF
39	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Transformations for Write-All-with-Collision Model.	OPODIS	2003	DBLP DOI BibTeX RDF	Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model
39	Jovan Dj. Golic	Modes of Operation of Stream Ciphers.	Selected Areas in Cryptography	2000	DBLP DOI BibTeX RDF	keyed hash functions, security, Stream ciphers, block ciphers, hash functions, conversions
39	Udo Mahlstedt, Jürgen Alt, Ingo Hollenbeck	Deterministic test generation for non-classical faults on the gate level.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	deterministic test pattern generator, gate level fault models, function conversions, nonclassical faults, fault list generator, library-based fault modeling strategy, ISCAS benchmark circuits, scan-based circuits, CMOS cell library, algorithm, fault diagnosis, logic testing, design for testability, ATPG, combinational circuits, combinational circuits, fault simulator, logic CAD, stuck-at faults, CMOS logic circuits, bridging faults, deterministic algorithms, logic simulation, transition faults, automatic test software, test efficiency, CONTEST
39	Rufus H. Cofer, T. J. Sanders	STADIUM: a new tool for high assurance in systems design.	ICECCS	1995	DBLP DOI BibTeX RDF	STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development
38	Jean-Adrien Vernhes	Échantillonnage Non Uniforme: Application aux filtrages et aux conversions CAN/CNA (Convertisseurs Analogique-Numérique et Numérique/Analogique) dans les télécommunications par satellite. (Non Uniform Sampling: Application to filtering and ADC/DAC conversions (Analog-to-Digital and Digital-to-Analog) in the telecommunications by satellite).		2016	RDF
33	Fernando Solano, Luis F. Caro, Jaudelice Cavalcante de Oliveira, Ramón Fabregat, José-Luis Marzo	G+: Enhanced Traffic Grooming in WDM Mesh Networks using Lighttours.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
33	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
33	Juanito Camilleri, Vincent Zammit	Symbolic Animation as a Proof Tool.	TPHOLs	1994	DBLP DOI BibTeX RDF
30	Mark J. Lawson, Lenwood S. Heath, Naren Ramakrishnan, Liqing Zhang 0002	Using Cost-Sensitive Learning to Determine Gene Conversions.	ICIC (2)	2008	DBLP DOI BibTeX RDF
30	Richard L. Baskerville, Alina Dulipovici	The Ethics of Knowledge Transfers and Conversions: Property or Privacy Rights?.	HICSS	2006	DBLP DOI BibTeX RDF
30	Javier Miranda, Edmond Schonberg	Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.	Ada-Europe	2006	DBLP DOI BibTeX RDF	Abstract Interface Types, Tagged Types, Discriminants, Ada 2005, GNAT
30	Paul B. Jackson, Daniel Sheridan	Clause Form Conversions for Boolean Circuits.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
30	Norbert Gronau, Claudia Müller 0001, Mathias Uslar	The KMDL Knowledge Management Approach: Integrating Knowledge Conversions and Business Process Modeling.	PAKM	2004	DBLP DOI BibTeX RDF
30	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
30	Yoichi Kaneko, Yoshiyuki Yamashita, Kenji Hoshi	Synthesis of Operating Procedures for Material and Energy Conversions in a Batch Plant.	KES	2003	DBLP DOI BibTeX RDF
30	Morten Welinder	Very Efficient Conversions.	TPHOLs	1995	DBLP DOI BibTeX RDF
30	John C. Reynolds	Using category theory to design implicit conversions and generic operators.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
22	Arpita Ghosh, Amin Sayedi	Expressive auctions for externalities in online advertising.	WWW	2010	DBLP DOI BibTeX RDF	auction design, expressive auctions, online advertising, externalities
22	John C. Reynolds	Using Category Theory to Design Programming Languages.	ESOP	2009	DBLP DOI BibTeX RDF
22	James R. Hamilton	Internet-scale service infrastructure efficiency.	ISCA	2009	DBLP DOI BibTeX RDF	internet-scale, efficiency
22	Rajeev Raman, David S. Wise	Converting to and from Dilated Integers.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Data Structures: Arrays, Programming Techniques: General, Memory Structures: Design Styles, Analysis of Algorithms and Problem Complexity: Numerical algorithms, problems: computations on matrices
22	Iliada Elia, Athanasios Gagatsis	A comparison between the hierarchical clustering of variables, implicative statistical analysis and confirmatory factor analysis.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	implicative analysis, CHIC, representation, hierarchical clustering, function, Confirmatory Factor Analysis
22	Hongjuan Li, Lan Yu-Qing, Yang Lin, Guo Shu-Hang	A Framework for Workflow Process Definition Transformation Based on Meta-Model.	CSSE (2)	2008	DBLP DOI BibTeX RDF
22	Zhenghao Zhang, Yuanyuan Yang	On-line optimal wavelength assignment in WDM networks with shared wavelength converter pool.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	shared wavelength converter pool, routing, multicast, optical networks, on-line algorithms, wavelength division multiplexing (WDM), wavelength assignment, unicast, wavelength conversion
22	Makoto Tatsuta	Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.	TLCA	2007	DBLP DOI BibTeX RDF
22	Magdalena Slawiñska, Jaroslaw Slawinski, Vaidy S. Sunderam	Enhancing Productivity in High Performance Computing through Systematic Conditioning.	PPAM	2007	DBLP DOI BibTeX RDF	porting parallel programs, automatic code transformations, software tools, productivity, conditioning, legacy codes
22	I-Hsuan Peng, Kuo-Wei Peng, Yen-Wen Chen	Cross Layer Routing for Reliable Connections in IP over WDM Networks.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
22	Yun S. Song, Zhihong Ding, Dan Gusfield, Charles H. Langley, Yufeng Wu	Algorithms to Distinguish the Role of Gene-Conversion from Single-Crossover Recombination in the Derivation of SNP Sequences in Populations.	RECOMB	2006	DBLP DOI BibTeX RDF
22	Selçuk Baktir, Berk Sunar	Finite Field Polynomial Multiplication in the Frequency Domain with Application to Elliptic Curve Cryptography.	ISCIS	2006	DBLP DOI BibTeX RDF	elliptic curve cryptography, DFT, Finite field multiplication
22	Takashi Kitagawa, Peng Yang 0002, Goichiro Hanaoka, Rui Zhang 0002, Hajime Watanabe, Kanta Matsuura, Hideki Imai	Generic Transforms to Acquire CCA-Security for Identity Based Encryption: The Cases of FOpkc and REACT.	ACISP	2006	DBLP DOI BibTeX RDF
22	Isamu Teranishi, Takuro Oyama, Wakaha Ogata	General Conversion for Obtaining Strongly Existentially Unforgeable Signatures.	INDOCRYPT	2006	DBLP DOI BibTeX RDF
22	Bao Rong Chang, Shi-Huang Chen, Hsiu Fen Tsai	Forecasting the Flow of Data Packets for Website Traffic Analysis - ASVR-Tuned ANFIS/NGARCH Approach.	ICONIP (2)	2006	DBLP DOI BibTeX RDF
22	Peng Wu 0001, Alexandre E. Eichenberger, Amy Wang	Efficient SIMD Code Generation for Runtime Alignment and Length Conversion.	CGO	2005	DBLP DOI BibTeX RDF
22	Zhenghao Zhang, Yuanyuan Yang	On-line optimal wavelength assignment in WDM networks with shared wavelength converter pool.	INFOCOM	2005	DBLP DOI BibTeX RDF
22	Dong-Hwan Shin, Jong-Weon Kim, Jong-Uk Choi	Broadcast Synchronizing System Using Audio Watermark.	PCM (2)	2005	DBLP DOI BibTeX RDF
22	Michael J. Vrhel	Indexing of multidimensional lookup tables in embedded systems.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
22	Bruce Spencer, Sandy Liu	Inferring Data Transformation Rules to Integrate Semantic Web Services.	ISWC	2004	DBLP DOI BibTeX RDF
22	Konstantinos V. Kostas, Alexandros I. Ginnis, Panagiotis D. Kaklis	A Scan-Line Algorithm for Clustering Line Segments.	SMI	2004	DBLP DOI BibTeX RDF
22	Bogdan J. Falkowski	Mutual transformations between Haar wavelet and arithmetic spectra.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
22	Jean-Claude Bajard, Laurent-Stéphane Didier, Peter Kornerup	Modular Multiplication and Base Extensions in Residue Number Systems.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
22	Zhongde Wang, Graham A. Jullien, William C. Miller	An efficient tree architecture for modulo 2n+1 multiplication.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF
22	Joshua S. Auerbach	A Protocol Conversion Software Toolkit.	SIGCOMM	1989	DBLP DOI BibTeX RDF
22	Simon S. Lam	Protocol conversion - correctness problems.	SIGCOMM	1986	DBLP DOI BibTeX RDF
22	Ben Shneiderman, Glenn Thomas	Automatic database system conversion: schema revision, data translation, and source-to-source program transformation.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
19	Amrutha Muralidhar, Yathindra Lakkanna	From Clicks to Conversions: Analysis of Traffic Sources in E-Commerce.	CoRR	2024	DBLP DOI BibTeX RDF
19	José Espírito Santo, Gilda Ferreira	How to avoid the commuting conversions of IPC.	CoRR	2024	DBLP DOI BibTeX RDF
19	Sajad Abbar, Meng-Ru Wu, Zewei Xiong	Application of Neural Networks for the Reconstruction of Supernova Neutrino Energy Spectra Following Fast Neutrino Flavor Conversions.	CoRR	2024	DBLP DOI BibTeX RDF
19	Quinten Norga, Jan-Pieter D'Anvers, Suparna Kundu, Ingrid Verbauwhede	Mask Conversions for d+1 shares in Hardware, with Application to Lattice-based PQC.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
19	Travis Gagie, Adrián Goga, Artur Jez, Gonzalo Navarro 0001	Space-Efficient Conversions from SLPs.	LATIN (1)	2024	DBLP DOI BibTeX RDF
19	Shan Ullah, Deok-Hwan Kim	An Optimized EMG Encoder to Minimize Soft Speech Loss for Speech to EMG Conversions.	BigComp	2024	DBLP DOI BibTeX RDF
19	Xinhao Xu, Fengfeng Ke	Learning Number Conversions Through Embodied Interactions.	Technol. Knowl. Learn.	2023	DBLP DOI BibTeX RDF
19	Mohsen Ganjali, Mohammadreza Qashqaei, Najmeh Safavi, S. Esmail Hosseini	A Photonics Approach for Microwave Waveform Generation Based on PM-IM Conversions Using Two Dual-Output Sagnac Interferometers.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Soohwan Kim, Minkyoung Kim	Rotation Representations and Their Conversions.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Muhammad Ehab, Mohamed Atef Tawfik, Muhammad Umair Munir, Ashraf Ahmed, Joung-Hu Park	ISM-Band Frequency Transformer Modeling for Isolated High-Power Conversions.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
19	Zhi-Jia Wu, Shou-Fu Tian	Breather-to-soliton conversions and their mechanisms of the (2+1)-dimensional generalized Hirota-Satsuma-Ito equation.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
19	Yuto Fujihara, Asahi Sueyoshi, Alisson Rodrigues de Paula, Akihiro Maruta, Ken Mishina	All-Optical Modulation Format Conversions from PAM4 to QPSK and 16QAM Using Silicon-Rich Nitride Waveguides.	IEICE Trans. Commun.	2023	DBLP DOI BibTeX RDF
19	Salwan Tajjour, Sonia Garg, Shyam Singh Chandel, Diksha Sharma	A novel hybrid artificial neural network technique for the early skin cancer diagnosis using color space conversions of original images.	Int. J. Imaging Syst. Technol.	2023	DBLP DOI BibTeX RDF
19	Kuo-Ching Tseng, En-Ming Shih, Guan-Yu Huang	An integrated of buck and half-bridge high step-down converter utilizing single-stage driving design for high-efficiency energy conversions.	Int. J. Circuit Theory Appl.	2023	DBLP DOI BibTeX RDF
19	Francisco Maturana, K. V. Rashmi	Bandwidth Cost of Code Conversions in Distributed Storage: Fundamental Limits and Optimal Constructions.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
19	Gábor Lugosi, Gergely Neu	Online-to-PAC Conversions: Generalization Bounds via Regret Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
19	Nikolaos Louloudakis, Perry Gibson, José Cano 0001, Ajitha Rajan	Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions.	CoRR	2023	DBLP DOI BibTeX RDF
19	Nikolaos Louloudakis, Perry Gibson, José Cano 0001, Ajitha Rajan	Fault Localization for Framework Conversions of Image Recognition Models.	CoRR	2023	DBLP DOI BibTeX RDF
19	Ruiqing Xi, Jian Lan, Xiaomeng Cao	Nonlinear Estimation Using Multiple Conversions With Optimized Extension for Target Tracking.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
19	Sakhybay Tynymbayev, Sergiy Gnatyuk, Rat Berdibayev, Kaiyrbek Makulov, Tetiana Okhrimenko	Modular Matrix Multiplication for Cryptographic Conversions (short paper).	CQPC	2023	DBLP BibTeX RDF
19	Felipe Vargas-Rojas, Axel Polleres, Llorenç Cabrera-Bosquet, Danai Symeonidou	PhyQus: Automatic Unit Conversions for Wikidata Physical Quantities.	Wikidata@ISWC	2023	DBLP BibTeX RDF
19	Varun Chugh, William Kretz, Steven Rosa, Brooks Beckelman, Hao Tong, Dejan Mitkovski	Ready for the Big Game: How FanDuel Boosts Conversions and Revenue at Scale with a Real-Time Recommender System for Daily Fantasy Sports.	IEEE Big Data	2023	DBLP DOI BibTeX RDF
19	Weidong Cao, Xuan Zhang	A/D Alleviator: Reducing Analog-to-Digital Conversions in Compute-In-Memory with Augmented Analog Accumulation.	ISCAS	2023	DBLP DOI BibTeX RDF
19	Nikolaos Louloudakis, Perry Gibson, José Cano 0001, Ajitha Rajan	Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition.	ASE	2023	DBLP DOI BibTeX RDF
19	Ima Ituen, Baoxin Hu	Potential Carbon Emissions and Carbon Sequestration in the Clay Belt Following Land Conversions.	IGARSS	2023	DBLP DOI BibTeX RDF
19	Zobaida Alssadi, Marius Silaghi 0001	Security of Text to Icon/Image conversions.	FLAIRS	2023	DBLP DOI BibTeX RDF
19	James Cummings 0003, Alexandra Healey, Diane Jakacki, Ian Johnson, Carrie Pirmann, Valentina Flex, Evie Jeffrey	Documenting Workflows for HTR to TEI Conversions for Cultural Institutions: The Evolving Hands Project.	DH	2023	DBLP DOI BibTeX RDF
19	James Cummings 0003, Alexandra Healey, Diane Jakacki, Valentina Flex, Evie Jeffrey, Carrie Pirmann, Ian Johnson	Documenting Workflows for HTR to TEI Conversions for Cultural Institutions: The Evolving Hands Project.	DH	2023	DBLP DOI BibTeX RDF
19	Jianchang Lai, Fuchun Guo, Willy Susilo, Peng Jiang, Guomin Yang, Xinyi Huang 0001	Generic conversions from CPA to CCA without ciphertext expansion for threshold ABE with constant-size ciphertexts.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
19	Sze-Chun Yiu, Bernhard Meirose, Joshua Barrow, Christian Bohm, Gustaaf Brooijmans, Katherine Dunne, Elena S. Golubeva, David Milstead, André Nepomuceno, Anders Oskarsson, Valentina Santoro, Samuel Silverstein	Status of the Design of an Annihilation Detector to Observe Neutron-Antineutron Conversions at the European Spallation Source.	Symmetry	2022	DBLP DOI BibTeX RDF
19	Zuzana Kostálová, Stefan Lyócsa, Miroslav Stefánik	Online job vacancy attractiveness: Increasing views, reactions and conversions.	Electron. Commer. Res. Appl.	2022	DBLP DOI BibTeX RDF
19	Francisco Maturana, K. V. Rashmi	Bandwidth Cost of Code Conversions in the Split Regime.	CoRR	2022	DBLP DOI BibTeX RDF
19	Travis Gagie, Artur Jez, Gonzalo Navarro 0001	Space-efficient conversions from SLPs.	CoRR	2022	DBLP DOI BibTeX RDF
19	Olivier Bronchain, Gaëtan Cassiers	Bitslicing Arithmetic/Boolean Masking Conversions for Fun and Profit with Application to Lattice-Based KEMs.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2022	DBLP DOI BibTeX RDF
19	Olivier Bronchain, Gaëtan Cassiers	Bitslicing Arithmetic/Boolean Masking Conversions for Fun and Profit with Application to Lattice-Based KEMs.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Yun Zhou, Xiaoqiang Guo, Yaming Wang, Changwei Chen	Analysis and Evaluation on Conversions Between SDR and HDR.	IWCMC	2022	DBLP DOI BibTeX RDF
19	Francisco Maturana, K. V. Rashmi	Bandwidth Cost of Code Conversions in the Split Regime.	ISIT	2022	DBLP DOI BibTeX RDF
19	Yuto Fujihara, Ken Mishina, Asahi Sueyoshi, Alisson Rodrigues de Paula, Akihiro Maruta	All-optical PAM4 to QPSK and 16QAM Conversions Using Si-rich SiN Waveguides.	OECC/PSC	2022	DBLP DOI BibTeX RDF
19	David Frederic Crouse	Coordinates and Conversions for Surface-Wave Radar.	FUSION	2022	DBLP BibTeX RDF
19	Frederik Bous, Laurent Benaroya, Nicolas Obin, Axel Roebel	Voice Reenactment with F0 and timing constraints and adversarial learning of conversions.	EUSIPCO	2022	DBLP BibTeX RDF
19	Jan Bessai, George T. Heineman, Boris Düdder	Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
19	Revathy Narayanan, C. Siva Ram Murthy	A Routing Framework With Protocol Conversions Across Multiradio IoT Platforms.	IEEE Internet Things J.	2021	DBLP DOI BibTeX RDF
19	Sang Hyun Lee, Jae Kyun Kwon	On Signal Quality Measures in Dimmable Visible Light Communications: Definitions and Conversions.	IEEE Wirel. Commun. Lett.	2021	DBLP DOI BibTeX RDF
19	Mengzhou Zhuang, Eric (Er) Fang, Jongkuk Lee, Xiaoling Li	The Effects of Price Rank on Clicks and Conversions in Product List Advertising on Online Retail Platforms.	Inf. Syst. Res.	2021	DBLP DOI BibTeX RDF
19	Dongbo Xi, Zhen Chen, Peng Yan, Yinger Zhang, Yongchun Zhu, Fuzhen Zhuang, Yu Chen	Modeling the Sequential Dependence among Audience Multi-step Conversions with Multi-task Learning in Targeted Display Advertising.	CoRR	2021	DBLP BibTeX RDF
19	Ashwinkumar Badanidiyuru, Andrew Evdokimov, Vinodh Krishnan, Pan Li, Wynn Vonnegut, Jayden Wang	Handling many conversions per click in modeling delayed feedback.	CoRR	2021	DBLP BibTeX RDF