Search Results - "Urban, J.E."
-
1
Alterations in the Magnetoencephalography Default Mode Effective Connectivity following Concussion
Published in American journal of neuroradiology : AJNR (01-10-2021)“…BACKGROUND AND PURPOSEMagnetoencephalography is sensitive to functional connectivity changes associated with concussion. However, the directional influences…”
Get full text
Journal Article -
2
Prevalence and Incidence of Microhemorrhages in Adolescent Football Players
Published in American journal of neuroradiology : AJNR (01-07-2020)“…SWI is an advanced imaging modality that is especially useful in cerebral microhemorrhage detection. Such microhemorrhages have been identified in adult…”
Get full text
Journal Article -
3
RealSpec: An Executable Specification Language for Modeling Control Systems
Published in 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01-03-2009)“…Direct support of real-time and control system features in a real-time specification language has a key role in the modeling of such systems. Correct modeling…”
Get full text
Conference Proceeding -
4
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems
Published in 2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping (01-06-2008)“…RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is…”
Get full text
Conference Proceeding -
5
The State of Executable Real-Time Specification Languages and the Need for Advancements
Published in 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (01-05-2008)“…Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these…”
Get full text
Conference Proceeding -
6
An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language
Published in Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) (01-03-2007)“…The agent-oriented approach has emerged as a new and powerful paradigm in modern software engineering. This paper analyzes the reactive agent model, exhibiting…”
Get full text
Conference Proceeding -
7
Transformation of tertiary butyl mercaptan in aerobic environments
Published in Environmental progress (01-10-2006)“…Tertiary butyl mercaptan (TBM) is a malodorant that is added to natural gas in small quantities to aid in its detection. The objective of this study was to…”
Get full text
Journal Article -
8
Flies and their bacterial loads in greyhound dog kennels in Kansas
Published in Current microbiology (01-03-1998)“…Breeders of greyhound dogs traditionally feed racing animals and nursing bitches raw meat, and that meat generally is obtained frozen from commercial…”
Get full text
Journal Article -
9
Invited Mini-review Session 2: Software Specification Of Real-time Systems
Published in Proceedings of 1994 International Conference on Parallel and Distributed Systems (1994)Get full text
Conference Proceeding -
10
COOL (computer outreach opportunities for learning) development and assessment
Published in 33rd Annual Frontiers in Education, 2003. FIE 2003 (2003)“…The COOL (Computer Outreach Opportunities for Learning) project is concerned with increasing the number and diversity of computer science graduates. To…”
Get full text
Conference Proceeding -
11
Executable specifications for distributed software systems
Published in Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (1995)“…The front-end life cycle or upper CASE aspects of software development for distributed systems is driven by the components of applications, management, and…”
Get full text
Conference Proceeding -
12
A distributed version of the SequenceL language
Published in Proceedings - Symposium on Reliable Distributed Systems (1998)“…This paper introduces a new computational model for SequenceL. The model is extended through the addition of a notion of the VRAM model. The computational…”
Get full text
Conference Proceeding Journal Article -
13
Guest Editors' Introduction Ada Environments and Tools
Published in IEEE software (01-03-1985)“…Presents the guest editorial for this issue of the publication…”
Get full text
Journal Article -
14
Incorporation of relational modeling method into object-oriented analysis
Published in Proceedings of ICC/SUPERCOMM '96 - International Conference on Communications (1996)“…It is a generally accepted concept that multiple views are needed in object-oriented analysis or domain analysis techniques. Three commonly adopted models for…”
Get full text
Conference Proceeding -
15
Evaluating freshmen retention efforts in engineering housing
Published in 31st Annual Frontiers in Education Conference. Impact on Engineering and Science Education. Conference Proceedings (Cat. No.01CH37193) (2001)“…Freshman engineering retention is a national problem. At Arizona State University, freshmen retention is a major focus of the Office of Student Affairs in the…”
Get full text
Conference Proceeding -
16
Minority engineering program computer basics with a vision
Published in 32nd Annual Frontiers in Education (2002)“…Basic computer skills are necessary for success in an undergraduate engineering degree program. Students who lack basic computer skills are immediately at risk…”
Get full text
Conference Proceeding -
17
Refining a living and learning community for first year engineering students: the ASU perspective
Published in 32nd Annual Frontiers in Education (2002)“…Providing a supportive freshmen environment for just one academic year is both a challenge and an opportunity. The Office of Student Affairs in the College of…”
Get full text
Conference Proceeding -
18
The Effect of Abstract Data Types on Program Development
Published in Computer (Long Beach, Calif.) (01-08-1987)“…An experiment demonstrated that using unsupported abstract data types increases program development time for novice programmers in an Ada environment…”
Get full text
Journal Article -
19
Including engineering students
Published in 30th Annual Frontiers in Education Conference. Building on A Century of Progress in Engineering Education. Conference Proceedings (IEEE Cat. No.00CH37135) (2000)“…The recruitment and retention of engineering students is a challenging process. Few students are choosing engineering as a major upon entry to college and over…”
Get full text
Conference Proceeding -
20
Succinate-induced morphology of Rhizobium trifolii 0403 resembles that of bacteroids in clover nodules [Trifolium repens]
Published in Applied and Environmental Microbiology (01-07-1982)“…Classifications Services AEM Citing Articles Google Scholar PubMed Related Content Social Bookmarking CiteULike Delicious Digg Facebook Google+ Mendeley Reddit…”
Get full text
Journal Article