Search results for "pillars"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)	Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Arnon Avron	A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Masahito Hasegawa, Martin Hofmann 0001, Gordon D. Plotkin	Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Grigori Mints	Proof Search Tree and Cut Elimination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Boris A. Trakhtenbrot	From Logic to Theoretical Computer Science - An Update.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Valery A. Nepomniaschy	Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Vladimir Sazonov	On Natural Non-dcpo Domains.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker	Fields, Meadows and Abstract Data Types.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Moshe Y. Vardi	From Monadic Logic to PSL.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Andreas Blass, Yuri Gurevich	Why Sets?	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Udi Boker, Nachum Dershowitz	The Church-Turing Thesis over Arbitrary Domains.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Alexander Rabinovich, Amit Shomrat	Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Matthias Baaz, Richard Zach	Effective Finite-Valued Approximations of General Propositional Logics.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Eldar Fischer, Johann A. Makowsky	Linear Recurrence Relations for Graph Polynomials.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Irina A. Lomazova	Nested Petri Nets for Adaptive Process Modeling.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Michael I. Dekhtyar, Alexander Ja. Dikovsky	Generalized Categorial Dependency Grammars.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev	Temporal Verification of Probabilistic Multi-Agent Systems.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Rusins Freivalds	Artin's Conjecture and Size of Finite Probabilistic Automata.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Oded Maler, Dejan Nickovic, Amir Pnueli	Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Boris I. Plotkin, Tatjana L. Plotkin	Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Johan van Benthem, Daisuke Ikegami	Modal Fixed-Point Logic and Changing Models.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Mikhail Auguston, Mark B. Trakhtenbrot	Synthesis of Monitors for Real-Time Analysis of Reactive Systems.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Albert R. Meyer	Reminiscences.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Dov M. Gabbay	Introducing Reactive Kripke Semantics and Arc Accessibility.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Antoni W. Mazurkiewicz	Token-Free Petri Nets.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Wolfgang Thomas	Church's Problem and a Tour through Automata Theory.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	David Harel, Shahar Maoz, Itai Segall	Some Results on the Expressive Power and Complexity of LSCs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Leonid A. Levin	The Grace of Quadratic Norms: Some Examples.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna	The Reaction Algebra: A Formal Language for Event Correlation.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Sergei N. Artëmov	Symmetric Logic of Proofs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Arnon Avron, Nachum Dershowitz, Alexander Rabinovich	Boris A. Trakhtenbrot: Academic Genealogy and Publications.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs	Model Transformation Languages and Their Implementation by Bootstrapping Method.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Daniel Lehmann 0001	Connectives in Cumulative Logics.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Wolfgang Reisig	The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Michael Kaminski, Tony Tan	Tree Automata over Infinite Alphabets.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Moti Gitik, Menachem Magidor	On Partially Wellfounded Generic Ultrapowers.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
47	Tony Chao Shan, Winnie W. Hua	Solution Architecture for N-Tier Applications.	IEEE SCC	2006	DBLP DOI BibTeX RDF
43	Masatomo Inui, Nobuyuki Umezu	Quad Pillars and Delta Pillars: Algorithms for Converting Dexel Models to Polyhedral Models.	J. Comput. Inf. Sci. Eng.	2017	DBLP DOI BibTeX RDF
37	Yu-Lin Chang, Yi-Min Tsai, Liang-Gee Chen	A real-time augmented view synthesis system for transparent car pillars.	ICIP	2008	DBLP DOI BibTeX RDF
36	David Paper	Reinventing business processes through automation.	SIGCPR	1998	DBLP DOI BibTeX RDF	pillars, empowerment, BPR, enablers
31	Piers R. J. Campbell, Faheem Ahmed	A three-dimensional view of software ecosystems.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	architecture, software product lines, software ecosystems
31	Ali Ridho Barakbah, Yasushi Kiyoki	A pillar algorithm for K-means optimization by distance maximization for initial centroid designation.	CIDM	2009	DBLP DOI BibTeX RDF
31	Jean-Michel Jullien, Christian Martel, Laurence Vignollet, Maia Wentland	OpenScenario: A Flexible Integrated Environment to Develop Educational Activities Based on Pedagogical Scenarios.	ICALT	2009	DBLP DOI BibTeX RDF
31	Thierry Pardessus, Heinrich Daembkes, Richard Arning	The methodological and technological dimensions of technology transfer for embedded systems in aeronautics and space.	DATE	2007	DBLP DOI BibTeX RDF
31	Christophe Cruz, Christophe Nicolle	Ontology-Based Integration of XML Data.	WEBIST (Selected Papers)	2006	DBLP DOI BibTeX RDF	Ontology, XML, Semantic, Integration, XML schema
22	Chao Wang, Zhiwei Liu	CAFI-Pillars: Infusing Geometry Priors for Pillar-Based 3D Detectors Through Centroid-Aware Feature Interaction.	IEEE Trans. Intell. Veh.	2024	DBLP DOI BibTeX RDF
22	Anurak Sawangwong, Poti Chaopaisarn	The impact of applying knowledge in the technological pillars of Industry 4.0 on supply chain performance.	Kybernetes	2023	DBLP DOI BibTeX RDF
22	Bazilah Baharom, Ryota Ishihara, Yoshiki Sugimoto, Kunio Sakakibara, Nobuyoshi Kikuma, Takayuki Arai, Takayoshi Suganuma, Tomohiro Saito	Reduction of Surface Reflection on Dielectric Lens Antenna by Matching Periodic Square-Pillars in 300-GHz Band.	IEEE Access	2023	DBLP DOI BibTeX RDF
22	Elahe Bagheri	A Mini-survey on Psychological Pillars of Empathy for Social Robots: Self-Awareness, Theory of Mind, and Perspective Taking.	Int. J. Soc. Robotics	2023	DBLP DOI BibTeX RDF
22	Jinjie Ni, Rui Mao 0010, Zonglin Yang, Han Lei, Erik Cambria	Finding the Pillars of Strength for Multi-Head Attention.	CoRR	2023	DBLP DOI BibTeX RDF
22	Aleksandr Beznosikov, Alexander V. Gasnikov	Similarity, Compression and Local Steps: Three Pillars of Efficient Communications for Distributed Variational Inequalities.	CoRR	2023	DBLP DOI BibTeX RDF
22	Vesal Ahsani, Ali Rahimi, Mehdi Letafati, Babak Hossein Khalaj	Unlocking Metaverse-as-a-Service The three pillars to watch: Privacy and Security, Edge Computing, and Blockchain.	CoRR	2023	DBLP DOI BibTeX RDF
22	Arsalan Yousefloo, Reza Babazadeh, Mehrdad Mohammadi, Amir Pirayesh, Alexandre Dolgui	Design of a robust waste recycling network integrating social and environmental pillars of sustainability.	Comput. Ind. Eng.	2023	DBLP DOI BibTeX RDF
22	Erik Cambria, Rui Mao 0010, Melvin Chen, Zhaoxia Wang 0001, Seng-Beng Ho	Seven Pillars for the Future of Artificial Intelligence.	IEEE Intell. Syst.	2023	DBLP DOI BibTeX RDF
22	Benyamin Moghaddasi, Amir Salar Ghafari Majid, Zahra Mohammad-Nazari, Amir Aghsami, Masoud Rabbani	A green routing-location problem in a cold chain logistics network design within the Balanced Score Card pillars in fuzzy environment.	J. Comb. Optim.	2023	DBLP DOI BibTeX RDF
22	Kate Keahey, Jason Anderson, Mark Powers, Adam Cooper	Three Pillars of Practical Reproducibility.	e-Science	2023	DBLP DOI BibTeX RDF
22	Joseph Merhej, Hassan Harb, Abdelhafid Abouaissa, Lhassane Idoumghar, Samir Ouchani	Octa Pillars-based Approach to Select the Best Blockchain-based Solutions in Healthcare Information Exchange.	IWCMC	2023	DBLP DOI BibTeX RDF
22	Burn J. Lin	Immersion and EUV Lithography: Two Pillars to Sustain Single-Digit Nanometer Nodes.	ISPD	2023	DBLP DOI BibTeX RDF
22	Manjola Zeneli, Galia Marinova	Erecting pillars in a direction of a smart, innovative and energy efficient port.	IWSSIP	2023	DBLP DOI BibTeX RDF
22	Aleksandr Beznosikov, Martin Takác 0001, Alexander V. Gasnikov	Similarity, Compression and Local Steps: Three Pillars of Efficient Communications for Distributed Variational Inequalities.	NeurIPS	2023	DBLP BibTeX RDF
22	Jinjie Ni, Rui Mao 0010, Zonglin Yang, Han Lei, Erik Cambria	Finding the Pillars of Strength for Multi-Head Attention.	ACL (1)	2023	DBLP DOI BibTeX RDF
22	Shantha Indrajith Hikkaduwa Liyanage, Fulu Netswera, Jan Meyer, Christoff D. Botha	Four Pillars of the Green University Soft Infrastructure: Towards a Non-Linear Model of Innovation.	Int. J. Knowl. Manag.	2022	DBLP DOI BibTeX RDF
22	Gianluca Elia, Alessandro Margherita	A conceptual framework for the cognitive enterprise: pillars, maturity, value drivers.	Technol. Anal. Strateg. Manag.	2022	DBLP DOI BibTeX RDF
22	Jasper van Vught	What is Videogame Formalism? Exploring the Pillars of Russian Formalism for the Study of Videogames.	Games Cult.	2022	DBLP DOI BibTeX RDF
22	Ana Garcez, Ricardo Silva, Mário Franco	Digital transformation shaping structural pillars for academic entrepreneurship: A framework proposal and research agenda.	Educ. Inf. Technol.	2022	DBLP DOI BibTeX RDF
22	Guang Chen 0001, Haitao Wang, Kai Chen, Zhijun Li 0001, Zida Song, Yinlong Liu, Wenkai Chen, Alois C. Knoll	A Survey of the Four Pillars for Small Object Detection: Multiscale Representation, Contextual Information, Super-Resolution, and Region Proposal.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
22	Mohd Javaid, Abid Haleem, Ravi Pratap Singh, Rajiv Suman, Shanay Rab	Significance of machine learning in healthcare: Features, pillars and applications.	Int. J. Intell. Networks	2022	DBLP DOI BibTeX RDF
22	Genggeng Liu, Xinghai Zhang, Wenzhong Guo, Xing Huang, Wen-Hao Liu, Kai-Yuan Chao, Ting-Chi Wang	Timing-Aware Layer Assignment for Advanced Process Technologies Considering via Pillars.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
22	Steve K. Harris, Tim Bonnici, Thomas Keen, Watjana Lilaonitkul, Mark J. White, Nel Swanepoel	Clinical deployment environments: Five pillars of translational machine learning for health.	Frontiers Digit. Health	2022	DBLP DOI BibTeX RDF
22	Athanasios Drigas, Eleni Mitsea, Charalampos Skianis	Clinical Hypnosis & VR, Subconscious Restructuring- Brain Rewiring & the Entanglement with the 8 Pillars of Metacognition X 8 Layers of Consciousness X 8 Intelligences.	Int. J. Online Biomed. Eng.	2022	DBLP BibTeX RDF
22	Marco Furini, Ombretta Gaggi, Silvia Mirri, Manuela Montangero, Elvira Pelle, Francesco Poggi, Catia Prandi	Digital twins and artificial intelligence: as pillars of personalized learning models.	Commun. ACM	2022	DBLP DOI BibTeX RDF
22	Hongbo Feng, Jiabin Zhao, Chengsi Zhou, Mingxin Song	Design and Analysis of the Capacitive RF MEMS Switches with Support Pillars.	Sensors	2022	DBLP DOI BibTeX RDF
22	Cezary Mazurek, Maciej Stroinski	Technology pillars for digital transformation of cities based on open software architecture for end2end data streaming.	HICSS	2022	DBLP BibTeX RDF
22	Marco Freire, Samuel Hornus, Salim Perchy, Sylvain Lefebvre 0001	Procedural Bridges-and-pillars Support Generation.	Eurographics (Short Papers)	2022	DBLP DOI BibTeX RDF
22	Abdul Manan, Ziran Min, Charif Mahmoudi, Valerio Formicola	Extending 5G services with Zero Trust security pillars: a modular approach.	AICCSA	2022	DBLP DOI BibTeX RDF
22	Sharon Gumina, Karen P. Patten	Exploring the Internet of Things: Hands-On IoT Learning Mapped to the IT Pillars.	SIGITE	2022	DBLP DOI BibTeX RDF
22	Aydin Buluç	Sparse Matrices Powering Three Pillars of Science: Simulation, Data, and Learning.	ISSAC	2022	DBLP DOI BibTeX RDF
22	Agnese Augello, Ignazio Infantino, Giovanni Pilato, Gianpaolo Vitale	Site Experience Enhancement and Perspective in Cultural Heritage Fruition - A Survey on New Technologies and Methodologies Based on a "Four-Pillars" Approach.	Future Internet	2021	DBLP DOI BibTeX RDF
22	Lina Fouad Jawad, Muayad Kadhim Raheem, Ban Hassan Majeed	The Effectiveness of Educational Pillars Based on Vygotsky's Theory in Achievement and Information Processing Among First Intermediate Class Students.	Int. J. Emerg. Technol. Learn.	2021	DBLP DOI BibTeX RDF
22	Mapopa William Sanga, Sherri L. Brogdon	Designing for Distance Learning: Analyzing the Process of Redesigning Online Courses Using the Three Pillars Method.	Int. J. Online Pedagog. Course Des.	2021	DBLP DOI BibTeX RDF
22	Qi Chen, Sourabh Vora, Oscar Beijbom	PolarStream: Streaming Lidar Object Detection and Segmentation with Polar Pillars.	CoRR	2021	DBLP BibTeX RDF
22	Yijie Wu, Fan Xue	FloorPP-Net: Reconstructing Floor Plans using Point Pillars for Scan-to-BIM.	CoRR	2021	DBLP BibTeX RDF
22	Elias G. Carayannis, Evangelos Grigoroudis, Scheherazade S. Rehman, Navodhya Samarakoon	Ambidextrous Cybersecurity: The Seven Pillars (7Ps) of Cyber Resilience.	IEEE Trans. Engineering Management	2021	DBLP DOI BibTeX RDF
22	Jeremy Cohen 0002, Daniel S. Katz, Michelle Barker, Neil P. Chue Hong, Robert Haines, Caroline Jay	The Four Pillars of Research Software Engineering.	IEEE Softw.	2021	DBLP DOI BibTeX RDF
22	Brent Smith, Laura Milham	Total Learning Architecture (TLA) Data Pillars and Their Applicability to Adaptive Instructional Systems.	HCI (42)	2021	DBLP DOI BibTeX RDF
22	Friso W. van Dijk, Marco Spruit, Chaïm van Toledo, Matthieu J. S. Brinkhuis	Pillars of Privacy: Identifying Core Theory in a Network Analysis of Privacy Literature.	ECIS	2021	DBLP BibTeX RDF
22	En-Shiun Annie Lee, Karthik Kuber, Hashmat Rohian, Sean Woodhead	Pillars of Program Design and Delivery: A Case Study using Self-Directed, Problem-Based, and Supportive Learning.	SIGCSE	2021	DBLP DOI BibTeX RDF
22	Jacopo Iannacci	The WEAF Mnecosystem: a Perspective of MEMS/NEMS Technologies as Pillars of Future 6G, Super-IoT and Tactile Internet.	SmartIoT	2021	DBLP DOI BibTeX RDF
22	More Ickson Manda	Leadership and trust as key pillars in "smart governance" for inclusive growth in the 4th Industrial Revolution (4IR): Evidence from South Africa.	ICEGOV	2021	DBLP DOI BibTeX RDF
22	Ossama Embarak	Smart City Transition Pillars With Layered Applications Architecture.	FNC/MobiSPC	2021	DBLP DOI BibTeX RDF
22	Qi Chen, Sourabh Vora, Oscar Beijbom	PolarStream: Streaming Object Detection and Segmentation with Polar Pillars.	NeurIPS	2021	DBLP BibTeX RDF
22	Jiayin Tu, Ping Wang 0004, Fuqiang Liu 0001	PP-RCNN: Point-Pillars Feature Set Abstraction for 3D Real-time Object Detection.	IJCNN	2021	DBLP DOI BibTeX RDF
22	Athanasios Drigas, Eleni Mitsea	The 8 Pillars of Metacognition.	Int. J. Emerg. Technol. Learn.	2020	DBLP DOI BibTeX RDF
22	Sikke R. Jansma, Jordy F. Gosselt, Kimberly Kuipers, Menno D. T. de Jong	Technology legitimation in the public discourse: applying the pillars of legitimacy on GM food.	Technol. Anal. Strateg. Manag.	2020	DBLP DOI BibTeX RDF
22	Athanasios Drigas, Eleni Mitsea	A Metacognition Based 8 Pillars Mindfulness Model and Training Strategies.	Int. J. Recent Contributions Eng. Sci. IT	2020	DBLP DOI BibTeX RDF
22	Levente Sipeki, Alexandra M. Newman, Candace A. Yano	Selecting support pillars in underground mines with ore veins.	IISE Trans.	2020	DBLP DOI BibTeX RDF
22	Tadahiro Negishi, Gianluca Gennarelli, Francesco Soldovieri, Yangqing Liu, Danilo Erricolo	Radio Frequency Tomography for Nondestructive Testing of Pillars.	IEEE Trans. Geosci. Remote. Sens.	2020	DBLP DOI BibTeX RDF
22	Arash Shaban-Nejad, Martin Michalowski, Niels Peek, John S. Brownstein, David L. Buckeridge	Seven pillars of precision digital health and medicine.	Artif. Intell. Medicine	2020	DBLP DOI BibTeX RDF
22	Jeremy Cohen 0002, Daniel S. Katz, Michelle Barker, Neil P. Chue Hong, Robert Haines, Caroline Jay	The Four Pillars of Research Software Engineering.	CoRR	2020	DBLP BibTeX RDF