Results 261 to 270 of about 33,743 (312)
Some of the next articles are maybe not open access.
Mapping Ada source code into an abstract program space
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference, 2002A space for an abstract design view of software systems is simply and objectively characterised in terms of orthogonal dimensions. This characterisation also provides a basis for visualising abstract designs using "layering". Staged recovery from concrete programs into the abstract space exposes the advantages of the abstract view: determination of ...
Paul A. Bailes +2 more
openaire +1 more source
Programming support for the NASA space station data management system (abstract only)
Proceedings of the 1985 ACM thirteenth annual conference on Computer Science - CSC '85, 1985The Data Management System (DMS) for the NASA space station will incorporate multiple computers, data bases, and applications in a large complex network. The DMS must manage different computers that are physically and logically separated. The network design is based on the ISO/OSI seven level model.
Rodney L. Bown, Charles W. McKay
openaire +1 more source
Unifying Heterogeneous State-Spaces with Lenses
International Colloquium on Theoretical Aspects of Computing, 2016Most verification approaches embed a model of program state into their semantic treatment. Though a variety of heterogeneous state-space models exists, they all possess common theoretical properties one would like to capture abstractly, such as the ...
S. Foster, Frank Zeyda, J. Woodcock
semanticscholar +1 more source
Journal of Optimization Theory and Applications, 1985
The programming problem under consideration consists in maximizing a concave objective functional, subject to convex operator inequality contraints. The assumptions include the existence of an optimum solution, Fréchet differentiability of all operators involved, the existence of the topological complement of the null space of the Fréchet derivative of
Buie, R. N., Abraham, J.
openaire +2 more sources
The programming problem under consideration consists in maximizing a concave objective functional, subject to convex operator inequality contraints. The assumptions include the existence of an optimum solution, Fréchet differentiability of all operators involved, the existence of the topological complement of the null space of the Fréchet derivative of
Buie, R. N., Abraham, J.
openaire +2 more sources
Journal of The First-Year Experience & Students in Transition, 2018
The purpose of this study was to explore sense of belonging across race and gender using Strayhorn's (2012) sense of belonging model as a conceptual framework to guide both quantitative and qualitative methods of data collection and analysis. Survey data
Jason C. Garvey +4 more
semanticscholar +1 more source
The purpose of this study was to explore sense of belonging across race and gender using Strayhorn's (2012) sense of belonging model as a conceptual framework to guide both quantitative and qualitative methods of data collection and analysis. Survey data
Jason C. Garvey +4 more
semanticscholar +1 more source
Facilitating Multiple Programming Languages in One Space
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018This lightning talk describes considerations for facilitating multiple programming languages in one space. I provide video examples of what it looks like when young coders select from four different programming languages to create projects of interest.
openaire +1 more source
2013 Abstracts IEEE International Conference on Plasma Science (ICOPS), 2013
Summary form only given. Electric propulsion is now a successful method for primary propulsion of deep space long duration missions and for geosynchronous satellite attitude control. The Closed Drift Thruster, also called Hall Thruster or SPT (Stationary Plasma Thruster) was primarily conceived in USSR (the ancient Soviet Union) and since then, it has ...
Jose L. Ferreira +5 more
openaire +1 more source
Summary form only given. Electric propulsion is now a successful method for primary propulsion of deep space long duration missions and for geosynchronous satellite attitude control. The Closed Drift Thruster, also called Hall Thruster or SPT (Stationary Plasma Thruster) was primarily conceived in USSR (the ancient Soviet Union) and since then, it has ...
Jose L. Ferreira +5 more
openaire +1 more source
2020 IEEE International Professional Communication Conference (ProComm), 2020
This paper explores the potential of graduate professional development programs for multimodal STEAM communication training.
openaire +1 more source
This paper explores the potential of graduate professional development programs for multimodal STEAM communication training.
openaire +1 more source
Mathematische Operationsforschung und Statistik. Series Optimization, 1980
In this paper the duality theory for continuous linear programming problems is extended to problems defined in spaces of -p-times BocHNEB-integrable abstract functions (1 < p < ∞). Two duality theorems are proved, the first one including the existence of a primal optimal solution, the second one the existence of a dual optimal solution. As introduction
openaire +1 more source
In this paper the duality theory for continuous linear programming problems is extended to problems defined in spaces of -p-times BocHNEB-integrable abstract functions (1 < p < ∞). Two duality theorems are proved, the first one including the existence of a primal optimal solution, the second one the existence of a dual optimal solution. As introduction
openaire +1 more source
Cancer Research, 2009
Abstract Over the past five years extensive coherent data has been assembled into probabilistic causal models of diseases. These models show the potential power of generating larger and more comprehensive models. Leveraging significant datasets generated by the Genetics group at Rosetta, the compute clusters, and know-how, we have ...
openaire +1 more source
Abstract Over the past five years extensive coherent data has been assembled into probabilistic causal models of diseases. These models show the potential power of generating larger and more comprehensive models. Leveraging significant datasets generated by the Genetics group at Rosetta, the compute clusters, and know-how, we have ...
openaire +1 more source