A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Effective content of the calculus of variations I: Semi-continuity and the chattering lemma
1996
Annals of Pure and Applied Logic
Preserved Fulltext
An algorithm has been developed which captures the natural algorithmic content of the notion of a semi-continuous function and this is used to obtain an effective version of the "chattering lemma" of control ...
The content of existence theorems in the calculus of variations has been explored and an effective treatment of semi-continuity has been achieved. ...
In contrast to the standard definition of a recursive real function given above, neither sequential computability nor effective continuity are required in the definition of a recursive lower semi-continuous ...
doi:10.1016/0168-0072(95)00034-8
fatcat:q4hs4gk72vdmjck7azylzrb55i
Improving the Improved Training of Wasserstein GANs: A Consistency Term and Its Dual Effect
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a novel approach to enforcing the Lipschitz continuity in the training procedure of WGANs. ...
Our approach seamlessly connects WGAN with one of the recent semi-supervised learning methods. ...
B.G. and L.W. would also like to thank Adobe Research and NVIDIA, and Amazon, respectively, for their gift donations. ...
arXiv:1803.01541v1
fatcat:ijilhnz6vvadfefpsyqbawwk3u
On the Weak Computability of Continuous Real Functions
2010
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2010 pre-print arXiv:1006.0394v1 fatcat:mwdjbzejqfhd7fq2s2ysfibfqi
In this paper, we are interested in the weak computability of continuous real functions and try to introduce an analogous classification of weakly computable real functions. ...
In computable analysis, sequences of rational numbers which effectively converge to a real number x are used as the (rho-) names of x. ...
it approaches a real number x. ...
doi:10.4204/eptcs.24.8
fatcat:wwcgwwxxmvcsreqcsxgoahtnye
Computability over Topological Structures
[chapter]
2003
Computability and Models
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
considered as a generalization of the classical concept of µ-recursive functions. ...
Important examples of perfect structures are provided by metric spaces and additional attention is paid to their effective subsets. ...
Acknowledgement The author would like to thank Klaus Weihrauch, Matthias Schröder and the anonymous referee for several helpful comments, suggestions and corrections. ...
doi:10.1007/978-1-4615-0755-0_5
fatcat:7v4cgwf5xnafxdbaksc7axfmma
On the Continuity of Effective Multifunctions
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
multifunction which are effectively continuous with respect to the continuity notion under consideration. ...
If one wants to compute with infinite objects like real numbers or data streams, continuity is a necessary requirement: better and better (finite) approximations of the input are transformed in better ...
functions, and that compact-valued multifunctions are effectively upper semi-continuous exactly if they are effective with respect to covering indices and also possess certain witness functions. ...
doi:10.1016/j.entcs.2008.12.023
fatcat:s2nq2k6g5fhqbd3dbwl7q3o6gu
Modeling Involuntary Dynamic Behaviors to Support Intelligent Tutoring (Student Abstract)
2020
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
However, effectively coaching young students in problem solving is challenging because teachers must continuously monitor their cognitive and affective states and make real-time pedagogical interventions ...
In this paper, we explore a semi-supervised learning framework that can learn low-dimensional representations of involuntary dynamic behavioral signals (mainly gross-body movements) from a modest number ...
Thus, effectively coaching young students for problem solving requires teachers to continuously monitor their cognitive and affective states and make real time pedagogical decisions such as when and how ...
doi:10.1609/aaai.v34i10.7171
fatcat:nzqnlbi3zrcchke5iw4ai4r23e
Generalizing Skills with Semi-Supervised Reinforcement Learning
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
However, real-world applications of such methods require generalizing to the vast variability of the real world. ...
However, this learning requires access to a reward function, which is often hard to measure in real-world domains, where the reward could depend on, for example, unknown positions of objects or the emotional ...
ACKNOWLEDGMENTS The authors would like to thank Anca Dragan for insightful discussions, and Aviv Tamar and Roberto Calandra for helpful feedback on the paper. ...
arXiv:1612.00429v2
fatcat:54cwjyislfedzeeak7qppiuaby
Computable Partial Solids and Voxels Sets
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This approach provides a model that reflects well the observable properties of real solids and the computation on realistic computers [5] . ...
Since a central notion of discrete geometry, voxel sets, can be used to define computable partial solids, this approach throws a bridge between discrete geometry and solid modeling in R n . ...
Acknowledgements Original contents in this paper are the result of our common work with Abbas Edalat [6] . ...
doi:10.1007/3-540-49126-0_27
fatcat:7pyzi56ds5grvmj2mgjgodrypm
Many-body method for infinite nonperiodic systems
2004
Physical Review B
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
For example, it can be applied to surfaces or localized impurities. We illustrate the method with a study of the surface of semi-infinite jellium. ...
It is suitable to treat systems of known "asymptotic" properties which enter as boundary conditions, while the effects of the lower symmetry are restricted to regions of finite volume. ...
Analytical continuation improves the resolution: first, the values of G are fitted with a rational function, then the expression is continued to the real frequency axis.
IV. ...
doi:10.1103/physrevb.69.245113
fatcat:uoh3ajqi6zardb4dgn5encvyhm
Live Query - Visualized Process Analysis
2017
Wissensbasierte Systeme
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
For enabling an effective and efficient control of business processes, (semi-)automatic approaches are necessary as a supporting means. ...
This work aims to close this gap by providing an approach that supports a widely applicable, (semi-)automatic analysis of business process models and makes the analysis comprehensible using a graphical ...
To focus on real-world problems and continuous improvement, we followed the Design Science methodology of PEFFERS ET AL. [9] . ...
dblp:conf/wi/RiehleHCD17
fatcat:rbkqcz3gm5en7icodxtpr4oksi
Computability and the morphological complexity of some dynamics on continuous domains
2008
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Crucial dynamical properties are transferred to it, while allowing an investigation of stability and chaoticity, in terms of computability, in particular in the presence of singularities. ...
We will survey some results which display the connections between the geometric complexity of the dynamics and computability issues, as well as new relations between dynamic predictability and effective ...
(Preliminary or revised versions of Longo's papers are downloadable from: http://www.di.ens.fr/users/longo or Search: Google: Giuseppe Longo). ...
doi:10.1016/j.tcs.2008.01.048
fatcat:pbesijwghngjzioblranl242ty
Page 752 of Mathematical Reviews Vol. , Issue 2001B
[page]
2001
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Klaus Weihrauch (D-HGN-TI1; Hagen)
2001b:03070 03F60 Zheng, Xizhong (D-HGN-TI1; Hagen); Brattka, Vasco (D-HGN-TI1; Hagen); Weihrauch, Klaus (D-HGN-TI1; Hagen) Approaches to effective semi-continuity of ...
Various types of semi-continuous functions are studied via the computability of epigraphs and hypographs. ...
Tornadoes and related damage costs: statistical modeling with a semi-Markov approach
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We demonstrate that the semi-Markov approach is able to reproduce the duration effect that is detected in tornadoes occurrence. ...
that semi-Markov models represent an effective tool for physical analysis of tornadoes as well as for the estimation of the economic damages to human things. ...
In both Figures the continuous lines are referred to real data while the dashed lines to the synthetic one. ...
arXiv:1503.05127v1
fatcat:23wygs7jwna5pfdc4ity4mbyca
Construction of Lyapunov Functions for the Stability of Fifth Order Nonlinear Ordinary Differential Equations
2022
Earthline Journal of Mathematical Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This study employed Lyapunov function method to examine the stability of nonlinear ordinary differential equations. ...
Using direct Lyapunov method, we constructed Lyapunov function to investigate the stability of fifth order nonlinear ordinary differential equations. ...
The concept of stability in problems arising from theory and application of differential equations is very important and an effective approach is the second approach of Lyapunov [7] . ...
doi:10.34198/ejms.8222.313324
fatcat:gsziucmo4bbyhm4jaabh2ehe7q
Denotational Semantics of Hybrid Automata
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The semantics is defined as least fixpoint of an operator on the continuous domain of functions of time that take values in the lattice of compact subsets of n-dimensional Euclidean space. ...
The semantic function assigns to every point in time the set of states the automaton can visit at that time, starting from one of its initial states. ...
It is a straightforward exercise to see that Scott continuous functions of type A → U ⊤ B are precisely the semi continuous functions of set-valued analysis [4] . ...
doi:10.1007/11690634_16
fatcat:q74gvt4gwzfzfftimpaltdzoea
« Previous
Showing results 1 — 15 out of 510,522 results