Author

Kishida

352 papers · 1956–2026

1967peak 20 in 20192026

Frequent co-authors

Papers

showing 1–25 of 352 RSS

Toward an understanding of the motivation of open source software developers

Computer Science Applications · International Conference on Software Engineering · 3 May 2003 · cited 417× · DOI ↗ · more like this ·

An Open Source Software (OSS) project is unlikely to be successful unless there is an accompanied community that provides the platform for developers and users to collaborate. Members of such communities are volunteers whose motivation to participate and contribute is of essential importance to the success of OSS projects. In this paper, we aim to create an understanding of what motivates people to participate in OSS communities. We theorize that learning is one of the motivational forces. Our theory is grounded in the learning theory of Legitimate Peripheral Participation, and is supported by analyzing the social structure of OSS communities and the co-evolution between OSS systems and communities. We also discuss practical implications of our theory for creating and maintaining sustainable OSS communities as well as for software engineering research and education. 1.

Evolution patterns of open-source software systems and communities

Kumiyo Nakakoji, Yasuhiro Yamamoto, Yoshiyuki Nishinaka +2 more

Computer Science Applications · 19 May 2002 · cited 372× · DOI ↗ · more like this ·

Open-Source Software (OSS) development is regarded as a successful model of encouraging "natural product evolution". To understand how this "natural product evolution" happens, we have conducted a case study of four typical OSS projects. Unlike most previous studies on software evolution that focus on the evolution of the system per se, our study takes a broader perspective: It examines not only the evolution of OSS systems, but also the evolution of the associated OSS communities, as well as the relationship between the two types of evolution.Through the case study, we have found that while collaborative development within a community is the essential characteristic of OSS, different collaboration models exist, and that the difference in collaboration model results in different evolution patterns of OSS systems and communities. To treat such differences systematically, we propose to…

Hydrothermal alteration zoning and gold concentration at the Kerr-Addison Archean lode gold deposit, Kirkland Lake, Ontario

A. Kishida, R. Kerrich

Artificial Intelligence · Economic Geology · May 1987 · cited 153× · DOI ↗ · more like this ·

Kerr-Addison, a major Archcan lode gold deposit of the Abitibi belt, with a production of approximately 10 X 10 6 oz Au ( approximately 320 metric tons up to 1983), is localized in a zone of talc-carbonate and chlorite-carbonate rocks, immediately south of a regional structural break--the Kirkland Lake-Larder Lake fault zone. Relict volcanic textures taken in conjunction with the ratios of diag-nostic, relatively less mobile elements collectively indicate that most of the wall rocks of the mine were originally mafic and ultramafic rocks along with their clastic derivatives. Regional greenschist facies metamorphism is locally superposed by a distinct zonation of gold-associated hydrothermal alteration characterized by massive introduction of CO 2 coupled with variable enrichments of alkali metals and calcium, which produced systematic trends of alteration mineral assemblages. Alteration…

Nonpolitical Images Evoke Neural Predictors of Political Ideology

Woo‐Young Ahn, Kenneth T. Kishida, Xiaosi Gu +8 more

Sociology and Political Science · Current Biology · 30 Oct 2014 · cited 126× · DOI ↗ · more like this ·

Political ideologies summarize dimensions of life that define how a person organizes their public and private behavior, including their attitudes associated with sex, family, education, and personal autonomy [1Jost J.T. Federico C.M. Napier J.L. Political ideology: its structure, functions, and elective affinities.Annu. Rev. Psychol. 2009; 60: 307-337Crossref PubMed Scopus (1055) Google Scholar, 2Haidt J. The Righteous Mind: Why Good People Are Divided by Religion and Politics. Pantheon, New York2012Google Scholar]. Despite the abstract nature of such sensibilities, fundamental features of political ideology have been found to be deeply connected to basic biological mechanisms [3Fowler J.H. Baker L.A. Dawes C.T. Genetic variation in political participation.Am. Polit. Sci. Rev. 2008; 102: 233-248Crossref Scopus (256) Google Scholar, 4Alford J.R. Funk C.L. Hibbing J.R. Are political…

Overview of CLIR Task at the Sixth NTCIR Workshop

Kazuaki Kishida, Kuang‐Hua Chen, Sukhoon Lee +5 more

Information Systems · 2002 · cited 113× · OpenAlex ↗ · more like this ·

The purpose of this paper is to overview research efforts at the NTCIR-6 CLIR task, which is a project of large-scale retrieval experiments on cross-lingual information retrieval (CLIR) of Chinese, Japanese, Korean, and English. The project has three sub-tasks, multi-lingual IR (MLIR), bilingual IR (BLIR), and single language IR (SLIR), in which many research groups from ten countries or regions are participating. This paper describes the system of the NTCIR-6 CLIR task and its test collection (document sets, topic sets, and method for relevance judgments), and reviews CLIR techniques used by participants and search performance of runs submitted for evaluation.

Property of average precision and its generalization: An examination of evaluation indicator for information retrieval experiments

Kazuaki Kishida

Information Systems · 29 Sep 2005 · cited 101× · OpenAlex ↗ · more like this ·

In information retrieval experiments, indicators for measuring effectiveness of the systems or methods are important. Average precision is often used as an indicator for evaluating ranked output of documents in standard retrieval experiments. This report examines some properties of this indicator. First, we clarify mathematically that relevant documents at a higher position in the ranked list contribute much more to increasing the score of average precision. Second, influence of detecting unknown relevant documents on the score is discussed. Third, we examine statistical variation of average precision scores caused by fluctuations of results from relevance judgments. Another issue of this report is to explore evaluation indicators using data of multi-grade relevance. After reviewing indicators proposed by other researchers, i.e., modified sliding ratio, normalized discounted cumulative…

Knowledge-assisted content-based retrieval for multimedia databases

Yoshitaka, Kishida, Hirakawa +1 more

Computer Vision and Pattern Recognition · 1994 · cited 79× · DOI ↗ · more like this ·

In accordance with the progress of data management ability of computers, databases have become able to integrate various types of data in an application domain, and are now called multimedia databases. Unlike conventional databases managing only textual and numerical data, multimedia databases are required to evaluate properties of the data specified in a query. In this paper, a system which enables querying with the facility of acquiring the contents of multiple types of data is presented. Domain Knowledge accommodated in the system gives the information on how the system views the target multimedia data for content-based retrieval attaining application-independency as well as media-independency.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

The Co-Evolution of Systems and Communities in Free and Open Source Software Development

Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto +1 more

Computer Science Applications · IGI Global eBooks · 2005 · cited 60× · DOI ↗ · more like this ·

Because a Free and Open Source Software (F/OSS) project is unlikely to sustain a long-term success unless there is an associated community that provides the platform for developers, users, and user-turned-developers to collaborate with each other, understanding the well-observed phenomenon that F/OSS systems experience “natural product evolution” cannot be complete without understanding the structure and evolution of their associated communities. This chapter examines the structure of F/OSS communities and the co-evolution of F/OSS systems and communities based on a case study. Although F/OSS systems and communities generally co-evolve, they co-evolve differently depending on the goal of the system and the structure of the community. A systematic analysis of the differences leads us to propose a classification of F/OSS projects into three types: Exploration-Oriented, Utility-Oriented…

Physical Langevin model and the time-series model in systems far from equilibrium

Kuniharu Kishida

Artificial Intelligence · Physical review. A, General physics · 1982 · cited 52× · DOI ↗ · more like this ·

To bridge the gap between a physical Langevin equation and a stochastic equation used in the time-series analysis, and to clarify the physical foundations of the latter, the time-series model from the Langevin equation is derived with the aid of two manipulations---elimination of irrelevant variables and projection of state variables upon a space spanned by observed quantities. The order of the two manipulations is shown to be important to find an equation called the Kalman filter in control theory. All the results are summarized in a concise schematic diagram which relates various models and equations established so far in different fields.

Equivalent random force and time-series model in systems far from equilibrium

Kuniharu Kishida

Artificial Intelligence · Journal of Mathematical Physics · May 1984 · cited 46× · DOI ↗ · more like this ·

Under the condition that observed time-series data is given, a stochastic Markovian equation for a physical system can be transformed into an observable non-Markovian equation used in the time-series analysis. The physical random force satisfying the fluctuation dissipation theorem is also transformed into a stochastically equivalent random force in the derivation of the time-series model of observable variables. Statistical quantities, i.e., correlation and power spectral density functions for observable variables, can be expressed not only by the physical random force, but also by the equivalent random force. A relation between the variance of physical random force and that of equivalent random force is also found.

Linear Dependent Type Theory for Quantum Programming Languages

Peng Fu, Kohei Kishida, Peter Selinger

cs.PL · April 2020 · cited 40× · arXiv ↗ · more like this ·

Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum resources. On the other hand, high-level and practical languages should also support quantum circuits as first-class citizens, as well as families of circuits that are indexed by some classical parameters. Quantum programming languages thus need linear dependent type theory. This paper defines a general semantic structure for such a type theory via certain fibrations of monoidal categories. The categorical model of the quantum circuit description language Proto-Quipper-M by Rios and Selinger (2017) constitutes an example of such a fibration, which means that the language can readily be integrated with dependent types. We then devise both a general linear dependent type system and a dependently typed extension…

Vitiation Effects on Scramjet Engine Performance in Mach 6 Flight Conditions

Sadatake Tomioka, Tetsuo Hiraiwa, Kan Kobayashi +3 more

Applied Mathematics · Journal of Propulsion and Power · 25 Jun 2007 · cited 37× · DOI ↗ · more like this ·

Quasi-one-dimensional analyses with either chemical equilibrium or finite-rate reaction were conducted to evaluate the effects of contamination due to flow vitiation on engine performances, namely, thrust production. The incoming flow state was calculated based on measurements, and a higher total enthalpy for the freestream through a vitiation heater compared to that through a storage heater was found, the difference in the flow condition being responsible for two-thirds of the reduction in the thrust production with vitiation observed in the engine tests. With the finite-rate reaction calculation, the possibility of a further reduction due to the contamination effect on the combustion mechanism was found, which was responsible for one-third of the measured reduction. The one-dimensional analyses were further pursued to find matched test conditions with the storage heater to that with…

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning

Danny Weyns, Bradley Schmerl, Masako Kishida +5 more

cs.SE · 19 Mar 2021 · cited 36× · arXiv ↗ · more like this ·

Two established approaches to engineer adaptive systems are architecture-based adaptation that uses a Monitor-Analysis-Planning-Executing (MAPE) loop that reasons over architectural models (aka Knowledge) to make adaptation decisions, and control-based adaptation that relies on principles of control theory (CT) to realize adaptation. Recently, we also observe a rapidly growing interest in applying machine learning (ML) to support different adaptation mechanisms. While MAPE and CT have particular characteristics and strengths to be applied independently, in this paper, we are concerned with the question of how these approaches are related with one another and whether combining them and supporting them with ML can produce better adaptive systems. We motivate the combined use of different adaptation approaches using a scenario of a cloud-based enterprise system and illustrate the analysis…

Encrypted Average Consensus with Quantized Control Law

Masako Kishida

Computer Networks and Communications · December 2018 · cited 32× · DOI ↗ · more like this ·

This paper proposes an encrypted control algorithm to the average consensus problem for agents whose communication topology is represented by a strongly connected digraph. Unlike many applications that use encryptions, encrypted control systems require encryptions and decryptions repeatedly at every sampling time. Thus, it is beneficial if the control algorithm allows us to balance the cipher strength and processing time. This property is acquired by constructing a finite-level uniform quantizer whose sensitivity changes with the evolution of the system, designing its associated control law, and then combining it with the Paillier cryptosystem. Numerical analysis of the quantized control law is also presented.

Recent trends in the prevalence of Down syndrome in Japan, 1980-1997

Nobuhiko Hoshi, Rifumi Hattori, Kaoru Hanatani +7 more

Health · American Journal of Medical Genetics · 4 Jun 1999 · cited 32× · DOI ↗ · more like this ·

The aims of the present study were to determine recent trends in the prevalence of Down syndrome (DS) in Japan, and to determine whether recent changes in demographic and social habits and access to prenatal diagnosis have influenced the livebirth rates of DS. Livebirth statistics indicate that the birth rate in Japan has decreased for women in their 20s and has increased for those in their 30s and 40s. During an 18-year period between 1980 and 1997, 1,299 consecutive DS infants were born among a total of 2,232,694 births, a rate corresponding to approximately 10% of all births in Japan over the same period. The increasing risk of DS with advancing maternal age was confirmed. The overall prevalence was 5.82 DS births per 10,000 livebirths (8.3-9.7 per 10,000 after correction according to the estimated ascertainment ratio: 60-70%). The prevalence rate by year of child birth represents a…

COEVOLUTION OF PHENOTYPIC PLASTICITY IN PREDATOR AND PREY: WHY ARE INDUCIBLE OFFENSES RARER THAN INDUCIBLE DEFENSES?

Akihiko Mougi, Osamu Kishida, Yoh Iwasa

Sociology and Political Science · Evolution · 10 Nov 2010 · cited 31× · DOI ↗ · more like this ·

Inducible defenses of prey and inducible offenses of predators are drastic phenotypic changes activated by the interaction between a prey and predator. Inducible defenses occur in many taxa and occur more frequently than inducible offenses. Recent empirical studies have reported reciprocal phenotypic changes in both predator and prey. Here, we model the coevolution of inducible plasticity in both prey and predator, and examine how the evolutionary dynamics of inducible plasticity affect the population dynamics of a predator-prey system. Under a broad range of parameter values, the proportion of predators with an offensive phenotype is smaller than the proportion of prey with a defensive phenotype, and the offense level is relatively lower than the defense level at evolutionary end points. Our model also predicts that inducible plasticity evolves in both species when predation success…

TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

Steve Awodey, Kohei Kishida

Artificial Intelligence · The Review of Symbolic Logic · August 2008 · cited 29× · DOI ↗ · more like this ·

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

Proto-Quipper with dynamic lifting

Peng Fu, Kohei Kishida, Neil J. Ross +1 more

cs.PL · April 2022 · cited 26× · arXiv ↗ · more like this ·

Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. In this paper, we extend Proto-Quipper-M with a construct called dynamic lifting, which is present in Quipper. By virtue of being a circuit description language, Proto-Quipper has two separate runtimes: circuit generation time and circuit execution time. Values that are known at circuit generation time are called parameters, and values that are known at circuit execution time are called states. Dynamic lifting is an operation that enables a state, such as the result of a measurement, to be lifted to a parameter, where it can influence the generation of the next portion of the circuit. As a result, dynamic lifting enables Proto-Quipper programs to interleave classical and quantum computation. We describe the syntax of a language we…

Local or Nonlocal? Orthonormal Divergence-Free Wavelet Analysis of Nonlinear Interactions in Turbulence

Keiji Kishida, Keisuke Araki, Seigo Kishiba +1 more

Computer Vision and Pattern Recognition · Physical Review Letters · 27 Dec 1999 · cited 24× · DOI ↗ · more like this ·

Using orthonormal divergence-free vector wavelets, we analyzed the nonlinear transfer in three-dimensional homogeneous, isotropic turbulence. Wavelet analysis supports the predominance of local interactions in the nonlinear energy transfer process, which is consistent with Kolmogorov's phenomenology. Analogous Fourier analysis is also carried out for comparison. It is verified that the predominance of nonlocal interactions [J. A. Domaradzki and R. S. Rogallo, Phys. Fluids A 2, 413 (1990); P. K. Yeung and J. G. Brasseur, Phys. Fluids A 3, 884 (1991); K. Ohkitani and S. Kida, Phys. Fluids A 4, 794 (1992)] results from linearly binned Fourier analysis, whose shortcomings are also discussed.

EXPERIMENTAL STUDY ON SHEAR STRENGTH OF THE PHC PILE WITH LARGE DIAMETER

Shinji Kishida, Masahiro Horii, Fumio Kuwabara +1 more

Artificial Intelligence · Journal of Structural and Construction Engineering (Transactions of AIJ) · 1998 · cited 23× · DOI ↗ · more like this ·

A rational pile design balanced with the ultimate design method employed for superstructures requires the ultimate capacity of piles especially the shear strength. In the current design of the pretentioned spun high strength concrete pile (hereafter referred as PHC pile) prescribed by JIS, only an allowable stress design is assigned, then the safety against the ultimate failure has not been examined. In this research we carried out the anti-symmetric bending shear tests on the full scale to 1/4 models of the large diameter PHC piles. According the test results, we evaluate parameters affecting on the ultimate shear strength of the pile, and also examine the conformity of the previously proposed theories for the ultimate shear strength.

Dynamic Community: A New Conceptual Framework for Supporting Knowledge Collaboration in Software Development

Yunwen Ye, Yasuhiro Yamamoto, K. Kishida

Information Systems · 5 Apr 2005 · cited 22× · DOI ↗ · more like this ·

Software development is a knowledge intensive activity and software developers are knowledge workers. Knowledge needed for software development is often distributed among different developers. Supporting efficient knowledge collaboration and transfer is thus essential for software development organizations to remain competitive. This paper proposes a new theory /sub y/namic community to support knowledge collaboration and discusses its application in software development. Dynamic community integrates the traditional knowledge management approach in which knowledge is formalized and accumulated in knowledge repositories, and the community-based knowledge collaboration approach in which knowledge is transferred through informal community participation and human contacts. The dynamic community theory takes into full consideration individual knowledge workers' ever-changing needs for new…

SDA: A novel approach to software environment design and construction

K. Kishida, T. Katayama, Masatoshi Matsuo +6 more

Information Systems · International Conference on Software Engineering · April 1988 · cited 20× · DOI ↗ · more like this ·

A Software Designer's Associate (SDA) is a workstation-based collection of tools which support: 1) the description, evaluation and comparison of software system architectural designs, and 2) cooperation among, and management of, a team of software designers [Ridd87]. Each Software Designer's Associate is a specific instance of a generic facility which supports a team member's design activities, cooperation among team members, and overall team management. It provides a framework for the integration of tools supporting the use of various notations within the context of a particular set of technical and managerial methods. These tools, notations and methods may be adapted to support the needs of a particular project or the habits of an individual developer by selecting the particular tools to be added to the generic facility.The Software Designer's Associate project is a joint effort…

Deep Learning-Based Average Consensus

Masako Kishida, Masaki Ogura, Yuichi Yoshida +1 more

math.OC · August 2019 · cited 18× · arXiv ↗ · more like this ·

In this study, we analyzed the problem of accelerating the linear average consensus algorithm for complex networks. We propose a data-driven approach to tuning the weights of temporal (i.e., time-varying) networks using deep learning techniques. Given a finite-time window, the proposed approach first unfolds the linear average consensus protocol to obtain a feedforward signal-flow graph, which is regarded as a neural network. The edge weights of the obtained neural network are then trained using standard deep learning techniques to minimize consensus error over a given finite-time window. Through this training process, we obtain a set of optimized time-varying weights, which yield faster consensus for a complex network. We also demonstrate that the proposed approach can be extended for infinite-time window problems. Numerical experiments revealed that our approach can achieve a…

A case study of the evolution of Jun: an object-oriented open-source 3D multimedia library

A. Aoki, K. Hayashi, K. Kishida +5 more

Sociology and Political Science · Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 · 29 Aug 2005 · cited 18× · DOI ↗ · more like this ·

Jun is a large open-source graphics and multimedia library. It is object-oriented and supports 3D geometry, topography and multimedia. This paper reviews the development of the Jun library from five perspectives: open-source, software evolution processes, development styles, technological support, and development data. It concludes with lessons learned from the perspective of a for-profit company providing open-source object-oriented software to the community.

Non-technological issues in software engineering

Marc I. Kellner, Bill Curtis, Tom DeMarco +3 more

Information Systems · May 1991 · cited 17× · DOI ↗ · more like this ·

Although much of the focus of software engineering has revolved around technological issues and concerns, it is also clear that there are a number of substantive nontechnological problems that continue to be serious impediments to the more effective practice of software engineering. These non-technological issues include managerial, organizational, economic, political, legal, behavioral, psychological, and social factors. This panel session provides a forum for the discussion of such issues, among a group of internationally recognized authorities and the conference attendees.