Search results for "fundamentals"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Ruiming Tang, Bo Chen 0023, Yejing Wang, Huifeng Guo, Yong Liu 0020, Wenqi Fan, Xiangyu Zhao 0001	AutoML for Deep Recommender Systems: Fundamentals and Advances.	WSDM	2023	DBLP DOI BibTeX RDF
13	Mariia Popova, Manuel José Serra da Fonseca, Jorge Esparteiro Garcia, José Gabriel Andrade	Fundamentals of a Digital Marketing Plan for a Tourism Infrastructure in Alentejo.	WorldCIST (4)	2023	DBLP DOI BibTeX RDF
13	Sharon Gumina, Travis Dalton, John Gerdes	Teaching IT Software Fundamentals: Strategies and Techniques for Inclusion of Large Language Models: Strategies and Techniques for Inclusion of Large Language Models.	SIGITE	2023	DBLP DOI BibTeX RDF
13	Termpetch Sookhanaphibarn, Suthana Tingsabhat, Worawat Choensawat	Utilizing Self-Learning Software for the Acquisition and Exploration of Standard Dance Notation Fundamentals in Krabi Krabong Arts Education.	GCCE	2023	DBLP DOI BibTeX RDF
13	Karl Tuyls	Multiagent Learning: From Fundamentals to Foundation Models.	AAMAS	2023	DBLP BibTeX RDF
13	Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi	Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.	FSEN	2023	DBLP DOI BibTeX RDF
13	Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa	Structured Specification of Paraconsistent Transition Systems.	FSEN	2023	DBLP DOI BibTeX RDF
13	João Pascoal Faria, Rui Abreu 0001	Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment.	FSEN	2023	DBLP DOI BibTeX RDF
13	Andrea Domenici	Towards a Basic Theory for Partial Differentiation in the Prototype Verification System.	FSEN	2023	DBLP DOI BibTeX RDF
13	Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall	Interaction-Based Offline Runtime Verification of Distributed Systems.	FSEN	2023	DBLP DOI BibTeX RDF
13	Yutaka Nagashima	Genetic Algorithm for Program Synthesis.	FSEN	2023	DBLP DOI BibTeX RDF
13	Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001	An Optimised Complete Strategy for Testing Symbolic Finite State Machines.	FSEN	2023	DBLP DOI BibTeX RDF
13	Ebrahim Fazli, Ali Ebnenasir	TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation.	FSEN	2023	DBLP DOI BibTeX RDF
13	Xiaoyong Xue, Xiyue Zhang, Meng Sun 0002	kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification.	FSEN	2023	DBLP DOI BibTeX RDF
13	P. H. M. van Spaendonck	Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework).	FSEN	2023	DBLP DOI BibTeX RDF
13	Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang	Template-Based Conjecturing for Automated Induction in Isabelle/HOL.	FSEN	2023	DBLP DOI BibTeX RDF
13	Sewon Park 0001	Verified Exact Real Computation with Nondeterministic Functions and Limits.	FCT	2023	DBLP DOI BibTeX RDF
13	Emmanuel Sam, Benjamin Bergougnoux, Petr A. Golovach, Nello Blaser	Kernelization for Finding Lineal Topologies (Depth-First Spanning Trees) with Many or Few Leaves.	FCT	2023	DBLP DOI BibTeX RDF
13	Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka	α-β-Factorization and the Binary Case of Simon's Congruence.	FCT	2023	DBLP DOI BibTeX RDF
13	Kodai Tanaka, Takaaki Mizuki	Two UNO Decks Efficiently Perform Zero-Knowledge Proof for Sudoku.	FCT	2023	DBLP DOI BibTeX RDF
13	Van Bang Le, Christian Rosenke	Computing Optimal Leaf Roots of Chordal Cographs in Linear Time.	FCT	2023	DBLP DOI BibTeX RDF
13	Jan Matyás Kristan, Jakub Svoboda	Shortest Dominating Set Reconfiguration Under Token Sliding.	FCT	2023	DBLP DOI BibTeX RDF
13	Yuya Higashikawa, Naoki Katoh, Guohui Lin, Eiji Miyano, Suguru Tamaki, Junichi Teruyama, Binhai Zhu	On Computing a Center Persistence Diagram.	FCT	2023	DBLP DOI BibTeX RDF
13	Nick Brettell, Jelle J. Oostveen, Sukanya Pandey, Daniël Paulusma, Erik Jan van Leeuwen	Computing Subset Vertex Covers in H-Free Graphs.	FCT	2023	DBLP DOI BibTeX RDF
13	Johanna Björklund	The Impact of State Merging on Predictive Accuracy in Probabilistic Tree Automata: Dietze's Conjecture Revisited.	FCT	2023	DBLP DOI BibTeX RDF
13	Antonio Al Serhali, Joachim Niehren	Subhedge Projection for Stepwise Hedge Automata.	FCT	2023	DBLP DOI BibTeX RDF
13	Nathalie Aubrun, Nicolas Bitar	Domino Snake Problems on Groups.	FCT	2023	DBLP DOI BibTeX RDF
13	Jeff Kinne, Akbar Rafiey, Arash Rafiey, Mohammad Sorkhpar	Vertex Ordering with Precedence Constraints.	FCT	2023	DBLP DOI BibTeX RDF
13	Samy Abbes	Convergence of Distributions on Paths.	FCT	2023	DBLP DOI BibTeX RDF
13	Zohair Raza Hassan, Edith Hemaspaandra, Stanislaw P. Radziszowski	The Complexity of (Pk, Pℓ )-Arrowing.	FCT	2023	DBLP DOI BibTeX RDF
13	William S. Evans, David G. Kirkpatrick	Minimizing Query Frequency to Bound Congestion Potential for Moving Entities at a Fixed Target Time.	FCT	2023	DBLP DOI BibTeX RDF
13	Daniela Bubboloni, Costanza Catalano, Andrea Marino 0001, Ana Silva 0001	On Computing Optimal Temporal Branchings.	FCT	2023	DBLP DOI BibTeX RDF
13	Carlos Alegría, Justin Dallant, Pablo Pérez-Lantero, Carlos Seara	The Rectilinear Convex Hull of Line Segments.	FCT	2023	DBLP DOI BibTeX RDF
13	Ajinkya Gaikwad, Soumen Maity	Parameterized Complexity of the Th+1-Free Edge Deletion Problem.	FCT	2023	DBLP DOI BibTeX RDF
13	Feston Kastrati, Wendy J. Myrvold, Lucas D. Panjer, Aaron Williams	Cordial Forests.	FCT	2023	DBLP DOI BibTeX RDF
13	Fabian Frei, David Wehner	Bounds for c-Ideal Hashing.	FCT	2023	DBLP DOI BibTeX RDF
13	Joshua A. Grochow, Michael Levet	On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman.	FCT	2023	DBLP DOI BibTeX RDF
13	Johannes Rauch, Dieter Rautenbach, Uéverton S. Souza	Exact and Parameterized Algorithms for the Independent Cutset Problem.	FCT	2023	DBLP DOI BibTeX RDF
13	Dipayan Chakraborty, R. B. Sandeep	Contracting Edges to Destroy a Pattern: A Complexity Study.	FCT	2023	DBLP DOI BibTeX RDF
13	Lamar Chidiac, Santiago Guzmán-Pro, Winfried Hochstättler, Anthony Youssef	An Efficient Computation of the Rank Function of a Positroid.	FCT	2023	DBLP DOI BibTeX RDF
13	Tomoyuki Yamakami	Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata.	FCT	2023	DBLP DOI BibTeX RDF
13	Martin Berglund, Henrik Björklund, Johanna Björklund	Parsing Unranked Tree Languages, Folded Once.	FCT	2023	DBLP DOI BibTeX RDF
13	Zack Fitzsimmons, Edith Hemaspaandra	Complexity of Conformant Election Manipulation.	FCT	2023	DBLP DOI BibTeX RDF
13	Chris Köcher, Dietrich Kuske	Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems.	FCT	2023	DBLP DOI BibTeX RDF
13	Dibyayan Chakraborty, Florent Foucaud, Anni Hakanen	Distance-Based Covering Problems for Graphs of Given Cyclomatic Number.	FCT	2023	DBLP DOI BibTeX RDF
13	Philip Kaelbling, Dakotah Lambert, Jeffrey Heinz	Robust Identification in the Limit from Incomplete Positive Data.	FCT	2023	DBLP DOI BibTeX RDF
13	Alessandro Di Pretoro, Stéphane Négny, Ludovic Montastruc	The traveling deliveryman problem under uncertainty: Fundamentals for flexible supply chains.	Comput. Chem. Eng.	2022	DBLP DOI BibTeX RDF
13	Zaw Htike, Georgios Papaioannou, Efstathios Siampis, Efstathios Velenis, Stefano Longo	Fundamentals of Motion Planning for Mitigating Motion Sickness in Automated Vehicles.	IEEE Trans. Veh. Technol.	2022	DBLP DOI BibTeX RDF
13	Menelaos Karanasos, Stavroula Yfanti, John Hunter	Emerging stock market volatility and economic fundamentals: the importance of US uncertainty spillovers, financial and health crises.	Ann. Oper. Res.	2022	DBLP DOI BibTeX RDF
13	Umberto Martínez-Peñas, Mohannad Shehadeh, Frank R. Kschischang	Codes in the Sum-Rank Metric: Fundamentals and Applications.	Found. Trends Commun. Inf. Theory	2022	DBLP DOI BibTeX RDF
13	Zhongxiang Wei, Fan Liu 0005, Christos Masouros, H. Vincent Poor	Fundamentals of Physical Layer Anonymous Communications: Sender Detection and Anonymous Precoding.	IEEE Trans. Wirel. Commun.	2022	DBLP DOI BibTeX RDF
13	Morteza Banagar, Harpreet S. Dhillon	3D Two-Hop Cellular Networks With Wireless Backhauled UAVs: Modeling and Fundamentals.	IEEE Trans. Wirel. Commun.	2022	DBLP DOI BibTeX RDF
13	Antonio Navarro 0001	Fundamentals of Transaction Management in Enterprise Application Architectures.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	Mehmet Zahid Erel, Kamil Çagatay Bayindir, Mehmet Timur Aydemir, Sanjay K. Chaudhary, Josep M. Guerrero	A Comprehensive Review on Wireless Capacitive Power Transfer Technology: Fundamentals and Applications.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	Filipe Pinarello Scalcon, Gaoliang Fang, Cesar José Volpato Filho, Hilton Abílio Gründling, Rodrigo Padilha Vieira, Babak Nahid-Mobarakeh	A Review on Switched Reluctance Generators in Wind Power Applications: Fundamentals, Control and Future Trends.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	Mikki How-Wen Loo, Harikrishnan Ramiah, Ka-Meng Lei, Chee-Cheow Lim, Nai Shyan Lai, Pui-In Mak, Rui Paulo Martins	Fully-Integrated Timers for Ultra-Low-Power Internet-of-Things Nodes - Fundamentals and Design Techniques.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	Wolf-Jürgen Beyn, Gary Froyland, Thorsten Hüls	Angular Values of Nonautonomous and Random Linear Dynamical Systems: Part I - Fundamentals.	SIAM J. Appl. Dyn. Syst.	2022	DBLP DOI BibTeX RDF
13	Ron Cottam, Giuseppe Iurato, Abir U. Igamberdiev	Fundamentals of evolutionary transformations in biological systems.	Biosyst.	2022	DBLP DOI BibTeX RDF
13	Bin Hu 0001, Jian Shen 0004, Lixian Zhu, Qunxi Dong, Hanshu Cai, Kun Qian 0003	Fundamentals of Computational Psychophysiology: Theory and Methodology.	IEEE Trans. Comput. Soc. Syst.	2022	DBLP DOI BibTeX RDF
13	Hiroki Okada 0001, Atsushi Takayasu, Kazuhide Fukushima, Shinsaku Kiyomoto, Tsuyoshi Takagi	Erratum: A Compact Digital Signature Scheme Based on the Module-LWR Problem [IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E104.A (2021), No. 9 pp.1219-1234].	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2022	DBLP DOI BibTeX RDF
13	Sergey Dudarov, Elena Guseva, Yury Lemetyuynen, Ilya Maklyaev, Boris Karetkin, Svetlana Evdokimova, Pavel Papaev, Natalia Menshutina, Victor Panfilov	Fundamentals and Applications of Artificial Neural Network Modelling of Continuous Bifidobacteria Monoculture at a Low Flow Rate.	Data	2022	DBLP DOI BibTeX RDF
13	Syreen Banabilah, Moayad Aloqaily, Eitaa Alsayed, Nida Malik, Yaser Jararweh	Federated learning review: Fundamentals, enabling technologies, and future applications.	Inf. Process. Manag.	2022	DBLP DOI BibTeX RDF
13	Yijie Mao, Onur Dizdar, Bruno Clerckx, Robert Schober, Petar Popovski, H. Vincent Poor	Rate-Splitting Multiple Access: Fundamentals, Survey, and Future Research Trends.	IEEE Commun. Surv. Tutorials	2022	DBLP DOI BibTeX RDF
13	Pepijn Wissing, Edwin R. van Dam	Spectral fundamentals and characterizations of signed directed graphs.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
13	Aamir Aijaz Syed, Muhammad Abdul Kamal, Simon Grima, Assad Ullah	The Impact of Financial Development and Macroeconomic Fundamentals on Nonperforming Loans among Emerging Countries: An Assessment Using the NARDL Approach.	Comput.	2022	DBLP DOI BibTeX RDF
13	Mohammad Mohammadi Amiri, Frederic Berdoz, Ramesh Raskar	Fundamentals of Task-Agnostic Data Valuation.	CoRR	2022	DBLP DOI BibTeX RDF
13	Mingyao Cui, Zidong Wu, Yu Lu, Xiuhong Wei, Linglong Dai	Near-Field Communications for 6G: Fundamentals, Challenges, Potentials, and Future Directions.	CoRR	2022	DBLP DOI BibTeX RDF
13	Wanting Yang, Hongyang Du, Zi Qin Liew, Wei Yang Bryan Lim, Zehui Xiong, Dusit Niyato, Xuefen Chi, Xuemin Sherman Shen, Chunyan Miao	Semantic Communications for 6G Future Internet: Fundamentals, Applications, and Challenges.	CoRR	2022	DBLP DOI BibTeX RDF
13	Akif Ibragimov, Ernest Zakirov, Ilya Indrupskiy, Daniil Anikeev	Fundamentals in Peaceman Model for Well-Block radius For Non-Linear Flows Near Well.	CoRR	2022	DBLP DOI BibTeX RDF
13	Yuntao Wang 0004, Zhou Su, Ning Zhang 0007, Dongxiao Liu, Rui Xing, Tom H. Luan, Xuemin Shen	A Survey on Metaverse: Fundamentals, Security, and Privacy.	CoRR	2022	DBLP DOI BibTeX RDF
13	Kaushlendra Pandey, Kanaka Raju Perumalla, Abhishek K. Gupta, Harpreet S. Dhillon	Fundamentals of Vehicular Communication Networks with Vehicle Platoons.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jiehan Zhou, Shouhua Zhang, Mu Gu	Revisiting Digital Twins: Origins, Fundamentals and Practices.	CoRR	2022	DBLP DOI BibTeX RDF
13	Enrique Tomás Martínez Beltrán, Mario Quiles Pérez, Pedro Miguel Sánchez Sánchez, Sergio López Bernal, Gérôme Bovet, Manuel Gil Pérez, Gregorio Martínez Pérez, Alberto Huertas Celdrán	Decentralized Federated Learning: Fundamentals, State-of-the-art, Frameworks, Trends, and Challenges.	CoRR	2022	DBLP DOI BibTeX RDF
13	Henk Wymeersch, Gonzalo Seco-Granados	Radio Localization and Sensing - Part I: Fundamentals.	CoRR	2022	DBLP DOI BibTeX RDF
13	Hongyang Du, Jiawen Kang, Dusit Niyato, Jiayi Zhang 0001, Dong In Kim	Reconfigurable Intelligent Surface-Aided Joint Radar and Covert Communications: Fundamentals, Optimization, and Challenges.	CoRR	2022	DBLP DOI BibTeX RDF
13	Seyed Mohammad Azimi-Abarghouyi, Harpreet S. Dhillon, Leandros Tassiulas	Fundamentals of Clustered Molecular Nanonetworks.	CoRR	2022	DBLP DOI BibTeX RDF
13	Sakshi Goel, Haripriya Dharmala, Yuchen Zhang, Keith Burghardt	Decomposing the Fundamentals of Creepy Stories.	CoRR	2022	DBLP DOI BibTeX RDF
13	Yijie Mao, Onur Dizdar, Bruno Clerckx, Robert Schober, Petar Popovski, H. Vincent Poor	Rate-Splitting Multiple Access: Fundamentals, Survey, and Future Research Trends.	CoRR	2022	DBLP BibTeX RDF
13	Zhiqiang Wei 0001, Shuangyang Li, Weijie Yuan, Robert Schober, Giuseppe Caire	Orthogonal Time Frequency Space Modulation - Part I: Fundamentals and Challenges Ahead.	CoRR	2022	DBLP DOI BibTeX RDF
13	Kourosh Teimouri Baghaei, Amirreza Payandeh, Pooya Fayyazsanavi, Shahram Rahimi, Zhiqian Chen, Somayeh Bakhtiari Ramezani	Deep representation learning: Fundamentals, Perspectives, Applications, and Open Challenges.	CoRR	2022	DBLP DOI BibTeX RDF
13	Zhe Wang 0018, Jiayi Zhang 0001, Hongyang Du, Wei E. I. Sha, Bo Ai 0001, Dusit Niyato, Mérouane Debbah	Extremely Large-Scale MIMO: Fundamentals, Challenges, Solutions, and Future Directions.	CoRR	2022	DBLP DOI BibTeX RDF
13	Morteza Banagar, Harpreet S. Dhillon	Fundamentals of Wobbling and Hardware Impairments-Aware Air-to-Ground Channel Model.	CoRR	2022	DBLP DOI BibTeX RDF
13	Muhammad Zawish, Fayaz Ali Dharejo, Sunder Ali Khowaja, Kapal Dev, Steven Davy, Nawab Muhammad Faseeh Qureshi, Paolo Bellavista	AI and 6G into the Metaverse: Fundamentals, Challenges and Future Research Trends.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jiahao Huang, Yingying Fang, Yang Nan 0002, Huanjun Wu, Yinzhe Wu 0001, Zhifan Gao, Yang Li, Zidong Wang, Pietro Liò, Daniel Rueckert, Yonina C. Eldar, Guang Yang 0006	Data and Physics Driven Learning Models for Fast MRI - Fundamentals and Methodologies from CNN, GAN to Attention and Transformers.	CoRR	2022	DBLP DOI BibTeX RDF
13	Nicolas Behr, Russ Harmer, Jean Krivine	Fundamentals of Compositional Rewriting Theory.	CoRR	2022	DBLP DOI BibTeX RDF
13	Yao Zhao, Youyang Qu, Yong Xiang 0001, Longxiang Gao	A Comprehensive Survey on Edge Data Integrity Verification: Fundamentals and Future Trends.	CoRR	2022	DBLP DOI BibTeX RDF
13	Charalampos Orfanidis, Paul Pop, Xenofon Fafoutis	Active Connectivity Fundamentals for TSCH Networks of Mobile Robots.	CoRR	2022	DBLP BibTeX RDF
13	André Teófilo Beck	Optimal design of redundant structural systems: fundamentals.	CoRR	2022	DBLP BibTeX RDF
13		Distributed Dynamic Platoons Control and Junction Crossing Optimization for Mixed Traffic Flows in Smart Cities- Part I. Fundamentals, Theoretical and Automatic Decision Framework.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jieao Zhu, Zhongzhichao Wan, Linglong Dai, Mérouane Debbah, H. Vincent Poor	Electromagnetic Information Theory: Fundamentals, Modeling, Applications, and Open Problems.	CoRR	2022	DBLP DOI BibTeX RDF
13	Changwu Wu, Chaoying Qin, Wenyong Long, Xiangyu Wang, Kai Xiao, Qing Liu	Tumor antigens and immune subtypes of glioblastoma: the fundamentals of mRNA vaccine and individualized immunotherapy development.	J. Big Data	2022	DBLP DOI BibTeX RDF
13	Bin Liang, Mark A. Gregory, Shuo Li 0003	Multi-access Edge Computing fundamentals, services, enablers and challenges: A complete survey.	J. Netw. Comput. Appl.	2022	DBLP DOI BibTeX RDF
13	Yehua Li, Yu-Mou Qiu, Yuhang Xu	From multivariate to functional data analysis: Fundamentals, recent developments, and emerging areas.	J. Multivar. Anal.	2022	DBLP DOI BibTeX RDF
13	Michel Feidt	The Carnot Cycle and Heat Engine Fundamentals and Applications II.	Entropy	2022	DBLP DOI BibTeX RDF
13	Mikhail Lavrentiev, Konstantin Lysakov, Andrey Marchuk, Konstantin Oblaukhov	Fundamentals of Fast Tsunami Wave Parameter Determination Technology for Hazard Mitigation.	Sensors	2022	DBLP DOI BibTeX RDF
13	Wenjin Wang 0002, Steffen Weiss 0002, Albertus C. den Brinker, Jan Hendrik Wuelbern, Albert Garcia i Tormo, Ioannis Pappous, Julien Sénégas	Fundamentals of Camera-PPG Based Magnetic Resonance Imaging.	IEEE J. Biomed. Health Informatics	2022	DBLP DOI BibTeX RDF
13	David Hägele, Christoph Schulz 0001, Cedric Beschle, Hannah Booth, Miriam Butt, Andrea Barth, Oliver Deussen, Daniel Weiskopf	Uncertainty visualization: Fundamentals and recent developments.	it Inf. Technol.	2022	DBLP DOI BibTeX RDF
13	Hongyang Du, Jiawen Kang, Dusit Niyato, Jiayi Zhang 0001, Dong In Kim	Reconfigurable Intelligent Surface-Aided Joint Radar and Covert Communications: Fundamentals, Optimization, and Challenges.	IEEE Veh. Technol. Mag.	2022	DBLP DOI BibTeX RDF
13	Henk Wymeersch, Gonzalo Seco-Granados	Radio Localization and Sensing - Part I: Fundamentals.	IEEE Commun. Lett.	2022	DBLP DOI BibTeX RDF
13	Sunil Bhooshan	Fundamentals of Analogue and Digital Communication Systems		2022	DOI RDF