Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (13561)
- Computer Sciences (13035)
- Electrical and Computer Engineering (7210)
- Artificial Intelligence and Robotics (4370)
- Operations Research, Systems Engineering and Industrial Engineering (4209)
-
- Numerical Analysis and Scientific Computing (3960)
- Systems Science (3943)
- Digital Communications and Networking (2155)
- Other Computer Engineering (1677)
- Computer and Systems Architecture (1618)
- Data Storage Systems (1552)
- Social and Behavioral Sciences (1438)
- Civil and Environmental Engineering (1327)
- Robotics (1248)
- Civil Engineering (1105)
- Mechanical Engineering (958)
- Electrical and Electronics (906)
- Information Security (742)
- Environmental Engineering (658)
- Other Civil and Environmental Engineering (646)
- Systems and Communications (639)
- Chemical Engineering (609)
- Materials Science and Engineering (606)
- Hydraulic Engineering (574)
- Law (535)
- Hardware Systems (514)
- Business (481)
- Legal Studies (468)
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1814)
- University of Nebraska - Lincoln (1069)
- University of Texas at El Paso (858)
-
- Washington University in St. Louis (733)
- Technological University Dublin (731)
- California Polytechnic State University, San Luis Obispo (721)
- Brigham Young University (641)
- Old Dominion University (579)
- Embry-Riddle Aeronautical University (563)
- Singapore Management University (546)
- Universitas Indonesia (443)
- San Jose State University (439)
- Santa Clara University (419)
- Air Force Institute of Technology (414)
- Marquette University (412)
- University of South Carolina (320)
- California State University, San Bernardino (288)
- University of Central Florida (271)
- Portland State University (265)
- Chulalongkorn University (243)
- Al Iraqia University (235)
- Purdue University (218)
- University of South Florida (218)
- University of Arkansas, Fayetteville (207)
- University of Nevada, Las Vegas (191)
- New Jersey Institute of Technology (185)
- Nova Southeastern University (183)
- University of Dayton (166)
- Keyword
-
- Machine learning (439)
- Computer Science (385)
- Deep learning (347)
- Department of Computer Science and Engineering (319)
- Machine Learning (287)
-
- Engineering (274)
- Simulation (237)
- Robotics (231)
- Security (183)
- Artificial intelligence (173)
- Deep Learning (170)
- Optimization (170)
- Computer Engineering (168)
- Classification (163)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Cybersecurity (154)
- Artificial Intelligence (148)
- Computer vision (141)
- Computer Science and Engineering (137)
- Genetic algorithm (119)
- Blockchain (99)
- Internet (97)
- Virtual reality (97)
- Path planning (94)
- Data mining (93)
- Clustering (91)
- Privacy (91)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- Departmental Technical Reports (CS) (760)
- Theses and Dissertations (730)
-
- All Computer Science and Engineering Research (683)
- International Congress on Environmental Modelling and Software (629)
- Research Collection School Of Computing and Information Systems (511)
- Department of Electrical and Computer Engineering: Faculty Publications (496)
- Makara Journal of Technology (436)
- Electrical and Computer Engineering Faculty Research and Publications (389)
- Browse all Theses and Dissertations (342)
- Electronic Theses and Dissertations (341)
- Dissertations (340)
- Faculty Publications (321)
- Journal of Digital Forensics, Security and Law (299)
- Computer Science and Engineering Senior Theses (298)
- Master's Theses (289)
- Computer Engineering (282)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (242)
- Iraqi Journal for Computer Science and Mathematics (235)
- Master's Projects (220)
- School of Computing: Dissertations, Theses, and Student Research (206)
- Electrical and Computer Engineering Faculty Publications (204)
- Electrical & Computer Engineering Theses & Dissertations (193)
- Conference papers (178)
- Publications (169)
- BITs and PCs Newsletter (157)
- USF Tampa Graduate Theses and Dissertations (157)
- Journal of International Technology and Information Management (153)
- Publication Type
- File Type
Articles 23491 - 23520 of 25629
Full-Text Articles in Computer Engineering
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 1, September 2004, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 1, September 2004, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Run-Time Modification Of The Class Hierarchy In A Live Java Development Environment, Joel R. Brandt, Kenneth J. Goldman
Run-Time Modification Of The Class Hierarchy In A Live Java Development Environment, Joel R. Brandt, Kenneth J. Goldman
All Computer Science and Engineering Research
Class hierarchy design is central to object-oriented software development. However, it is sometimes difficult for developers to anticipate all the implications of a design until implementation is underway. To support experimentation with different designs, we extend prior work on live development environments to allow run-time modification of the class hierarchy. The result is a more fluid object-oriented development process, in which immediate feedback from the executing program can be used to guide hierarchy design. This paper presents a framework and developer support for run-time modification of class inheritance relations in JPie, a live visual programming environment for Java. Most notably, …
Every Polynomial-Time 1-Degree Collapses If And Only If P=Pspace, Stephen A. Fenner, Stuart A. Kurtz, James S. Royer
Every Polynomial-Time 1-Degree Collapses If And Only If P=Pspace, Stephen A. Fenner, Stuart A. Kurtz, James S. Royer
Faculty Publications
No abstract provided.
Volume Holographic Optical Elements, Ching-Cherng Sun, Partha P. Banerjee
Volume Holographic Optical Elements, Ching-Cherng Sun, Partha P. Banerjee
Electrical and Computer Engineering Faculty Publications
The final two papers are concerned with the analysis of novel holograms. Banerjee et al. investigate holographic recording and reconstruction for edge-lit holograms recorded in a 90-degree geometry. Various cases of recording and readout that incorporate propagational diffraction have been modeled. It is shown that the 90-degree geometry can result in beam shaping, as evidenced through preliminary experimental results with photorefractive lithium niobate. Nguyen et al. propose a new approach for designing computer-generated holograms. An artificial neural network is used to initiate the genetic algorithm so that the high computation cost of genetic algorithms for synthesizing holograms is significantly reduced …
Power-Stepped Protocol: Enhancing Spatial Utilization In A Clustered Mobile Ad Hoc Network, Chansu Yu, Kang G. Shin, Ben Lee
Power-Stepped Protocol: Enhancing Spatial Utilization In A Clustered Mobile Ad Hoc Network, Chansu Yu, Kang G. Shin, Ben Lee
Electrical and Computer Engineering Faculty Publications
While most previous studies on mobile ad hoc networks (MANETs) rely on the assumption that nodes are randomly distributed in the network coverage area, this assumption is unlikely to hold, as nodes tend to be cluttered around hot spots like the site of an accident or disaster. We refer to this as a clustered layout. Intuitively, a MANET with the clustered layout may suffer from serious performance degradation due to the excessive collisions in congested hot spots and space underutilization of sparse areas. In this paper, we propose a power-controlled network protocol, called the power-stepped protocol (PSP), that maximizes the …
Optimizing Proportionally Fair Prices, Laura Wynter
Optimizing Proportionally Fair Prices, Laura Wynter
Research Collection School Of Computing and Information Systems
We demonstrate the non-uniqueness of proportional fairness prices, and show that the model of Kelly et al. [9] falls into the category of models that can be generalized to allow optimization of the link prices, with a view toward profit maximization. However, through this framework, we also show that the total revenue that can be obtained through proportional fairness pricing on a network is unique.
Ultra Wideband Communication Link, Preeti Singh
Ultra Wideband Communication Link, Preeti Singh
Theses
Ultra-wideband communication (UWB) has been a topic of extensive research in recent years especially for its short-range communication and indoor applications. The preliminary objective of the project was to develop a description and understanding of the basic components of the communication link at microwave frequencies in order to achieve the primary objective of establishing a communication setup at a bandwidth of 2.5 GHz for testing Ultra Wideband (UWB) antennas. This was achieved with the aid of commercially available optical system which was modified for the purpose. Beginning with the generation of baseband narrow pulses with energy spanning over a broad …
Scheduling Algorithms For Cioq Switches, Prashanth Pappu, Jonathan S. Turner
Scheduling Algorithms For Cioq Switches, Prashanth Pappu, Jonathan S. Turner
All Computer Science and Engineering Research
Most scalable switches are required to buffer packets at both their inputs and outputs to overcome the slow memory speeds of packet queues. This thesis deals with the design of scheduling algorithms for such Combined Input and Output Queued (CIOQ) switches. For crossbar based CIOQ switches, we demonstrate the underperformance of commercially used scheduling algorithms under overload traffic conditions using targeted stress tests and present ideas to develop robust, stress resistant versions of these algorithms that are still simple enough to be implemented in high speed switches. To regulate the flow of traffic in buffered, multi-stage switches, we introduce a …
Wavelenght-Dispersive X-Ray Flourescence Accuration, H. Widyatmoko
Wavelenght-Dispersive X-Ray Flourescence Accuration, H. Widyatmoko
Makara Journal of Technology
Wavelenght–Dispersive X-Ray Flourescence Accuration. X-Fuorescence spectrometry is a method, which is increasingly applied in the geochemical analysis. X-Fuorescence spectrometry is classified under two categories – WDXRF (wavelenght – dispersive X-ray fluorescence spectrometer) and EDXRF (energy-dispersive X – ray fluorescence spectrometer). WDXRF can be configured as a sequential spectrometer , a simultaneous spectrometer or a hibrid instrument, which combines the advantages of the simultaneous and sequential spectrometers into one instrument. Each instrument is different in some characteristics, and each has applications for which it is specifically suited. In this investigation sequential spectrometer PW 1450 was used to analyze the major, minor …
Secondary Flow Experimental Study For Axial Compressor Cascade Strong Stagger With And Without Tip- Clearance: Static Pressure Distribution On Blade Surface, Syamsuri Syamsuri
Secondary Flow Experimental Study For Axial Compressor Cascade Strong Stagger With And Without Tip- Clearance: Static Pressure Distribution On Blade Surface, Syamsuri Syamsuri
Makara Journal of Technology
Secondary Flow Experimental Study for Axial Compressor Cascade Strong Stagger With and Without Tip- Clearance: Static Pressure Distribution on Blade Surface. The performance of blade cascade is influenced by the growth and boundary layer’s separation along blade surface and endwall (casing and hub). The secondary flow which happens near hub and casing compressors is three dimentional flow separation phenomenon comes from interaction blade boundary layer with casing and hub boundary layers in the compressor. The secondary flow causes secondary losses, blockage effect, and turning angle (deflection) distribution along blade span. The result of the research shows that the increase of …
Effect Of Photoperiodicity On Co2 Fixation By Chlorella Vulgaris Buitenzorg In Bubble Column Photobioreactor For Food Supplement Production, Anondho Wijanarko, Dianursanti Dianursanti, Arief Budi Witarto, Roekmijati Widaningroem Soemantojo
Effect Of Photoperiodicity On Co2 Fixation By Chlorella Vulgaris Buitenzorg In Bubble Column Photobioreactor For Food Supplement Production, Anondho Wijanarko, Dianursanti Dianursanti, Arief Budi Witarto, Roekmijati Widaningroem Soemantojo
Makara Journal of Technology
To reduce the level of CO2 content in air, effort on converting CO2 to useful products is required. One of the alternatives includes CO2 fixation to produce biomass using Chlorella vulgaris Buitenzorg. Chlorella vulgaris Buitenzorg is applied for production of food supplement. Chlorella vulgaris Buitenzorg is also easy to handle due to its superior adaptation. Currently, Chlorella vulgaris Buitenzorg has been analyzed by some experts for its cellular composition, its ability to produce high quality biomass and the content of essential nutrition. A series of experiments was conducted by culturing Chlorella vulgaris Buitenzorg using Beneck medium in bubbling column photobioreactor. …
Synthesize Of Emulsion Polymer Latex For Sub-Grade Cbr Improvement In The Road Construction, Keba Moto, V. Julian, Syamsudin Syamsudin, T. A. Wiradi, S. R. Wijaya
Synthesize Of Emulsion Polymer Latex For Sub-Grade Cbr Improvement In The Road Construction, Keba Moto, V. Julian, Syamsudin Syamsudin, T. A. Wiradi, S. R. Wijaya
Makara Journal of Technology
Synthesize of emulsion polymer latex for sub-grade CBR improvement in the road construction. Latex polymer for California Bearing Ratio (CBR) enhancement in sub-grade soil of road building has been prepared by emulsion polymerizations technique. The prepared polymer then characterize by Fourier Transform Infrared (FTIR). For application purpose, CBR test was done to the compacted polymer added-soil. The CBR test is done also for both soaked and unsoaked samples. It is found that our latex polymer is better then other imported latex polymer. For the latex polymer, which is design to have Temperatur glass (Tg) around 9.8-19.6o, indicating the formation of …
Generating Properties For Runtime Monitoring From Software Specification Patterns, Oscar Mondragon, Ann Q. Gates, Oleg Sokolsky
Generating Properties For Runtime Monitoring From Software Specification Patterns, Oscar Mondragon, Ann Q. Gates, Oleg Sokolsky
Departmental Technical Reports (CS)
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be used to clarify natural language specifications for sequential, concurrent, and nondeterministic behavior. In addition, the tool assists the user in reading, writing, and understanding formal specifications through the use of property patterns and visual abstractions. Currently, Prospec automatically generates a specification written in Future Interval Logic (FIL). The goal is to automate the generation of MEDL formulas that can be used by the Java-MaC tool to check run-time compliance of system execution to …
Non-Lexical Conversational Sounds In American English, Nigel Ward
Non-Lexical Conversational Sounds In American English, Nigel Ward
Departmental Technical Reports (CS)
This article analyzes the non-lexical conversational sounds (conversational grunts) of English, including such items as uh-huh, un-hn, um, mm, and oh, based primarily on examination of a few hundred occurrences in a corpus of conversations. The data includes extensive phonetic variation, suggesting that these items are best explained, not as fixed words, but as dynamic creations. In particular, the vast majority of these items can be generated by a simple model consisting of 10 component sounds and 2 combining rules. Moreover, each of these component sounds seems to bear some meaning or function which is fairly constant across grunts and …
Discovering Transcriptional Regulatory Rules From Gene Expression And Tf-Dna Binding Data By Decision Tree Learning, Jianhua Ruan, Weixiong Zhang
Discovering Transcriptional Regulatory Rules From Gene Expression And Tf-Dna Binding Data By Decision Tree Learning, Jianhua Ruan, Weixiong Zhang
All Computer Science and Engineering Research
Background: One of the most promising but challenging task in the post-genomic era is to reconstruct the transcriptional regulatory networks. The goal is to reveal, for each gene that responds to a certain biological event, which transcription factors affect its transcription, and how several transcription factors coordinate to accomplish specific regulations. Results: Here we propose a supervised machine learning approach to address these questions. We build decision trees to associate the expression level of a gene with the transcription factor binding data of its promoter. From the decision trees, we extract regulatory rules that specify how the binding of a …
Field-Programmable Analog Arrays: A Floating-Gate Approach, Tyson S. Hall
Field-Programmable Analog Arrays: A Floating-Gate Approach, Tyson S. Hall
Faculty Works
Field-programmable analog arrays (FPAAs) provide a method for rapidly pro- totyping analog systems. Currently available commercial and academic FPAAs are typically based on operational amplifiers (or other similar analog primitives) with only a few computational elements per chip. While their specific architectures vary, their small sizes and often restrictive interconnect designs leave current FPAAs limited in functionality, flexibility, and usefulness. Recent advances in the area of floating-gate transistors have led to an analog technology that is very small, accurately programmable, and extremely low in power consumption. By leveraging the advantages of floating-gate devices, a large-scale FPAA is designed that dramatically …
Visual Impact Of The Illuminations Of Lcd Monitor Under Different Ambient Lightings, Yuichi Yuasa
Visual Impact Of The Illuminations Of Lcd Monitor Under Different Ambient Lightings, Yuichi Yuasa
Graduate Research Papers
As criticisms about the eyestrain of computer monitor are increased, the interaction between human and VDTs has been examined. The studies of visual performance of LCD monitor are emphasized with numerous advantages. This study investigated the differences of visual comfort among three levels of illumination of an LCD monitor and ambient lighting. A statis ti cal experience was conducted concerning the procedure ofISO's recommendations with sample participants in the selected area. After the analysis of the data using ANOVA, the result showed the statistically significant difference and significant interaction between two variables. The combination between both medium ambient lighting and …
Beyond Convex? Global Optimization Is Feasible Only For Convex Objective Functions: A Theorem, R. Baker Kearfott, Vladik Kreinovich
Beyond Convex? Global Optimization Is Feasible Only For Convex Objective Functions: A Theorem, R. Baker Kearfott, Vladik Kreinovich
Departmental Technical Reports (CS)
It is known that there are feasible algorithms for minimizing convex functions, and that for general functions, global minimization is a difficult (NP-hard) problem. It is reasonable to ask whether there exists a class of functions that is larger than the class of all convex functions for which we can still solve the corresponding minimization problems feasibly. In this paper, we prove, in essence, that no such more general class exists. In other words, we prove that global optimization is always feasible only for convex objective functions.
Optimal Finite Characterization Of Linear Problems With Inexact Data, Vladik Kreinovich
Optimal Finite Characterization Of Linear Problems With Inexact Data, Vladik Kreinovich
Departmental Technical Reports (CS)
For many linear problems, in order to check whether a certain property is true for all matrices A from an interval matrix [A], it is sufficient to check this property for finitely many "vertex" matrices. J. Rohn has discovered that we do not need to use all 2^(n^2) vertex matrices, it is sufficient to only check these properties for 2^(2n-1)<<2^(n^2) vertex matrices of a special type A_{yz}. In this paper, we show that a further reduction is impossible: without checking all 2^(2n-1) matrices A_{yz}, we cannot guarantee that the desired property holds for all A from [A]. Thus, these special vertex matrices provide an optimal finite characterization of linear problems with inexact data.
Outlier Detection Under Interval Uncertainty: Algorithmic Solvability And Computational Complexity, Vladik Kreinovich, Luc Longpre, Praveen Patangay, Scott Ferson, Lev Ginzburg
Outlier Detection Under Interval Uncertainty: Algorithmic Solvability And Computational Complexity, Vladik Kreinovich, Luc Longpre, Praveen Patangay, Scott Ferson, Lev Ginzburg
Departmental Technical Reports (CS)
In many application areas, it is important to detect outliers. Traditional engineering approach to outlier detection is that we start with some "normal" values x1,...,xn, compute the sample average E, the sample standard variation sigma, and then mark a value x as an outlier if x is outside the k0-sigma interval [E-k0*sigma,E+k0*sigma] (for some pre-selected parameter k0). In real life, we often have only interval ranges [xi] for the normal values x1,...,xn. In this case, we only have intervals of possible values for the bounds E-k0*sigma and E+k0*sigma. We can therefore identify outliers as values that are outside all k0-sigma …
Towards Combining Probabilistic And Interval Uncertainty In Engineering Calculations, Scott A. Starks, Vladik Kreinovich, Luc Longpre, Martine Ceberio, Gang Xiang, Roberto Araiza, J. Beck, R. Kandathi, A. Nayak, R. Torres
Towards Combining Probabilistic And Interval Uncertainty In Engineering Calculations, Scott A. Starks, Vladik Kreinovich, Luc Longpre, Martine Ceberio, Gang Xiang, Roberto Araiza, J. Beck, R. Kandathi, A. Nayak, R. Torres
Departmental Technical Reports (CS)
In many engineering applications, we have to combine probabilistic and interval errors. For example, in environmental analysis, we observe a pollution level x(t) in a lake at different moments of time t, and we would like to estimate standard statistical characteristics such as mean, variance, autocorrelation, correlation with other measurements. In environmental measurements, we often only know the values with interval uncertainty. We must therefore modify the existing statistical algorithms to process such interval data. Such modification are described in this paper.
Computing 2-Step Predictions For Interval-Valued Finite Stationary Markov Chains, Marcilia Andrade Campos, Gracaliz Pereira Dimuro, Antonio Carlos Da Rocha Costa, Vladik Kreinovich
Computing 2-Step Predictions For Interval-Valued Finite Stationary Markov Chains, Marcilia Andrade Campos, Gracaliz Pereira Dimuro, Antonio Carlos Da Rocha Costa, Vladik Kreinovich
Departmental Technical Reports (CS)
Markov chains are a useful tool for solving practical problems. In many real-life situations, we do not know the exact values of initial and transition probabilities; instead, we only know the intervals of possible values of these probabilities. Such interval-valued Markov chains were considered and analyzed by I. O. Kozine and L. V. Utkin in their Reliable Computing paper. In their paper, they propose an efficient algorithm for computing interval-valued probabilities of the future states. For the general case of non-stationary Markov chains, their algorithm leads to the exact intervals for the probabilities of future states.
In the important case …
Qos Provisioning For Multi-Class Traffic In Wireless Networks, Mona El-Kadi Rizvi
Qos Provisioning For Multi-Class Traffic In Wireless Networks, Mona El-Kadi Rizvi
Computer Science Theses & Dissertations
Physical constraints, bandwidth constraints and host mobility all contribute to the difficulty of providing Quality of Service (QoS) guarantees in wireless networks. There is a growing demand for wireless networks to support all the services that are available on wired networks. These diverse services, such as email, instant messaging, web browsing, video conferencing, telephony and paging all place different demands on the network, making QoS provisioning for wireless networks that carry multiple classes of traffic a complex problem. We have developed a set of admission control and resource reservation schemes for QoS provisioning in multi-class wireless networks.
We present three …
Functional Model Of The Army's Initial Capabilities Training Plan (Ictp) Generation Process (Transitioning To A Knowledge-Base Enterprise), Bryon Keith Hartzog
Functional Model Of The Army's Initial Capabilities Training Plan (Ictp) Generation Process (Transitioning To A Knowledge-Base Enterprise), Bryon Keith Hartzog
Computational Modeling & Simulation Engineering Theses & Dissertations
Background: The Army's transformation of its requirements and acquisition process to the Joint Capabilities Integration Development System (JCIDS), supporting the paradigm shift from a threat-based to capabilities-based methodology, signifies that the training/ training support business processes must also change. The new Capabilities Integration Development System - Army (CIDS-A) will prevent the development of service-only oriented materiel solutions that do not interoperate. Additionally, the CIDS-A will force early analysis across the Doctrine, Organization, Training, Leader, Material, Personnel, and Facilities (DOTLMPF) focus areas. This early DOTLMPF analysis ensures materiel solutions incorporate dynamic and flexible training/ training support. To efficiently manage the training …
Interactive Land Use Vrml Application Using Servlet Assist, Suresh Chitithoti
Interactive Land Use Vrml Application Using Servlet Assist, Suresh Chitithoti
Electrical & Computer Engineering Theses & Dissertations
The integration of VRML and Servlet technologies has the potential to revolutionize web-based simulation visualization. The Interactive Land Use VRML Application (ILUVA) uses Java Servlets enabling one to perform urban planning by taking a virtual land area and add buildings, roadways, landscaping, and other features. The Virtual Reality Modeling Language (VRML) is a web-based technology for specifying and delivering interactive three-dimensional visualizations over a browser. The Java Servlet technology offers several powerful capabilities such as user authentication, session management, database connectivity for maintaining several possibly simultaneous user sessions, and dynamically generated VRML. Save and restore capabilities for any applications are …
Cs 340: Programming Language Workshop In Java, Ronald F. Taylor
Cs 340: Programming Language Workshop In Java, Ronald F. Taylor
Computer Science & Engineering Syllabi
This course is designed as a self-study in Java. You are expected to work independently to learn the Java language and solve a set of programming problems assigned to you using latest Java SDK available at http://java.sun.com or other software as approved by the instructor. There are no exams. We officially meet only once in a quarter. However, I will be available in the posted office hours for clarifications and general discussion of the programming assignments. Do not expect support in debugging badly documented code.
Cs 214: Object Oriented Programming, Roddy Keish
Cs 214: Object Oriented Programming, Roddy Keish
Computer Science & Engineering Syllabi
No abstract provided.
Teabag: A Debugger For Curry, Stephen Lee Johnson
Teabag: A Debugger For Curry, Stephen Lee Johnson
Dissertations and Theses
This thesis describes TeaBag, which is a debugger for functional logic computations. TeaBag is an accessory of a virtual machine currently under development. A distinctive feature of this machine is its operational completeness of computations, which places novel demands on a debugger. This thesis describes the features of TeaBag, in particular the handling of non-determinism, the ability to control nondeterministic steps, to remove context information, to toggle eager evaluation, and to set breakpoints on both functions and terms. This thesis also describes TeaBag's architecture and its interaction with the associated virtual machine. Finally, some debugging sessions of defective programs are …
Selecting Metal Alloy Electric Contact Materials For Mems Switches, Ronald A. Coutu Jr., Paul E. Kladitis, Kevin D. Leedy, Robert L. Crane
Selecting Metal Alloy Electric Contact Materials For Mems Switches, Ronald A. Coutu Jr., Paul E. Kladitis, Kevin D. Leedy, Robert L. Crane
Electrical and Computer Engineering Faculty Research and Publications
This paper presents a method for selecting metal alloys as the electric contact materials for microelectromechanical systems (MEMS) metal contact switches. This procedure consists of reviewing macro-switch lessons learned, utilizing equilibrium binary alloy phase diagrams, obtaining thin film material properties and, based on a suitable model, predicting contact resistance performance. After determining a candidate alloy material, MEMS switches were designed, fabricated and tested to validate the alloy selection methodology. Minimum average contact resistance values of 1.17 and 1.87 Ω were measured for micro-switches with gold (Au) and gold–platinum (Au–(6.3%)Pt) alloy electric contacts, respectively. In addition, 'hot-switched' life cycle test results …
Geon: Geophysical Data Add The 3rd Dimension In Geospatial Studies, R. Aldouri, George R. Keller, Ann Q. Gates, J. Rasillo, Leonardo Salayandia, Vladik Kreinovich, John M. Seeley, P. Taylor, S. Holloway
Geon: Geophysical Data Add The 3rd Dimension In Geospatial Studies, R. Aldouri, George R. Keller, Ann Q. Gates, J. Rasillo, Leonardo Salayandia, Vladik Kreinovich, John M. Seeley, P. Taylor, S. Holloway
Departmental Technical Reports (CS)
A major trend in GIS is the addition of subsurface information to provide a 3-D perspective on data. Geophysical data provide information about subsurface structures and conditions, but require considerable analysis. The 4-D emphasis with the GEON projects has required the development of many sophisticated tools to allow users to utilize geophysical datasets that will be available on the GEON grid. Our group has created tools that will allow users to search new gravity and magnetic databases of the entire U.S. These tools will extract specific records from an Oracle database, and display the points over a map, grid and …