|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 771 occurrences of 533 keywords
|
|
|
Results
Found 1579 publication records. Showing 1579 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Denis Jouvin |
Continuations and Behavior Components Engineering in Multi-Agent Systems. |
MATES |
2006 |
DBLP DOI BibTeX RDF |
conversational multi-agent systems, behavioral component, continuation-based automatons, Continuations, agent oriented software engineering |
26 | Fabio Dercole, Yuri A. Kuznetsov |
SlideCont: An auto97 driver for bifurcation analysis of filippov systems. |
ACM Trans. Math. Softw. |
2005 |
DBLP DOI BibTeX RDF |
AUTO97, Filippov systems, numerical continuation, piecewise-smooth differential equations, sliding bifurcations |
26 | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
A type-theoretic foundation of continuations and prompts. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset |
26 | Jan Verschelde |
Numerical algebraic geometry and symbolic computation. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
irreducible decomposition, numerical homotopy continuation, polynomial systems, approximate factorization |
26 | Ohad Ben-Shahar, Steven W. Zucker |
The Perceptual Organization of Texture Flow: A Contextual Inference Approach. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2003 |
DBLP DOI BibTeX RDF |
Texture flow, social conformity of a line, good continuation, line discontinuities, point singularities, shading flow, local parallelism, orientation diffusion, tangential curvature, normal curvature, perceptual organization, texture segmentation, relaxation labeling |
26 | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
A functional correspondence between evaluators and abstract machines. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion |
26 | Ruchira S. Datta |
Using computer algebra to find nash equilibria. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
Gröbner bases, polyhedral homotopy continuation, game theory, polynomial systems |
26 | Koen Engelborghs, Tatyana Luzyanina, Dirk Roose |
Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL. |
ACM Trans. Math. Softw. |
2002 |
DBLP DOI BibTeX RDF |
numerical stability and bifurcation analysis, Continuation, software package, delay differential equations |
26 | Kimberly D. Voll, Tom P. Yeh, Verónica Dahl |
An assumptive logic programming methodology for parsing. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars |
26 | Liang-Seng Koh, Ming T. Liu |
A wireless multiple access control protocol for voice-data integration. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
packet reservation multiple access, wireless multiple access control protocol, voice-data integration, Mini-Packets Reservation Multiple Access, MPRMA, microcellular wireless environments, continuation flag, overhead bandwidth, wireless LAN, data communication, voice communication, PRMA |
26 | Frederic F. Leymarie, Martin D. Levine |
Tracking Deformable Objects in the Plane Using an Active Contour Model. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
hierarchical filtering, noisy intensity image, nonrigid object, cell locomotion, terminating criterion, topographic features, discrete sale-space representation, optimization, image segmentation, image segmentation, segmentation, graph theory, tracking, tracking, optimisation, convergence, convergence, filtering and prediction theory, snake, deformable objects, active contour model, continuation method |
23 | Stefano Guerrini, Andrea Masini |
Proofs, tests and continuation passing style. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Minimal logic, call-by-name, intutionistic logic, linear logic, lambda calculus, continuations passing style, call-by-value |
23 | Tsung-Lin Lee, Tien-Yien Li, Chih-Hsiung Tsai |
HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method. |
Computing |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 65H10, 65H15, 90B99 |
23 | Raffaella Bernardi, Michael Moortgat |
Continuation Semantics for Symmetric Categorial Grammar. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Giancarlo Tretola, Eugenio Zimeo |
Extending Web Services Semantics to Support Asynchronous Invocations and Continuation |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Shigeru Kusakabe, Satoshi Yamada, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya |
OS Mechanism for Continuation-based Fine-grained Threads on Dedicated and Commodity Processors. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Bram Adams, Kris De Schutter |
An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters). |
SPLAT |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Giancarlo Tretola, Eugenio Zimeo |
Workflow fine-grained concurrency with automatic continuation. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Adriano N. Raposo, Abel João Padrão Gomes |
Polygonization of multi-component non-manifold implicit surfaces through a symbolic-numerical continuation algorithm. |
GRAPHITE |
2006 |
DBLP DOI BibTeX RDF |
symbolic factorization, implicit surfaces, polygonization, numerical methods |
23 | Qian Wang 0024, Gopal Gupta 0001, Michael Leuschel |
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard and Continuation Optimization for Occurrence Representations of CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
23 | S. L. Skorokhodov |
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp-1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Pablo Guerrero-García, Ángel Santos-Palomo |
A Direct Orthogonal Sparse Static Methodology for a Finite Continuation Hybrid LP Solver. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Hayo Thielecke |
Answer Type Polymorphism in Call-by-Name Continuation Passing. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Célia A. Zorzo Barcelos, Marcos Aurélio Batista, Adriana M. Martins, Antônio Carlos Nogueira |
Level Lines Continuation based Digital Inpainting. |
SIBGRAPI |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Xin Chen, Paul Tseng |
Non-Interior continuation methods for solving semidefinite complementarity problems. |
Math. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov |
Numerical Continuation of Fold Bifurcations of Limit Cycles in MATCONT. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Qian Wang 0024, Gopal Gupta 0001 |
Continuation Semantics as Horn Clauses. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog Trace Models with a Continuation Semantics. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Zhong Shao, Valery Trifonov |
Type-Directed Continuation Allocation. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Ichiro Ogata |
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Paul Tarau |
BinProlog: a Continuation Passing Style Prolog Engine. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Amr Sabry, Matthias Felleisen |
Reasoning About Programs in Continuation-Passing Style. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Mikael Pettersson |
Generating Efficient Code from Continuation Semantics. |
CC |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Arie de Bruin, Erik P. de Vink |
Continuation Semantics for PROLOG with Cut. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Andrew W. Appel, Trevor Jim |
Continuation-Passing, Closure-Passing Style. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
23 | Margaret Montenyohl, Mitchell Wand |
Correct Flow Analysis in Continuation Semantics. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Dongshu Yan, Jintao Zhang, Bo Yu 0003, Changtong Luo, Shaoliang Zhang |
A Genetic Algorithm for Finding Minimal Multi-homogeneous Bézout Number. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
minimal multi-homogeneous Bezout number, genetic algorithm, heuristics, polynomial equations |
18 | Lianjie Huang, Youli Quan, Cuiping Li 0005, Neb Duric, Kenneth M. Hanson |
Ultrasound Pulse-Echo Imaging with an Optimized Propagator. |
BMEI (2) |
2008 |
DBLP DOI BibTeX RDF |
pulse-echo, reflectivity, ultrasound, scattering, Breast imaging |
18 | José Niño-Mora |
Computing an index policy for bandits with switching penalties. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
bandits, restless, switching delays, Markov decision processes, switching costs, index policies |
18 | Nadia Ranaldo, Eugenio Zimeo |
Analysis of Different Future Objects Update Strategies in ProActive. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Xiao-lei Wei, Yong-an Zheng, Zhan-zhong Cui, Quan-li Wang |
SAR Images Denoising Based on Rough Set Theory in Contourlet Domain. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Anton Leykin, Jan Verschelde, Yan Zhuang |
Parallel Homotopy Algorithms to Solve Polynomial Systems. |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
Delimited dynamic binding. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
monads, dynamic binding, delimited continuations |
18 | Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
Modular verification of assembly code with stack-based control abstractions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
assembly code verification, control abstractions, stack-based, modularity, proof-carrying code |
18 | Sarosh Talukdar |
Low Intelligence Agents for Market Testing. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Zena M. Ariola, Hugo Herbelin |
Minimal Classical Logic and Control Operators. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Dariusz Biernacki, Olivier Danvy |
From Interpreter to Logic Engine by Defunctionalization. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Mayukh Bhattacharya, Pinaki Mazumder |
Augmentation of SPICE for simulation of circuits containingresonant tunneling diodes. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | George Metakides |
Challenges for a human-centered information society. |
ICIP (1) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Danvy |
Many Happy Returns. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Christian Queinnec |
The influence of browsers on evaluators or, continuations to program web servers. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
WEB |
18 | Jon G. Riecke, Hayo Thielecke |
Typed Exeptions and Continuations Cannot Macro-Express Each Other. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
Eta-Expansion Does The Trick. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization |
18 | Carl Bruggeman, Oscar Waddell, R. Kent Dybvig |
Representing Control in the Presence of One-Shot Continuations. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Luc Moreau 0001, Christian Queinnec |
Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Andrzej Filinski |
Representing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alan R. Champneys, Alastair Spence |
Hunting for homoclinic orbits in reversible systems: A shooting technique. |
Adv. Comput. Math. |
1993 |
DBLP DOI BibTeX RDF |
Subject classification (AMS) 34C37, 58F05, 65L10 |
18 | Andrew P. Tolmach, Andrew W. Appel |
Debugging Standard ML Without Reverse Engineering. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Danvy, Andrzej Filinski |
Abstracting Control. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Makoto Amamiya, Rin-Ichiro Taniguchi |
Datarol: a massively parallel architecture for functional languages. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
18 | William D. Clinger, Anne Hartheimer, Eric Ost |
Implementation Strategies for Continuations. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba |
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Guddat, Francisco Guerra Vázquez, Dieter Nowack |
Parametric Optimization: Embeddings, Path Following and Singularities. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Generic singularities, Embedding, Path following, Parametric optimization, Continuation method, Homotopy method |
17 | Layne T. Watson |
Globally Convergent Homotopy Methods. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Probability-one homotopy, Continuation, Homotopy, Globally convergent, Nonlinear equations |
17 | Leo Liberti, Carlile Lavor, Nelson Maculan, Fabrizio Marinelli 0001 |
Double variable neighbourhood search with smoothing for the molecular distance geometry problem. |
J. Glob. Optim. |
2009 |
DBLP DOI BibTeX RDF |
Global continuation, Variable neighbourhood search, Global optimization, Smoothing, Distance geometry, Molecular conformation |
17 | Ezra Cooper, Philip Wadler |
The RPC calculus. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
location-aware language, trampolined style, programming languages, web programming, continuation-passing style, defunctionalization |
17 | Yun Guan, Jan Verschelde |
Parallel Implementation of a Subsystem-by-Subsystem Solver. |
HPCS |
2008 |
DBLP DOI BibTeX RDF |
subsystem-by-subsystem solver, polynomial systems, homotopy continuation |
17 | Yukiyoshi Kameyama, Takuo Yonezawa |
Typed Dynamic Control Operators for Delimited Continuations. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation |
17 | Jérémy Buisson, Fabien Dagnat |
Introspecting Continuations in Order to Update Active Code. |
HotSWUp |
2008 |
DBLP DOI BibTeX RDF |
DSU, dynamic update of active code, introspection of execution states, typing, continuation, language construct, control operator |
17 | Anton Leykin |
Numerical primary decomposition. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
polynomial homotopy continuation, primary decomposition, numerical algebraic geometry, deflation |
17 | David A. Schmidt |
State-transition machines, revisited. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Krivine machine, Lambda-calculus, Denotational semantics, Continuation-passing style, Defunctionalization |
17 | Yukiyoshi Kameyama |
Axioms for control operators in the CPS hierarchy. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Type system, Axiomatization, Delimited continuation, CPS translation, Control operator |
17 | Kenichi Asai, Yukiyoshi Kameyama |
Polymorphic Delimited Continuations. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator |
17 | Andrew Kennedy |
Compiling with continuations, continued. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
continuations, monads, optimizing compilation, continuation passing style, functional programming languages |
17 | David Van Horn, Harry G. Mairson |
Relating complexity and precision in control flow analysis. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction |
17 | Charles W. Wampler II |
Numerical algebraic geometry and kinematics. |
SNC |
2007 |
DBLP DOI BibTeX RDF |
robotics, kinematics, numerical algebraic geometry, homotopy continuation |
17 | Derek Justice, Alfred O. Hero III |
A Binary Linear Programming Formulation of the Graph Edit Distance. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
continuation (homotopy) methods, linear programming, similarity measures, Graph algorithms, graphs and networks, structural pattern recognition |
17 | Pascal Van Hentenryck, Laurent Michel |
Nondeterministic Control for Hybrid Search. |
Constraints An Int. J. |
2006 |
DBLP DOI BibTeX RDF |
hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language |
17 | Olin Shivers, Matthew Might |
Continuations and transducer composition. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines |
17 | Jan Verschelde, Yan Zhuang |
Parallel Implementation of the Polyhedral Homotopy Method. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
polyhedral homotopies, load balancing, parallel computation, polynomial systems, path following, Continuation methods |
17 | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
Continuations from generalized stack inspection. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization |
17 | Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen |
Automatically Restructuring Programs for the Web. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
lambda lifting, Web programming, continuation-passing style, CGI, closure conversion |
17 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
17 | Mitchell Wand, Dale Vaillancourt |
Relating models of backtracking. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
two-continuation semantics, streams, monads, logical relations, adequacy |
17 | Jan Verschelde, Yusong Wang |
Computing Feedback Laws for Linear Systems with a Parallel Pieri Homotopy. |
ICPP Workshops |
2004 |
DBLP DOI BibTeX RDF |
control of linear systems, feedback laws, numerical Schubert calculus, Pieri homotopies, pole placement, load balancing, continuation methods, path tracking |
17 | Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen |
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. |
High. Order Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
lambda-I-calculus, thunkification translation, normalization, functionals, continuation passing style translation |
17 | Chiyan Chen, Hongwei Xi |
Implementing typeful program transformations. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style |
17 | Jaijeet S. Roychowdhury |
A time-domain RF steady-state method for closely spaced tones. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
MPDE, RF switching mixers, analog/RF simulation, artificial time scales, difference-frequency time scales, multi-time PDEs, shooting, analog, homotopy, mixed-signal, envelope, continuation methods, harmonic balance |
17 | Wei Feng, Masashi Kowada, Kouichi Adachi |
A two-queue model with Bernoulli service schedule and switching times. |
Queueing Syst. Theory Appl. |
1998 |
DBLP DOI BibTeX RDF |
two parallel queues, Bernoulli service schedule, Riemann boundary value problem, analytic continuation, waiting time, generating function, stationary distribution |
17 | J. W. Cohen |
On the asymmetric clocked buffered switch. |
Queueing Syst. Theory Appl. |
1998 |
DBLP DOI BibTeX RDF |
nearest-neighbour random walk, two-dimensional meromorphic functions, analytic continuation, two-server queueing model |
17 | Hervé Lamure, Dominique Michelucci |
Solving Geometric Constraints By Homotopy. |
IEEE Trans. Vis. Comput. Graph. |
1996 |
DBLP DOI BibTeX RDF |
numerical resolution, constaints-based modeling, Geometric constraints, homotopy, continuation methods |
17 | Steven Gold, Anand Rangarajan 0001 |
A Graduated Assignment Algorithm for Graph Matching. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
Graduated assignment, graph matching, weighted graphs, relaxation labeling, attributed relational graphs, model matching, continuation method, softassign |
17 | Paul Tarau, Ulrich Neumerkel |
A Novel Term Compression Scheme and Data Representation in the BinWAM. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM |
17 | Robert D. Tennent |
Mathematical Semantics of Snobol 4. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
SNOBOL4, mathematical semantics, store, pattern matching, continuation, environment, abstract syntax |
15 | Tiezhu Wang, Shanshan Wang, Shicong Ma, Jianbo Guo, Xiaoxin Zhou |
An Extended Continuation Power Flow Method for Static Voltage Stability Assessment of Renewable Power Generation-Penetrated Power Systems. |
IEEE Trans. Circuits Syst. II Express Briefs |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Thanh T. Banh, Qui X. Lieu, Joowon Kang, Youngkyu Ju, Soomi Shin, Dongkyu Lee |
A novel robust stress-based multimaterial topology optimization model for structural stability framework using refined adaptive continuation method. |
Eng. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Peerasait Prachaseree, Saeed Mohammadzadeh, Berkin Dortdivanlioglu, Emma Lejeune |
FEniCS-arclength: A numerical continuation package in FEniCS for nonlinear problems in solid mechanics. |
J. Open Source Softw. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | André Von-Held Soares, Housam Binous, Fernando Cunha Peixoto, Ahmed Bellagi |
Solving boundary value problems in heterogeneous catalysis with orthogonal collocation and arc-length continuation. |
Comput. Appl. Eng. Educ. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Erik Burman, Mingfei Lu, Lauri Oksanen |
Solving the unique continuation problem for Schrödinger equations with low regularity solutions using a stabilized finite element method. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1579 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|