Detecting linear trend changes in data sequences. (English) Zbl 07887496
MSC:
62-XX
Found 215 Documents (Results 1–100)
How do productivity gradient and diffusion shape patterns in a plant-herbivore grazing system? (English) Zbl 1543.92073
Parameter estimation for models of chemical reaction networks from experimental data of reaction rates. (English) Zbl 1518.92062
A diffusion + wavelet-window method for recovery of super-resolution point-masses with application to single-molecule microscopy and beyond. (English) Zbl 07639165
Appl. Comput. Harmon. Anal. 63, 1-19 (2023); corrigendum ibid. 67, Article ID 101573, 2 p. (2023).
Dynamics of macroscopic diffusion across meta-populations with top-down and bottom-up approaches: a review. (English) Zbl 1501.91136
MSC:
91D30
Super-resolution wavelets for recovery of arbitrarily close point-masses with arbitrarily small coefficients. (English) Zbl 1518.42049
Appl. Comput. Harmon. Anal. 61, 202-253 (2022); corrigendum ibid. 67, Article ID 101573, 2 p. (2023).
Reviewer: Bin Han (Edmonton)
Affine decision rule approximation to address demand response uncertainty in smart grids’ capacity planning. (English) Zbl 1507.91133
Dynamics of stoichiometric autotroph-mixotroph-bacteria interactions in the epilimnion. (English) Zbl 1478.92255
Bottom-up derivatives of tree expressions. (English) Zbl 1508.68183
MSC:
68Q45
Predator avoidance and foraging for food shape synchrony and response to perturbations in trophic metacommunities. (English) Zbl 1470.92386
Weak predation strength promotes stable coexistence of predators and prey in the same chain and across chains. (English) Zbl 1457.92150
Forecasting multiple functional time series in a group structure: an application to mortality. (English) Zbl 1447.91148
Input strictly local tree transducers. (English) Zbl 1448.68267
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 369-381 (2020).
Reviewer: Andreas Maletti (Leipzig)
MSC:
68Q45
Introduction to logic programming. (English) Zbl 1451.68003
Synthesis Lectures on Artificial Intelligence and Machine Learning 44. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-724-9/hbk; 978-1-68173-722-5/pbk; 978-1-68173-723-2/ebook). xx, 199 p. (2020).
Reviewer: Éric Martin (Sydney)
A bottom-up packing approach for modeling the constrained two-dimensional guillotine placement problem. (English) Zbl 1458.90553
Descriptive topological spaces for performing visual search. (English) Zbl 1504.68241
Peters, James F. (ed.) et al., Transactions on Rough Sets XXI. Berlin: Springer. Lect. Notes Comput. Sci. 10810, 48-67 (2019).
Estimates of the deconfinement temperature in AdS/QCD. (English. Russian original) Zbl 1436.81113
Theor. Math. Phys. 200, No. 3, 1383-1400 (2019); translation from Teor. Mat. Fiz. 200, No. 3, 532-552 (2019).
Tail-greedy bottom-up data decompositions and fast multiple change-point detection. (English) Zbl 1454.62109
Parallel concept computing based on bottom-up decomposition of attribute topology. (Chinese. English summary) Zbl 1399.68244
MSC:
68T30
Bottom-up modeling of domestic appliances with Markov chains and semi-Markov processes. (English) Zbl 1449.60120
Bottom-up quotients for tree languages. (English) Zbl 1393.68090
Reviewer: Magnus Steinby (Turku)
MSC:
68Q45
Detecting decidable classes of finitely ground logic programs with function symbols. (English) Zbl 1407.68078
MSC:
68N17
Grouped multivariate and functional time series forecasting: an application to annuity pricing. (English) Zbl 1394.62146
Geometric vulnerability of democratic institutions against lobbying: a sociophysics approach. (English) Zbl 1355.91043
Symbolic lookaheads for bottom-up parsing. (English) Zbl 1398.68280
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 79, 13 p. (2016).
Using linear constraints for logic program termination analysis. (English) Zbl 1379.68050
MSC:
68N17
Could wind and PV energies achieve the grid parity in China until 2020? (English) Zbl 1474.62418
MSC:
62P20
Parallel bottom-up evaluation of logic programs: \(\mathcal{D}e\mathcal{ALS}\) on shared-memory multicore machines. (English) Zbl 1407.68136
De Vos, Marina (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. Aachen: RWTH Aachen. CEUR Workshop Proc. 1433, 12 p. (2015).
Checking termination of bottom-up evaluation of logic programs with function symbols. (English) Zbl 1379.68051
MSC:
68N17
Polynomial-time optimal pretty-printing combinators with choice. (English) Zbl 1434.68221
Voronkov, Andrei (ed.) et al., Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8974, 257-265 (2015).
MSC:
68Q42
Bottom-up learning of hierarchical models in a class of deterministic pomdp environments. (English) Zbl 1322.90109
Effect of parity on productivity and sustainability of Lotka-Volterra food chains. (English) Zbl 1310.92047
Reviewer: Mohamed O. El-Doma (Khartoum)
Complexity of extended vs. classic LR parsers. (English) Zbl 1417.68073
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8614, 77-89 (2014).
Shift-reduce parsers for transition networks. (English) Zbl 1407.68238
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 222-235 (2014).
MSC:
68Q42
Comparing weighting systems in the measurement of subjective well-being. (English) Zbl 1453.91075
MSC:
91B82
An abstract, reusable, and extensible programming language design architecture. (English) Zbl 1397.68023
Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
Hyper-minimization for deterministic tree automata. (English) Zbl 1295.68145
Reviewer: Magnus Steinby (Turku)
Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments. (English) Zbl 1286.68045
MSC:
68N17
The drastic outcomes from voting alliances in three-party democratic voting (1990 \(\rightarrow\) 2013). (English) Zbl 1309.91047
Eliminating stack symbols in push-down automata and linear indexed grammars. (English) Zbl 1377.68117
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 444-455 (2013).
Determinacy and subsumption for single-valued bottom-up tree transducers. (English) Zbl 1302.68164
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 335-346 (2013).
Reviewer: Andreas Maletti (Stuttgart)
On the termination of logic programs with function symbols. (English) Zbl 1281.68065
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 323-333, electronic only (2012).
Minimum-weight perfect matching for nonintrinsic distances on the line. (English. Russian original) Zbl 1254.05154
J. Math. Sci., New York 181, No. 6, 782-791 (2012); translation from Zap. Nauchn. Semin. POMI 390, 52-68 (2011).
MSC:
05C70
A dual-chain approach for bottom-up construction of wavelet filters with any integer dilation. (English) Zbl 1245.42027
MSC:
42C40
Lessons from nanoelectronics. A new perspective on transport. (English) Zbl 1252.78001
Lessons from Nanoscience. A Lecture Note Series 1. Hackensack, NJ: World Scientific (ISBN 978-981-4335-28-7/hbk; 978-981-4335-29-4/pbk). xvii, 473 p. (2012).
Reviewer: Boris A. Malomed (Tel Aviv)
Function symbols in ASP: overview and perspectives. (English) Zbl 1259.68183
Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 1-24 (2011).
Declarative output by ordering text pieces. (English) Zbl 1245.68077
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 151-161, electronic only (2011).
Earliest normal form and minimization for bottom-up tree transducers. (English) Zbl 1252.68170
MSC:
68Q45
A numerical study of the bottom-up and top-down inference processes in and-or graphs. (English) Zbl 1235.68317
Context, computation, and optimal ROC performance in hierarchical models. (English) Zbl 1235.68251
MSC:
68T45
Bottom-up automata on data trees and vertical XPath. (English) Zbl 1230.68128
Schwentick, Thomas (ed.) et al., STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-25-5). LIPIcs – Leibniz International Proceedings in Informatics 9, 93-104, electronic only (2011).
Type inference in \(G\flat\). (English) Zbl 1233.68123
Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 197-210 (2011).
Grammar semantics, analysis and parsing by abstract interpretation. (English) Zbl 1248.68316
Reviewer: Anna Labella (Roma)
Variable tree automata over infinite ranked alphabets. (English) Zbl 1339.68152
Winkler, Franz (ed.), Algebraic informatics. 4th international conference, CAI 2011, Linz, Austria, June 21–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21492-9/pbk). Lecture Notes in Computer Science 6742, 247-260 (2011).
MSC:
68Q45
A new security proof of practical cryptographic devices based on hardware, software and protocols. (English) Zbl 1305.94081
Bao, Feng (ed.) et al., Information security practice and experience. 7th international conference, ISPEC 2011, Guangzhou, China, May 30 – June 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21030-3/pbk). Lecture Notes in Computer Science 6672, 386-400 (2011).
Foundations of XML processing. The tree-automata approach. (English) Zbl 1235.68004
Cambridge: Cambridge University Press (ISBN 978-0-521-19613-0/hbk; 978-0-511-90402-8/ebook). xi, 226 p. (2011).
Reviewer: Jaroslav Pokorný (Praha)
Ground term rewriting. (English) Zbl 1257.68094
Implementation alternatives for bottom-up evaluation. (English) Zbl 1237.68041
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 44-53, electronic only (2010).
Intelligence in electricity networks for embedding renewables and distributed generation. (English) Zbl 1216.93007
Negenborn, Rudy R. (ed.) et al., Intelligent infrastructures. Dordrecht: Springer (ISBN 978-90-481-3597-4/hbk; 978-90-481-3598-1/ebook). Intelligent Systems, Control and Automation: Science and Engineering 42, 179-209 (2010).
Loss of vision: how mathematics turned blind while it learned to see more clearly. (English) Zbl 1213.03007
Löwe, Benedikt (ed.) et al., PhiMSAMP. Philosophy of Mathematics: Sociological aspects and mathematical practice. Including selected papers of the 3rd PhiMSAMP conference ‘Is mathematics special?’, Vienna, Austria, 2008. London: College Publications (ISBN 978-1-904987-95-6/pbk). Texts in Philosophy 11, 39-58 (2010).
Minimization of deterministic bottom-up tree transducers. (English) Zbl 1250.68155
Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 185-196 (2010).
MSC:
68Q45
A bottom-up method and fast algorithms for Max Independent Set. (English) Zbl 1285.68060
Kaplan, Haim (ed.), Algorithm theory – SWAT 2010. 12th Scandinavian symposium and workshops on algorithm theory, Bergen, Norway, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13730-3/pbk). Lecture Notes in Computer Science 6139, 62-73 (2010).
Top-down approaches for integrated risk management: how accurate are they? (English) Zbl 1177.91081
MSC:
91B30
91B82
Multiscale intensity models and name grouping for valuation of multi-name credit derivatives. (English) Zbl 1178.91066
Reviewer: Antonis Papapantoleon (Delft)
Integrated assessment of energy policies: decomposing top-down and bottom-up. (English) Zbl 1195.90087
Importance sampling for integrated market and credit portfolio models. (English) Zbl 1158.91378
MSC:
91B28
91B30
An improved model of producing saliency map for visual attention system. (English) Zbl 1166.92303
Huang, De-Shuang (ed.) et al., Advanced intelligent computing theories and applications. With aspects of contemporary intelligent computing techniques. 4th international conference on intelligent computing, ICIC 2008 Shanghai, China, September 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85929-1/pbk). Communications in Computer and Information Science 15, 423-431 (2008).
Numerical modelling of operational risks for the banking industry. (English) Zbl 1178.91074
Costantino, M. (ed.) et al., Computational finance and its applications III (Computional Finance 2008), Cádiz, Spain, May 27–29, 2008. Southampton: WIT Press (ISBN 978-1-84564-111-5/hbk). WIT Transactions on Information and communication Technologies 41, 207-216 (2008).
MSC:
91B30
62P05
Forecasting aggregate time series with intermittent subaggregate components: top-down versus bottom-up forecasting. (English) Zbl 1144.91362
MSC:
91B84
Linear logical algorithms. (English) Zbl 1155.68349
Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 336-347 (2008).
Forecasting item-level demands: an analytical evaluation of top-down versus bottom-up forecasting in a production-planning framework. (English) Zbl 1144.90373
MSC:
90B30
Bio-inspired mechanics of bottom-up designed hierarchical materials: robust and releasable adhesion systems of gecko. (English) Zbl 1203.74111
Amoeba-based nonequilibrium neurocomputer utilizing fluctuations and instability. (English) Zbl 1175.68155
Akl, Selim G. (ed.) et al., Unconventional computation. 6th international conference, UC 2007, Kingston, Canada, August 13–17, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73553-3/pbk). Lecture Notes in Computer Science 4618, 41-54 (2007).
On the effectiveness of top-down strategy for forecasting autoregressive demands. (English) Zbl 1126.62088
Incremental learning of context free grammars by bridging rule generation and search for semi-optimum rule sets. (English) Zbl 1158.68413
Sakakibara, Yasubumi (ed.) et al., Grammatical inference: Algorithms and applications. 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45264-5/pbk). Lecture Notes in Computer Science 4201. Lecture Notes in Artificial Intelligence, 72-83 (2006).
Mechanics of robust and releasable adhesion in biology: bottom-up designed hierarchical structures of gecko. (English) Zbl 1120.74636
Decidability of the shape preserving property of bottom-up tree transducers. (English) Zbl 1093.68050
MSC:
68Q45
Filter Results by …
Document Type
- Journal Articles (147)
- Collection Articles (46)
- Books (22)
all
top 5
Author
- Greco, Sergio (5)
- Trubitsyna, Irina (5)
- Fülöp, Zoltán (4)
- Vágvölgyi, Sándor (4)
- Calautti, Marco (3)
- Chui, Charles Kam-tai (3)
- Mignot, Ludovic (3)
- Piplani, Rajesh (3)
- Seidl, Helmut (3)
- Shang, Han Lin (3)
- Widiarta, Handik (3)
- Ziadi, Djelloul (3)
- Attou, Samira (2)
- Baker, Brenda S. (2)
- Bourgeois, Nicolas (2)
- Bozzano, Marco (2)
- Brass, Stefan (2)
- Breveglieri, Luca (2)
- Chen, Yangjun (2)
- Codish, Michael (2)
- Cousot, Patrick (2)
- Cousot, Radhia (2)
- Crespi Reghizzi, Stefano (2)
- De Schreye, Danny (2)
- Delzanno, Giorgio (2)
- Escoffier, Bruno (2)
- Fernández-Camacho, María-Inés (2)
- Friese, Sylvia (2)
- Fryzlewicz, Piotr (2)
- Fuchs, Dirk (2)
- Fuchs, Marc (2)
- Galam, Serge (2)
- Gao, Huajian (2)
- Giacobazzi, Roberto (2)
- Grundke, Peter (2)
- Haberman, Steven (2)
- Klaschka, Jan (2)
- Loreau, Michel (2)
- Maneth, Sebastian (2)
- Martens, Bern (2)
- Mayer, Otto (2)
- Molinaro, Cristian (2)
- Morzenti, Angelo (2)
- Nakamura, Katsuhiko (2)
- Noltemeier, Hartmut (2)
- Okhotin, Alexander (2)
- Paschos, Vangelis Th. (2)
- Reichardt, Johannes (2)
- Salomaa, Kai T. (2)
- Savický, Petr (2)
- Spezzano, Francesca (2)
- Takanami, Itsuo (2)
- van Rooij, Johan M. M. (2)
- Vanhoof, Wim (2)
- Vogler, Heiko (2)
- Yao, Haimin (2)
- Afonin, S. S. (1)
- Ahmed, Roman A. (1)
- Aït-Kaci, Hassan (1)
- Aliakbari Sani, Sajad (1)
- Alviano, Mario (1)
- Angelini, Giovanni (1)
- Antoch, Jaromír (1)
- Aono, Masashi (1)
- Arias, Marta (1)
- Athanasopoulos, George (1)
- Bahn, Olivier (1)
- Bai, Donghui (1)
- Bairagi, Nandadulal (1)
- Balbin, Isaac (1)
- Ballantyne, Ford IV (1)
- Barfield, Michael (1)
- Beck, Thomas L. (1)
- Becker, Ronald I. (1)
- Bernini, Cristina (1)
- Bibel, Wolfgang (1)
- Böhringer, Christoph (1)
- Borchardt, Björn (1)
- Borenstein, Eran (1)
- Borsotti, Angelo (1)
- Boulytchev, Dmitri (1)
- Buldt, Bernd (1)
- Cai, Jiazhen (1)
- Calderbank, Arthur Robert (1)
- Calimeri, Francesco (1)
- Casas, Rafael (1)
- Cash, Sydney S. (1)
- Celentano, Augusto (1)
- Chakraborty, Banani (1)
- Champarnaud, Jean-Marc (1)
- Chang, Lo-Bin (1)
- Chang, Ting Fa Margherita (1)
- Chaudhri, Vinay K. (1)
- Chen, Junghuei (1)
- Cheng, Erkang (1)
- Chomicki, Jan (1)
- Cody, William J. jun. (1)
- Coffman, Edward Grady jun. (1)
- Cohen, Jacques (1)
- Constantinou, Pamela E. (1)
- and 276 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (10)
- J. Log. Program. (6)
- Int. J. Found. Comput. Sci. (6)
- Inf. Process. Lett. (5)
- Theory Pract. Log. Program. (5)
- Eur. J. Oper. Res. (4)
- J. Theor. Biol. (4)
- Acta Inf. (3)
- Acta Cybern. (3)
- Inf. Sci. (3)
- Appl. Comput. Harmon. Anal. (3)
- IEEE Trans. Reliab. (2)
- Inf. Control (2)
- J. Assoc. Comput. Mach. (2)
- J. Comput. Syst. Sci. (2)
- Math. Syst. Theory (2)
- J. Comput. Sci. Technol. (2)
- Inf. Comput. (2)
- J. Autom. Reasoning (2)
- Int. J. Intell. Syst. (2)
- Int. J. Comput. Math. (2)
- Int. J. Comput. Vis. (2)
- J. Autom. Lang. Comb. (2)
- IMA J. Manag. Math. (2)
- Adv. Appl. Probab. (1)
- Comput. Struct. (1)
- Int. J. Control (1)
- Int. J. Man-Mach. Stud. (1)
- J. Math. Biol. (1)
- J. Mech. Phys. Solids (1)
- J. Stat. Phys. (1)
- Theor. Math. Phys. (1)
- Bull. Math. Biol. (1)
- Bull. Pol. Acad. Sci., Tech. Sci. (1)
- Ann. Stat. (1)
- Automatica (1)
- Comput. Lang. (1)
- Control Cybern. (1)
- Fibonacci Q. (1)
- Fuzzy Sets Syst. (1)
- J. Comput. Appl. Math. (1)
- J. Oper. Res. Soc. (1)
- Kibern. Sb., Nov. Ser. (1)
- Kybernetika (1)
- Manage. Sci. (1)
- Mat. Issled. (1)
- Nav. Res. Logist. (1)
- Networks (1)
- Oper. Res. (1)
- Statistica (1)
- Theor. Popul. Biol. (1)
- Insur. Math. Econ. (1)
- SIAM J. Algebraic Discrete Methods (1)
- Oper. Res. Lett. (1)
- J. Symb. Comput. (1)
- New Generation Comput. (1)
- Algorithmica (1)
- Comput. Oper. Res. (1)
- J. Econ. Dyn. Control (1)
- Neural Netw. (1)
- Data Knowl. Eng. (1)
- Ann. Oper. Res. (1)
- Math. Models Methods Appl. Sci. (1)
- Alkalmazott Mat. Lapok (1)
- Ann. Phys. (1)
- IEEE Trans. Softw. Eng. (1)
- IEEE Trans. Pattern Anal. Mach. Intell. (1)
- Comput. Stat. Data Anal. (1)
- SUT J. Math. (1)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (1)
- Stat. Pap. (1)
- J. Math. Sci., New York (1)
- Filomat (1)
- J. Artif. Intell. Res. (JAIR) (1)
- Appl. Math. Finance (1)
- J. IGPL (1)
- Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (1)
- Data Min. Knowl. Discov. (1)
- Ital. J. Pure Appl. Math. (1)
- Grammars (1)
- Int. J. Appl. Math. Comput. Sci. (1)
- J. Funct. Log. Program. (1)
- Biostatistics (1)
- J. Mach. Learn. Res. (1)
- EURASIP J. Appl. Signal Process. (1)
- ASTIN Bull. (1)
- J. Softw. (1)
- ACM Trans. Comput. Log. (1)
- Math. Biosci. Eng. (1)
- Kluwer Int. Ser. Eng. Comput. Sci. (1)
- Reihe Inf. (1)
- Ann. Univ. Turku, Ser. A I (1)
- Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. (1)
- RAIRO, Theor. Inform. Appl. (1)
- Synth. Lect. Artif. Intell. Mach. Learn. (1)
- Lessons Nanosci., Lect. Note Ser. (1)
- DISKI (1)
- McGraw-Hill Comput. Sci. Ser. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (2)
- 2022 (5)
- 2021 (2)
- 2020 (6)
- 2019 (2)
- 2018 (2)
- 2017 (7)
- 2016 (3)
- 2015 (7)
- 2014 (4)
- 2013 (8)
- 2012 (5)
- 2011 (13)
- 2010 (7)
- 2009 (6)
- 2008 (6)
- 2007 (5)
- 2006 (6)
- 2005 (4)
- 2004 (4)
- 2003 (2)
- 2002 (5)
- 2001 (1)
- 2000 (5)
- 1999 (3)
- 1998 (3)
- 1997 (7)
- 1996 (3)
- 1995 (2)
- 1994 (7)
- 1993 (4)
- 1992 (8)
- 1991 (3)
- 1990 (2)
- 1989 (2)
- 1988 (7)
- 1987 (5)
- 1986 (4)
- 1985 (4)
- 1984 (1)
- 1983 (3)
- 1982 (8)
- 1981 (6)
- 1980 (2)
- 1979 (11)
- 1978 (1)
all
top 3
Software
- Datalog (4)
- Forecast (3)
- R (3)
- YACC (3)
- forecast (3)
- ALGOL 60 (2)
- Gringo (2)
- SETHEO (2)
- TPTP (2)
- XSB (2)
- breakfast (2)
- 2DCPackGen (1)
- AS 136 (1)
- Ada95 (1)
- AlexNet (1)
- B-Prolog (1)
- Blossom IV (1)
- C4.5 (1)
- CCUBE (1)
- CDuce (1)
- CHIP (1)
- CRAIG (1)
- CRAN (1)
- Casper (1)
- Ciao (1)
- CreditRisk+ (1)
- DCTP (1)
- DWAM (1)
- ECCE (1)
- Epilog (1)
- EpilogJS (1)
- Euler (1)
- FDRSeg (1)
- GAMS (1)
- GREEND (1)
- GitHub (1)
- ImageNet (1)
- JavaScript (1)
- LANGAGE (1)
- LSQR (1)
- Matlab (1)
- Mosek (1)
- NP Datalog (1)
- NRL (1)
- OPL (1)
- OPTRAN (1)
- OTTER (1)
- PARLOG (1)
- PATH Solver (1)
- PTTP (1)
- Pascal-SC (1)
- PhysioToolkit (1)
- Psychophysics Toolbox (1)
- REDD (1)
- Rainbow (1)
- SATCHMO (1)
- SATCHMOREBID (1)
- SHAH (1)
- SIMPLIcity (1)
- SPASS (1)
- Smodels (1)
- SparseM (1)
- StFinMetrics (1)
- TAPS (1)
- Terminyzer (1)
- Turbo Pascal (1)
- XDuce (1)
- XPath (1)
- XQuery (1)
- YAP-Prolog (1)
- anomaly (1)
- basta (1)
- biXid (1)
- changepoint (1)
- clasp (1)
- cpop (1)
- darch (1)
- expsmooth (1)
- gbvs (1)
- iSAX (1)
- shiny (1)
- trendsegmentR (1)
- unbalhaar (1)
- wbs (1)
