Filters








119,506 Hits in 9.7 sec

The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function (Extended Abstract)

Vassilios Gregoriades
2010 Electronic Proceedings in Theoretical Computer Science  
In this article we treat a notion of continuity for a multi-valued function F and we compute the descriptive set-theoretic complexity of the set of all x for which F is continuous at x.  ...  multi-valued function F whose graph is a Borel set and the set of points of continuity of F is not a Borel set.  ...  The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function (Extended Abstract) Vassilios Gregoriades * Technische Universität Darmstadt GERMANY gregoriades@mathematik.tu-darmstadt.de  ... 
doi:10.4204/eptcs.24.13 fatcat:7ksqsg5h7vgbzfb3lofrgmy4vm

Datalog Automata Extended Abstract [chapter]

Bernard LANG
1988 Proceedings of the Third International Conference on Data and Knowledge Bases  
We propose a new computational paradigm for the evaluation of recursive Datalog queries, which is based on a pushdown automaton (PDA) model.  ...  By extending to these automata a dynamic programming technique developed for PDAs in context-free parsing, we obtain a general and simple technique for constructing efficient polynomial query evaluators  ...  work [39] , while the author's current research interest was on extending the dynamic programming parsing techniques presented in [16] .  ... 
doi:10.1016/b978-1-4832-1313-2.50036-6 dblp:conf/jcdkb/Lang88 fatcat:cglmszdjbzdbxgxdvbui2pfjli

Forgetting Auxiliary Atoms in Forks (Extended Abstract)

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
In this paper, we introduce a conservative extension of Equilibrium Logic and its monotonic basis, the logic of Here-and-There, in which we deal with a new connective we call fork.  ...  We further define when the obtained fork is representable as a regular formula.  ...  Briefly, tensors extend the matrix (2-way) data to multi-way data.  ... 
doi:10.24963/ijcai.2020/685 dblp:conf/ijcai/Miettinen020 fatcat:ksb2lejf35ggtk3otqjn7xivke

Variational Bayes in Private Settings (VIPS) (Extended Abstract)

James R. Foulds, Mijung Park, Kamalika Chaudhuri, Max Welling
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
In the full paper we extend our method to a broad class of models, including Bayesian logistic regression and sigmoid belief networks.  ...  The iterative nature of variational Bayes presents a challenge since iterations increase the amount of noise needed to ensure privacy.  ...  invariant objective functions are learned for node sets.  ... 
doi:10.24963/ijcai.2020/694 dblp:conf/ijcai/YanYH20 fatcat:pc4nelo7gzfmvmsiym3ohwspxa

How useful is old information (extended abstract)?

Michael Mitzenmacher
1997 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97  
For example, consider a multi-processor system where incoming tasks with exponentially distributed service requirements arrive as a Poisson process, the tasks must choose a processor for service, and a  ...  Such models can also be used to describe settings where there is a transfer delay between the time a task enters a system and the time it reaches a processor for service.  ...  We omit the straightforward argument in this extended abstract.  ... 
doi:10.1145/259380.259426 dblp:conf/podc/Mitzenmacher97 fatcat:b7ns2sjz5nh3pdex7igwusucr4

On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract

Diego Latella
2016 Electronic Proceedings in Theoretical Computer Science  
In this extended abstract a view on the role of Formal Methods in System Engineering is briefly presented.  ...  Both techniques have been developed in the context of the EU funded project QUANTICOL.  ...  , for the rest, composed only of points satisfying ψ; we furthermore are extending the logic with operators for collective properties, namely properties which are satisfied by connected sets of points,  ... 
doi:10.4204/eptcs.217.7 fatcat:fhd24qs7zfa3zitukvh7ppgyne

Asynchronous Collaboration Systems for Evolving Information

Shaun Wallace
2022 CHI Conference on Human Factors in Computing Systems Extended Abstracts  
Both systems will give users the agency to seek randomized insights within a naturalistic setting to motivate continuous contributions to each system's evolving information.  ...  In Drafty, unpaid contributors voluntarily update a tabular dataset of Computer Science professor profiles at a multi-year timescale.  ...  Description and Lessons Learned Developing the Theoretical Framework. Unpaid Users. Sketchy's users consist of university students from a user experience and user design class.  ... 
doi:10.1145/3491101.3503803 fatcat:7lbxfnzrkzbsnoieedyopxl444

Cryptographic Computation: Secure Fault-Tolerant Protocols and the Public-Key Model (Extended Abstract) [chapter]

Zvi Galil, Stuart Haber, Moti Yung
1988 Lecture Notes in Computer Science  
By applying the complexity-theoretic approach to knowledge, we are able to measure and control the computational knowledge released to the various users, as well as its temporal availability.  ...  We give a general procedure for designing correct, secure, and fault-tolerant cryptographic protocols for many parties, thus enlarging the domain of tasks that can be performed efficiently by cryptographic  ...  of the Dipartimento di Informaaca ed Applicazioni at the University of Salerno, who were our hosts when we began the research reported here.  ... 
doi:10.1007/3-540-48184-2_10 fatcat:ghzpsdxxjfa5hd2lysht6zonpu

Leveraging intersections in management theory and practice (Extended Abstracts)

MARTA UGOLINI
2021 Sinergie Italian Journal of Management  
Balancing theory and practice: a review of the state of PLS-SEM research by the community of Italian management scholars FRANCESCA MAGNO, FABIO CASSIA " Co-creation of value in Open Innovation: does coopetition  ...  generation of green technologies ALBA MARINO, FRANCESCO QUATRARO " Exploring the innovation paths of SMEs to face the COVID-19 crisis: A cluster analysis applied to the Italian context MARCO BETTIOL,  ...  KARAMCHANDANI A., SRIVASTAVA S.K., SRIVASTAVA R.K. ( 2020 2006 ), "A meta-analysis of the Technology Acceptance Model", Information & Management, vol. 43, n. 6, pp. 740-755.  ... 
doi:10.7433/srecp.ea.2021.01 fatcat:l2upsdqpqvc3zgahty45hquici

Sharp kernel clustering algorithms and their associated Grothendieck inequalities: Extended abstract [chapter]

Subhash Khot, Assaf Naor
2010 Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms  
∈ R k then R(B) is the minimum radius of a Euclidean ball containing the points {v 1 , . . . , v k }.  ...  The parameter C(B) is defined as the maximum over all . . , k} the vector zi ∈ R k−1 is the Gaussian moment of Ai, i.e., zi = 1 (2π) (k−1)/2 A i xe − x 2 2 /2 dx.  ...  a schematic description of the situation described above.  ... 
doi:10.1137/1.9781611973075.55 dblp:conf/soda/KhotN10 fatcat:jr7din5bknaqfe46mownnliv4e

22. Scientific Statistical Seminar "Wrocław-Marburg", Świeradów Zdrój, 30 IX – 4 X 2014. Extended abstracts

2014 Śląski Przegląd Statystyczny  
in the Enders/Granger/Siklos-procedure originated.  ...  I would like to thank Karsten Schweikert for many discussions on the subject, for providing me with literature and, in particular, for his excellent master thesis [Schweikert 2013 ], from which my interest  ...  Since the points 0 , 0 ∈ ℤ parametrize the set over which the change takes place, we call them the change points.  ... 
doi:10.15611/sps.2014.12.09 fatcat:xkhybjl3tnhh5lnoydm6yjkct4

Turning personal calendars into scheduling assistants

Jacob Bank, Zachary Cain, Yoav Shoham, Caroline Suen, Dan Ariely
2012 Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12  
Third, we extend our new calendar entries and scheduling algorithms to the multiagent setting.  ...  Third, we extend our new calendar entries and scheduling algorithms to the multiagent setting.  ...  Novel Calendar Entries On the face of it, a calendar is a simple object -a record of one's future plans and past activities -but the reality is much more complex.  ... 
doi:10.1145/2212776.2223854 dblp:conf/chi/BankCSSA12 fatcat:aihinvk4czhfvofmb5umiqsmri

Innovation and Global Issues 1: Extended Abstracts Book [article]

Nurettin Bilici, Ragıp Pehlivanlı, Selçuk Demirkılınç
2021 figshare.com  
It is a valuable academic work that contains extended abstracts of the academic studies presented within the scope of Innovation and Global Issues Congress I in Patara Antique city by InGlobe Academy and  ...  The final scale of the scale, originally 14-degrees, has been converted to a five-point Likert-type scale (Sherer and Adams 1983).  ...  Rashid (d.152/769) This research was carried out in order to investigate the effects of teacher candidates who are studying in the 4th grade of Akdeniz University Faculty of Education and teacher candidates  ... 
doi:10.6084/m9.figshare.13634555.v3 fatcat:nlekic2mu5cmze3ad5dn6jorzq

Innovation and Global Issues 1: Extended Abstracts Book [article]

Nurettin Bilici, Ragıp Pehlivanlı, Selçuk Demirkılınç
2021 figshare.com  
The final scale of the scale, originally 14-degrees, has been converted to a five-point Likert-type scale (Sherer and Adams 1983).  ...  A design made at one end of the world affects the consumer in a very different region.  ...  A Narration of Identity: The Case of Becoming a Woman in The Country Sevcan KARCI 1 Extended Abstract 1.Introduction The present study will discuss the case of becoming a woman in the country with reference  ... 
doi:10.6084/m9.figshare.13634555.v1 fatcat:q5mkgjq3jrh5jn4ualb2pshj5u

Accounting, Audit, Analysis: Transformation of Science and Business in New Economic Reality Book of Extended Abstracts

Rasa Subačienė, Daiva Tamulevičienė
2021 Vilnius University Proceedings  
The book includes the abstracts of presentations of fourth international scientific conference "Accounting, Audit, Analysis: Transformation of Science and Business in New Economic Reality" dedicated to  ...  the evaluation of the transformation and perspectives of science and business of accounting, audit and analysis in new economic reality.  ...  Three layers of abstraction: a conceptual framework for theorizing digital multi-sided platforms .  ... 
doi:10.15388/transformation-of-science-and-business.2021 fatcat:b3m6uoyl2rhjfc5t2tzlhgwcci
« Previous Showing results 1 — 15 out of 119,506 results