Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Ruey-Juin Chang

dblp:99/2288 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2008
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 50% Automated reasoning and model checking · 50%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › theorem proving
inductive theorem proving
0.011987
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987
Logic in computer science
proof theory
0.011987
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987
Logic in computer science
structural induction
0.011987
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987
Automated reasoning and model checking
theorem proving
0.011987
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987
YearPublicationVenuePosition
2008 Modeling and On-the-Fly Solutions for Solid Earth Sciences: Web Services and Data Portal for Earthquake Early Warning System
abstract
We report on a unified on-the-fly, Web services-based observation/analysis/modeling environment for crustal deformation and natural hazards research, intended as a plug-in service for early warning systems, transfer of rapid information to civilian decision makers and the media, and educational purposes. We demonstrate an early warning system for a large earthquake in southern California using the components developed under several NASA-funded projects, including real-time GPS network infrastructure, Geophysical Resources Web Services, and GPS Explorer data portal with its on-the-fly earthquake modeling software. We generate an on-the-fly earthquake fault model based on simulated real-time (dynamic and coseismic) displacements computed by the GPS network, and viewable through GPS Explorer. Our objective is to demonstrate an operational service that could be transitioned to appropriate civilian agencies in southern California.
Yehuda Bock, Brendan Crowell, Linette Prawirodirdjo, Paul Jamason, Ruey-Juin Chang, Melinda Squibb, Marlon E. Pierce, Xiaoming Gao, Frank Webb, Sharon Kedar, Robert A. Granat, Jay Parker, Danan Dong
IGARSS (4)5
1991 Components of expertise for knowledge level modeling
abstract
A new dimension of object-oriented components is presented to describe knowledge-level models of an application. From the knowledge-level perspective, components are needed for modeling the problems, solution methods, and their relationships in a problem-solving process. A problem can often be decomposed recursively by various methods into subproblems until reaching primitive ones. Each primitive problem is confined to a simple computational task, which can be solved by one problem-solving method. The process of problem solving is viewed as a modeling activity through explicitly represented knowledge-level models that are, then, operationalized. Design issues that are encountered when developing such a component-based framework for knowledge-level modeling are described.>
Ruey-Juin Chang, Gordon S. Novak
ICTAI1
1987 A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts
Peiya Liu, Ruey-Juin Chang
AAAI2