Search results for "formulae"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Xiaoyan Qin, Yang Xu 0001, Yi Liu 0005	The validity degree vectors of formulae in two-valued predicate logic.	Int. J. Comput. Intell. Syst.	2015	DBLP DOI BibTeX RDF
14	Stéphane Caron, Quang-Cuong Pham, Yoshihiko Nakamura	Stability of surface contacts for humanoid robots: Closed-form formulae of the Contact Wrench Cone for rectangular support areas.	ICRA	2015	DBLP DOI BibTeX RDF
14	Shizuka Shirai, Tetsuo Fukui	Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method.	MACIS	2015	DBLP DOI BibTeX RDF
14	Yuehan Wang, Liangcai Gao, Simeng Wang, Zhi Tang 0001, Xiaozhong Liu, Ke Yuan	WikiMirs 3.0: A Hybrid MIR System Based on the Context, Structure and Importance of Formulae in a Document.	JCDL	2015	DBLP DOI BibTeX RDF
14	Lai-Xiang Shan, Zheng Qin 0003, Kaiping Xu, Xu Chen, Zhipeng Li	From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization.	APSEC	2015	DBLP DOI BibTeX RDF
14	Gill Barequet, Mira Shalah	Automatic Proofs for Formulae Enumerating Proper Polycubes.	SoCG	2015	DBLP DOI BibTeX RDF
14	Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret	Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models.	SUM	2015	DBLP DOI BibTeX RDF
14	Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir	When Are Prime Formulae Characteristic?	MFCS (1)	2015	DBLP DOI BibTeX RDF
14	Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.	LPNMR	2015	DBLP DOI BibTeX RDF
14	Sylvain Hallé, Raphaël Khoury	Runtime Monitoring of Stream Logic Formulae.	FPS	2015	DBLP DOI BibTeX RDF
14	Lubomír Brancík, N. Smith	Two approaches to derive approximate formulae of NILT method with generalization.	MIPRO	2015	DBLP DOI BibTeX RDF
14	Dusan Guller	Unsatisfiable Formulae of Gödel Logic with Truth Constants and , \prec , \Delta Are Recursively Enumerable.	ICSI (3)	2015	DBLP DOI BibTeX RDF
14	Duangkamol Pakdeesattayapong, Verayuth Lertnattee	Correcting and Standardizing Crude Drug Names in Traditional Medicine Formulae by Ensemble of String Matching Techniques.	ICIC (2)	2015	DBLP DOI BibTeX RDF
14	M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001	Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.	SAT	2015	DBLP DOI BibTeX RDF
14	Martin P. Calasan, Rada Dragovic-Ivanovic, Slavica M. Perovich	Determining the STFT exact formulae to the transistor thermal sensitivity estimations.	MECO	2015	DBLP DOI BibTeX RDF
14	Srinivasa Rao Subramanya Rao	Interesting Results Arising from Karatsuba Multiplication - Montgomery family of formulae.	ICCCT	2015	DBLP DOI BibTeX RDF
14	Alessandro Previti, Alexey Ignatiev, António Morgado 0001, João Marques-Silva 0001	Prime Compilation of Non-Clausal Formulae.	IJCAI	2015	DBLP BibTeX RDF
14	Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders, Cherry Y. Zou, Azeem S. Mohammed, Alex A. Danoff	Growing the Digital Repository of Mathematical Formulae with Generic Sources.	CICM	2015	DBLP DOI BibTeX RDF
14	Gabriel A. Barragán-Ramírez, Carlos García Gómez, Juan Alberto Rodríguez-Velázquez	Closed formulae for the local metric dimension of corona product graphs.	Electron. Notes Discret. Math.	2014	DBLP DOI BibTeX RDF
14	Wim van Ackooij, René Henrion	Gradient Formulae for Nonlinear Probabilistic Constraints with Gaussian and Gaussian-Like Distributions.	SIAM J. Optim.	2014	DBLP DOI BibTeX RDF
14	Miodrag M. Spalevic	Error Bounds and Estimates for Gauss-Turán Quadrature Formulae of Analytic Functions.	SIAM J. Numer. Anal.	2014	DBLP DOI BibTeX RDF
14	Marco B. Caminati, Artur Kornilowicz	Pseudo-Canonical Formulae are Classical.	Formaliz. Math.	2014	DBLP DOI BibTeX RDF
14	Endre Boros, Aritanan Gruber	Hardness results for approximate pure Horn CNF formulae minimization.	Ann. Math. Artif. Intell.	2014	DBLP DOI BibTeX RDF
14	Steven Diot, Marianne M. François, Edward D. Dendy	An interface reconstruction method based on analytical formulae for 2D planar and axisymmetric arbitrary convex cells.	J. Comput. Phys.	2014	DBLP DOI BibTeX RDF
14	Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang	Henkin quantifiers and Boolean formulae: A certification perspective of DQBF.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Serkan Araci, Mehmet Açikgöz, Erdogan Sen	Some New Formulae for Genocchi Numbers and Polynomials Involving Bernoulli and Euler Polynomials.	Int. J. Math. Math. Sci.	2014	DBLP DOI BibTeX RDF
14	Avishay Tal	Shrinkage of De Morgan Formulae from Quantum Query Complexity.	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
14	Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams	Digital Repository of Mathematical Formulae.	CoRR	2014	DBLP BibTeX RDF
14	Ilya Volkovich	Characterizing Arithmetic Read-Once Formulae.	CoRR	2014	DBLP BibTeX RDF
14	João Marques-Silva 0001, Mikolás Janota	Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.	CoRR	2014	DBLP BibTeX RDF
14	Lorenzo Ntogramatzidis, Roberto Zanasi, Stefania Cuoghi	A Novel Instructional Approach to the Design of Standard Controllers: Using Inversion Formulae.	IEEE Trans. Educ.	2014	DBLP DOI BibTeX RDF
14	Bai-Ni Guo, Feng Qi 0001	Explicit formulae for computing Euler polynomials in terms of Stirling numbers of the second kind.	J. Comput. Appl. Math.	2014	DBLP DOI BibTeX RDF
14	Aysegül Iscanoglu Çekiç, Ömür Ugur	Pricing formulae for constant proportion debt obligation notes: The Laplace transform technique.	J. Comput. Appl. Math.	2014	DBLP DOI BibTeX RDF
14	Luca Alberucci, Jürg Krähenbühl, Thomas Studer	Justifying induction on modal μ-formulae.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
14	Shuichi Moritsugu	Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.	ADG	2014	DBLP DOI BibTeX RDF
14	Shuichi Moritsugu	Integrating Circumradius and Area Formulae for Cyclic Pentagons.	ICMS	2014	DBLP DOI BibTeX RDF
14	Shizuka Shirai, Tetsuo Fukui	Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method.	ICMS	2014	DBLP DOI BibTeX RDF
14	Avishay Tal	Shrinkage of De Morgan Formulae by Spectral Techniques.	FOCS	2014	DBLP DOI BibTeX RDF
14	Ephraim Nissan	Tale Variants and Analysis in Episodic Formulae: Early Ottoman, Elizabethan, and "Solomonic" Versions.	Language, Culture, Computation (2)	2014	DBLP DOI BibTeX RDF
14	Dusan Guller	Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable.	IJCCI (Selected Papers)	2014	DBLP DOI BibTeX RDF
14	Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet	Formulae for Polyominoes on Twisted Cylinders.	LATA	2014	DBLP DOI BibTeX RDF
14	Debasattam Pal, Harish K. Pillai	Novel representation formulae for discrete 2D autonomous systems.	CDC	2014	DBLP DOI BibTeX RDF
14	Bin Gu 0005, Tiecheng Song, Dafei Sun, Lei Zhang 0050, Ming Wu, Jie Guo	A set of closed form approximate formulae for optimal sensing duration of cognitive radio.	WCSP	2014	DBLP DOI BibTeX RDF
14	Jian Wang, Xiaoping Zhang, Biyan Liang, Xuezhong Zhou, Jiaming Lu, Liran Xu, Xin Deng, Xiuhui Li, Li Wang, Xinghua Tan, Yuxiang Mao, Guoliang Zhang, Junwen Wang, Xiaodong Li, Yuguang Wang	Regularity of herbal formulae for HIV/AIDS patients with syndromes based on complex networks.	CIBD	2014	DBLP DOI BibTeX RDF
14	Stefania Cuoghi, Lorenzo Ntogramatzidis	Inversion formulae for the design of PIDF controllers.	AuCC	2014	DBLP DOI BibTeX RDF
14	Saïd Jabbour, João Marques-Silva 0001, Lakhdar Sais, Yakoub Salhi	Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.	JELIA	2014	DBLP DOI BibTeX RDF
14	Xiaoyan Lin, Liangcai Gao, Xuan Hu, Zhi Tang 0001, Yingnan Xiao, Xiaozhong Liu	A mathematics retrieval system for formulae in layout presentations.	SIGIR	2014	DBLP DOI BibTeX RDF
14	Pauline Traynard, François Fages, Sylvain Soliman	Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock.	CMSB	2014	DBLP DOI BibTeX RDF
14	Moritz Schubotz, Abdou Youssef, Volker Markl, Howard S. Cohl, Jimmy J. Li	Evaluation of Similarity-Measure Factors for Formulae Based on the NTCIR-11 Math Task.	NTCIR	2014	DBLP BibTeX RDF
14	Trung-Kien Le 0002, Nobutaka Ono	Numerical formulae for TOA-based microphone and source localization.	IWAENC	2014	DBLP DOI BibTeX RDF
14	Guillaume Munch-Maccagnoni	Formulae-as-types for an involutive negation.	CSL-LICS	2014	DBLP DOI BibTeX RDF
14	Christophe Tran	Formulae for Computation of Tate Pairing on Hyperelliptic Curve Using Hyperelliptic Nets.	AFRICACRYPT	2014	DBLP DOI BibTeX RDF
14	Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara	Cellular Automata and Formulae on Monoids.	ACRI	2014	DBLP DOI BibTeX RDF
14	Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams	Digital Repository of Mathematical Formulae.	CICM	2014	DBLP DOI BibTeX RDF
14	Roxanne Leitão, Chris Roast	Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects.	CICM Workshops	2014	DBLP BibTeX RDF
14	Andrea Kohlhase, Alexandru Toader	FEncy: Spreadsheet Formulae Exploration.	CICM Workshops	2014	DBLP BibTeX RDF
14	Christophe Tran	Addition formulae on hyperelliptic curves : applications to cryptography. (Formules d'addition sur les jacobiennes de courbes hyperelliptiques : applications à la cryptographie).		2014	RDF
14	Quentin L. Burrell	Formulae for the h-index: A lack of robustness in Lotkaian informetrics?	J. Assoc. Inf. Sci. Technol.	2013	DBLP DOI BibTeX RDF
14	Emanuel Pimentel Barbosa, Mario Antonio Gneri, Ariane Meneguetti	Range Control Charts Revisited: Simpler Tippett-like Formulae, Its Practical Implementation, and the Study of False Alarm.	Commun. Stat. Simul. Comput.	2013	DBLP DOI BibTeX RDF
14	David G. Glynn	Permanent formulae from the Veronesean.	Des. Codes Cryptogr.	2013	DBLP DOI BibTeX RDF
14	Ming Yang, Josiah Poon, Shaomo Wang, Li-Jing Jiao, Simon K. Poon, Lizhi Cui, Peiqi Chen, Daniel Man-yuen Sze, Ling Xu	Application of Genetic Algorithm for Discovery of Core Effective Formulae in TCM Clinical Data.	Comput. Math. Methods Medicine	2013	DBLP DOI BibTeX RDF
14	Liang Song, Jianmin Wang 0001, Lijie Wen, Hui Kong 0004	Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
14	Gil Cohen, Ivan Bjerre Damgård, Yuval Ishai, Jonas Kölker, Peter Bro Miltersen, Ran Raz, Ron Rothblum	Efficient Multiparty Protocols via Log-Depth Threshold Formulae.	Electron. Colloquium Comput. Complex.	2013	DBLP BibTeX RDF
14	Seyed Hamed Hassani, Nicolas Macris, Rüdiger L. Urbanke	The Space of Solutions of Coupled XORSAT Formulae	CoRR	2013	DBLP BibTeX RDF
14	Saïd Jabbour, Lakhdar Sais, Yakoub Salhi	Mining to Compact CNF Propositional Formulae	CoRR	2013	DBLP BibTeX RDF
14	Abdelmejid Bayad, Jamel Chikhi	Möbius inversion formulae for Apostol-Bernoulli type polynomials and numbers.	Math. Comput.	2013	DBLP DOI BibTeX RDF
14	Miodrag M. Spalevic	Error bounds of Gaussian quadrature formulae for one class of Bernstein-Szegő weights.	Math. Comput.	2013	DBLP DOI BibTeX RDF
14	Hing-Cheung So, Yiu Tong Chan, K. C. Ho 0001, Yuan Chen 0003	Simple Formulae for Bias and Mean Square Error Computation [DSP Tips and Tricks].	IEEE Signal Process. Mag.	2013	DBLP DOI BibTeX RDF
14	A. Karimi Dizicheh, Soheil Salahshour, Fudziah Bt. Ismail	A note on "Numerical solutions of fuzzy differential equations by extended Runge-Kutta-like formulae of order 4".	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
14	N. Q. Huy, Jen-Chih Yao	Exact Formulae for Coderivatives of Normal Cone Mappings to Perturbed Polyhedral Convex Sets.	J. Optim. Theory Appl.	2013	DBLP DOI BibTeX RDF
14	Gil Cohen, Ivan Bjerre Damgård, Yuval Ishai, Jonas Kölker, Peter Bro Miltersen, Ran Raz, Ron D. Rothblum	Efficient Multiparty Protocols via Log-Depth Threshold Formulae.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
14	Debasattam Pal, Harish K. Pillai	Representation Formulae for Discrete 2D Autonomous Systems.	SIAM J. Control. Optim.	2013	DBLP DOI BibTeX RDF
14	Chuanan Wei, Dianxuan Gong, Jianbo Li	Summation formulae for qq-Watson type 4ϕ34ϕ3-series.	Discret. Math.	2013	DBLP DOI BibTeX RDF
14	Omer Landry Nguena-Timo, Pierre-Alain Reynier	On characteristic formulae for Event-Recording Automata.	RAIRO Theor. Informatics Appl.	2013	DBLP DOI BibTeX RDF
14	Zhaoliang Meng, Zhongxuan Luo	Constructing cubature formulae of degree 5 with few points.	J. Comput. Appl. Math.	2013	DBLP DOI BibTeX RDF
14	Andrea Aglic Aljinovic, S. Kovac, Josip Pecaric	General weighted two-point Radau and Gauss and three-point Lobatto quadrature formulae for functions in L p spaces.	Period. Math. Hung.	2013	DBLP DOI BibTeX RDF
14	Jussi Behrndt, Matthias Langer, Vladimir Lotoreichik	Trace formulae and singular values of resolvent power differences of self-adjoint elliptic operators.	J. Lond. Math. Soc.	2013	DBLP DOI BibTeX RDF
14	Alex Bartel, Bart de Smit	Index formulae for integral Galois modules.	J. Lond. Math. Soc.	2013	DBLP DOI BibTeX RDF
14	James G. Wan	Some Notes on Weighted Sum Formulae for Double Zeta Values.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
14	Zach Weber	Figures, Formulae, and Functors.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
14	Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno	Mining-based compression approach of propositional formulae.	CIKM	2013	DBLP DOI BibTeX RDF
14	João Marques-Silva 0001, Mikolás Janota, Anton Belov	Minimal Sets over Monotone Predicates in Boolean Formulae.	CAV	2013	DBLP DOI BibTeX RDF
14	Seyed Hamed Hassani, Nicolas Macris, Rüdiger L. Urbanke	The space of solutions of coupled XORSAT formulae.	ISIT	2013	DBLP DOI BibTeX RDF
14	Verayuth Lertnattee, Sinthop Chomya, Virach Sornlertlamvanich	Using a Normalized Score Centroid-Based Classifier to Classify Multi-label Herbal Formulae.	MIWAI	2013	DBLP DOI BibTeX RDF
14	Stefania Cuoghi, Lorenzo Ntogramatzidis	On the use of inversion formulae for the synthesis of discrete PID controllers.	MED	2013	DBLP DOI BibTeX RDF
14	Andrea Kohlhase, Alexandru Toader	Exploration of Spreadsheet Formulae with Fency.	LWA	2013	DBLP BibTeX RDF
14	Verayuth Lertnattee, Sinthop Chomya, Chanisara Lueviphan	Using a Normalized Score Multi-Label KNN to Classify Multi-label Herbal Formulae.	MIKE	2013	DBLP DOI BibTeX RDF
14	Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer 0001, Christoph Scholl 0001, Bernd Becker 0001	Equivalence checking of partial designs using dependency quantified Boolean formulae.	ICCD	2013	DBLP DOI BibTeX RDF
14	Hongmei Zhou, Jing Yang, Jinrui Guo, Yahong Wang, Guang Zheng, Hongtao Guo, Yong Tan, Xiaoxia Ren, Rongfen Dong, Jinrong Zhang, Zhaoli Cui, Aiping Lu, Miao Jiang 0001, Yaoxian Wang	Rule-based text mining of traditional Chinese medicine patterns with Chinese herbal medicines and formulae on hypertension.	BIBM	2013	DBLP DOI BibTeX RDF
14	Dania Bilal	Comparing google's readability of search results to the flesch readability formulae: A preliminary analysis on children's search queries.	ASIST	2013	DBLP DOI BibTeX RDF
14	Gil Cohen, Ivan Bjerre Damgård, Yuval Ishai, Jonas Kölker, Peter Bro Miltersen, Ran Raz, Ron D. Rothblum	Efficient Multiparty Protocols via Log-Depth Threshold Formulae - (Extended Abstract).	CRYPTO (2)	2013	DBLP DOI BibTeX RDF
14	Michael Cashmore	Planning as quantified Boolean formulae.		2013	RDF
14	Haining Fan, Ming Gu 0001, Jiaguang Sun 0001, Kwok-Yan Lam	Obtaining more Karatsuba-like formulae over the binary field.	IET Inf. Secur.	2012	DBLP DOI BibTeX RDF
14	Luigi Brugnano, Felice Iavernaro, Donato Trigiante	Energy- and Quadratic Invariants-Preserving Integrators Based upon Gauss Collocation Formulae.	SIAM J. Numer. Anal.	2012	DBLP DOI BibTeX RDF
14	Dae Hyun Yum, Pil Joong Lee	Exact Formulae for Resilience in Random Key Predistribution Schemes.	IEEE Trans. Wirel. Commun.	2012	DBLP DOI BibTeX RDF
14	Sun-Mi Park	Explicit formulae of polynomial basis squarer for pentanomials using weakly dual basis.	Integr.	2012	DBLP DOI BibTeX RDF
14	Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack	Characteristic formulae for fixed-point semantics: a general framework.	Math. Struct. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Dianjun Lu, Keh-Shin Lii, Yu Wang	The formulae and algorithms for Lagrange-power basis transformation and Lagrange-Newton transformation.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
14	Gradimir V. Milovanovic	Generalized quadrature formulae for analytic functions.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
14	Miodrag M. Spalevic, Miroslav S. Pranic, Aleksandar V. Pejcev	Maximum of the modulus of kernels of Gaussian quadrature formulae for one class of Bernstein-Szegő weight functions.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF