Search results for "fundamentals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Paul M. Mullins, Michael Conlon	Engaging students in programming fundamentals using alice 2.0.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	it curricula, nifty assignments, programming fundamentals
3	Cheryl Aasheim, Choong Kwon Lee, Han Reichgelt	Implementing the IT fundamentals knowledge area.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	IT fundamentals knowledge area, IT model curriculum
2	David N. C. Tse, Pramod Viswanath	Fundamentals of Wireless Communication (Tse, D. and Viswanath, P.) [Book review].	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	James Braman, Giovanni Vincenti, Ana Maria Arboleda Diaz, Andrew Jinman	Learning Computer Science Fundamentals through Virtual Environments.	HCI	2009	DBLP DOI BibTeX RDF	Immersive education, Virtual worlds, Second Life
2	Thomas Mullen	Writing code for other people: cognitive psychology and the fundamentals of good software design principles.	OOPSLA	2009	DBLP DOI BibTeX RDF	4 minus analogies, chunking analogies
2	Xiu Li, Li Zheng, Fang Yang	A general education curriculum on computer fundamentals: needs assessment and design.	Summit on Computing Education in China	2008	DBLP DOI BibTeX RDF
2	Michele Lanza, Amy L. Murphy, Romain Robbes, Mircea Lungu, Paolo Bonzini	A teamwork-based approach to programming fundamentals with scheme, smalltalk & java.	ICSE	2008	DBLP DOI BibTeX RDF	programming
2	Kenneth J. Goldman, Paul Gross, Cinda Heeren, Geoffrey L. Herman, Lisa C. Kaczmarczyk, Michael C. Loui, Craig B. Zilles	Identifying important and difficult concepts in introductory computing courses using a delphi process: selective compression of unicode arrays in java.	SIGCSE	2008	DBLP DOI BibTeX RDF	discrete math, programming fundamentals, logic design, curriculum, delphi, concept inventory
2	Thrasyvoulos Spyropoulos, Serge Fdida, Scott Kirkpatrick	Future internet: fundamentals and measurement.	Computer Communication Review	2007	DBLP DOI BibTeX RDF	arcadia, monitoring, virtualization, testbeds, COST, federation, future internet
2	Curtis Clifton, Lisa C. Kaczmarczyk, Michael Mrozek	Subverting the fundamentals sequence: using version control to enhance course management.	SIGCSE	2007	DBLP DOI BibTeX RDF	fundamentals sequence, CS1, version control, course management, subversion
2	Jacqueline Baldwin, Eileen Crupi, Tabitha Estrellado	WeBWorK for programming fundamentals.	ITiCSE	2006	DBLP DOI BibTeX RDF	WeBWorK, web-based assessment tool, active learning, homework
2	Ivan Kalas	Discovering Informatics Fundamentals Through Interactive Interfaces for Learning.	ISSEP	2006	DBLP DOI BibTeX RDF
2	Rebecca Wirfs-Brock	Explaining Your Design.	IEEE Software	2006	DBLP DOI BibTeX RDF	design fundamentals, design, presentation
2	Tomasz Nowicki, Mark S. Squillante, Chai Wah Wu	Fundamentals of Dynamic Decentralized Optimization in Autonomic Computing Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
2	Lasse Natvig, Steinar Line	Age of computers: game-based teaching of computer fundamentals.	ITiCSE	2004	DBLP DOI BibTeX RDF	game-based teaching, computer games, edutainment
2	Christoph Bussler	Semantic Web Services - Fundamentals and Advanced Topics.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
2	Jeffrey C. Mogul	Clarifying the fundamentals of HTTP.	WWW	2002	DBLP DOI BibTeX RDF	HTTP, protocol design
2	Dejan Nikolic, Ching-Kuang Shene	GraphicsMentor: a tool for learning graphics fundamentals.	SIGCSE	2002	DBLP DOI BibTeX RDF
2	Tormod Njølstad, Lasse Natvig	Experience from a 450 Students/Year Course on Digital Logic and Computer Fundamentals using FPGAs and mu-Controllers. (PDF / PS)	MSE	2001	DBLP DOI BibTeX RDF
2	Richard P. Marek, Debra A. Elkins, Donald R. Smith	Manufacturing controls: understanding the fundamentals of Kanban and CONWIP pull systems using simulation.	Winter Simulation Conference	2001	DBLP DOI BibTeX RDF
2	Ian Sanders, Conrad Mueller	A fundamentals-based curriculum for first year computer science.	SIGCSE	2000	DBLP DOI BibTeX RDF
2	David R. King, Alan R. Dennis	Internet Fundamentals - Introduction. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
2	Kurt Mehlhorn (eds.)	Fundamentals - Foundations of Computer Science, IFIP World Computer Congress 1998, August 31 - September 4, 1998, Vienna/Austria and Budapest/Hungary	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Rainer E. Burkard	Assignment Problems.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Giuseppe Cattaneo, Umberto Ferraro Petrillo, Giuseppe F. Italiano, Vittorio Scarano	Concurrent Algorithms and Data Types Animation over the Internet.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Thomas A. Henzinger	Computer-aided Verification of Embedded Systems.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Kurt Mehlhorn, Stefan Näher	From Algorithms to Working Programs on the Use of Program Checking in LEDA.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	William F. McColl	Foundations of Time-Critical Scalable Computing.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Thomas Winter, Uwe Zimmermann	Discrete Online and Real-Time Optimization.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Lutz Kettner, Emo Welzl	One Sided Error Predicates in Geometric Computing.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Martin Vingron	Alignment and Phylogeny Construction for Biological Sequences.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
2	Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino	Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	constraint based selection, structural software testing criteria, Constraint Based Criteria, distinct fundamentals, test data generation strategies, test data set adequacy, program testing
2	Wolfgang Bibel, Philippe Jorrand (eds.)	Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985	Advanced Course: Fundamentals of Artificial Intelligence	1986	DBLP BibTeX RDF
2	Ehud Y. Shapiro	Concurrent Prolog: A Progress Report.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	Gérard P. Huet	Deduction and Computation.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	Alan W. Biermann	Fundamental Mechanisms in Machine Learning and Inductive Inference.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	Mark E. Stickel	An Introduction to Automated Deduction.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	James P. Delgrande, John Mylopoulos	Knowledge Representation: Features of Knowledge.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	Philippe Jorrand	Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	Wolfgang Bibel	Methods of Automated Reasoning.	Advanced Course: Fundamentals of Artificial Intelligence	1985	DBLP DOI BibTeX RDF
2	Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher	Some Fundamentals of Order-Algebraic Semantics.	MFCS	1976	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani	Fundamentals of software engineering (selected papers of FSEN '09).	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Ping Xia, Han-Shin Jo, Jeffrey G. Andrews	Fundamentals of Inter-Cell Overhead Signaling in Heterogeneous Cellular Networks.	J. Sel. Topics Signal Processing	2012	DBLP DOI BibTeX RDF
1	Kamran Eshraghian, Omid Kavehei, Kyoung-Rok Cho, James M. Chappell, Azhar Iqbal, Said F. Al-Sarawi, Derek Abbott	Memristive Device Fundamentals and Modeling: Applications to Circuits and Systems Simulation.	Proceedings of the IEEE	2012	DBLP DOI BibTeX RDF
1	Xingqin Lin, Radha Krishna Ganti, Philip Fleming, Jeffrey G. Andrews	Towards Understanding the Fundamentals of Mobility in Cellular Networks	CoRR	2012	DBLP BibTeX RDF
1	Robert Schaefer	Fundamentals of multicore software development by Victor Pankratius, Ali-Reza Adi-Tabatabai, Walter Tichy.	ACM SIGSOFT Software Engineering Notes	2012	DBLP DOI BibTeX RDF
1	Karlheinz Blankenbach	Embedded Systems: Fundamentals.	Handbook of Visual Display Technology	2012	DBLP DOI BibTeX RDF
1	Michael R. Krames	Light Emitting Diodes: Fundamentals.	Handbook of Visual Display Technology	2012	DBLP DOI BibTeX RDF
1	Oliver Nachbaur	Power Supply Fundamentals.	Handbook of Visual Display Technology	2012	DBLP DOI BibTeX RDF
1	Karlheinz Blankenbach	Panel Interfaces: Fundamentals.	Handbook of Visual Display Technology	2012	DBLP DOI BibTeX RDF
1	Matthew C. Forman, Karlheinz Blankenbach	Fundamentals of Image Color Management.	Handbook of Visual Display Technology	2012	DBLP DOI BibTeX RDF
1	Matt Neuburg	Programming iOS 5 - Fundamentals of iPhone, iPad, and iPod touch Development: Covers iOS 5 and Xcode 4.3, 2nd Edition.		2012	RDF
1	Farhad Arbab, Marjan Sirjani (eds.)	Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers	FSEN	2012	DBLP DOI BibTeX RDF
1	Himanshu Thapliyal, Nagarajan Ranganathan	Tutorial T2: Reversible Logic: Fundamentals and Applications in Ultra-Low Power, Fault Testing and Emerging Nanotechnologies, and Challenges in Future.	VLSI Design	2012	DBLP DOI BibTeX RDF
1	Kari-Jouko Räihä, Saila Ovaska	An exploratory study of eye typing fundamentals: dwell time, text entry rate, errors, and workload.	CHI	2012	DBLP DOI BibTeX RDF
1	Richard Gluga, Judy Kay, Raymond Lister, Sabina Kleitman, Tim Lever	Over-confidence and confusion in using bloom for programming fundamentals assessment.	SIGCSE	2012	DBLP DOI BibTeX RDF
1	Shichao Zhang, Xindong Wu	Fundamentals of association rules in data mining and knowledge discovery.	Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery	2011	DBLP DOI BibTeX RDF
1	Nourédine Yahya Bey	Multi-Resolution Fourier Analysis Part I: Fundamentals.	IJCNS	2011	DBLP DOI BibTeX RDF
1	H.-J. G. Diersch, D. Bauer, W. Heidemann, Wolfram Rühaak, Peter Schätzl	Finite element modeling of borehole heat exchanger systems: Part 1. Fundamentals.	Computers & Geosciences	2011	DBLP DOI BibTeX RDF
1	Sandra Braman	The Framing Years: Policy Fundamentals in the Internet Design Process, 1969-1979.	Inf. Soc.	2011	DBLP DOI BibTeX RDF
1	Edward Sweeney	Towards a Unified Definition of Supply Chain Management: The Four Fundamentals.	IJAL	2011	DBLP DOI BibTeX RDF
1	Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner	Theoretical Fundamentals of Gate Level Information Flow Tracking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2011	DBLP DOI BibTeX RDF
1	Francisco Ballestín, Rosa Blanco	Theoretical and practical fundamentals for multi-objective optimisation in resource-constrained project scheduling problems.	Computers & OR	2011	DBLP DOI BibTeX RDF
1	Simon Perdrix	Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality.	IJUC	2011	DBLP BibTeX RDF
1	Diederik Aerts, Liane Gabora, Sandro Sozzo, Tomas Veloz	Quantum Structure in Cognition: Fundamentals and Applications	CoRR	2011	DBLP BibTeX RDF
1	Ping Xia, Han-Shin Jo, Jeffrey G. Andrews	Fundamentals of Inter-cell Overhead Signaling in Heterogeneous Cellular Networks	CoRR	2011	DBLP BibTeX RDF
1	M. Sampl	Fundamentals of numerical analysis: spaceborne radio astronomy antennas.	Elektrotechnik und Informationstechnik	2011	DBLP DOI BibTeX RDF
1	Laurent Alaus, Jacques Palicot, Christian Roland, Yves Louët, Dominique Noguet	Promising Technique of Parameterization For Reconfigurable Radio, the Common Operators Technique: Fundamentals and Examples.	Signal Processing Systems	2011	DBLP DOI BibTeX RDF
1	Witold Pedrycz	The Principle of Justifiable Granularity and an Optimization of Information Granularity Allocation as Fundamentals of Granular Computing.	JIPS	2011	DBLP DOI BibTeX RDF
1	Rebeca P. Díaz Redondo, Ana Fernández Vilas, Marta Rey-López, José J. Pazos Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque	TVGuide2.0: applying the Web2.0 fundamentals to IDTV.	Multimedia Tools Appl.	2011	DBLP DOI BibTeX RDF
1	Matt Neuburg	Programming iOS 4 - Fundamentals of iPhone, iPad, and iPod touch Development: Covers iOS 4.3 and Xcode 4.		2011	RDF
1	David Toman, Grant E. Weddell	Fundamentals of Physical Design and Query Compilation		2011	DOI RDF
1	Ali Rostami, Hassan Rasooli Saghai, Hamed Baghban	Terahertz Technology - Fundamentals and Applications		2011	DBLP DOI BibTeX RDF
1	Mark J. Kushner, Natalia Yu. Babaeva	Fundamentals of Gas Phase Plasmas for Treatment of Human Tissue.	MMVR	2011	DBLP DOI BibTeX RDF
1	Jonas Schild, Maic Masuch	Fundamentals of Stereoscopic 3D Game Design.	ICEC	2011	DBLP DOI BibTeX RDF
1	Alan C. Seabaugh	Fundamentals and current status of steep-slope tunnel field-effect transistors.	ESSCIRC	2011	DBLP DOI BibTeX RDF
1	Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)	Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings	FCT	2011	DBLP DOI BibTeX RDF
1	Emil Vassev, Mike Hinchey	Fundamentals of Designing Complex Aerospace Software Systems.	CSDM	2011	DBLP DOI BibTeX RDF
1	Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi	Towards Model-Based Testing of Electronic Funds Transfer Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Hassan Haghighi, Mohammad Mahdi Javanmard	Constructive Development of Probabilistic Programs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Strong Normalisation in λ-Calculi with References.	FSEN	2011	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen	Model Checking: One Can Do Much More Than You Think!	FSEN	2011	DBLP DOI BibTeX RDF
1	Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab	Refinement-Based Modeling of 3D NoCs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Alban Ponse	Proposition Algebra and Short-Circuit Logic.	FSEN	2011	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen	Safe Locking for Multi-threaded Java.	FSEN	2011	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran	Specification Guidelines to Avoid the State Space Explosion Problem.	FSEN	2011	DBLP DOI BibTeX RDF
1	Hamideh Sabouri, Ramtin Khosravi	Efficient Verification of Evolving Software Product Lines.	FSEN	2011	DBLP DOI BibTeX RDF
1	Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva	Type Checking Cryptography Implementations.	FSEN	2011	DBLP DOI BibTeX RDF
1	Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats	Nested Dynamic Condition Response Graphs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li	Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen	Reachability Analysis of Non-linear Planar Autonomous Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Zining Cao, Hui Wang	Extending Interface Automata with Z Notation.	FSEN	2011	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori	Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability.	FSEN	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi	Decompositional Reasoning about the History of Parallel Processes.	FSEN	2011	DBLP DOI BibTeX RDF
1	Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse	Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.	FSEN	2011	DBLP DOI BibTeX RDF
1	Chaodong He, Yuxi Fu, Hongfei Fu	Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.	FSEN	2011	DBLP DOI BibTeX RDF
1	Christian Lambertz, Mila E. Majster-Cederbaum	Analyzing Component-Based Systems on the Basis of Architectural Constraints.	FSEN	2011	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott	A Distributed Logic for Networked Cyber-Physical Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.	FSEN	2011	DBLP DOI BibTeX RDF
1	David Costa, Milad Niqui, Jan J. M. M. Rutten	Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract).	FSEN	2011	DBLP DOI BibTeX RDF