Search results for "fundamentals"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Zhe Hou	Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification		2021	DOI RDF
13	Ze-Nian Li, Mark S. Drew, Jiangchuan Liu	Fundamentals of Multimedia, Third Edition		2021	DOI RDF
13	Duncan A. Buell	Fundamentals of Cryptography - Introducing Mathematical and Algorithmic Foundations		2021	DOI RDF
13	Meinard Müller	Fundamentals of Music Processing - Using Python and Jupyter Notebooks, Second Edition		2021	DOI RDF
13	Shuangbao Paul Wang	Computer Architecture and Organization - Fundamentals and Architecture Security		2021	DOI RDF
13	Rafael Martínez-Guerra, Fidel Meléndez-Vázquez, Iván Trejo-Zúñiga	Fault-tolerant Control and Diagnosis for Integer and Fractional-order Systems - Fundamentals of Fractional Calculus and Differential Algebra with Real-Time Applications		2021	DOI RDF
13	Venkateswaran Kasirajan	Fundamentals of Quantum Computing - Theory and Practice		2021	DOI RDF
13	Zdzislaw Trzaska	Mixed Mode Oscillations (MMOs) - Fundamentals and Applications		2021	DOI RDF
13	Maximilian Richter, Klaus Schwarz, Reiner Creutzburg	Conception and Implementation of Professional Laboratory Exercises in the field of ICS/SCADA Security - Part I: Fundamentals.	MOBMU	2021	DBLP DOI BibTeX RDF
13	Roman Kozhan, Ganesh Viswanath-Natraj	Fundamentals of the MakerDAO Governance Token.	Tokenomics	2021	DBLP DOI BibTeX RDF
13	James H. Paterson, Joshua Adams, Laurie White, Andrew Csizmadia, Deger Cenk Erdil, Derek Foster, Mark Hills 0001, Zain Kazmi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott	Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals.	ITiCSE (2)	2021	DBLP DOI BibTeX RDF
13	James H. Paterson, Joshua Adams, Laurie White, Andrew Csizmadia, Deger Cenk Erdil, Derek Foster, Mark Hills 0001, Zain Kazmi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott	Designing Dissemination and Validation of a Framework for Teaching Cloud Fundamentals.	ITiCSE-WGR	2021	DBLP DOI BibTeX RDF
13	Ghassan M. Kraidy, Constantinos Psomas, Ioannis Krikidis	Fundamentals of Circular QAM for Wireless Information and Power Transfer.	SPAWC	2021	DBLP DOI BibTeX RDF
13	Morteza Banagar, Harpreet S. Dhillon	Fundamentals of 3D Two-Hop Cellular Networks Analysis with Wireless Backhauled UAVs.	GLOBECOM	2021	DBLP DOI BibTeX RDF
13	Hossein Hojjat, Mieke Massink (eds.)	Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers	FSEN	2021	DBLP DOI BibTeX RDF
13	Cosmin Munteanu, Gerald Penn, Christine Murad	Conversational Voice User Interfaces: Connecting Engineering Fundamentals to Design Considerations.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
13	Evripidis Bampis, Aris Pagourtzis (eds.)	Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings	FCT	2021	DBLP DOI BibTeX RDF
13	Igor Miladinovic, Sigrid Schefer-Wenzl	Mobile Simulation Game for Learning Theory of Constraints Fundamentals.	IMCL	2021	DBLP DOI BibTeX RDF
13	Yi Tian	Preparation Status Analysis on Professional Basic Courses Examination for Academy Graduates Upgrading Undergraduates of Electronic Information Category from Perspective of Course Fundamentals of Electric Circuits.	ICETM	2021	DBLP DOI BibTeX RDF
13	Mareen Przybylla, Andreas Grillenberger 0001	Fundamentals of Physical Computing: Determining Key Concepts in Embedded Systems and Hardware/Software Co-Design.	WiPSCE	2021	DBLP DOI BibTeX RDF
13	Eric K. Clemons, Stina Teilmann-Lock	Fundamentals for the Design of Products for a Circular Economy: Examples from Software Engineering To Motivate Efficient and Ethical Design of Physical Products.	HICSS	2021	DBLP BibTeX RDF
13	Xing Liu 0002, Jingbing Tian, Yaxin Li, Shengwu Xiong, Wenbi Rao, Jingling Yuan	Instructional Design of Computer System Fundamentals for Cultivating Students' Computer System Ability.	ICCSE	2021	DBLP DOI BibTeX RDF
13	Dmitry V. Efanov, German Osadchy, Igor Aganov	Fundamentals of Implementation of Safety Movement of Trains under Integration of Control Systems with Hardware for Railway Infrastructure Facilities Monitoring.	IDAACS	2021	DBLP DOI BibTeX RDF
13	Kevin Lano, Shekoufeh Kolahdouz Rahimi	Extending OCL with Map and Function Types.	FSEN	2021	DBLP DOI BibTeX RDF
13	Daniel Figueiredo 0001	Introducing Interval Differential Dynamic Logic.	FSEN	2021	DBLP DOI BibTeX RDF
13	Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens 0001, Anton Wijs	Term Rewriting on GPUs.	FSEN	2021	DBLP DOI BibTeX RDF
13	Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh	Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.	FSEN	2021	DBLP DOI BibTeX RDF
13	Kasper Dokter, Farhad Arbab	Protocol Scheduling.	FSEN	2021	DBLP DOI BibTeX RDF
13	Harold Pancho Eliott, Martin Berger 0001	A Program Logic for Fresh Name Generation.	FSEN	2021	DBLP DOI BibTeX RDF
13	Aline Uwimbabazi, Omar Inverso, Rocco De Nicola	Automated Replication of Tuple Spaces via Static Analysis.	FSEN	2021	DBLP DOI BibTeX RDF
13	Amin Soltanieh, Markus Siegle	Solving Systems of Bilinear Equations for Transition Rate Reconstruction.	FSEN	2021	DBLP DOI BibTeX RDF
13	Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins 0001	Adding Proof Calculi to Epistemic Logics with Structured Knowledge.	FSEN	2021	DBLP DOI BibTeX RDF
13	Aidin Azamnouri, Samad Paydar	Compressing Automatically Generated Unit Test Suites Through Test Parameterization.	FSEN	2021	DBLP DOI BibTeX RDF
13	Amaury Maillé, Ludovic Henrio, Matthieu Moy	Promise Plus: Flexible Synchronization for Parallel Computations on Arrays.	FSEN	2021	DBLP DOI BibTeX RDF
13	Piergiuseppe Mallozzi, Pierluigi Nuzzo 0002, Patrizio Pelliccione	Incremental Refinement of Goal Models with Contracts.	FSEN	2021	DBLP DOI BibTeX RDF
13	Mohammad Ghoreshi, Hassan Haghighi	Systematic Extraction of Tests from Object-Oriented Programs.	FSEN	2021	DBLP DOI BibTeX RDF
13	Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah	Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications.	FSEN	2021	DBLP DOI BibTeX RDF
13	Shaun Azzopardi, Joshua Ellul, Gordon J. Pace	Runtime Monitoring Processes Across Blockchains.	FSEN	2021	DBLP DOI BibTeX RDF
13	Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema	Deadlock in Packet Switching Networks.	FSEN	2021	DBLP DOI BibTeX RDF
13	Marc Neveling, Jörg Rothe, Robin Weishaupt	The Possible Winner Problem with Uncertain Weights Revisited.	FCT	2021	DBLP DOI BibTeX RDF
13	Piotr Borowiecki, Dariusz Dereniowski, Dorota Osula	The Complexity of Bicriteria Tree-Depth.	FCT	2021	DBLP DOI BibTeX RDF
13	Nicolas Bousquet, Alice Joffard	TS-Reconfiguration of Dominating Sets in Circle and Circular-Arc Graphs.	FCT	2021	DBLP DOI BibTeX RDF
13	Sanjana Dey, Anil Maheshwari, Subhas C. Nandy	Minimum Consistent Subset Problem for Trees.	FCT	2021	DBLP DOI BibTeX RDF
13	Alessio Conte, Roberto Grossi, Grigorios Loukides, Nadia Pisanti, Solon P. Pissis, Giulia Punzi	Beyond the BEST Theorem: Fast Assessment of Eulerian Trails.	FCT	2021	DBLP DOI BibTeX RDF
13	Jin-Yi Cai, Austen Z. Fan, Yin Liu	Bipartite 3-Regular Counting Problems with Mixed Signs.	FCT	2021	DBLP DOI BibTeX RDF
13	Kyrill Winkler, Ulrich Schmid 0001, Thomas Nowak	Valency-Based Consensus Under Message Adversaries Without Limit-Closure.	FCT	2021	DBLP DOI BibTeX RDF
13	Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman 0001	Faster FPT Algorithms for Deletion to Pairs of Graph Classes.	FCT	2021	DBLP DOI BibTeX RDF
13	Nicolas Maack, Hendrik Molter, Rolf Niedermeier, Malte Renken	On Finding Separators in Temporal Split and Permutation Graphs.	FCT	2021	DBLP DOI BibTeX RDF
13	Svein Høgemo, Benjamin Bergougnoux, Ulrik Brandes, Christophe Paul, Jan Arne Telle	On Dasgupta's Hierarchical Clustering Objective and Its Relation to Other Graph Parameters.	FCT	2021	DBLP DOI BibTeX RDF
13	Nobuko Yoshida, Fangyi Zhou 0002, Francisco Ferreira 0001	Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.	FCT	2021	DBLP DOI BibTeX RDF
13	Christophe Crespelle	Linear-Time Minimal Cograph Editing.	FCT	2021	DBLP DOI BibTeX RDF
13	Markus Lohrey	Complexity of Word Problems for HNN-Extensions.	FCT	2021	DBLP DOI BibTeX RDF
13	Jesper Jansson 0001, Wing Lik Lee	Fast Algorithms for the Rooted Triplet Distance Between Caterpillars.	FCT	2021	DBLP DOI BibTeX RDF
13	Jan Bok, Jirí Fiala 0001, Nikola Jedlicková, Jan Kratochvíl, Michaela Seifrtová	Computational Complexity of Covering Disconnected Multigraphs.	FCT	2021	DBLP DOI BibTeX RDF
13	Peter Leupold, Sebastian Maneth	Deciding Top-Down Determinism of Regular Tree Languages.	FCT	2021	DBLP DOI BibTeX RDF
13	Henning Fernau, Kshitij Gajjar	The Space Complexity of Sum Labelling.	FCT	2021	DBLP DOI BibTeX RDF
13	Allen Ibiapina, Ana Silva 0001	Mengerian Temporal Graphs Revisited.	FCT	2021	DBLP DOI BibTeX RDF
13	Stefan Hoffmann 0001	Computational Complexity of Synchronization Under Sparse Regular Constraints.	FCT	2021	DBLP DOI BibTeX RDF
13	Hermann Gruber, Markus Holzer 0001, Simon Wolfsteiner	On Minimizing Regular Expressions Without Kleene Star.	FCT	2021	DBLP DOI BibTeX RDF
13	Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi 0001	Regular Model Checking with Regular Relations.	FCT	2021	DBLP DOI BibTeX RDF
13	Kristoffer Arnsfelt Hansen, Troels Bjerre Lund	Computational Complexity of Computing a Quasi-Proper Equilibrium.	FCT	2021	DBLP DOI BibTeX RDF
13	Max Bender, Jacob Gilbert, Kirk Pruhs	A Poly-log Competitive Posted-Price Algorithm for Online Metrical Matching on a Spider.	FCT	2021	DBLP DOI BibTeX RDF
13	Hugo Gimbert, Claire Mathieu, Simon Mauras	Two-Sided Matching Markets with Strongly Correlated Preferences.	FCT	2021	DBLP DOI BibTeX RDF
13	Maciej Skorski	Concentration of the Collision Estimator.	FCT	2021	DBLP DOI BibTeX RDF
13	Bharat Adsul, Saptarshi Sarkar 0001, A. V. Sreejith	First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words.	FCT	2021	DBLP DOI BibTeX RDF
13	Jelle J. Oostveen, Erik Jan van Leeuwen	Streaming Deletion Problems Parameterized by Vertex Cover.	FCT	2021	DBLP DOI BibTeX RDF
13	S. Raja 0001, G. V. Sumukha Bharadwaj	On the Hardness of the Determinant: Sum of Regular Set-Multilinear Circuits.	FCT	2021	DBLP DOI BibTeX RDF
13	Miroslav Chodil, Antonín Kucera 0001	The Satisfiability Problem for a Quantitative Fragment of PCTL.	FCT	2021	DBLP DOI BibTeX RDF
13	Lukas Behrendt, Katrin Casel, Tobias Friedrich 0001, J. A. Gregor Lagodzinski, Alexander Löser, Marcus Wilhelm	From Symmetry to Asymmetry: Generalizing TSP Approximations by Parametrization.	FCT	2021	DBLP DOI BibTeX RDF
13	Joseph Livesey, Dominik Wojtczak	Propositional Gossip Protocols.	FCT	2021	DBLP DOI BibTeX RDF
13	David Eppstein, Siddharth Gupta 0002, Elham Havvaei	Parameterized Complexity of Finding Subgraphs with Hereditary Properties on Hereditary Graph Classes.	FCT	2021	DBLP DOI BibTeX RDF
13	Hongxia Liu	Design and Application of Micro Course in Fundamentals of Computers.	Int. J. Emerg. Technol. Learn.	2020	DBLP DOI BibTeX RDF
13	Khoa N. Le	Fundamentals of Acute Relay CSI Severity.	IEEE Trans. Wirel. Commun.	2020	DBLP DOI BibTeX RDF
13	Jose Armando Oviedo, Hamid R. Sadjadpour	Fundamentals of Power Allocation Strategies for Downlink Multi-User NOMA With Target Rates.	IEEE Trans. Wirel. Commun.	2020	DBLP DOI BibTeX RDF
13	Mehdi Adda, Linda Aliane	HoBAC: fundamentals, principles, and policies.	J. Ambient Intell. Humaniz. Comput.	2020	DBLP DOI BibTeX RDF
13	Cong Thanh Nguyen, Yuris Mulya Saputra, Nguyen Van Huynh, Ngoc-Tan Nguyen, Tran Viet Khoa, Bui Minh Tuan, Diep N. Nguyen, Dinh Thai Hoang, Thang X. Vu, Eryk Dutkiewicz, Symeon Chatzinotas, Björn E. Ottersten	A Comprehensive Survey of Enabling and Emerging Technologies for Social Distancing - Part I: Fundamentals and Enabling Technologies.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Quoc-Viet Pham, Fang Fang 0005, Vu Nguyen Ha, Md. Jalil Piran, Mai Le, Long Bao Le, Won-Joo Hwang, Zhiguo Ding 0001	A Survey of Multi-Access Edge Computing in 5G and Beyond: Fundamentals, Technology Integration, and State-of-the-Art.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Giorgi Japaridze	Fundamentals of Computability Logic.	FLAP	2020	DBLP BibTeX RDF
13	Davorin Ambrus, Darko Vasic, Vedran Bilas	Innovating on top of I&M fundamentals for safer humanitarian demining.	IEEE Instrum. Meas. Mag.	2020	DBLP DOI BibTeX RDF
13	Iván A. García, Carla L. Pacheco, Andrés León, José Antonio Calvo-Manzano	A serious game for teaching the fundamentals of ISO/IEC/IEEE 29148 systems and software engineering - Lifecycle processes - Requirements engineering at undergraduate level.	Comput. Stand. Interfaces	2020	DBLP DOI BibTeX RDF
13	Ralf Klasing, Marc Zeitoun	Selected papers of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017.	J. Comput. Syst. Sci.	2020	DBLP DOI BibTeX RDF
13	David Charte, Francisco Charte, María José del Jesus, Francisco Herrera	An analysis on the use of autoencoders for representation learning: Fundamentals, learning task case studies, explainability and challenges.	Neurocomputing	2020	DBLP DOI BibTeX RDF
13	Angelos Antonopoulos 0001	Bankruptcy Problem in Network Sharing: Fundamentals, Applications and Challenges.	IEEE Wirel. Commun.	2020	DBLP DOI BibTeX RDF
13	Iva Nachtigalova, Jana Finkeova, Zuzana Krbcova, Hana Souskova	A spreadsheet-based tool for education of chemical process simulation and control fundamentals.	Comput. Appl. Eng. Educ.	2020	DBLP DOI BibTeX RDF
13	Peter L. Bishay	Teaching the finite element method fundamentals to undergraduate students through truss builder and truss analyzer computational tools and student-generated assignments mini-projects.	Comput. Appl. Eng. Educ.	2020	DBLP DOI BibTeX RDF
13	Tomi Kinnunen, Héctor Delgado, Nicholas W. D. Evans, Kong Aik Lee, Ville Vestman, Andreas Nautsch, Massimiliano Todisco, Xin Wang 0037, Md. Sahidullah, Junichi Yamagishi, Douglas A. Reynolds	Tandem Assessment of Spoofing Countermeasures and Automatic Speaker Verification: Fundamentals.	CoRR	2020	DBLP BibTeX RDF
13	Raghunandan M. Rao, Harpreet S. Dhillon, Vuk Marojevic, Jeffrey H. Reed	Underlay Radar-Massive MIMO Spectrum Sharing: Modeling Fundamentals and Performance Analysis.	CoRR	2020	DBLP BibTeX RDF
13	Zhongxiang Wei, Fan Liu 0005, Christos Masouros, H. Vincent Poor	Fundamentals of Physical Layer Anonymous Communications: Sender Detection and Anonymous Precoding.	CoRR	2020	DBLP BibTeX RDF
13	William Fedus, Prajit Ramachandran, Rishabh Agarwal, Yoshua Bengio, Hugo Larochelle, Mark Rowland, Will Dabney	Revisiting Fundamentals of Experience Replay.	CoRR	2020	DBLP BibTeX RDF
13	Andrés Vazquez Sieber, Mónica E. Romero	A collection of definitions and fundamentals for a design-oriented inductor model.	CoRR	2020	DBLP BibTeX RDF
13	Andrea Cherubini, David Navarro-Alarcon	Sensor-Based Control for Collaborative Robots: Fundamentals, Challenges and Opportunities.	CoRR	2020	DBLP BibTeX RDF
13	Leonid A. Levin	Fundamentals of Computing.	CoRR	2020	DBLP BibTeX RDF
13	Johann Knechtel	Hardware Security for and beyond CMOS Technology: An Overview on Fundamentals, Applications, and Challenges.	CoRR	2020	DBLP BibTeX RDF
13	David Charte, Francisco Charte, María José del Jesus, Francisco Herrera	An analysis on the use of autoencoders for representation learning: fundamentals, learning task case studies, explainability and challenges.	CoRR	2020	DBLP BibTeX RDF
13	Gözde Gül Sahin	Linguistic Fundamentals for Natural Language Processing II: 100 Essentials from Semantics and Pragmatics.	Comput. Linguistics	2020	DBLP DOI BibTeX RDF
13	Thomas Dittrich 0001, Gerald Matz	Signal Processing on Signed Graphs: Fundamentals and Potentials.	IEEE Signal Process. Mag.	2020	DBLP DOI BibTeX RDF
13	Michel Feidt	Carnot Cycle and Heat Engine: Fundamentals and Applications.	Entropy	2020	DBLP DOI BibTeX RDF
13	Andrea Cherubini, David Navarro-Alarcon	Sensor-Based Control for Collaborative Robots: Fundamentals, Challenges, and Opportunities.	Frontiers Neurorobotics	2020	DBLP DOI BibTeX RDF
13	Jonathan P. Bowen	Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications.	Formal Aspects Comput.	2020	DBLP DOI BibTeX RDF
13	Tomi Kinnunen, Héctor Delgado, Nicholas W. D. Evans, Kong Aik Lee, Ville Vestman, Andreas Nautsch, Massimiliano Todisco, Xin Wang 0037, Md. Sahidullah, Junichi Yamagishi, Douglas A. Reynolds	Tandem Assessment of Spoofing Countermeasures and Automatic Speaker Verification: Fundamentals.	IEEE ACM Trans. Audio Speech Lang. Process.	2020	DBLP DOI BibTeX RDF