Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1776)
- Washington University in St. Louis (698)
- Singapore Management University (449)
-
- Embry-Riddle Aeronautical University (440)
- Old Dominion University (397)
- University of Nebraska - Lincoln (256)
- Chulalongkorn University (234)
- University of Dayton (164)
- Air Force Institute of Technology (130)
- Portland State University (122)
- Universitas Negeri Malang (104)
- Chapman University (97)
- University of Nevada, Las Vegas (90)
- University of Arkansas, Fayetteville (85)
- Purdue University (84)
- University of South Florida (73)
- University of New Haven (71)
- University for Business and Technology in Kosovo (70)
- Technological University Dublin (68)
- California Polytechnic State University, San Luis Obispo (52)
- University of South Carolina (45)
- University of New Mexico (39)
- Edith Cowan University (35)
- New Jersey Institute of Technology (34)
- Journal of Soft Computing and Computer Applications (32)
- University of Malaya (31)
- San Jose State University (30)
- University of Kentucky (30)
- Keyword
-
- Computer Science (312)
- Department of Computer Science and Engineering (284)
- Engineering (239)
- Machine learning (195)
- Deep learning (193)
-
- Simulation (182)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Classification (109)
- Genetic algorithm (107)
- Optimization (101)
- Computer Engineering (100)
- Machine Learning (90)
- Particle swarm optimization (85)
- Path planning (85)
- Security (75)
- Artificial intelligence (71)
- Computer Sciences (68)
- Physical Sciences and Mathematics (64)
- Cybersecurity (62)
- Robotics (61)
- Virtual reality (60)
- Reinforcement learning (59)
- Clustering (57)
- Deep Learning (57)
- Modeling (57)
- Digital forensics (56)
- Support vector machine (55)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- All Computer Science and Engineering Research (683)
- Research Collection School Of Computing and Information Systems (431)
-
- Browse all Theses and Dissertations (307)
- Journal of Digital Forensics, Security and Law (298)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (234)
- Electrical and Computer Engineering Faculty Publications (164)
- Theses and Dissertations (160)
- BITs and PCs Newsletter (157)
- School of Computing: Dissertations, Theses, and Student Research (152)
- Electrical & Computer Engineering Theses & Dissertations (141)
- Annual ADFSL Conference on Digital Forensics, Security and Law (104)
- Knowledge Engineering and Data Science (104)
- Faculty Publications (87)
- Dissertations (85)
- Computer Science Faculty Publications and Presentations (81)
- Electrical & Computer Engineering and Computer Science Faculty Publications (70)
- Engineering Faculty Articles and Research (69)
- USF Tampa Graduate Theses and Dissertations (64)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (57)
- Computer Science Faculty Publications (55)
- Electronic Theses and Dissertations (54)
- UBT International Conference (51)
- School of Computing: Conference and Workshop Papers (45)
- Computer Science Theses & Dissertations (40)
- Dissertations and Theses (35)
- Graduate Theses and Dissertations (33)
- Journal of Soft Computing and Computer Applications (32)
- Publication Type
- File Type
Articles 11551 - 11580 of 13562
Full-Text Articles in Computer Engineering
Algorithmic Techniques Employed In The Isolation Of Codon Usage Biases In Prokaryotic Genomes, Douglas W. Raiford Iii
Algorithmic Techniques Employed In The Isolation Of Codon Usage Biases In Prokaryotic Genomes, Douglas W. Raiford Iii
Browse all Theses and Dissertations
While genomic sequencing projects are an abundant source of information for biological studies ranging from the molecular to the ecological in scale, much of the information present may yet be hidden from casual analysis. One such information domain, trends in codon usage, can provide a wealth of information about an organism's genes and their expression. Degeneracy in the genetic code allows more than one triplet codon to code for the same amino acid, and usage of these codons is often biased such that one or more of these synonymous codons is preferred. Isolation of translational efficiency bias can have important …
Energy Efficient Image Video Sensor Networks, Paul Anthony Bender
Energy Efficient Image Video Sensor Networks, Paul Anthony Bender
Browse all Theses and Dissertations
Image Video Sensor Networks are emerging applications for sensor network technologies. The relatively large size of the data collected by image video sensors presents new challenges for the sensor network in terms of energy consumption and channel capacity. We address each of these issues through the use of a high density network deployment utilizing some nodes as dedicated relay nodes.
A high density network allows network nodes to reduce their transmission power. This reduction in transmission power allows each node to conserve power and simultaneously increases the potential for spatially concurrent transmissions within the network, resulting in improved network throughputs. …
Design Concepts And Process Analysis For Transmuter Fuel Manufacturing, Georg F. Mauer
Design Concepts And Process Analysis For Transmuter Fuel Manufacturing, Georg F. Mauer
Fuels Campaign (TRP)
The safe and effective manufacturing of actinide-bearing fuels for any transmutation strategy requires that the entire manufacturing process be contained within a shielded hot cell environment. To ensure that the fabrication process is feasible, the entire process must be designed for remote operation. The equipment must be reliable enough to perform over several decades, and also easy to maintain or repair remotely. The facility must also be designed to facilitate its own decontamination and decommissioning. In addition to these design factors, the potential viability of any fuel fabrication process will also be impacted by a number of variables, such as …
A Holistic Approach To Decentralized Structural Damage Localization Using Wireless Sensor Networks, Gregory Hackmann, Fei Sun, Nestor Castaneda, Chenyang Lu, Shirley Dyke
A Holistic Approach To Decentralized Structural Damage Localization Using Wireless Sensor Networks, Gregory Hackmann, Fei Sun, Nestor Castaneda, Chenyang Lu, Shirley Dyke
All Computer Science and Engineering Research
Wireless sensor networks (WSNs) have become an increasingly compelling platform for Structural Health Monitoring (SHM) applications, since they can be installed relatively inexpensively onto existing infrastructure. Existing approaches to SHM in WSNs typically address computing system issues or structural engineering techniques, but not both in conjunction. In this paper, we propose a holistic approach to SHM that integrates a decentralized computing architecture with the Damage Localization Assurance Criterion algorithm. In contrast to centralized approaches that require transporting large amounts of sensor data to a base station, our system pushes the execution of portions of the damage localization algorithm onto the …
Flexible Service Provisioning For Heterogeneous Sensor Networks, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
Flexible Service Provisioning For Heterogeneous Sensor Networks, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
All Computer Science and Engineering Research
This paper presents Servilla, a highly flexible service provisioning framework for heterogeneous wireless sensor networks. Its service-oriented programming model and middleware enable developers to construct platform-independent applications over a dynamic set of devices with diverse computational resources and sensors. A salient feature of Servilla is its support for dynamic discovery and binding to local and remote services, which enables flexible and energy-efficient in-network collaboration among heterogeneous devices. Furthermore, Servilla provides a modular middleware architecture that can be easily tailored for devices with a wide range of resources, allowing even resource-limited devices to provide services and leverage resource-rich devices for in-network …
Scheduling Design And Verification For Open Soft Real-Time Systems, Robert Glaubius, Terry Tidwell, William D. Smart, Christopher Gill
Scheduling Design And Verification For Open Soft Real-Time Systems, Robert Glaubius, Terry Tidwell, William D. Smart, Christopher Gill
All Computer Science and Engineering Research
Open soft real-time systems, such as mobile robots, experience unpredictable interactions with their environments and yet must respond both adaptively and with reasonable temporal predictability. New scheduling approaches are needed to address the demands of such systems, in which many of the assumptions made by traditional real-time scheduling theory do not hold. In previous work we established foundations for a scheduling policy design and verification approach for open soft real-time systems, that can use different decision models, e.g., a Markov Decision Process (MDP), to capture the nuances of their scheduling semantics. However, several important refinements to the preliminary techniques developed …
Faster Optimal State-Space Search With Graph Decomposition And Reduced Expansion, Yixin Chen
Faster Optimal State-Space Search With Graph Decomposition And Reduced Expansion, Yixin Chen
All Computer Science and Engineering Research
Traditional AI search methods, such as BFS, DFS, and A*, look for a path from a starting state to the goal in a state space most typically modelled as a directed graph. Prohibitively large sizes of the state space graphs make optimal search difficult. A key observation, as manifested by the SAS+ formalism for planning, is that most commonly a state-space graph is well structured as the Cartesian product of several small subgraphs. This paper proposes novel search algorithms that exploit such structure. The results reveal that standard search algorithms may explore many redundant paths. Our algorithms provide an automatic …
Analysis And Optimization Of Mobile Phone Antenna Radiation Performance In The Presence Of Head And Hand Phantoms, Erdem Ofli, Chung-Huan Li, Nicolas Chavannes, Niels Kuster
Analysis And Optimization Of Mobile Phone Antenna Radiation Performance In The Presence Of Head And Hand Phantoms, Erdem Ofli, Chung-Huan Li, Nicolas Chavannes, Niels Kuster
Turkish Journal of Electrical Engineering and Computer Sciences
A commercial clam shell phone CAD model is used to numerically investigate the effect of a hand phantom on mobile phone antenna radiation performance. The simulation results show that the grip of the hand phantom is the most important parameter to antenna performance. The antenna is converted into a parameterized form, then optimized to achieve the targeted multi-band performance in real-usage conditions.
Biomedical Circuits And Systems Dedicated For Sensing And Neurostimulation: Case Study On Urinary Bladder Dysfunctions, Mohamad Sawan, Aguibou Ba, Faycal Mounaim, Jacques Corcos, Mostafa Elhilali
Biomedical Circuits And Systems Dedicated For Sensing And Neurostimulation: Case Study On Urinary Bladder Dysfunctions, Mohamad Sawan, Aguibou Ba, Faycal Mounaim, Jacques Corcos, Mostafa Elhilali
Turkish Journal of Electrical Engineering and Computer Sciences
This paper covers circuits and systems techniques for the construction of high reliability biosensing and neurostimulation smart medical devices. Such microsystems are dedicated for interconnections through the peripheral neural systems. Case study related to applications such as bladder control is discussed. Available electrical neurostimulation techniques for the rehabilitation of urinary bladder functions do not allow an adequate voiding due to dyssynergia between the bladder and the sphincter. A new implantable stimulator, built with commercially available electronic components, was designed to overcome these difficulties. The proposed system performs two types of stimulations: Selective Stimulation for bladder voiding and Permanent Stimulation to …
Pattern Synthesis With Uniform Circular Arrays For The Reduction Of Wcdma Intercell Interference, Mohammed Al-Husseini, Elias Yaacoub, Karim Y. Kabalan, Ali El-Hajj
Pattern Synthesis With Uniform Circular Arrays For The Reduction Of Wcdma Intercell Interference, Mohammed Al-Husseini, Elias Yaacoub, Karim Y. Kabalan, Ali El-Hajj
Turkish Journal of Electrical Engineering and Computer Sciences
The deployment of advanced antenna arrays at the base stations of cellular systems is a key technique in reducing intercell interference, and thus increasing the number of served users. Uniform circular arrays (UCAs) provide 360 degrees of coverage, their patterns are steering-invariant and their sidelobe levels are controllable. This paper investigates the use of UCAs having specially synthesized patterns at the base stations of WCDMA cellular systems. The decrease in the ratio of intercell interference to intracell power resulting from the use of these arrays in a beam-steering scheme will be assessed, and the advantages and disadvantages of each pattern …
Distance Relaying Algorithm For Double-Circuit Transmission Line With Compensation For Reactance Effect Under Standard Availability Of Measurements, Jan Izykowski, Marcin Bozek
Distance Relaying Algorithm For Double-Circuit Transmission Line With Compensation For Reactance Effect Under Standard Availability Of Measurements, Jan Izykowski, Marcin Bozek
Turkish Journal of Electrical Engineering and Computer Sciences
This paper deals with non-pilot distance protection of a double-circuit transmission line. Negative impact of the reactance effect, appearing in measuring a fault loop impedance, on operation of the relay is discussed. An adaptive algorithm allowing one to prevent the relay from mis- or mal-operation caused by the reactance effect is introduced. The algorithm is designed for a standard availability of measurements from one end of the double-circuit line, i.e. when three-phase voltage and current from the faulted line circuit, and additionally zero-sequence current from the healthy line circuit, are provided as the relay input signals. The algorithm is based …
Columbia University/Vireo-Cityu/Irit Trecvid2008 High-Level Feature Extraction And Interactive Video Search, Shih-Fu Chang, Junfeng He, Yu-Gang Jiang, Elie El Khoury, Chong-Wah Ngo, Akira Yanagawa, Eric Zavesky
Columbia University/Vireo-Cityu/Irit Trecvid2008 High-Level Feature Extraction And Interactive Video Search, Shih-Fu Chang, Junfeng He, Yu-Gang Jiang, Elie El Khoury, Chong-Wah Ngo, Akira Yanagawa, Eric Zavesky
Research Collection School Of Computing and Information Systems
In this report, we present overview and comparative analysis of our HLF detection system, which achieves the top performance among all type-A submissions in 2008. We also describe preliminary evaluation of our video search system, CuZero, in the interactive search task.
From Engineering Electromagnetics To Electromagnetic Engineering: Using Computational Electromagnetics For Synthesis Problems, Anton G. Tijhuis, Martijn C. Van Beurden, Bastiaan P. De Hon, Hubregt J. Visser
From Engineering Electromagnetics To Electromagnetic Engineering: Using Computational Electromagnetics For Synthesis Problems, Anton G. Tijhuis, Martijn C. Van Beurden, Bastiaan P. De Hon, Hubregt J. Visser
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a two-stage approach is proposed for using computational electromagnetics in antenna engineering. First, stochastic optimization techniques are used in combination with approximate models. Second, line-search techniques are combined with full-wave modeling. For the first stage, we show an illustrative example. The second stage is considered in detail; both the acceleration of the underlying field computations and the implementation of the optimization are discussed.
A Summary Of Recent Developments On Metamaterial-Based And Metamaterial-Inspired Efficient Electrically Small Antennas, Aycan Erentok, Richard W. Ziolkowski
A Summary Of Recent Developments On Metamaterial-Based And Metamaterial-Inspired Efficient Electrically Small Antennas, Aycan Erentok, Richard W. Ziolkowski
Turkish Journal of Electrical Engineering and Computer Sciences
This paper summarizes our recent research efforts to realize efficient electrically small antenna (EESA) systems based on ideal analytical and numerical metamaterial-based antenna systems, and physically realized metamaterial-inspired antenna designs. Our theoretical and numerical studies of the radiation and resonance behaviors of the proposed metamaterial-based EESA systems, as well as our efforts to conceptualize structures which might be used to build them, have led to the discovery of several realizable metamaterial-inspired EESA systems. The measurement results confirm the numerical performance predictions.
Table Of Contents
Journal of Digital Forensics, Security and Law
No abstract provided.
Developing A Process Model For The Forensic Extraction Of Information From Desktop Search, Timothy Pavlic, Jill Slay, Benjamin Turnbull
Developing A Process Model For The Forensic Extraction Of Information From Desktop Search, Timothy Pavlic, Jill Slay, Benjamin Turnbull
Journal of Digital Forensics, Security and Law
Desktop search applications can contain cached copies of files that were deleted from the file system. Forensic investigators see this as a potential source of evidence, as documents deleted by suspects may still exist in the cache. Whilst there have been attempts at recovering data collected by desktop search applications, there is no methodology governing the process, nor discussion on the most appropriate means to do so. This article seeks to address this issue by developing a process model that can be applied when developing an information extraction application for desktop search applications, discussing preferred methods and the limitations of …
Table Of Contents
Journal of Digital Forensics, Security and Law
No abstract provided.
Book Review: Guide To Computer Forensics And Investigations (3rd Ed.), Keyu Jiang, Ruifeng Xuan
Book Review: Guide To Computer Forensics And Investigations (3rd Ed.), Keyu Jiang, Ruifeng Xuan
Journal of Digital Forensics, Security and Law
No abstract provided.
An Evaluation Of Windows-Based Computer Forensics Application Software Running On A Macintosh, Gregory H. Carlton
An Evaluation Of Windows-Based Computer Forensics Application Software Running On A Macintosh, Gregory H. Carlton
Journal of Digital Forensics, Security and Law
The two most common computer forensics applications perform exclusively on Microsoft Windows Operating Systems, yet contemporary computer forensics examinations frequently encounter one or more of the three most common operating system environments, namely Windows, OS-X, or some form of UNIX or Linux. Additionally, government and private computer forensics laboratories frequently encounter budget constraints that limit their access to computer hardware. Currently, Macintosh computer systems are marketed with the ability to accommodate these three common operating system environments, including Windows XP in native and virtual environments. We performed a series of experiments to measure the functionality and performance of the two …
Byzantium Beneath The Black Sea, Bridget Buxton, Robert Ballard, Michael Brennan, Dwight Coleman, Katy Croff, Christopher Roman, Dan Davis, Dennis Piechota, Sergiy Voronov
Byzantium Beneath The Black Sea, Bridget Buxton, Robert Ballard, Michael Brennan, Dwight Coleman, Katy Croff, Christopher Roman, Dan Davis, Dennis Piechota, Sergiy Voronov
Graduate School of Oceanography Faculty Publications
This poster reports on the August 2007 Black Sea Expedition of the Institute for Archaeological Oceanography at the University of Rhode Island (IAO) and the Institute for Exploration (IFE), in collaboration with the Department of the Underwater Heritage of Ukraine. This year’s work marks a new phase in a multi-year (2000–2012) archaeological and oceanographic survey of the Black Sea. 2007 fieldwork focuses on two Byzantine shipwrecks. The 10th century C.E. shipwreck Chersonesos A (discovered in 2006) lies at 140 m depth in the suboxic zone off the Crimean peninsula. The ship carried a cargo of one-handled jars of a widely …
Data Mining Techniques In Fraud Detection, Rekha Bhowmik
Data Mining Techniques In Fraud Detection, Rekha Bhowmik
Journal of Digital Forensics, Security and Law
The paper presents application of data mining techniques to fraud analysis. We present some classification and prediction data mining techniques which we consider important to handle fraud detection. There exist a number of data mining algorithms and we present statistics-based algorithm, decision treebased algorithm and rule-based algorithm. We present Bayesian classification model to detect fraud in automobile insurance. Naïve Bayesian visualization is selected to analyze and interpret the classifier predictions. We illustrate how ROC curves can be deployed for model assessment in order to provide a more intuitive analysis of the models.
Book Review: Challenges To Digital Forensic Evidence, Gary C. Kessler
Book Review: Challenges To Digital Forensic Evidence, Gary C. Kessler
Journal of Digital Forensics, Security and Law
This issue presents the fifth Book Review column for the JDFSL. It is an experiment to broaden the services that the journal provides to readers, so we are anxious to get your reaction. Is the column useful and interesting? Should we include more than one review per issue? Should we also review products? Do you have suggested books/products for review and/or do you want to write a review? All of this type of feedback -- and more -- is appreciated. Please feel free to send comments to Gary Kessler ([email protected]) or Glenn S. Dardick ([email protected]).
Book Review: The Dotcrime Manifesto: How To Stop Internet Crime, Gary C. Kessler
Book Review: The Dotcrime Manifesto: How To Stop Internet Crime, Gary C. Kessler
Journal of Digital Forensics, Security and Law
No abstract provided.
The 2007 Analysis Of Information Remaining On Disks Offered For Sale On The Second Hand Market, Andy Jones, Craig Valli, Glenn S. Dardick, Iain Sutherland
The 2007 Analysis Of Information Remaining On Disks Offered For Sale On The Second Hand Market, Andy Jones, Craig Valli, Glenn S. Dardick, Iain Sutherland
Journal of Digital Forensics, Security and Law
All organisations, whether in the public or private sector, increasingly use computers and other devices that contain computer hard disks for the storage and processing of information relating to their business, their employees or their customers. Individual home users also increasingly use computers and other devices containing computer hard disks for the storage and processing of information relating to their private, personal affairs. It continues to be clear that the majority of organisations and individual home users still remain ignorant or misinformed of the volume and type of information that is stored on the hard disks that these devices contain …
To License Or Not To License: An Examination Of State Statutes Regarding Private Investigators And Digital Examiners, Thomas Lonardo, Doug White, Alan Rea
To License Or Not To License: An Examination Of State Statutes Regarding Private Investigators And Digital Examiners, Thomas Lonardo, Doug White, Alan Rea
Journal of Digital Forensics, Security and Law
In this paper the authors examine statutes that regulate, license, and enforce investigative functions in each US state. After identification and review of Private Investigator licensing requirements, the authors find that very few state statutes explicitly differentiate between Private Investigators and Digital Examiners. After contacting all state agencies the authors present a distinct grouping organizing state approaches to professional Digital Examiner licensing. The authors conclude that states must differentiate between Private Investigator and Digital Examiner licensing requirements and oversight.
The Forensics Aspects Of Event Data Recorders, Jeremy S. Daily, Nathan Singleton, Elizabeth Downing, Gavin W. Manes
The Forensics Aspects Of Event Data Recorders, Jeremy S. Daily, Nathan Singleton, Elizabeth Downing, Gavin W. Manes
Journal of Digital Forensics, Security and Law
The proper generation and preservation of digital data from Event Data Recorders (EDRs) can provide invaluable evidence to automobile crash reconstruction investigations. However, data collected from the EDR can be difficult to use and authenticate, complicating the presentation of such information as evidence in legal proceedings. Indeed, current techniques for removing and preserving such data do not meet the court’s standards for electronic evidence. Experimentation with an EDR unit from a 2001 GMC Sierra pickup truck highlighted particular issues with repeatability of results. Fortunately, advances in the digital forensics field and memory technology can be applied to EDR analysis in …
Data Security Measures In The It Service Industry: A Balance Between Knowledge & Action, N. Mlitwa, Y. Kachala
Data Security Measures In The It Service Industry: A Balance Between Knowledge & Action, N. Mlitwa, Y. Kachala
Journal of Digital Forensics, Security and Law
That “knowledge is power” is fast becoming a cliché within the intelligentsia. Such power however, depends largely on how knowledge itself is exchanged and used, which says a lot about the tools of its transmission, exchange, and storage. Information and communication technology (ICT) plays a significant role in this respect. As a networked tool, it enables efficient exchanges of video, audio and text data beyond geographical and time constraints. Since this data is exchanged over the worldwide web (www), it can be accessible by anyone in the world using the internet. The risk of unauthorised access, interception, modification, or even …
Book Review: Mac Os X, Ipod, And Iphone Forensic Analysis Dvd Toolkit, Gary C. Kessler
Book Review: Mac Os X, Ipod, And Iphone Forensic Analysis Dvd Toolkit, Gary C. Kessler
Journal of Digital Forensics, Security and Law
Apple's hold on the personal computer marketplace started dwindling on August 12, 1981, the day that the IBM PC was introduced. As an Apple ][+ bigot myself, I refused to touch a PC for some years. But I was also a command line bigot, so when the first Macintosh was introduced in 1983 and hermetically sealed the operating system from users, I did not go out and buy one. In fact, like many of my era, I did eventually end up on the PC side which, ironically, let me do many of the things that my trusty Apple ][+ had …
Network Formation Using Ant Colony Optimization -- A Systematic Review, Steven C. Oimoen, Gilbert L. Peterson, Kenneth M. Hopkinson
Network Formation Using Ant Colony Optimization -- A Systematic Review, Steven C. Oimoen, Gilbert L. Peterson, Kenneth M. Hopkinson
Faculty Publications
A significant area of research in the field of hybrid communications is the Network Design Problem (NDP) [1]. The NDP is an NP complete problem [1] that focuses on identifying the optimal network topology for transmitting commodities between nodes, under constraints such as bandwidth, limited compatible directed channels, and link and commodity costs. The NDP focuses on designing a flexible network while trying to achieve optimal flow or routing. If a link (or arc) is used, then an associated fixed cost of the edge is incurred. In addition, there is a cost for using the arc depending on the flow. …
My Collaboration With Raj Mittra: Contributions To The Theory Of Perfectly Matched Layers, Mustafa Kuzuoğlu
My Collaboration With Raj Mittra: Contributions To The Theory Of Perfectly Matched Layers, Mustafa Kuzuoğlu
Turkish Journal of Electrical Engineering and Computer Sciences
No abstract provided.