Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Earth Sciences (332)
- Life Sciences (313)
- Computer Sciences (311)
- Social and Behavioral Sciences (303)
- Chemistry (229)
-
- Environmental Sciences (223)
- Physics (179)
- Mathematics (174)
- Engineering (126)
- Statistics and Probability (119)
- Software Engineering (99)
- Oceanography and Atmospheric Sciences and Meteorology (77)
- Business (76)
- Computer Engineering (62)
- Medicine and Health Sciences (60)
- Sustainability (60)
- Education (54)
- Biostatistics (48)
- Statistical Methodology (40)
- Oceanography (39)
- Soil Science (38)
- Geology (36)
- Law (34)
- Databases and Information Systems (32)
- Mechanical Engineering (32)
- Ocean Engineering (32)
- Robotics (32)
- Applied Mathematics (31)
- Bioinformatics (30)
- Keyword
-
- Journal Articles (69)
- For (68)
- GeoQUEST (55)
- Australia (44)
- Analysis (38)
-
- System (35)
- Articles (27)
- Detection (27)
- CAS (26)
- CMMB (25)
- Model (25)
- Services Computing (25)
- Human (24)
- Using (24)
- Environmental Law (22)
- Conference Papers (19)
- Environmental law (19)
- Image (19)
- Systems (19)
- Learning (18)
- From (17)
- Grants (17)
- Information (17)
- Time (17)
- Change (16)
- Control (16)
- Dating (16)
- Modelling (16)
- Networks (16)
- Power (16)
- Publication Year
- Publication
-
- Associate Professor Edward D Burton (99)
- Mark R. Anderson (92)
- David LO (62)
- Caroline P Lubert (59)
- Richard G Roberts (56)
-
- Barry R Holstein (53)
- Samuel A Morton (53)
- Chris Gibson (40)
- Benjamin F. Dattilo (39)
- Jia Zhang (38)
- Christopher N. Roman (32)
- Dr Nicholas J Ward (30)
- Professor Fazel Naghdy (30)
- Professor Katina Michael (29)
- Shuangge Ma (29)
- B. G. Jones (26)
- Nat Quansah (26)
- Tor Hundloe (25)
- Arcot Desai NARASIMHALU (24)
- John C. Dernbach (23)
- Stan Wagon, Retired (22)
- Lara K. Pudwell (21)
- Dr Ping Yu (19)
- Professor Brian Cullis (19)
- Professor Philip Ogunbona (19)
- Associate Professor Wanqing Li (17)
- Tian-Xiao He (17)
- Dr Fenghui Ren (16)
- Elizabeth Shoop (16)
- Ronald J. Duchovic (16)
Articles 1381 - 1410 of 2377
Full-Text Articles in Physical Sciences and Mathematics
Shock-Associated Noise Generation In Curved Turbulent Coanda Wall Jets, Caroline Lubert, R. Shafer
Shock-Associated Noise Generation In Curved Turbulent Coanda Wall Jets, Caroline Lubert, R. Shafer
Caroline P Lubert
No abstract provided.
Mining Temporal Rules From Program Execution Traces, David Lo, Siau-Cheng Khoo, Chao Liu
Mining Temporal Rules From Program Execution Traces, David Lo, Siau-Cheng Khoo, Chao Liu
David LO
Specification mining is a process of extracting specifications, often from program execution traces. These specifications can in turn be used to aid program understanding, monitoring and verification. There are a number of dynamic-analysis-based specification mining tools in the literature, however none so far extract past time temporal expressions in the form of rules stating: "whenever a series of events occurs, previously another series of events has happened". Rules of this format are commonly found in practice and useful for various purposes. Most rule-based specification mining tools only mine future-time temporal expression. Many past-time temporal rules like "whenever a resource is …
Efficient Mining Of Iterative Patterns For Software Specification Discovery, David Lo, Siau-Cheng Khoo, Chao Liu
Efficient Mining Of Iterative Patterns For Software Specification Discovery, David Lo, Siau-Cheng Khoo, Chao Liu
David LO
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggravated by the phenomenon of software evolution. There is a need for automated tools to extract specifications to aid program comprehension. In this paper, a novel technique to efficiently mine common software temporal patterns from traces is proposed. These patterns shed light on program behaviors, and are termed iterative patterns. They capture unique characteristic of software traces, typically not found in arbitrary sequences. Specifically, due to loops, interesting iterative patterns can occur multiple times …
Smartic: Specification Mining Architecture With Trace Filtering And Clustering, David Lo, Siau-Cheng Khoo
Smartic: Specification Mining Architecture With Trace Filtering And Clustering, David Lo, Siau-Cheng Khoo
David LO
Improper management of software evolution, compounded by imprecise, and changing requirements, along with the "short time to market" requirement, commonly leads to a lack of up-to-date specifications. This can result in software that is characterized by bugs, anomalies and even security threats. Software specification mining is a new technique to address this concern by inferring specifications automatically. In this paper, we propose a novel API specification mining architecture called SMArTIC Specification Mining Architecture with Trace fIltering and Clustering) to improve the accuracy, robustness and scalability of specification miners. This architecture is constructed based on two hypotheses: (1) Erroneous traces should …
Mining Software Specifications, David Lo, Siau-Cheng Khoo
Mining Software Specifications, David Lo, Siau-Cheng Khoo
David LO
No abstract provided.
Model Checking In The Absence Of Code, Model And Properties, David Lo, Siau-Cheng Khoo
Model Checking In The Absence Of Code, Model And Properties, David Lo, Siau-Cheng Khoo
David LO
Model checking is a major approach in ensuring software correctness. It verifies a model converted from code against some formal properties. However, difficulties and programmers ’ reluctance to formalize formal properties have been some hurdles to its widespread industrial adoption. Also, with the advent of commercial off-the-shelf (COTS) components provided by third party vendors, model checking is further challenged as often only a binary version of the code is provided by vendors. Interestingly, latest instrumentation tools like PIN and Valgrind have enable execution traces to be collected dynamically from a running program. In this preliminary study, we investigate what can …
Mining Past-Time Temporal Rules: A Dynamic Analysis Approach, David Lo, Siau-Cheng Khoo, Chao Liu
Mining Past-Time Temporal Rules: A Dynamic Analysis Approach, David Lo, Siau-Cheng Khoo, Chao Liu
David LO
No abstract provided.
Efficient Mining Of Recurrent Rules From A Sequence Database, David Lo, Siau-Cheng Khoo, Chao Liu
Efficient Mining Of Recurrent Rules From A Sequence Database, David Lo, Siau-Cheng Khoo, Chao Liu
David LO
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventually a series of consequent events occurs". Recurrent rules are intuitive and characterize behaviors in many domains. An example is in the domain of software specifications, in which the rules capture a family of program properties beneficial to program verification and bug detection. Recurrent rules generalize existing work on sequential and episode rules by considering repeated occurrences of premise and consequent events within a sequence and across multiple sequences, and by removing the "window" …
Mining Modal Scenarios From Execution Traces, David Lo, Shahar Maoz, Siau-Cheng Khoo
Mining Modal Scenarios From Execution Traces, David Lo, Shahar Maoz, Siau-Cheng Khoo
David LO
Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a method, a framework, and a tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harel's Live Sequence Charts (LSC), which extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. Moreover, we use previous research work and tools developed for LSC to visualize, analyze, manipulate, test, and thus evaluate the scenario-based specifications we mine. Our …
Towards Better Quality Specification Miners, David Lo, Siau-Cheng Khoo
Towards Better Quality Specification Miners, David Lo, Siau-Cheng Khoo
David LO
Softwares are often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications – temporal API specification – is often specified in the form of automaton (i.e., FSA/PFSA). There have been many work on mining software temporal specification using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and accuracy of these techniques have not been comprehensively addressed. In this paper, we describe a framework that enables assessments of the performance of a specification miner in generating temporal specification of software …
Mining Modal Scenarios-Based Specifications From Execution Trace Of Reactive Systems, David Lo, Shahar Maoz, Siau-Cheng Khoo
Mining Modal Scenarios-Based Specifications From Execution Trace Of Reactive Systems, David Lo, Shahar Maoz, Siau-Cheng Khoo
David LO
Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a novel method, framework, and tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harels Live Sequence Charts (LSC). LSC extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. The output of our algorithm is a sound and complete set of statistically significant LSCs (i.e., satisfying given thresholds of support and confidence), mined from an …
Mining Patterns And Rules For Software Specification Discovery, David Lo, Siau-Cheng Khoo
Mining Patterns And Rules For Software Specification Discovery, David Lo, Siau-Cheng Khoo
David LO
Software specifications are often lacking, incomplete and outdated in the industry. Lack and incomplete specifications cause various software engineering problems. Studies have shown that program comprehension takes up to 45% of software development costs. One of the root causes of the high cost is the lack-of documented specification. Also, outdated and incomplete specification might potentially cause bugs and compatibility issues. In this paper, we describe novel data mining techniques to mine or reverse engineer these specifications from the pool of software engineering data. A large amount of software data is available for analysis. One form of software data is program …
Mining Specifications In Diversified Formats From Execution Traces, David Lo
Mining Specifications In Diversified Formats From Execution Traces, David Lo
David LO
Software evolves; this phenomenon causes increase in maintenance efforts, problem in comprehending the ever-changing code base and difficulty in verifying software correctness. As software changes, often the documented specification is not updated. Outdated specification adds challenge to the understanding of the code base during maintenance tasks. Also, software changes might induce bugs, anomalies and even security threats. To address the above issues, we propose an array of specification mining techniques to mine software specifications in diversified formats from program execution traces. Case studies on various systems show that the extracted specifications shed light on the behaviors of systems under analysis. …
Data Mining For Software Engineering, Tao Xie, Suresh Thummalapenta, David Lo, Chao Liu
Data Mining For Software Engineering, Tao Xie, Suresh Thummalapenta, David Lo, Chao Liu
David LO
To improve software productivity and quality, software engineers are increasingly applying data mining algorithms to various software engineering tasks. However, mining SE data poses several challenges. The authors present various algorithms to effectively mine sequences, graphs, and text from such data.
Smartic: Towards Building An Accurate, Robust And Scalable Specification Miner, David Lo, Siau-Cheng Khoo
Smartic: Towards Building An Accurate, Robust And Scalable Specification Miner, David Lo, Siau-Cheng Khoo
David LO
Improper management of software evolution, compounded by imprecise, and changing requirements, along with the “short time to market ” requirement, commonly leads to a lack of up-to-date specifications. This can result in software that is characterized by bugs, anomalies and even security threats. Software specification mining is a new technique to address this concern by inferring specifications automatically. In this paper, we propose a novel API specification mining architecture called SMArTIC (Specification Mining Architecture with Trace fIltering and Clustering) to improve the accuracy, robustness and scalability of specification miners. This architecture is constructed based on two hypotheses: (1) Erroneous traces …
Mining Scenario-Based Specifications With Value-Based Invariants, David Lo, Shahar Maoz
Mining Scenario-Based Specifications With Value-Based Invariants, David Lo, Shahar Maoz
David LO
There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, extracting ordering constraints in the form of live sequence charts (LSC), a visual specification language, with Daikon, a tool for mining value-based invariants. The resulting approach strengthens the expressive power of the mined scenarios by enriching them with scenario-specific value-based invariants. The concept is illustrated using a preliminary case study on a real application.
Quark : Empirical Assessment Of Automaton-Based Specification Miners, David Lo, Siau-Cheng Khoo
Quark : Empirical Assessment Of Automaton-Based Specification Miners, David Lo, Siau-Cheng Khoo
David LO
Software is often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications - temporal API specification - is often specified in the form of automaton. There has been much work on reverse engineering or mining software temporal specification, using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and accuracy of these techniques have not been comprehensively addressed. In this paper, we describe QUARK(QUality Assurance framewoRK) that enables assessments of the performance of a specification miner in generating temporal specification …
Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, Jiawei Han
Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, Jiawei Han
David LO
No abstract provided.
Terapixel Imaging Of Cosmological Simulations, Yu Feng, Rupert Croft, Tiziana Di Matteo, Nishikanta Khandai, Randy Sargent, Illah Nourbakhsh, Paul Dille, Chris Bartley, Volker Springel, Anirban Jana, Jeffrey Gardner
Terapixel Imaging Of Cosmological Simulations, Yu Feng, Rupert Croft, Tiziana Di Matteo, Nishikanta Khandai, Randy Sargent, Illah Nourbakhsh, Paul Dille, Chris Bartley, Volker Springel, Anirban Jana, Jeffrey Gardner
Randy Sargent
The increasing size of cosmological simulations has led to the need for new visualization techniques. We focus on smoothed particle hydrodynamic (SPH) simulations run with the GADGET code and describe methods for visually accessing the entire simulation at full resolution. The simulation snapshots are rastered and processed on supercomputers into images that are ready to be accessed through a Web interface (GigaPan). This allows any scientist with a Web browser to interactively explore simulation data sets in both spatial and temporal dimensions and data sets which in their native format can be hundreds of terabytes in size or more. We …
Haptic Carillon: A Computationally Enhanced Mechanical Performing Instrument, Mark Havryliv, Fazel Naghdy, Greg Schiemer, Timothy Hurd
Haptic Carillon: A Computationally Enhanced Mechanical Performing Instrument, Mark Havryliv, Fazel Naghdy, Greg Schiemer, Timothy Hurd
Greg Schiemer
This paper describes the development of a haptic device for emulating the sonic and haptic dynamics of a carillon, specifically the National Carillon in Canberra, Australia. The carillon is one of only a few instruments that elicit a sophisticated haptic response from the amateur and professional player alike. Force-feedback varies widely across the range of the instrument and developing an intuition for the heaviness of different bells is a critical part of carillon pedagogy. Unfortunately, rehearsal time available to individual carillonneurs is limited by competition from other carillonneurs and environmental factors like civic noise limits and carillon maintenance schedules. Rehearsal …
Ca4Pto6, J. Claridge, R. Layland, Hans Conrad Zur Loye
Ca4Pto6, J. Claridge, R. Layland, Hans Conrad Zur Loye
Hans Conrad zur Loye
Calcium platinum(IV) oxide has been synthesized from a flux and structurally characterized by single-crystal X-ray diffraction. It is isostructural with Sr4PtO6 [Randall & Katz (1959). Acta Cryst. 12, 519-521] and Ba4PtO6 [Wilkinson & Cheetham (1989). Acta Cryst. C45, 1672-1674].
Di-Μ-Iodo-Bis[Diiodo(1,10-Phenanthroline)Bismuth(Iii)], M. Tershany, A. Goforth, M. Smith, L. Peterson, Hans Conrad Zur Loye
Di-Μ-Iodo-Bis[Diiodo(1,10-Phenanthroline)Bismuth(Iii)], M. Tershany, A. Goforth, M. Smith, L. Peterson, Hans Conrad Zur Loye
Hans Conrad zur Loye
The title bismuth-iodide compound, [Bi2I6(C12H8N2)2], has been synthesized solvothermally by reacting BiI3, Mn(CH3COO)2·4H2O, and 1,10-phenanthroline in an ethanol/water solvent mixture. The compound contains two bismuth centers that are each coordinated by a phenanthroline ligand and two terminal iodide ligands, and the bismuth centers are bridged via two additional iodide ligands to form a molecular dimer. The asymmetric unit of the compound consists of one half of a single dimer molecule located on a crystallographic inversion center.
Description Of Ba1 + XNiXRh1 - XO3 With X = 0.1170 (5) In Superspace: Modulated Composite Versus Modulated-Layer Structure, A. Schönleber, F. Zúñiga, J. Perez-Mato, J. Darriet, Hans Conrad Zur Loye
Description Of Ba1 + XNiXRh1 - XO3 With X = 0.1170 (5) In Superspace: Modulated Composite Versus Modulated-Layer Structure, A. Schönleber, F. Zúñiga, J. Perez-Mato, J. Darriet, Hans Conrad Zur Loye
Hans Conrad zur Loye
The structure of the compound Ba1 + xNixRh1 - xO3 [x = 0.1170 (5)] has been analyzed at room temperature within the (3 + 1)-dimensional superspace approach using single-crystal X-ray diffraction data. Two different models are presented, the compound is refined as modulated composite as well as modulated-layer structure. In both models discontinuous atomic domains are applied to describe the structural modulations. While the first approach stresses the pseudo-one-dimensional constitution, the latter highlights the layered character of these structures.
Structure Of Indium Iron Oxide, Daniel Giaquinta, William Davis, Hans Conrad Zur Loye
Structure Of Indium Iron Oxide, Daniel Giaquinta, William Davis, Hans Conrad Zur Loye
Hans Conrad zur Loye
InFeO3 is isostructural with the recently reported InMnO3. The structure of InFeO3 contains layers of In-O octahedra and Fe-O trigonal bipyramids. The trigonal bipyramids have ideal D34 symmetry. This unusual structure is unexpected within the context of known sesquioxide structures.
Predicting Shock Location In Supersonic Coanda Flares, Poster, R. Shafer, Caroline Lubert
Predicting Shock Location In Supersonic Coanda Flares, Poster, R. Shafer, Caroline Lubert
Caroline P Lubert
No abstract provided.
Shock-Associated Noise Generation In Curved Turbulent Coanda Wall Jets, Caroline Lubert, R. Shafer
Shock-Associated Noise Generation In Curved Turbulent Coanda Wall Jets, Caroline Lubert, R. Shafer
Caroline P Lubert
No abstract provided.
Semitransparent Organic Solar Cells, F.R. Zhu
Semitransparent Organic Solar Cells, F.R. Zhu
Professor ZHU, Fu Rong
Compared to current silicon-based solar cells that are rigid, organic-based solar cells that use solution-based processing or low-cost non-vacuum deposition techniques are simpler and less expensive to manufacture. Organic photovoltaic cells can be made flexible, semitransparent and are light weight, offer more opportunities for application in new markets such as mobile electronics, disposable electronics, smart cards, digital applications, power generating windows, smart sensors, automotive, home appliances and outdoor lifestyle etc. Its unique flexibility and semi-transparency feature also adds a decorative and aesthetic dimension to the solar cells so that it can be used on curved and irregular surfaces – something …
Automatic Detection Of Microcalcifications In Mammorgams Using A Fuzzy Classifier, Fazel Naghdy, Golshah Naghdy, Agustinus Drijarkara
Automatic Detection Of Microcalcifications In Mammorgams Using A Fuzzy Classifier, Fazel Naghdy, Golshah Naghdy, Agustinus Drijarkara
Professor Fazel Naghdy
No abstract provided.
Intelligent Modelling And Control Of Grinding, Li Xue, Fazel Naghdy, John Simpson, Devi Saini
Intelligent Modelling And Control Of Grinding, Li Xue, Fazel Naghdy, John Simpson, Devi Saini
Professor Fazel Naghdy
No abstract provided.
Heuristic Monitoring And Control Of Surface Finish In Grinding Process, Fazel Naghdy, John Simpson, Li Xue
Heuristic Monitoring And Control Of Surface Finish In Grinding Process, Fazel Naghdy, John Simpson, Li Xue
Professor Fazel Naghdy
No abstract provided.