|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8252 occurrences of 4039 keywords
|
|
|
Results
Found 11069 publication records. Showing 11069 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Hugo de Garis |
Artificial Brains: An Evolved Neural Net Module Approach. |
Computational Intelligence: A Compendium |
2008 |
DBLP DOI BibTeX RDF |
|
19 | José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr. |
Efficient Allocation of Verification Resources using Revision History Information. |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Prabal Dutta, Jay Taneja, Jaein Jeong, Xiaofan Jiang 0001, David E. Culler |
A building block approach to sensornet systems. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
sensor network, architecture, wireless, mote |
19 | Martin Pinzger 0001, Nachiappan Nagappan, Brendan Murphy |
Can developer-module networks predict failures? |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
developer contribution network, network centrality measures, social network analysis, failure prediction |
19 | Jian-Hong Liu, Jing Chen, Yu-Chang Huang |
VIP: A Flexible Virtual Integrated Platform for EVM Emulation. |
ICPADS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Kiev Gama, Didier Donsez |
Using the service coroner tool for diagnosing stale references in the OSGi platform. |
Middleware (Companion) |
2008 |
DBLP DOI BibTeX RDF |
stale references, aspect oriented programming, OSGi, services platform |
19 | Hsun-Cheng Lee, Yao-Wen Chang, Hannah Honghua Yang |
MBast-Tree: A Multilevel Floorplanner for Large-Scale Building-Module Design. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Egbert Ammicht, Eric Fosler-Lussier, Alexandros Potamianos |
Information Seeking Spoken Dialogue Systems- Part I: Semantics and Pragmatics. |
IEEE Trans. Multim. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Naeem Seliya, Taghi M. Khoshgoftaar |
Software quality estimation with limited fault data: a semi-supervised learning perspective. |
Softw. Qual. J. |
2007 |
DBLP DOI BibTeX RDF |
Software quality estimation, Software metrics, Semi-supervised learning, Expectation maximization, Unlabeled data |
19 | Robert Strandh, John Hamer, Gilbert Baumann |
Using Stealth Mixins to Achieve Modularity. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rene Beckert, Thomas Fuchs 0003, Steffen Rülke, Wolfram Hardt |
A Run-Time Scheduling Framework for a Reconfigurable Hardware Emulator. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sun Kim, Soo-Jin Kim, Byoung-Tak Zhang |
Evolving hypernetwork classifiers for microRNA expression profile analysis. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer |
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Zhiyu Shao, Hanxu Sun, Qingxuan Jia, Ping Ye, Yuesheng Tan |
Development of a General 2-DOF Space Module. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jongmoo Choi, Seungjae Baek, Sung Y. Shin |
Design and implementation of a kernel resource protector for robustness of Linux module programming. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
loadable module, reclaim, resource protector, slab allocator, fault tolerance, robustness, memory leak, linux kernel |
19 | Pilok Lim, Taewhan Kim |
Thermal-aware high-level synthesis based on network flow method. |
CODES+ISSS |
2006 |
DBLP DOI BibTeX RDF |
power consumption, temperature, binding |
19 | Wolfhard Lawrence |
Standard Module Conformance Testing. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kasper Støy |
How to Construct Dense Objects with Self-Recondfigurable Robots. |
EUROS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Nori, Ruggero Frezza |
A control theory approach to the analysis and synthesis of the experimentally observed motion primitives. |
Biol. Cybern. |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Biplab Kumer Sarker, Anil Kumar Tripathi, Deo Prakash Vidyarthi, Laurence Tianruo Yang, Kuniaki Uehara |
Load Balanced Allocation of Multiple Tasks in a Distributed Computing System. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita |
Universal Delay-Insensitive Circuits with Bidirectional and Buffering Lines. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
bidirectional buffering lines, module, Asynchronous systems, universality, delay-insensitive circuits |
19 | Lukasz Masko |
Program Graph Scheduling for Dynamic SMP Clusters with Communication on the Fly. |
ISPDC/HeteroPar |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Qi Wang, Bo Yu, Jie Zhu |
Extract Rules from Software Quality Prediction Model Based on Neural Network. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Jai-Ming Lin, Yao-Wen Chang, Shih-Ping Lin 0001 |
Corner sequence - a P-admissible floorplan representation with a worst case linear-time packing scheme. |
IEEE Trans. Very Large Scale Integr. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
19 | John W. Lockwood, Christopher E. Neely, Christopher K. Zuver, David Lim |
Automated tools to implement and test Internet systems in reconfigurable hardware. |
Comput. Commun. Rev. |
2003 |
DBLP DOI BibTeX RDF |
network intrusion detection and prevention, Internet, Field Programmable Gate Array (FPGA), networks, tools, firewall, reconfigurable hardware |
19 | Fredrik Warg, Per Stenström |
Improving Speculative Thread-Level Parallelism Through Module Run-Length Prediction. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
module-level parallelism, module run-length prediction, performance evaluation, Multiprocessors, thread-level speculation |
19 | Chandramouli Gopalakrishnan, Srinivas Katkoori |
KnapBind: An Area-Efficient Binding Algorithm for Low-leakage Datapaths. |
ICCD |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Norihiro Fujii, Shûichi Yukita, Nobuhiko Koike, Tosiyasu L. Kunii |
Top-Down eLearning Tools for Hardware Logic Design. |
CW |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Taghi M. Khoshgoftaar |
Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant Functions. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kosuke Imamura, Robert B. Heckendorn, Terence Soule, James A. Foster |
N-Version Genetic Programming via Fault Masking. |
EuroGP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu |
Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Wing Seung Yuen, Fung Yu Young |
Slicing floorplan with clustering constraints. |
ASP-DAC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Hugo de Garis, Leo de Penning, Andrzej Buller, Derek Decesare |
Early Experiments On The Cam-Brain Machine (Cbm). |
Evolvable Hardware |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Hugo de Garis, Andrzej Buller, Leo de Penning, Tomasz Chodakowski, Derek Decesare |
Initial Evolution Results on CAM-Brain Machines (CBMs). |
ICANN |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca |
Generation of Execution Sequences for Modular Time Critical Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing |
19 | Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani |
The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Zhong Shao |
Typed Cross-Module Compilation. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Harald C. Gall, Karin Hajek, Mehdi Jazayeri |
Detection of Logical Coupling Based on Product Release History. |
ICSM |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Dirk Dussart, Rogardt Heldal, John Hughes 0001 |
Module-Sensitive Program Specialisation. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Chua Hong Chuck, Chin Teck Chai, Tan Gim Chua |
A structured approach for routing of MCMs. |
KES (1) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Michael VanHilst, David Notkin |
Decoupling Change from Design. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
An Open Framework for Cooperative Problem Solving. |
IEEE Expert |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Didier Bert, Catherine Oriat |
A Model Inference System for Generic Specification with Application to Code Sharing. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Sandip K. Biswas |
Higher-Order Functors with Transparent Signatures. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
19 | Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi |
Modeling Correlation in Software Recovery Blocks. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification |
19 | Laura Kelmar, Ron Lumia |
Sensory interactive robot trajectory control using a real-time world model. |
J. Intell. Robotic Syst. |
1992 |
DBLP DOI BibTeX RDF |
image processing, Robotics, control systems, real-time control, telerobotics, hierarchical control, space applications |
19 | Josef Pieprzyk, Xian-Mo Zhang |
Permutation Generators of Alternating Groups. |
AUSCRYPT |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Domenick J. Pinto, Sandra K. Honda |
A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Don S. Batory, Michael V. Mannino |
Panel on Extensible Database Systems. |
SIGMOD Conference |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Wayne H. Wolf |
An object-oriented, procedural database for VLSI chip planning. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Stephen Y. H. Su |
IDAS: an integrated design automation system. |
AFIPS National Computer Conference |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Brent Hailpern, Susan S. Owicki |
Modular Verification of Concurrent Programs. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Hans Heymans, Isar Stubbe |
Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale |
17 | Werner M. Seiler |
A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases. |
Appl. Algebra Eng. Commun. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Akif Günes Koru, Dongsong Zhang, Khaled El Emam, Hongfang Liu |
An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Kanako Harada, Ekawahyu Susilo, Arianna Menciassi, Paolo Dario |
Wireless reconfigurable modules for robotic endoluminal surgery. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Benedikt Deicke, Jan-Torsten Milde, Hans-Martin Pohl |
A Web-Based, Interactive Annotation Editor for the eCampus Development Environment for SCORM Compliant E-Learning Modules. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
eCampus, OpenOffice, E-Learning, Web, annotation, transformation, JavaScript, SCORM, Ruby, user friendly, Ruby on Rails |
17 | Michael Philetus Weller, Brian T. Kirby, H. Benjamin Brown, Mark D. Gross, Seth Copen Goldstein |
Design of prismatic cube modules for convex corner traversal in 3D. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, Steve Oudot |
Proximity of persistence modules and their diagrams. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
persistence diagram, topological data analysis, topological persistence, stability, discretization |
17 | Corban G. Rivera, T. M. Murali 0001 |
Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper. |
BICoB |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Lars Kadison |
Anchor Maps and Stable Modules in Depth Two. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30 |
17 | Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto |
On the Generalization of Single Input Rule Modules Connected Type Fuzzy Reasoning Method. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Chuanyu Xu |
Intuitionistic Fuzzy Modules and Their Structures. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yoshiki Higo, Kenji Murao, Shinji Kusumoto, Katsuro Inoue |
Predicting fault-prone modules based on metrics transitions. |
DEFECTS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Lagemann, Jörg Nolte |
CsharpSimpleModule: writing OMNeT++ modules with C# and mono. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Paul Doran, Valentina A. M. Tamma, Ignazio Palmisano, Terry R. Payne, Luigi Iannone |
Evaluating Ontology Modules Using an Entropy Inspired Metric. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Isask'har Walter, Israel Cidon, Ran Ginosar, Avinoam Kolodny |
Access Regulation to Hot-Modules in Wormhole NoCs. |
NOCS |
2007 |
DBLP DOI BibTeX RDF |
SoC, resource management, Network on-Chip, hotspot, wormhole |
17 | Xiaoping Yun, Eric R. Bachmann, Hyatt Moore, James Calusdian |
Self-contained Position Tracking of Human Movement Using Small Inertial/Magnetic Sensor Modules. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Koch, Dirk Stegemann, Yehya Mohamad, Carlos A. Velasco |
Development of Automatic Web Accessibility Checking Modules for Advanced Quality Assurance Tools. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Functional Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Miguel E. R. Bezerra, Adriano L. I. Oliveira, Silvio R. L. Meira |
A Constructive RBF Neural Network for Estimating the Probability of Defects in Software Modules. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hugo de Garis, Jian Yu Tang, Di Huang 0003 |
Artificial Brains - A Cheap Method for Speeding the Evolution of Neural Network Modules for Artificial Brain Building. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Raheel A. Malik, Raymond A. Hansen, James E. Goldman, Anthony H. Smith |
Laboratory modules for conducting comparative analysis of 802.11 frames. |
SIGITE Conference |
2007 |
DBLP DOI BibTeX RDF |
wireless networking education, information technology education |
17 | Feng-Li Lian, John K. Yook, Dawn M. Tilbury, James R. Moyne |
Network architecture and communication modules for guaranteeing acceptable control and communication performance for networked multi-agent systems. |
IEEE Trans. Ind. Informatics |
2006 |
DBLP DOI BibTeX RDF |
|
17 | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi |
Algebraic Semantics of Service Component Modules. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Young-Rae Cho, Woochang Hwang, Aidong Zhang |
Identification of Overlapping Functional Modules in Protein Interaction Networks: Information Flow-based Approach. |
ICDM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
17 | María Brox, Santiago Sánchez-Solano |
Development of IP Modules of Fuzzy Controllers for the Design of Embedded Systems on FPGAs. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jason W. Kim, Vassilis Prevelakis |
Base line performance measurements of access controls for libraries and modules. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Riccardo Mazza |
A Graphical Tool for Monitoring the Usage of Modules in Course Management Systems. |
VIEW |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Suely Oliveira, Sang-Cheol Seok |
A Multilevel Approach to Identify Functional Modules in a Yeast Protein-Protein Interaction Network. |
International Conference on Computational Science (2) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Mengxia Zhu, Qishi Wu, Yunfeng Yang, Jizhong Zhou |
A New Approach to Identify Functional Modules Using Random Matrix Theory. |
CIBCB |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Suely Oliveira, S. C. Seok |
Triangular Clique Based Multilevel Approaches to Identify Protein Functional Modules. |
VECPAR |
2006 |
DBLP DOI BibTeX RDF |
|
17 | James Walden, Charles E. Frank |
Secure software engineering teaching modules. |
InfoSecCD |
2006 |
DBLP DOI BibTeX RDF |
secure software engineering, software security, information security education |
17 | Dominic Duggan |
Type-based hot swapping of running modules. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Davide Ancona, Sonia Fagorzi, Elena Zucca |
Mixin Modules for Dynamic Rebinding. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Chuan-Yu Cho, Shiang-Yang Huang, Jeng-Neng Hwang, Jia-Shung Wang |
An embedded merging scheme for VLSI implementation of H.264/AVC motion estimation modules. |
ICIP (3) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Torsten Linz, Christine Kallmayer, Rolf Aschenbrenner, Herbert Reichl |
Embroidering Electrical Interconnects with Conductive Yarn for The Integration of Flexible Electronic Modules into Fabric. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Arias, Manuel Ladra |
Central Extensions of Precrossed Modules. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
central extension, precrossed module, cohomology, Galois theory |
17 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Gerardo Leyva, Gabriel Caffarena, Carlos Carreras, Octavio Nieto-Taladriz |
A Generator of High-Speed Floating-Point Modules. |
FCCM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hee Young Kang, Hak Yong Kim |
Functional Modules from Protein Networks of Kinome and Cell Cycle in Saccharomyces Cerevisiae. |
CSB |
2004 |
DBLP DOI BibTeX RDF |
|
17 | James Alfred Walker, Julian Francis Miller |
Evolution and Acquisition of Modules in Cartesian Genetic Programming. |
EuroGP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Nikunja Swain, Mrutyunjaya Swain |
Design and development of computer networking modules using virtual instruments and object oriented programming. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
IP classes, dotted decimal notation, java/visual basic, router forwarding, subnet & subnet mask, TCP/IP, virtual instruments, routing table |
17 | Z. Arvasi, U. Ege |
Annihilators, Multipliers and Crossed Modules. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
multiplication algebra, actor crossed module, crossed square |
17 | Jacek Chrzaszcz |
Implementing Modules in the Coq System. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Derek Dreyer, Karl Crary, Robert Harper 0001 |
A type system for higher-order modules. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors |
17 | Rob J. van Glabbeek, David G. Stork |
Query Nets: Interacting Workflow Modules That Ensure Global Termination. |
Business Process Management |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski, Christopher D. Cera, Robert N. Lass, Aparna Nanjappa |
Redesigning introductory computer programming using multi-level online modules for a mixed audience. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
hybrid courses, online course work, pedagogy, CS1, cooperative learning, course management systems |
17 | Richard Carlsson |
Parameterized modules in Erlang. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Nörtemann |
The Hahn-Banach Theorem for Partially Ordered Totally Convex, Positively Convex and Superconvex Modules. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
Hahn-Banach Theorem, partially ordered totally convex module, partially ordered positively convex module, partially ordered superconvex module |
Displaying result #301 - #400 of 11069 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|