Search results for "Transformers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	Bill Stoddart, Frank Zeyda	Expression Transformers in B-GSL.	ZB	2003	DBLP DOI BibTeX RDF	Expression transformers, term transformers, combining functional and imperative programming, backtracking, reversible computation, B, predicate transformers
124	Morten Heine Sørensen	Convergence of Program Transformers in the Metric Space of Trees.	MPC	1998	DBLP DOI BibTeX RDF
78	Stephan Lechner, Michael Schrefl	Trasformers-by-example: pushing reuse in conceptual web application modelling.	SAC	2004	DBLP DOI BibTeX RDF	generative templates, query templates, web schema transformers, query by example, web modelling
69	Annabelle McIver, Carroll Morgan	Demonic, angelic and unbounded probabilistic choices in sequential programs.	Acta Informatica	2001	DBLP DOI BibTeX RDF
67	Michel Charpentier, K. Mani Chandy	Reasoning about Composition Using Property Transformers and Their Conjugates.	IFIP TCS	2000	DBLP DOI BibTeX RDF
67	Marcello M. Bonsangue, Joost N. Kok	Isomorphisms between Predicates and State Transformers.	MFCS	1993	DBLP DOI BibTeX RDF
64	Ralph-Johan Back, Joakim von Wright	Predicate Transformers and Higher Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
58	Po-Hung Chen, Hung-Cheng Chen	Application of Back-Propagation Neural Network to Power Transformer Insulation Diagnosis.	ISNN (3)	2007	DBLP DOI BibTeX RDF
55	Fei Yuan	CMOS Gyrator-C Active Transformers.	ISCAS	2007	DBLP DOI BibTeX RDF
55	Hung-Cheng Chen, Po-Hung Chen, Chien-Ming Chou	3-D Partial Discharge Patterns Recognition of Power Transformers Using Neural Networks.	ISNN (2)	2006	DBLP DOI BibTeX RDF
55	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
46	Wenqing Zhao, Yongli Zhu	Power Transformer Fault Diagnosis Based on Rough Set Theory and Support Vector Machine.	FSKD (4)	2007	DBLP DOI BibTeX RDF
46	Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps	Constructing Specialized Shape Analyses for Uniform Change.	VMCAI	2007	DBLP DOI BibTeX RDF
46	M. Fakhrul Islam, Baikunth Nath, Joarder Kamruzzaman	Reactive Load Control of Parallel Transformer Operations Using Neural Networks.	IEA/AIE	2002	DBLP DOI BibTeX RDF
46	David A. Naumann	Beyond Fun: Order and Membership in Polytypic Imperative Programming.	MPC	1998	DBLP DOI BibTeX RDF
46	Deepak Kumar	An Integrated Model of Acting and Inference.	SNePS	1989	DBLP DOI BibTeX RDF
44	Erdal Kiliç, Okan Ozgonenel, Mustafa Ulutas	Fault Identification in Transformers through a Fuzzy Discrete Event System Approach.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
44	Marcela P. Moreira, Leonardo T. B. Santos, Marley M. B. R. Vellasco	Power Transformers Diagnosis Using Neural Networks.	IJCNN	2007	DBLP DOI BibTeX RDF
44	David A. Schmidt	Underapproximating Predicate Transformers.	SAS	2006	DBLP DOI BibTeX RDF
44	Pierre Hyvernat	Predicate Transformers and Linear Logic: Yet Another Denotational Model.	CSL	2004	DBLP DOI BibTeX RDF
44	Stephan Lechner, Michael Schrefl	Defining Web Schema Transformers by Example.	DEXA	2003	DBLP DOI BibTeX RDF
44	Abhinandan De, Nirmalendu Chatterjee	A Fuzzy-Neural Technique for Flashover Diagnosis of Winding Insulation in Transformers.	AFSS	2002	DBLP DOI BibTeX RDF
44	Clare E. Martin	Towards a Calculus of Predicate Transformers.	MFCS	1995	DBLP DOI BibTeX RDF
44	Vladimir Yu. Sazonov, Alexei Lisitsa 0001	Delta-Languages for Sets and sub-PTIME Graphs Transformers.	ICDT	1995	DBLP DOI BibTeX RDF
44	Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink	Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.	CONCUR	1995	DBLP DOI BibTeX RDF
43	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
41	Carroll Morgan, Annabelle McIver, Karen Seidel 0002	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
35	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
35	Mingsheng Ying	Reasoning about probabilistic sequential programs in a probabilistic logic.	Acta Informatica	2003	DBLP DOI BibTeX RDF
35	Aditya Agrawal	Metamodel based model transformation language.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	graph grammars and transformations, model driven architecture, model integrated computing
35	Germán Vidal	Cost-augmented narrowing-driven specialization.	PEPM	2002	DBLP DOI BibTeX RDF
35	Hongseok Yang, Uday S. Reddy	On the Semantics of Refinement Calculi.	FoSSaCS	2000	DBLP DOI BibTeX RDF
35	Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier	Local and Temporal Predicates In Distributed Systems.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	knowledge predicate, local predicate, temporal predicate, distributed computation, observation, predicate, predicate transformer
35	Philip Wadler	Strictness Analysis Aids Time Analysis.	POPL	1988	DBLP DOI BibTeX RDF
35	Ernie Manes	Assertional Categories.	MFPS	1987	DBLP DOI BibTeX RDF
35	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
32	Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv	Abstract Transformers for Thread Correlation Analysis.	APLAS	2009	DBLP DOI BibTeX RDF
32	Mauro Jaskelioff	Modular Monad Transformers.	ESOP	2009	DBLP DOI BibTeX RDF
32	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
32	Raija Lehto, Tapio Saramäki, Olli Vainio	Hilbert transformers with a piecewise-polynomial-sinusoidal impulse response.	ISCAS	2008	DBLP DOI BibTeX RDF
32	Cheng-Chien Kuo	Particle Swarm Trained Neural Network for Fault Diagnosis of Transformers by Acoustic Emission.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Partial Discharge, Neural Network, Particle Swarm Optimization, Transformer, Acoustic Emission
32	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
32	Tova Milo, Dan Suciu, Victor Vianu	Typechecking for XML Transformers.	PODS	2000	DBLP DOI BibTeX RDF
32	Greta Yorsh, Eran Yahav, Satish Chandra 0001	Generating precise and concise procedure summaries.	POPL	2008	DBLP DOI BibTeX RDF	micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
32	Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne	Angelic nondeterminism in the unifying theories of programming.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Semantics, Refinement, Relations, Predicate transformers
32	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
32	Chuan-Kai Lin	Programming monads operationally with Unimo.	ICFP	2006	DBLP DOI BibTeX RDF	unimo, haskell, monads, monad transformers
32	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
32	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
32	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
32	Yanhong A. Liu	Dependence Analysis for Recursive Data.	ICCL	1998	DBLP DOI BibTeX RDF	recursive data, recursive substructure, dead-code analysis, partially dead recursive data, regular tree grammars, grammar transformers, projections, dependence analysis, efficient algorithms, approximation operations
32	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
32	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
32	Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora	Web Structures: A Tool for Representing and Manipulating Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	high-level data flow analyzer, web structure transformations, data structures, graph theory, software tools, software tools, program transformers, program verification, programming theory, set theory, category theory, production rules, web structures
29	Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell	Term transformers: A new approach to state.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
29	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
29	Wim H. Hesselink	Predicate Transformers for Recursive Procedures with Local Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frames, Predicate transformers, Proof rule, Recursive procedures
29	William L. Harrison, Samuel N. Kamin	Modular Compilers Based on Monad Transformers.	ICCL	1998	DBLP DOI BibTeX RDF	Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers
23	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh 0002, Sriram Sankaranarayanan 0001, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
23	Joseph M. Morris, Malcolm Tyrrell	Modelling higher-order dual nondeterminacy.	Acta Informatica	2008	DBLP DOI BibTeX RDF
23	Susumu Nishimura	Safe Modification of Pointer Programs in Refinement Calculus.	MPC	2008	DBLP DOI BibTeX RDF
23	Alexander Brodsky 0001, Sylvia Morgan Henshaw, Jon Whittle 0001	CARD: a decision-guidance framework and application for recommending composite alternatives.	RecSys	2008	DBLP DOI BibTeX RDF	decision guidance, decision optimization, recommender systems, ranking, development framework, preference learning
23	Soo-Chang Pei, Huei-Shan Lin, Peng-Hua Wang	Design of Allpass Fractional Delay Filter and Fractional Hilbert Transformer Using Closed-Form of Cepstral Coefficients.	ISCAS	2007	DBLP DOI BibTeX RDF
23	Adrian Tang 0002, Fei Yuan 0005, Eddie Law	A New CMOS BPSK Modulator with Optimal Transaction Bandwidth Control.	ISCAS	2007	DBLP DOI BibTeX RDF
23	Jeff W. Sanders	Computations and Relational Bundles.	RelMiCS	2006	DBLP DOI BibTeX RDF
23	Greta Yorsh, Thomas W. Reps, Shmuel Sagiv	Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.	TACAS	2004	DBLP DOI BibTeX RDF
23	Padmanava Sen, Vipul Garg, Ramesh Garg, Nirmal B. Chakrabarti	Design of Power Amplifiers at 2.4 GHz/900 MHz and Implementation of On-chip Linearization Technique in 0.18/0.25µm CMOS.	VLSI Design	2004	DBLP DOI BibTeX RDF
23	Aditya Agrawal	Metamodel based model transformation language to facilitate domain specific model driven architecture.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	graph grammars and transformations, model driven architecture, model integrated computing
23	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
23	Perfecto Mariño, César A. Sigüenza, Francisco Poza, Fernando Machado, Fernando Vázquez	Data Acquisition System Interfacing with Virtual Cards.	ITCC	2003	DBLP DOI BibTeX RDF	Systems interfacing, scalability, sensors, data warehouse, dynamic reconfiguration
23	Andreas Abel 0001, Ralph Matthes	(Co-)Iteration for Higher-Order Nested Datatypes.	TYPES	2002	DBLP DOI BibTeX RDF
23	Matthew Flatt	Composable and compilable macros: : you want it when?	ICFP	2002	DBLP DOI BibTeX RDF	language tower, modules, macros
23	Christoph Lüth, Neil Ghani	Composing monads using coproducts.	ICFP	2002	DBLP DOI BibTeX RDF
23	Zhi-Hua Zhou, Yuan Jiang 0001, Xu-Ri Yin, Shifu Chen	The Application of Visualization and Neural Network Techniques in a Power Transformer Condition Monitoring System.	IEA/AIE	2002	DBLP DOI BibTeX RDF
23	Johann Eder, Walter Strametz	Composition of XML-Transformations.	EC-Web	2001	DBLP DOI BibTeX RDF	heterogeneous information systems, XML, e-commerce
23	Günter Kniesel, Pascal Costanza, Michael Austermann	Jmangler-A Framework for Load-Time Transformation of Java Class Files.	SCAM	2001	DBLP DOI BibTeX RDF	JMangler, load-time transformation, class file transformation, class loader, transformer components, independent extensibility
23	Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke	Transformation-by-Example for XML.	PADL	2000	DBLP DOI BibTeX RDF
23	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
23	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
23	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
23	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
23	Ralph-Johan Back, Michael J. Butler	Fusion and Simultaneous Execution in the Refinement Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
23	Johan Bengtsson, Bengt Jonsson 0001, Johan Lilius, Wang Yi 0001	Partial Order Reductions for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
23	David A. Naumann	On the Essence of Oberon.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
21	Nathan Maddams, Dane Maddams	Transformers: Revenge of the Fallen: opening cinematic.	SIGGRAPH ASIA Animations	2009	DBLP DOI BibTeX RDF
21	Jeffrey S. Walling, David J. Allstot	Monolithic Spiral Transformers: A Design Methodology.	ISCAS	2007	DBLP DOI BibTeX RDF
21	Ingrid Rewitzky, Chris Brink	Monotone Predicate Transformers as Up-Closed Multirelations.	RelMiCS	2006	DBLP DOI BibTeX RDF
21	Tsair-Fwu Lee, Ming-Yuan Cho, Chin-Shiuh Shieh, Hong-Jen Lee, Fu-Min Fang	Particle Swarm Optimization-Based SVM for Incipient Fault Classification of Power Transformers.	ISMIS	2006	DBLP DOI BibTeX RDF	incipient fault, classification, particle swarm optimization
21	Ming-Yuan Cho, Tsair-Fwu Lee, Shih-Wei Kau, Chin-Shiuh Shieh, Chao-Ji Chou	Fault Diagnosis of Power Transformers Using SVM/ANN with Clonal Selection Algorithm for Features and Kernel Parameters Selection.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
21	Cheng-Chien Kuo	A Neural Network Based Particle Swarm Optimization for the Transformers Connections of a Primary Feeder Considering Multi-objective Programming.	ISNN (2)	2006	DBLP DOI BibTeX RDF
21	Walter Dosch, Wuttipong Ruanthong, Annette Stümpel	From Stream Transformers to Moore State Transition Machines with Input and Output.	SNPD	2006	DBLP DOI BibTeX RDF
21	Shaul Ozeri, D. Shmilovitz	A time domain measurements procedure of piezoelectric transformers equivalent scheme parameters.	ISCAS	2006	DBLP DOI BibTeX RDF
21	Ouail El-Gharniti, Eric Kerherve, Jean-Baptiste Bégueret	Design and modeling of on-chip monolithic transformers with patterned ground shield.	ISCAS	2006	DBLP DOI BibTeX RDF
21	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
21	Mehlika Sengül, Semra Öztürk, Hasan Basri Çetinkaya, Tarik Erfidan	New Phenemenon on Power Transformers and Fault Identification Using Artificial Neural Networks.	ICANN (2)	2006	DBLP DOI BibTeX RDF
21	F. Furman Haddix, Kalyan Pydipati	Using Extensible Heterogeneous Database Transformers.	SOFSEM	2006	DBLP DOI BibTeX RDF
21	Michel Hell, Luiz Secco, Pyramo Costa Jr., Fernando A. C. Gomide	Recurrent Neural Approaches for Power Transformers Thermal Modeling.	PReMI	2005	DBLP DOI BibTeX RDF
21	Wenhu Tang, Shan He 0001, Emmanuel Prempain, Q. H. Wu, J. Fitch	A particle swarm optimiser with passive congregation approach to thermal modelling for power transformers.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
21	Michel Charpentier, K. Mani Chandy	Specification transformers: a predicate transformer approach to composition.	Acta Informatica	2004	DBLP DOI BibTeX RDF
21	Vasian Cepa	Implementing Tag-Driven Transformers with Tango.	ICSR	2004	DBLP DOI BibTeX RDF