Search results for "transformer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
126	Pavlos S. Georgilakis, John A. Katsigiannis, Kimon P. Valavanis, Athanasios T. Souflaris	A Systematic Stochastic Petri Net Based Methodology for Transformer Fault Diagnosis and Repair Actions.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	power system reliability, transformer fault diagnosis, stochastic petri nets
93	Eleftherios I. Amoiralis, Pavlos S. Georgilakis, Marina A. Tsili, Antonios G. Kladas	Ant Colony System-Based Algorithm for Optimal Multi-stage Planning of Distribution Transformer Sizing.	KES (2)	2008	DBLP DOI BibTeX RDF	Optimal Transformer Sizing, Thermal Loading, Energy Loss Cost, Distribution Network Planning, Transformers, Ant Colony Optimization
84	John A. Katsigiannis, Pavlos S. Georgilakis, Athanasios T. Souflaris, Kimon P. Valavanis	Diagnosing Transformer Faults with Petri Nets.	SETN	2004	DBLP DOI BibTeX RDF
66	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
64	Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.	DISC	2000	DBLP DOI BibTeX RDF	Local mutual exclusion, unfair daemon, transformer, self-stabilization
62	Pablo H. Ibargüengoytia, Roberto Liñan, Enrique Betancourt	Transformer Diagnosis Using Probabilistic Vibration Models.	MICAI	2009	DBLP DOI BibTeX RDF	Learning, Uncertainty, Transformers, Diagnosis, Vibrations
59	Yongqiang Wang, Fangcheng Lu, Heming Li	Synthetic Fault Diagnosis Method of Power Transformer Based on Rough Set Theory and Bayesian Network.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Fault diagnosis, Bayesian network, Transformer, Rough set theory
59	Yingzhou Zhang, Baowen Xu	A Slice Monad Transformer and Its Applications in Program Slicing.	ICECCS	2005	DBLP DOI BibTeX RDF	slice monad transformer, modular monadic semantics, Program slicing, monad transformers
55	A. P. Sakis Meliopoulos, George J. Cokkinides, Thomas J. Overbye	Component Monitoring and Dynamic Loading Visualization from Real Time Power Flow Model Data.	HICSS	2004	DBLP DOI BibTeX RDF	real-time model, visualization, animation, state estimation, power flow
55	Soo-Chang Pei, Peng-Hua Wang	Maximally flat allpass fractional Hilbert transformers.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
53	Joffroy Beauquier, Janna Burman, Shay Kutten	Making Population Protocols Self-stabilizing.	SSS	2009	DBLP DOI BibTeX RDF	transformer, self-stabilization, population protocols, cover time
53	Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju	Fault-containing self-stabilizing distributed protocols.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Distributed algorithms, Transformer, Self-stabilization, Fault-containment
51	Taizo Yoshikawa, Oussama Khatib	Compliant humanoid robot control by the torque transformer.	IROS	2009	DBLP DOI BibTeX RDF
51	Zhongyuan Zhang, Shuguo Gao, Fangcheng Lu, Yunpeng Liu 0003	The Calculation of the Voltage Distribution in Transformer Windings under VFTO Based on FDTD Method.	APCCAS	2006	DBLP DOI BibTeX RDF
51	Yong Ching Lim, Ya Jun Yu	Synthesis of very sharp Hilbert transformer using the frequency-response masking technique.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
51	Janusz Biernacki, Dariusz Czarkowski	High frequency transformer modeling.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
48	Shaun Kaplan, Daniel de Villiers, Leon Steenkamp, Gerhard de Jager, Jevon Davies, Richardt H. Wilkinson	Towards power transformer condition monitoring.	SenSys	2009	DBLP DOI BibTeX RDF	transformer condition monitoring, wireless sensor networks
48	Almas Shintemirov, Wenhu Tang, Z. Lu, Q. H. Wu	Simplified Transformer Winding Modelling and Parameter Identification Using Particle Swarm Optimiser with Passive Congregation.	EvoWorkshops	2007	DBLP DOI BibTeX RDF	Transformer winding mathematical model, particle swarm optimiser with passive congregation
44	Maria Gradinariu, Sébastien Tixeuil	Conflict Managers for Self-stabilization without Fairness Assumption.	ICDCS	2007	DBLP DOI BibTeX RDF
44	Eleftherios I. Amoiralis, Pavlos S. Georgilakis, Alkiviadis T. Gioulekas	An Artificial Neural Network for the Selection of Winding Material in Power Transformers.	SETN	2006	DBLP DOI BibTeX RDF
44	Deepak Kumar	An Integrated Model of Acting and Inference.	SNePS	1989	DBLP DOI BibTeX RDF
42	Alain Cournier, Stéphane Devismes, Vincent Villain	Light enabling snap-stabilization of fundamental protocols.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Self- and snap-stabilization, wave protocols, transformer
42	YingZhou Zhang	A novel formal approach to program slicing.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	slice monad transformer, modularity, program slicing, formal semantics, monads
42	Tsair-Fwu Lee, Ming-Yuan Cho, Chin-Shiuh Shieh, Hong-Jen Lee, Fu-Min Fang	Diagnosis of Incipient Fault of Power Transformers Using SVM with Clonal Selection Algorithms Optimization.	ISMIS	2006	DBLP DOI BibTeX RDF	power transformer, optimization, Diagnosis, clonal selection algorithm
42	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
40	Oussama Khatib, Peter Thaulad, Taizo Yoshikawa, Jaeheung Park	Torque-position transformer for task control of position controlled robots.	ICRA	2008	DBLP DOI BibTeX RDF
40	Kuo-Ken Huang, Sen Wang, Ching-Kuang C. Tzuang	Active bandpass filter using transformer feedback in 0.18-µm CMOS for 802.11a wireless LAN.	ISCAS	2008	DBLP DOI BibTeX RDF
40	Soo-Chang Pei, Peng-Hua Wang, Chia-Huei Lin	Design of discrete Fractional Hilbert transformer in time domain.	ISCAS	2008	DBLP DOI BibTeX RDF
40	Wesley A. Gee, Phillip E. Allen	CMOS Integrated LC RF Bandpass Filter with Transformer-Coupled Q-Enhancement and Optimized Linearity.	ISCAS	2007	DBLP DOI BibTeX RDF
40	Wenqing Zhao, Yongli Zhu	Power Transformer Fault Diagnosis Based on Rough Set Theory and Support Vector Machine.	FSKD (4)	2007	DBLP DOI BibTeX RDF
40	Hongsheng Su, Feng Zhao	An Improved PSO-Based Fuzzy Ensemble Classifier for Transformer Fault Diagnosis.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
40	Young-Jae Lee, Hyun-Kyu Yu	A transformer-based low phase noise and widely tuned CMOS quadrature VCO.	ISCAS	2006	DBLP DOI BibTeX RDF
40	Jong-Pil Lee, Dae Jong Lee, Pyeong-Shik Ji, Jae-Yoon Lim, Sung-Soo Kim	Diagnosis of Power Transformer using Fuzzy Clustering and Radial Basis Function Neural Network.	IJCNN	2006	DBLP DOI BibTeX RDF
40	Tadashi Suetsugu, Marian K. Kazimierczuk	Voltage-clamped class E amplifier with transmission-line transformer.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
40	Kamon Jirasereeamornkul, Itsda Boonyaroonate, Kosin Chamnongthai	High-efficiency electronic transformer for low-voltage halogen lamp.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
40	M. Mori, H. Nakanishi, Y. Yamaoka, Masamitsu Tokuda, Yoshifumi Shimoshio	Common mode voltage to differential mode voltage conversion characteristics of shielded transformer in VHF band.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
40	Soo-Chang Pei, Peng-Hua Wang	Analytical design of digital nonrecursive maximally flat fractional Hilbert transformer.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
37	Xueyu Li, Lizeng Wu, Jinsha Yuan, Yinghui Kong	A Transformer Condition Assessment System Based on Data Warehouse and Data Mining.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Transformer condition assessment, data mining, multi-agent system
37	Joffroy Beauquier, Sylvie Delaët, Sammy Haddad	A 1-Strong Self-stabilizing Transformer.	SSS	2006	DBLP DOI BibTeX RDF	k-strong, Transformer, Self-stabilization, Fault Containment
37	András Balogh, Gergely Varró, Dániel Varró, András Pataricza	Compiling model transformations to EJB3-specific transformer plugins.	SAC	2006	DBLP DOI BibTeX RDF	EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
37	Jorn Bettin, Ghica van Emde Boas	Generative model transformer.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
37	Jorn Bettin, Ghica van Emde Boas, Edward D. Willink	Generative model transformer: an open source MDA tool initiative.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
33	A. P. Sakis Meliopoulos, George J. Cokkinides, Floyd Galvan, Bruce Fardanesh	Distributed State Estimator - Advances and Demonstration.	HICSS	2008	DBLP DOI BibTeX RDF
33	Steve Dunne, Andy Galloway	Lifting General Correctness into Partial Correctness is ok.	IFM	2007	DBLP DOI BibTeX RDF
33	M. Ali Akcayol 0001	Application of Fuzzy Logic Controlled Cathodic Protection on Iraq-Turkey Crude Oil Pipeline.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	cathodic protection, fuzzy control, microcontroller
33	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
33	Aleksandar Tasic, Wouter A. Serdijn, John R. Long	Matching of low-noise amplifiers at high frequencies.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
33	Pavlos S. Georgilakis, Nikos D. Hatziargyriou	On the Application of Artificial Intelligence Techniques to the Quality Improvement of Industrial Processes.	SETN	2002	DBLP DOI BibTeX RDF
33	Morten Heine Sørensen	Convergence of Program Transformers in the Metric Space of Trees.	MPC	1998	DBLP DOI BibTeX RDF
31	Kung-Kiu Lau	Using SPARK for a beginner's course on reasoning about imperative programs.	SIGAda	2007	DBLP DOI BibTeX RDF	predicate transformer semantics, imperative programming
31	Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río	A monadic program slicer.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	modular monadic semantics, program slicer, monad, monad transformer
31	Jyotishman Pathak, Yong Jiang, Vasant G. Honavar, James D. McCalley	Condition Data Aggregation with Application to Failure Rate Calculation of Power Transformers.	HICSS	2006	DBLP DOI BibTeX RDF	Transformer Failure Mode Estimation, Hidden Markov Models, Data Integration
31	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
31	Campbell Booth, James R. McDonald, Stephen D. J. McArthur	Forecasting and Prediction Applications in the Field of Power Engineering.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	power engineering, gas turbine, nuclear reactor refuelling, prediction, artificial neural networks, fault diagnosis, transformer, forecasting, condition monitoring
31	Markus Müller-Olm, Andreas Wolf 0004	On Excusable and Inexcusable Failures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
29	Byoungho Kim, Zhenhai Fu, Jacob A. Abraham	Transformer-Coupled Loopback Test for Differential Mixed-Signal Specifications.	VTS	2007	DBLP DOI BibTeX RDF
29	Tsung-Yu Yang, Hsin-Lung Tu, Hwann-Kaeo Chiou	Low-voltage high-linear and isolation transformer based mixer for direct conversion receiver.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Patrick Picher, Leonard Bolduc, Bruno Girard, Van Nhi Nguyen	Mitigation of Ferroresonance Induced by Single-Phase Opening of a Three-Phase Transformer Feeder.	CCECE	2006	DBLP DOI BibTeX RDF
29	Chia-Chieh Tu, Ching-Yuan Yang	A 6.5-GHz LC VCO with Integrated-Transformer Tuning.	APCCAS	2006	DBLP DOI BibTeX RDF
29	Alessandro Italia, Francesco Carrara, Egidio Ragonese, Giuseppe Palmisano	Design methodology for the optimization of transformer-loaded RF circuits.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
29	Chang-Hua Lin, Ying-Chi Chen	Design of class E backlight module incorporating piezoelectric transformer.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
29	Yila Bai, Longfei Cong, Enmin Feng, Zhengyan Guo	Numerical simulation and parameter identification of the temperature field in the oil-immersed self cooled three phrase transformer.	ICARCV	2004	DBLP DOI BibTeX RDF
29	John G. Breslin, W. G. Hurley	A Web-Based System for Transformer Design.	KES	2003	DBLP DOI BibTeX RDF
29	Chien-Cheng Tseng	Analytical design of fractional Hilbert transformer using fractional differencing.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
29	Aleksandar Tasic, Wouter A. Serdijn, John R. Long	Concept of transformer-feedback degeneration of low-noise amplifiers.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
29	Tadashi Suetsugu, Marian K. Kazimierczuk	Lossless voltage-clamping of a class E amplifier with a transformer and a diode.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
29	Leonard A. MacEachern, Eyad Abou-Allam, L. Wang, Tajinder Manku	Low voltage mixer biasing using monolithic integrated transformer dc-coupling.	ISCAS (2)	1999	DBLP DOI BibTeX RDF
29	Ichirou Oota, Noriaki Hara, Fumio Ueno	Influence of parasitic inductance on serial fixed type switched-capacitor transformer.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
29	John H. Chan, Andrei Vladimirescu, Xiao-Chun Gao, Peter Liebmann, John Valainis	Nonlinear transformer model for circuit simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
29	Hiroyuki Kitagawa, Tosiyasu L. Kunii	Form transformer - A formalism for Office form manipulation.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
26	Karen L. Butler-Purry, Mustafa Bagriyanik	Identifying Transformer Incipient Events for Maintaining Distribution System Reliability.	HICSS	2003	DBLP DOI BibTeX RDF	incipient fault, Transformer, discrete wavelet transform
22	Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.	DISC	2009	DBLP DOI BibTeX RDF
22	Heon Gyu Lee, Yonghoon Choi, Jin-Ho Shin	Spatio-temporal mining for power load forecasting in GIS-AMR load analysis model.	ICIS	2009	DBLP DOI BibTeX RDF	GIS-AMR database, load pattern analysis, spatio-temporal mining, classification rules
22	Taizo Yoshikawa, Oussama Khatib	Compliant motion control for a humanoid robot in contact with the environment and humans.	IROS	2008	DBLP DOI BibTeX RDF
22	Minh-Son Dao, Noboru Babaguchi	Sports event detection using temporal patterns mining and web-casting text.	AREA	2008	DBLP DOI BibTeX RDF	temporal sequential patterns, web-casting text, data-mining, event detection
22	Haitao Wu, Huilan Jiang, Dapeng Shan	Transformers Fault Diagnosis Based on Support Vector Machines and Dissolved Gas Analysis.	ICIC (1)	2008	DBLP DOI BibTeX RDF	DGA, SVM, Diagnosis, Fault, SVC
22	Liu Jianfeng, Jiang Yong, Ding Chuanhong	Research on the Measurement System of Gyro Rotor.	CSSE (5)	2008	DBLP DOI BibTeX RDF
22	Wei Liu, L. Q. Wong, Ming Mao Wong	Simulation and design for 3D RFID application.	ETFA	2008	DBLP DOI BibTeX RDF
22	Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser 0001, Helmut Veith	Software transformations to improve malware detection.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF
22	Ville T. Oikarinen	Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, refactoring, method, DSL, metaprogramming
22	Erdal Kiliç, Okan Ozgonenel, Mustafa Ulutas	Fault Identification in Transformers through a Fuzzy Discrete Event System Approach.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
22	Jeffrey S. Walling, David J. Allstot	Monolithic Spiral Transformers: A Design Methodology.	ISCAS	2007	DBLP DOI BibTeX RDF
22	Jeff W. Sanders	Computations and Relational Bundles.	RelMiCS	2006	DBLP DOI BibTeX RDF
22	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
22	Viorel Preoteasa	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.	FM	2006	DBLP DOI BibTeX RDF
22	Hongsheng Su, Qunzhan Li	A Hybrid Deterministic Model Based on Rough set and Fuzzy set and Bayesian Optimal Classifier.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
22	Risto J. Pirjola, David H. Boteler	Geomagnetically Induced Currents in European High-Voltage Power Systems.	CCECE	2006	DBLP DOI BibTeX RDF
22	Francisco Poza, Perfecto Mariño, Santiago Otero, Fernando Machado	Virtual Instrument for Condition Monitoring of On-Load Tap Change.	DELTA	2006	DBLP DOI BibTeX RDF
22	Madhu Bhaskaran, Sharath Sriram, Aleksandar Stojcevski, Aladin Zayegh	Design & Simulation of a High Performance Rail-to-Rail CMOS Op-Amp at ± 3V Supply.	DELTA	2006	DBLP DOI BibTeX RDF
22	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
22	Michael C. Robinson, Sara E. Wallace, David C. Woodward	Risk Mitigation of Design Requirements Using a Probabilistic Analysis.	RE	2005	DBLP DOI BibTeX RDF
22	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
22	Andrei P. Nemytykh	The Supercompiler SCP4: General Structure.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
22	Ingrid Rewitzky	Binary Multirelations.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
22	Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
22	Stephan Lechner, Michael Schrefl	Defining Web Schema Transformers by Example.	DEXA	2003	DBLP DOI BibTeX RDF
22	Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain	Enabling Snap-Stabilizatio.	ICDCS	2003	DBLP DOI BibTeX RDF	propagation of information with feedback, reset protocols, Fault-tolerance, self-stabilization, leader election, snapshot, snap-stabilization
22	Supratik Mukhopadhyay, Andreas Podelski	An Algebraic Framework for Abstract Model Checking.	SARA	2002	DBLP DOI BibTeX RDF
22	Brendan P. Mahony	The Least Conjunctive Refinement and Promotion in the Refinement Calculus.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
22	D. B. LaFontaine	Full duplex transhybrid circuit for voice communications through a single crosspoint.	ISCAS (4)	1999	DBLP DOI BibTeX RDF