Search Results - "Nagamatu, M."
-
1
On the stability of Lagrange programming neural networks for satisfiability problems of propositional calculus
Published in Neurocomputing (Amsterdam) (1996)“…The Hopfield type neural networks for solving difficult combinatorial optimization problems have used the gradient descent algorithms to solve constrained…”
Get full text
Journal Article -
2
Geant4—a simulation toolkit
Published in Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment (01-07-2003)Get full text
Journal Article -
3
An evaluation of nutritional status of vitamin E in pregnant women with respect to red blood cell tocopherol level
Published in International journal for vitamin and nutrition research (1986)“…Changes in RBC tocopherol level as an index for vitamin E status were studied in relation to plasma levels of tocopherol and lipids during pregnancy. Plasma…”
Get more information
Journal Article -
4
Two families of Charcot-Marie-Tooth disease with Adie's pupil, axonal neuropahy and the Thr124Met mutation in the peripheral myelin protein zero gene
Published in Rinshō shinkeigaku (01-02-2000)“…We reported two families of Charcot-Marie-Tooth disease (CMT) with Thr124Met mutation in the peripheral myelin protein zero (MPZ). The clinical features of the…”
Get more information
Journal Article -
5
Test generation by Lagrange programming neural network
Published in 1998 Second International Conference. Knowledge-Based Intelligent Electronic Systems. Proceedings KES'98 (Cat. No.98EX111) (1998)“…A neural network approach for test generation of single stuck-at faults in combinational circuits has been proposed by Chakradhar et al. (1991). The network is…”
Get full text
Conference Proceeding -
6
A continuous valued iterative algorithm for wire routing problems
Published in 1998 Second International Conference. Knowledge-Based Intelligent Electronic Systems. Proceedings KES'98 (Cat. No.98EX111) (1998)“…A continuous valued iterative algorithm LMR-FSC for wire routing problems is proposed. In this method, each wire is a non-discrete one (discrete means binary…”
Get full text
Conference Proceeding -
7
On the stability of Lagrange programming neural networks for satisfiability problems of prepositional calculus
Published in Neurocomputing (Amsterdam) (01-10-1996)“…The Hopfield type neural networks for solving difficult combinatorial optimization problems have used the gradient descent algorithms to solve constrained…”
Get full text
Journal Article -
8
Solving warehouse location problem by Lagrange programming neural network
Published in 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004 (2004)“…The LPPH-CSP is a neural network for solving the constraint satisfaction problem (CSP), which is a combinatorial problem to find a solution which satisfies all…”
Get full text
Conference Proceeding -
9
Solving SAT by parallel execution of neural networks with probabilistic attenuation coefficient generator
Published in 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004 (2004)“…We have proposed a neural network named LPPH for the SAT. In order to solve the SAT more efficiently, a parallel execution has been proposed. Experimental…”
Get full text
Conference Proceeding -
10
Constraint satisfaction problems and neurocomputing
Published in International Congress series (01-08-2004)“…CSP is an important problem in computer science. However, the CSP is also a well-known NP-complete problem. Local search, which is a representative of…”
Get full text
Journal Article -
11
G eant4—a simulation toolkit
Published in Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment (2003)“…G eant4 is a toolkit for simulating the passage of particles through matter. It includes a complete range of functionality including tracking, geometry,…”
Get full text
Journal Article -
12
Lagrangian method for solving Software-MCU assignment problem in car electronic system design
Published in 2009 International Conference on Industrial and Information Systems (ICIIS) (01-12-2009)“…In this paper, we address the Software-MCU (Micro Controller Unit) assignment problem in car electronic system design. This is a difficult optimization problem…”
Get full text
Conference Proceeding -
13
Lagrangian method for satisfiability problems of propositional calculus
Published in Proceedings 1995 Second New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems (1995)“…Hopfield type neural networks for solving difficult combinatorial optimization problems have used gradient descent algorithms to solve constrained optimization…”
Get full text
Conference Proceeding -
14
Extensions of Lagrange programming neural network for satisfiability problem and its several variations
Published in Proceedings of the 9th International Conference on Neural Information Processing, 2002. ICONIP '02 (2002)“…The satisfiability problem (SAT) of the propositional calculus is a well-known NP-complete problem. It requires exponential computation time as the problem…”
Get full text
Conference Proceeding -
15
Lagrangian method for wire routing of layout design
Published in Proceedings 1995 Second New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems (1995)“…In this paper, we propose a new algorithm which solves the routing problem of LSI layout design as a continuous valued constrained optimization problem. All…”
Get full text
Conference Proceeding -
16
A 320 Mflops Cmos Floating-point Processing Unit For Superscalar Processors
Published in 1992 Proceedings of the IEEE Custom Integrated Circuits Conference (1992)Get full text
Conference Proceeding -
17
Wire routing by Lagrangian method
Published in Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair (1995)“…Routing problems have been formulated as discrete optimization problems. The maze router has been widely used because of its ability to find a shortest path…”
Get full text
Conference Proceeding