Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
143 | Paul Watson 0001, Savas Parastatidis |
The NIP Parallel Object-Oriented Computational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANPC ![In: Network-Based Parallel Computing: Communication, Architecture, and Applications, Third International Workshop, CANPC '99, Orlando, Forida, USA, January 9, 1999, Proceedings, pp. 122-136, 1999, Springer, 3-540-65915-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
94 | Mitsuo Gen, Kenichi Ida, Chang-Yun Lee |
Hybridized Neural Network and Genetic Algorithms for Solving Nonlinear Integer Programming Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 421-429, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
94 | Mitsuo Gen, Kenichi Ida, R. Kobuchi, Chang-Yun Lee |
Hybridized neural network and genetic algorithms for solving nonlinear integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part II, pp. 272-277, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
78 | Artem Chernikov |
Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya'acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563-596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 (2011), no. 4, pp. 1005-1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 (2013), no. 5, pp. 2341-2366. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 24(3), pp. 336-339, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Magdalena Ivanovska, Audun Jøsang |
Predictive Reasoning in Subjective Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIP ![In: 29th Norsk Informatikkonferanse, NIK 2016, Høgskolen i Bergen, Bergen, Norway, November 28-30, 2016, 2016, Bibsys Open Journal Systems, Norway. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
47 | Burkhard Monien |
Bounding the Bandwidth of NP-Complete Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980, pp. 279-292, 1980, Springer, 3-540-10291-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
37 | Neil G. Scott, Martha E. Crosby |
Intent Driven Interfaces to Ubiquitous Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (16) ![In: Foundations of Augmented Cognition, Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 241-250, 2007, Springer, 978-3-540-73215-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
iTASK Module, NIP, ubiquitous, intent, IDEAL, USB |
34 | Kameng Nip, Zhenbo Wang |
A complexity analysis and algorithms for two-machine shop scheduling problems under linear constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 26(6), pp. 543-558, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip |
On the NP-Hardness of Two Scheduling Problems Under Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJTCS-FAW ![In: Frontiers of Algorithmics - 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023, Proceedings, pp. 58-70, 2023, Springer, 978-3-031-39343-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Vladimir Nikolic, Amirhossein Afshinfard, Justin Chu, Johnathan Wong, Lauren Coombe, Ka Ming Nip, René L. Warren, Inanç Birol |
RResolver: efficient short-read repeat resolution within ABySS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 23(1), pp. 246, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Tianning Shi, Zhenbo Wang |
Some graph optimization problems with weights satisfying linear constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 43(1), pp. 200-225, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Siyun Zhang, Kameng Nip, Zhenbo Wang |
Related machine scheduling with machine speeds satisfying linear constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 44(3), pp. 1724-1740, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Zeyang Wu, Kameng Nip, Qie He |
A New Combinatorial Algorithm for Separable Convex Resource Allocation with Nested Bound Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 33(3), pp. 1197-1212, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Readman Chiu, Ka Ming Nip, Inanç Birol |
Fusion-Bloom: fusion detection in assembled transcriptomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(7), pp. 2256-2257, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang |
On the approximability of the two-phase knapsack problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 38(4), pp. 1155-1179, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang |
Two-Machine Flow Shop Scheduling Problem Under Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications - 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings, pp. 400-411, 2019, Springer, 978-3-030-36411-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Tianning Shi |
Some Graph Optimization Problems with Weights Satisfying Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications - 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings, pp. 412-424, 2019, Springer, 978-3-030-36411-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Terence Nip, Elsa L. Gunter, Geoffrey L. Herman, Jason W. Morphew, Matthew West 0001 |
Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018, Baltimore, MD, USA, February 21-24, 2018, pp. 568-573, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Siyun Zhang, Kameng Nip, Zhenbo Wang |
Related Machine Scheduling with Machine Speeds Satisfying Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications - 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings, pp. 314-328, 2018, Springer, 978-3-030-04650-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang |
Approximation Algorithms for a Two-Phase Knapsack Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings, pp. 63-75, 2018, Springer, 978-3-319-94775-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Zizhuo Wang 0001 |
Knapsack with variable weights satisfying linear constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 69(3), pp. 713-725, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Zizhuo Wang 0001 |
Assortment Optimization under a Single Transition Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.03700, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Zhenbo Wang, Kameng Nip |
Bin packing under linear constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 34(4), pp. 1198-1209, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Wenxun Xing |
A study on several combination problems of classic shop scheduling and shortest path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 654, pp. 175-187, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Zizhuo Wang 0001 |
Scheduling under linear constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 253(2), pp. 290-297, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Zizhuo Wang 0001 |
Scheduling under Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.08551, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Fabrice Talla Nobibon, Roel Leus, Kameng Nip, Zhenbo Wang |
Resource loading with time windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 244(2), pp. 404-416, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Fabrice Talla Nobibon, Roel Leus |
A combination of flow shop scheduling and the shortest path problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 29(1), pp. 36-52, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Inanç Birol, Anthony Raymond, Readman Chiu, Ka Ming Nip, Shaun D. Jackman, Maayan Kreitzman, T. Roderick Docking, Catherine A. Ennis, A. Gordon Robertson, Aly Karsan |
KLEAT: Cleavage Site Analysis of Transcriptomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2015: Proceedings of the Pacific Symposium, Kohala Coast, Hawaii, USA, January 4-8, 2015, pp. 347-358, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Siddharth Biswal, Zarina Nip, Valdery Moura Junior, Matt T. Bianchi, Eric S. Rosenthal, M. Brandon Westover |
Automated information extraction from free-text EEG reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, pp. 6804-6807, 2015, IEEE, 978-1-4244-9271-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Wenxun Xing |
Combinations of Some Shop Scheduling Problems and the Shortest Path Problem: Complexity and Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings, pp. 97-108, 2015, Springer, 978-3-319-21397-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Justin Chu, Sara Sadeghi, Anthony Raymond, Shaun D. Jackman, Ka Ming Nip, Richard Mar, Hamid Mohamadi, Yaron S. N. Butterfield, A. Gordon Robertson, Inanç Birol |
BioBloom tools: fast, accurate and memory-efficient host species sequence screening using bloom filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 30(23), pp. 3402-3404, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Vladimir A. Kazeev, Mustafa Khammash, Michael Nip, Christoph Schwab |
Direct Solution of the Chemical Master Equation Using Quantized Tensor Trains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 10(3), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Wenxun Xing |
Combinations of Some Shop Scheduling Problems and the Shortest Path Problem: Complexity and Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.0082, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang, Fabrice Talla Nobibon, Roel Leus |
A Combination of Flow Shop Scheduling and the Shortest Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.0081, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
34 | Michael Nip, João Pedro Hespanha, Mustafa Khammash |
Direct numerical solution of algebraic Lyapunov equations for large-scale systems using Quantized Tensor Trains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, pp. 1950-1957, 2013, IEEE, 978-1-4673-5714-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Kameng Nip, Zhenbo Wang |
Combination of Two-Machine Flow Shop Scheduling and Shortest Path Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings, pp. 680-687, 2013, Springer, 978-3-642-38767-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Michael Nip, João P. Hespanha 0001, Mustafa Khammash |
A spectral methods-based solution of the Chemical Master Equation for gene regulatory networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA, pp. 5354-5360, 2012, IEEE, 978-1-4673-2065-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Azmina Karimi, Beth Liang, Andrew Nip, Saba Nowroozi, Celeste Pang |
Time-Me: helping children understand time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: The 11th International Conference on Interaction Design and Children, IDC '12, Bremen, UNK, Germany, June 12 - 15, 2012, pp. 268-271, 2012, ACM, 978-1-4503-1007-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Jack A. Tuszynski, J. A. Brown, E. Crawford, E. J. Carpenter, M. L. A. Nip, J. M. Dixon, Miljko V. Sataric |
Molecular dynamics simulations of tubulin structure and calculations of electrostatic properties of microtubules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 41(10), pp. 1055-1070, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | David W. Robertson, William E. Johnston, Wing Nip |
Virtual Frog Dissection: Interactive 3D Graphics via the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 28(1&2), pp. 155-160, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Jane Hsieh, Joselyn Kim, Laura Dabbish, Haiyi Zhu |
"Nip it in the Bud": Moderation Strategies in Open Source Software Projects and the Role of Bots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 7(CSCW2), pp. 1-29, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jane Hsieh, Joselyn Kim, Laura Dabbish, Haiyi Zhu |
Nip it in the Bud: Moderation Strategies in Open Source Software Projects and the Role of Bots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07427, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis, Aris Papadopoulos |
Monadic NIP in monotone classes of relational structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.05695, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ningyuan Yao, Zhentao Zhang |
On minimal flows and definable amenability in some distal NIP theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(7), pp. 103274, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk |
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, pp. 125:1-125:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-278-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis, Aris Papadopoulos |
Monadic NIP in Monotone Classes of Relational Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, pp. 119:1-119:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-278-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ruo Li, Wei Zhong |
Improvement of the WENO-NIP Scheme for Hyperbolic Conservation Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(5), pp. 190, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk |
Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.13765, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Gabriel Conant, Kyle Gannon |
Associativity of the Morley Product of Invariant Measures in NIP Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 86(3), pp. 1293-1300, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy |
Strongly NIP almost real closed fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 67(3), pp. 321-328, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Shlomo Eshel, Itay Kaplan |
On uniform definability of types over finite sets for NIP formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 21(3), pp. 2150015:1-2150015:13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | |
NIP: Neuron-level Inverse Perturbation Against Adversarial Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.13060, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Grzegorz Jagiella |
Topological dynamics and NIP fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(9), pp. 103010, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Pedro Andrés Estevan, Itay Kaplan |
Non-forking and preservation of NIP and dp-rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(6), pp. 102946, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Manish Chandra, Debasis Ganguly, Pabitra Mitra, Bithika Pal, James Thomas 0001 |
NIP-GCN: An Augmented Graph Convolutional Network with Node Interaction Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, Canada, July 11-15, 2021, pp. 2242-2246, 2021, ACM, 978-1-4503-8037-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Karim Khanaki |
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 66(2), pp. 136-149, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Yatir Halevi, Assaf Hasson, Franziska Jahnke |
Definable V-topologies, Henselianity and NIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 20(2), pp. 2050008:1-2050008:33, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Franziska Jahnke, Pierre Simon |
NIP henselian valued fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 59(1-2), pp. 167-178, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Kyle Gannon |
Local Keisler Measures and NIP Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 84(3), pp. 1279-1292, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Katharina Dupont, Assaf Hasson, Salma Kuhlmann |
Definable valuations induced by multiplicative subgroups and NIP fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 58(7-8), pp. 819-839, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Mike Haskel, Anand Pillay |
On Maximal stable Quotients of Definable Groups in NIP Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(1), pp. 117-122, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Karim Khanaki, Anand Pillay |
Remarks on the NIP in a model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 64(6), pp. 429-434, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Elliot J. Crowley, Jack Turner, Amos J. Storkey, Michael F. P. O'Boyle |
Pruning neural networks: is it time to nip it in the bud? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.04622, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Alireza Mofidi |
On some dynamical aspects of NIP theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 57(1-2), pp. 37-71, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Silvain Rideau, Pierre Simon |
Definable and Invariant Types in Enrichments of NIP Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 82(1), pp. 317-324, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Allen Gehret |
Nip for the asymptotic couple of the field of Logarithmic Transseries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 82(1), pp. 35-61, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Itay Kaplan, Saharon Shelah, Pierre Simon |
Exact saturation in simple and NIP theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 17(1), pp. 1750001:1-1750001:18, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Boris Teabe, Vlad Nitu, Alain Tchana, Daniel Hagimont |
The lock holder and the lock waiter pre-emption problems: nip them in the bud using informed spinlocks (I-Spinlock). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia, April 23-26, 2017, pp. 286-297, 2017, ACM, 978-1-4503-4938-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Pierre Simon |
Invariant types in NIP theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 15(2), pp. 1550006:1-1550006:26, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Neel Kanth, A. K. Ray, Riti |
Mathematical model to investigate the effect of design and process parameters on nip width of supercalender. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 5(4), pp. 1450020, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Artem Chernikov, Anand Pillay, Pierre Simon |
External definability and groups in NIP theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 90(1), pp. 213-240, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Raquel Martínez 0002, José Manuel Cadenas, M. Carmen Garrido |
The experimenter environment of the NIP imperfection processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2014, Beijing, China, July 6-11, 2014, pp. 2141-2148, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Anand Pillay |
Weight and Measure in NIP Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 54(3-4), pp. 567-578, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Pierre Simon |
Distal and non-distal NIP theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 164(3), pp. 294-318, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | José Manuel Cadenas, M. Carmen Garrido, Raquel Martínez 0002 |
NIP - An Imperfection Processor to Data Mining datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 6(sup1), pp. 3-17, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Raquel Martínez 0002, José Manuel Cadenas, M. Carmen Garrido, Alejandro Martínez |
Imputing missing values from low quality data by NIP tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2013, IEEE International Conference on Fuzzy Systems, Hyderabad, India, 7-10 July, 2013, Proceedings., pp. 1-8, 2013, IEEE, 978-1-4799-0020-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Lynn Scow |
Characterization of NIP theories by ordered graph-indiscernibles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(11), pp. 1624-1641, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Lutz Meinshausen, Hélène Frémont, Kirsten Weide-Zaage |
Migration induced IMC formation in SAC305 solder joints on Cu, NiAu and NiP metal layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 52(9-10), pp. 1827-1832, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Anand Pillay |
Stable embeddedness and NIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 76(2), pp. 665-672, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Boxall |
NIP for some pair-like theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 50(3-4), pp. 353-359, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | M. Zubair Rafique, Muhammad Abulaish |
xMiner: Nip the Zero Day Exploits in the Bud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, NCA 2011, August 25-27, 2011, Cambridge, Massachusetts, USA, pp. 99-106, 2011, IEEE Computer Society, 978-1-4577-1052-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Krzysztof Krupinski |
Fields interpretable in superrosy groups with NIP (the non-solvable case). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 75(1), pp. 372-386, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Kamran Manzoor, Atique Ahmed, Sohail Ahmad, Umar Manzoor, Samia Nefti |
V-NIP Ceaser: Video Stabilization System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Knowledge Management, Information Systems, E-Learning, and Sustainability Research - Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part I, pp. 350-356, 2010, Springer, 978-3-642-16317-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Lee R. Gibson, Robert C. Powers |
The NIP graph of a social welfare function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 33(3), pp. 415-421, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Nitin 0001, Rahul Mehta 0005, Palak Sethi, Esha Gupta, Rohit Sharma, Vivek Kumar Sehgal |
Asymptotic Analysis of Dynamic Algorithms Designed to Provide Parallel Communication among NoC in NiP using MIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UKSim ![In: Proceedings of the UKSim'11, International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 25-27 March 2009, pp. 443-448, 2009, IEEE Computer Society, 978-0-7695-3593-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Haifa El-Sadi, Nabil Esmail |
Simulation of Coating -Visco-Elastic liquid in the Mico-Nip of Metering Size Press ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0805.0912, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Tao Wu, Chaohui Tong, Nikolas Provatas |
The role of paper-nip interactions on electrostatic toner transfer forces in Xerographic printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Technol. Manag. ![In: Int. J. Manuf. Technol. Manag. 14(1/2), pp. 52-65, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alf Onshuus, Ya'acov Peterzil |
A note on stable sets, groups, and theories with NIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 53(3), pp. 295-300, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Tuomas F. Waris, Markus P. K. Turunen, Tomi Laurila, Jorma K. Kivilahti |
Evaluation of electrolessly deposited NiP integral resistors on flexible polyimide substrate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 45(3-4), pp. 665-673, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Darshana Jayemanne |
The Nip and the Bite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DiGRA Conference ![In: Digital Games Research Conference 2005, Changing Views: Worlds in Play, June 16-20, 2005, Vancouver, British Columbia, Canada, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | JianKui Chen, Yuhui Wang, Zhouping Yin |
Tension/Position Hybrid Control of a Web-Conveyed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 773-783, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tension/position hybrid control, web-conveyed system, vision feedback |
23 | Changwoo Lee, Jangwon Lee, Keehyun Shin |
A Study on the Optimal Taper Tension Control in a Roll to Roll Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II, pp. 919-930, 2007, Springer, 978-3-540-74475-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Center-wound roll, CMD (Cross Machine Direction), Taper tension profile, Telescoping, Roll to roll system |
23 | Christine Chevallereau, J. W. Grizzle, Claude H. Moog |
Nonlinear Control of Mechanical Systems with one Degree of Underactuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 2222-2228, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Michal Walicki, Sigurd Meldal |
Generated Models and the omega-Rule: The Nondeterministic Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 424-438, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|