Search results for "Maple"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li 0005	An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension.	MC	2020	DBLP DOI BibTeX RDF
35	Yacine Bouzidi, Alban Quadrat, Fabrice Rouillier, Grace Younes	Computation of the ℒ∞ -norm of Finite-Dimensional Linear Systems.	MC	2020	DBLP DOI BibTeX RDF
35	Juan Tolosa	Rational Cone of Norm-Invariant Vectors Under a Matrix Action.	MC	2020	DBLP DOI BibTeX RDF
35	Juana Sendra	Bohemian Matrices: Past, Present and Future.	MC	2020	DBLP DOI BibTeX RDF
35	Yacine Bouzidi, Roudy Dagher, Elisa Hubert, Alban Quadrat	Algebraic Aspects of a Rank Factorization Problem Arising in Vibration Analysis.	MC	2020	DBLP DOI BibTeX RDF
35	Gabriel Picioroaga	Understanding Math Concepts in Music and Vice-Versa.	MC	2020	DBLP DOI BibTeX RDF
35	V. Nieves-Cruz, P. E. Balderas-Cañas	Estimation of Travel Time for Additional Metrobus Route.	MC	2020	DBLP DOI BibTeX RDF
35	Parker B. Edwards, Jonathan D. Hauenstein, Clifford D. Smyth	Certified Evaluations of Hölder Continuous Functions at Roots of Polynomials.	MC	2020	DBLP DOI BibTeX RDF
35	Sergey A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko	The TruncatedSeries Package for Solving Linear Ordinary Differential Equations Having Truncated Series Coefficients.	MC	2020	DBLP DOI BibTeX RDF
35	Mahsa Kazemi, Marc Moreno Maza	Detecting Singularities Using the PowerSeries Library.	MC	2019	DBLP DOI BibTeX RDF
35	Murray R. Bremner, Vladimir Dotsenko	Distributive Laws Between the Operads Lie and Com.	MC	2019	DBLP DOI BibTeX RDF
35	Fredrik Johansson	Ball Arithmetic as a Tool in Computer Algebra.	MC	2019	DBLP DOI BibTeX RDF
35	Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen 0001, Jianlin Wang	A Heilbronn Type Inequality for Plane Nonagons.	MC	2019	DBLP DOI BibTeX RDF
35	Yacine Bouzidi, Thomas Cluzeau, Alban Quadrat, Fabrice Rouillier	On the Effective Computation of Stabilizing Controllers of 2D Systems.	MC	2019	DBLP DOI BibTeX RDF
35	Zahra Mohammadi, Gregory J. Reid, Tracy Shih-lung Huang	The Lie Algebra of Vector Fields Package with Applications to Mappings of Differential Equations.	MC	2019	DBLP DOI BibTeX RDF
35	Robert M. Corless, Leili Rafiee Sevyeri	Approximate GCD in a Bernstein Basis.	MC	2019	DBLP DOI BibTeX RDF
35	Parisa Alvandi, Stephen M. Watt	The LegendreSobolev Package and Its Applications in Handwriting Recognition.	MC	2019	DBLP DOI BibTeX RDF
35	Alice Barana, Alberto Conte, Cecilia Fissore, Francesco Floris, Marina Marchisio, Matteo Sacchet	The Creation of Animated Graphs to Develop Computational Thinking and Support STEM Education.	MC	2019	DBLP DOI BibTeX RDF
35	Gilbert Labelle	Classifying Discrete Structures by Their Stabilizers.	MC	2019	DBLP DOI BibTeX RDF
35	Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh	Effective Problem Solving Using SAT Solvers.	MC	2019	DBLP DOI BibTeX RDF
35	Marvin Weinstein	Your Data Wants You to Ask Better Questions. Do It!	MC	2019	DBLP DOI BibTeX RDF
35	Heather A. Harrington, Dhagash Mehta, Helen M. Byrne, Jonathan D. Hauenstein	Decomposing the Parameter Space of Biological Networks via a Numerical Discriminant Approach.	MC	2019	DBLP DOI BibTeX RDF
35	Michael B. Monagan	Using Leslie Matrices as the Application of Eigenvalues and Eigenvectors in a First Course in Linear Algebra.	MC	2019	DBLP DOI BibTeX RDF
35	Larry M. Deschaine	Book Review: Global Optimization Toolbox for Maple and Global Optimization with Maple.	Int. J. Model. Identif. Control.	2006	DBLP DOI BibTeX RDF
35	Markus Hörhager	Maple in Technik und Wissenschaft - Maple-Praxis.		1996	RDF
35	Nancy Blachman, Michael J. Mossinghoff	Maple griffbereit - alle Versionen bis Maple V3.		1995	RDF
35	Dominique Villard, Michael B. Monagan	ADrien: An Implementation of Automatic Differentiation in Maple.	ISSAC	1999	DBLP DOI BibTeX RDF	Maple
35	Aaron S. Wallack, Ioannis Z. Emiris, Dinesh Manocha	MARS: A MAPLE/MATLAB/C Resultant-Based Solver.	ISSAC	1998	DBLP DOI BibTeX RDF	MATLAB, Maple
35	Clemens Ballarin, Karsten Homann, Jacques Calmet	Theorems and Algorithms: An Interface between Isabelle and Maple.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
35	Bruno Salvy, Paul Zimmermann	GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	Maple, computer algebra, generating functions, linear recurrences, linear differential equations
35	Michael B. Monagan, Walter M. Neuenschwander	GRADIENT: Algorithmic Differentiation in Maple.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple
35	Keith O. Geddes, Gregory J. Fee	Hybrid Symbolic-Numeric Integration in MAPLE.	ISSAC	1992	DBLP DOI BibTeX RDF	Maple
35	Honglin Ye, Robert M. Corless	Solving Linear Integral Equations in Maple.	ISSAC	1992	DBLP DOI BibTeX RDF	Maple
35	Tony C. Scott, Gregory J. Fee	Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems.	ISSAC	1990	DBLP DOI BibTeX RDF	Maple
29	Goetz Botterweck, Iris Groher, Andreas Polzer, Christa Schwanninger, Steffen Thiel, Markus Völter	1st International Workshop on Model-driven Approaches in Software Product Line Engineering: (MAPLE 2009).	SPLC	2009	DBLP BibTeX RDF
29	Daniel Esteban Sierra Sosa	Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple.	CASC	2007	DBLP DOI BibTeX RDF
29	Robert M. Corless, Dawit Assefa	Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas.	ISSAC	2007	DBLP DOI BibTeX RDF	elliptic functions, integration
29	Eugenio Roanes-Macías, Eugenio Roanes-Lozano	A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
29	Juan Ospina, Doracelly Hincapié	Mackendrick: A Maple Package Oriented to Symbolic Computational Epidemiology.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
29	Luis Hernández Encinas, Jaime Muñoz Masqué, A. Queiruga Dios	Maple Implementation of the Chor-Rivest Cryptosystem.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
29	Dumitru N. Vulcanov, Valentina D. Vulcanov	The Use of Maple Platform for the Study of Geodesic Motion on Curved Spacetimes.	SYNASC	2006	DBLP DOI BibTeX RDF
29	Pratibha, David J. Jeffrey	Stokes-Flow Problem Solved Using Maple.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
29	Gui-qiong Xu, Zhi-bin Li	The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
29	Hirokazu Anai, Hitoshi Yanami	SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
29	Simon Colton	Making Conjectures about Maple Functions.	AISC	2002	DBLP DOI BibTeX RDF
29	Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz	A Maple Package for Conditional Event Algebras.	WCII	2002	DBLP DOI BibTeX RDF
29	Dana Petcu	Solving Initial Value Problems with Parallel Maple Processes.	Euro-Par	2001	DBLP DOI BibTeX RDF
29	Trudy Weibel, Gaston H. Gonnet	An Assume Facility for CAS, with a Sample Implementation for Maple.	DISCO	1992	DBLP DOI BibTeX RDF
29	Keith O. Geddes, L. Yohanes Stefanus	On the Risch-Norman Integration Method and Its Implementation in MAPLE.	ISSAC	1989	DBLP DOI BibTeX RDF
29	Paul J. Voda	Maple: a Programming Language, Operating System.	POPL	1982	DBLP DOI BibTeX RDF
29	Franky Backeljauw, Annie A. M. Cuyt	Algorithm 895: A continued fractions package for special functions.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	CAS software, Maple, special functions, continued fractions
29	Ioannis Z. Emiris, Angelos Mantzaflaris	Multihomogeneous resultant formulae for systems with scaled support.	ISSAC	2009	DBLP DOI BibTeX RDF	bézout, determinantal formula, maple implementation, multihomogeneous system, resultant matrix, sylvester
29	A. Queiruga Dios, Luis Hernández Encinas, D. Queiruga	Cryptography Adapted to the New European Area of Higher Education.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Maple software, European area of higher education, implementation, Public key cryptography, information and communication technologies
29	Ioannis Z. Emiris, Sotirios I. Pantos	Protein Structure Prediction Using Residual Dipolar Couplings.	AB	2007	DBLP DOI BibTeX RDF	MAPLE implementation, protein kinematics, RDC data, Saupe tensor, Inverse kinematics, protein fold, secondary structure, polynomial equations
29	Petr Sojka	Animations in PDF.	ITiCSE	2003	DBLP DOI BibTeX RDF	Acrobat, electronic CS teaching materials, JavaScript, Maple, PDF, LaTeX, interactive animations, PostScript, TeX
29	Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt	Towards factoring bivariate approximate polynomials.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
29	Sylvain Petitjean	Automating the Construction of Stationary Multiple-Point Classes.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
29	Gregory J. Fee	Computation of Catalan's Constant Using Ramanujan's Formula.	ISSAC	1990	DBLP DOI BibTeX RDF	C, Maple
29	Bruce W. Char	Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation.	ISSAC	1990	DBLP DOI BibTeX RDF	Maple, Linda
24	Weiquan Ni, Alia Asheralieva, Jiawen Kang, Zehui Xiong, Carsten Maple, Xuetao Wei	An Enhanced Block Validation Framework With Efficient Consensus for Secure Consortium Blockchains.	IEEE Trans. Serv. Comput.	2024	DBLP DOI BibTeX RDF
24	Alexandros A. Stavdas, Evangelos A. Kosmatos, Carsten Maple, Emilio Hugues-Salas, Gregory Epiphaniou, Daniel S. Fowler, Shadi A. Razak, Chris Matrakidis, Hu Yuan 0001, Andrew Lord	Quantum Key Distribution for V2I communications with software-defined networking.	IET Quantum Commun.	2024	DBLP DOI BibTeX RDF
24	Al Tariq Sheik, Carsten Maple, Gregory Epiphaniou, Mehrdad Dianati	A Comprehensive Survey of Threats in Platooning - A Cloud-Assisted Connected and Autonomous Vehicle Application.	Inf.	2024	DBLP DOI BibTeX RDF
24	Shiliang Shao, Jin Zhang, Ting Wang, Achyut Shankar, Carsten Maple	Dynamic Obstacle-Avoidance Algorithm for Multi-Robot Flocking Based on Improved Artificial Potential Field.	IEEE Trans. Consumer Electron.	2024	DBLP DOI BibTeX RDF
24	Zhili Zhou, Zhipeng Bao, Weiwei Jiang, Yuan Huang, Yun Peng, Achyut Shankar, Carsten Maple, Shitharth Selvarajan	Latent Vector Optimization-Based Generative Image Steganography for Consumer Electronic Applications.	IEEE Trans. Consumer Electron.	2024	DBLP DOI BibTeX RDF
24	Roberto Leyva, Victor Sanchez, Gregory Epiphaniou, Carsten Maple	Detecting Face Synthesis Using a Concealed Fusion Model.	CoRR	2024	DBLP DOI BibTeX RDF
24	Roberto Leyva, Victor Sanchez, Gregory Epiphaniou, Carsten Maple	Data-Agnostic Face Image Synthesis Detection Using Bayesian CNNs.	CoRR	2024	DBLP DOI BibTeX RDF
24	Gillian Gorham, Asanga Abeyaratne, Sam Heard, Liz Moore, Pratish George, Paul Kamler, Sandawana William Majoni, Winnie Chen, Bhavya Balasubramanya, Mohammad Radwanur Talukder, Sophie Pascoe, Adam Whitehead, Cherian Sajiv, Louise Maple Brown, Nadarajah Kangaharan, Alan Cass	Correction: Developing an integrated clinical decision support system for the early identification and management of kidney disease - building cross-sectoral partnerships.	BMC Medical Informatics Decis. Mak.	2024	DBLP DOI BibTeX RDF
24	Gillian Gorham, Asanga Abeyaratne, Sam Heard, Liz Moore, Pratish George, Paul Kamler, Sandawana William Majoni, Winnie Chen, Bhavya Balasubramanya, Mohammad Radwanur Talukder, Sophie Pascoe, Adam Whitehead, Cherian Sajiv, Louise Maple Brown, Nadarajah Kangaharan, Alan Cass	Developing an integrated clinical decision support system for the early identification and management of kidney disease - building cross-sectoral partnerships.	BMC Medical Informatics Decis. Mak.	2024	DBLP DOI BibTeX RDF
24	Jean-Philippe Bossuat, Rosario Cammarota, Jung Hee Cheon, Ilaria Chillotti, Benjamin R. Curtis, Wei Dai 0007, Huijing Gong, Erin Hales, Duhyeong Kim, Bryan Kumara, Changmin Lee 0001, Xianhui Lu, Carsten Maple, Alberto Pedrouzo-Ulloa, Rachel Player, Luis Antonio Ruiz Lopez, Yongsoo Song, Donggeon Yhee, Bahattin Yildiz	Security Guidelines for Implementing Homomorphic Encryption.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
24	Al Tariq Sheik, Carsten Maple, Gregory Epiphaniou, Mehrdad Dianati	Securing Cloud-Assisted Connected and Autonomous Vehicles: An In-Depth Threat Analysis and Risk Assessment.	Sensors	2024	DBLP DOI BibTeX RDF
24	S. Shitharth, Hariprasath Manoharan, Rakan Alsowail, Achyut Shankar, Saravanan Pandiaraj, Carsten Maple, Gwanggil Jeon	Development of edge computing and classification using The Internet of Things with incremental learning for object detection.	Internet Things	2023	DBLP DOI BibTeX RDF
24	Sandeep Gupta 0002, Gregory Epiphaniou, Carsten Maple	AI-augmented usability evaluation framework for software requirements specification in cyber physical human systems.	Internet Things	2023	DBLP DOI BibTeX RDF
24	Muhammad Ali, Mansoor-ul-haque, Muhammad Hanif Durad, Anila Usman, Syed Muhammad Mohsin, Hana Mujlid, Carsten Maple	Effective network intrusion detection using stacking-based ensemble approach.	Int. J. Inf. Sec.	2023	DBLP DOI BibTeX RDF
24	Tom Bolton, Tooska Dargahi, Sana Belguith, Carsten Maple	PrivExtractor: Toward Redressing the Imbalance of Understanding between Virtual Assistant Users and Vendors.	ACM Trans. Priv. Secur.	2023	DBLP DOI BibTeX RDF
24	Ankit Kumar, Surbhi Bhatia Khan, Saroj Kumar Pandey, Achyut Shankar, Carsten Maple, Arwa A. Mashat, Areej A. Malibari	Correction to: development of a cloud-assisted classification technique for the preservation of secure data storage in smart cities.	J. Cloud Comput.	2023	DBLP DOI BibTeX RDF
24	Ankit Kumar, Surbhi Bhatia Khan, Saroj Kumar Pandey, Achyut Shankar, Carsten Maple, Arwa A. Mashat, Areej A. Malibari	Development of a cloud-assisted classification technique for the preservation of secure data storage in smart cities.	J. Cloud Comput.	2023	DBLP DOI BibTeX RDF
24	Sandeep Gupta 0002, Carsten Maple, Bruno Crispo, Kiran B. Raja, Artsiom Yautsiukhin, Fabio Martinelli	A survey of human-computer interaction (HCI) & natural habits-based behavioural biometric modalities for user recognition schemes.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
24	Muhammad Haris, Munam Ali Shah, Carsten Maple	Internet of Intelligent Vehicles (IoIV): An Intelligent VANET Based Computing via Predictive Modeling.	IEEE Access	2023	DBLP DOI BibTeX RDF
24	Sandeep Gupta 0002, Carsten Maple, Roberto Passerone	An Investigation of Cyber-Attacks and Security Mechanisms for Connected and Autonomous Vehicles.	IEEE Access	2023	DBLP DOI BibTeX RDF
24	Hamidreza Jahangir, Subhash Lakshminarayana, Carsten Maple, Gregory Epiphaniou	A Deep-Learning-Based Solution for Securing the Power Grid Against Load Altering Threats by IoT-Enabled Devices.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
24	Achyut Shankar, Carsten Maple	Securing the Internet of Things-enabled smart city infrastructure using a hybrid framework.	Comput. Commun.	2023	DBLP DOI BibTeX RDF
24	Hu Yuan 0001, Daniel S. Fowler, Carsten Maple, Gregory Epiphaniou	Analysis of outage performance in a 6G-V2X communications system utilising free-space optical quantum key distribution.	IET Quantum Commun.	2023	DBLP DOI BibTeX RDF
24	Sunyoung Lee, Konstantinos Koufos, Carsten Maple, Mehrdad Dianati	Application of Unsupervised Learning in Implementation of Joint Power and Index Modulation Access in V2X Systems.	IEEE Trans. Cogn. Commun. Netw.	2023	DBLP DOI BibTeX RDF
24	Wentai Wu, Ligang He, Weiwei Lin 0001, Carsten Maple	FedProf: Selective Federated Learning Based on Distributional Representation Profiling.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
24	Meiling Li, Hu Yuan 0001, Carsten Maple, Wenjie Cheng, Gregory Epiphaniou	Physical Layer Security Analysis of Cognitive NOMA Internet of Things Networks.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
24	Mahender Kumar, Carsten Maple, Satish Chand	An efficient and secure identity-based integrity auditing scheme for sensitive data with anti-replacement attack on multi-cloud storage.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
24	Ayei E. Ibor, Mark Hooper, Carsten Maple, Gregory Epiphaniou	Trustworthy Cross-Border Interoperable Identity System for Developing Countries.	CoRR	2023	DBLP DOI BibTeX RDF
24	Jide Edu, Mark Hooper, Carsten Maple, Jon Crowcroft	Exploring the Risks and Challenges of National Electronic Identity (NeID) System.	CoRR	2023	DBLP DOI BibTeX RDF
24	Petar Radanliev, David De Roure, Carsten Maple, Uchenna Ani	Super forecasting the technological singularity risks from artificial intelligence.	CoRR	2023	DBLP DOI BibTeX RDF
24	Bryan Kumara, Mark Hooper, Carsten Maple, Timothy Hobson, Jon Crowcroft	Redactable and Sanitizable Signature Schemes: Applications and Limitations for use in Decentralized Digital Identity Systems.	CoRR	2023	DBLP DOI BibTeX RDF
24	Mahender Kumar, Ruby Rani, Mirko Bottarelli, Gregory Epiphaniou, Carsten Maple	Science and Technology Ontology: A Taxonomy of Emerging Topics.	CoRR	2023	DBLP DOI BibTeX RDF
24	Jide Edu, Mark Hooper, Carsten Maple, Jon Crowcroft	An Impact and Risk Assessment Framework for National Electronic Identity (eID) Systems.	CoRR	2023	DBLP DOI BibTeX RDF
24	Jia Liu, Liqun Chen, Mehrdad Dianati, Carsten Maple, Yan Yan	A Novel Computationally Efficient Group Signature for Anonymous and Secure V2X Communications.	CoRR	2023	DBLP DOI BibTeX RDF
24	Stratis Limnios, Praveen Selvaraj, Mihai Cucuringu, Carsten Maple, Gesine Reinert, Andrew Elliott	SaGess: Sampling Graph Denoising Diffusion Model for Scalable Graph Generation.	CoRR	2023	DBLP DOI BibTeX RDF
24	Mahender Kumar, Gregory Epiphaniou, Carsten Maple	Leveraging Semantic Relationships to Prioritise Indicators of Compromise in Additive Manufacturing Systems.	CoRR	2023	DBLP DOI BibTeX RDF
24	Carsten Maple, Lukasz Szpruch, Gregory Epiphaniou, Kalina Staykova, Simran Singh, William Penwarden, Yisi Wen, Zijian Wang, Jagdish Hariharan, Pavle Avramovic	The AI Revolution: Opportunities and Challenges for the Finance Sector.	CoRR	2023	DBLP DOI BibTeX RDF
24	Subhash Lakshminarayana, Carsten Maple, Andrew Larkins, Daryl Flack, Christopher Few, Anurag K. Srivastava 0001	Demand-Side Threats to Power Grid Operations from IoT-Enabled Edge.	CoRR	2023	DBLP DOI BibTeX RDF
24	Yogachandran Rahulamathavan, Charuka Herath, Xiaolan Liu, Sangarapillai Lambotharan, Carsten Maple	FheFL: Fully Homomorphic Encryption Friendly Privacy-Preserving Federated Learning with Byzantine Users.	CoRR	2023	DBLP DOI BibTeX RDF
24	Samuel Maddock, Graham Cormode, Carsten Maple	FLAIM: AIM-based Synthetic Data Generation in the Federated Setting.	CoRR	2023	DBLP DOI BibTeX RDF
24	Bryan Kumara, Mark Hooper, Carsten Maple, Timothy Hobson, Jon Crowcroft	Redactable Signature Schemes and Zero-knowledge Proofs: A comparative examination for applications in Decentralized Digital Identity Systems.	CoRR	2023	DBLP DOI BibTeX RDF