University spin-outs, creating businesses from university intellectual property, are a relatively common phenomena. As a knowledge transfer channel, the spin-out business model is attracting extensive attention. In this paper, the impacts of six equities on the acquisition of USOs, including founders, university, banks, business angels, venture capitals, and other equity, are comprehensively analyzed based on theoretical and empirical studies. Firstly, the average distribution of spin-out equity at formation is calculated based on the sample data of 350 UK USOs. According to (...) this distribution, a radial basis function neural network model is employed to forecast the effects of each equity on the acquisition. To improve the classification accuracy, the novel set-membership method is adopted in the training process of the RBF NN. Furthermore, a simulation test is carried out to measure the effects of six equities on the acquisition of USOs. The simulation results show that the increase of university’s equity has a negative effect on the acquisition of USOs, whereas the increase of remaining five equities has positive effects. Finally, three suggestions are provided to promote the development and growth of USOs. (shrink)
Purpose is an intention over the long-term to have an effect on the world that is both meaningful to oneself and to others. What are schools doing to help students use the knowledge and skills they learn in school in their own lives and aspirations? This is the first study that compares adolescent purposes and life satisfaction in Singaporean and Israeli schools. Findings showed four purpose clusters for Singaporean adolescents: No Orientation, Self-focused, Other-focused, and both Self- and Other-focused. Israeli adolescents (...) were in three purpose clusters: Self-focused, Other-focused, and Self- and Other-focused. The purpose groups differed on average life satisfaction in both countries: Self- and Other-focused were highest, followed by Self-focused and Other-focused. The No Orientation group in Singapore was lowest. Notably, beyond these differences between the groups, Israeli adolescents reported significantly higher life satisfaction in each purpose group. We discuss implications for schools and education policymakers. (shrink)
A model of the attitude system for a quadrotor unmanned aerial vehicle, assumed to be a rigid body, is developed. For specific parameter configurations, a chaotic region with a saddle and two stable node-focus equilibrium points is identified. The chaotic model provides an important reference for dynamic analysis and a challengeable task of controller design once the flight enters the chaotic region of parameters. The pitchfork bifurcation of the equilibrium points is provided. Rich dynamics of the system are revealed by (...) two bifurcation regions, which demonstrates the diversity of the flight behaviors as the parameters vary. One bifurcation analysis is with respect to the speed of the front propeller and the speed difference of the front and left propellers, and another one is with respect to the speed of the front propeller and moment of inertia. The dynamic characteristics of the QUAV are further verified by the Casimir power bifurcations. The trajectories of three settings with different structural parameters are analyzed in detail. The stability of the QUAV is found to be enhanced for certain optimized values of the structural parameters. Finally, using the Casimir power and Lagrange multiplier method, a supremum bound of the chaotic attractor is presented. (shrink)
Hegel oneself indicate “essential theory " Thereunto category transition, large orientation yes as best as one can in accord with cognize course process of, to this aspect ought earnest comprehend, but history with logicality improbable Absolute coherent, More Plus For the sake of fabricate institutions of demand, additionally have to pray in aid of imaginary, To this aspect ought to appropriate comment critically, though never be able to use dot supplant bodily general denial.
Hegel "Science of Logic essential theory "Thereunto” essential” Adv of Excoriate target "Sham essential”, with matter together method Identity, so serves as concact” sham Essential” The "Reflection" "Ground”, ” Contradiction” as well as its ” Identity", "Difference” etc. Also Necessarily false doubtless, currently fad make believe becomes reality of viewpoint, by the root perversion speculative philosophy, must be corrected.
In the global context, the economic-technological powers are also the political-cultural powers, which have the capacity to obtain the maximising benefits from the global flow of information. Meanwhile, the countries which are inferior in economics, technology, etc. feel unable to enjoy the fruits of the information society; they have to struggle for their right to communicate.
Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the ﬁrst order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)
Louveau and Rosendal  have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This is in strong contrast to the case of the isomorphism relation, which as an equivalence relation on graphs (or on any class of countable structures consisting of the models of a sentence of L ω ₁ ω ) is far from complete (see [5, 2]). In (...) this article we strengthen the results of  by showing that not only does bi-embeddability give rise to analytic equivalence relations which are complete under Borel reducibility, but in fact any analytic equivalence relation is Borel equivalent to such a relation. This result and the techniques introduced answer questions raised in  about the comparison between isomorphism and bi-embeddability. Finally, as in  our results apply not only to classes of countable structures defined by sentences of ω ₁ ω , but also to discrete metric or ultrametric Polish spaces, compact metrizable topological spaces and separable Banach spaces, with various notions of embeddability appropriate for these classes, as well as to actions of Polish monoids. (shrink)
We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem . We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides (...) of polarized bi-intuitionism. Philosophically, we extend Dalla Pozza and Garola’s pragmatic interpretation of intuitionism as a logic of assertions  to bi-intuitionism as a logic of assertions and hypotheses. We focus on the logical role of illocutionary forces and justification conditions in order to provide “intended interpretations” of logical systems that classify inferential uses in natural language and remain acceptable from an intuitionistic point of view. Although Dalla Pozza and Garola originally provide a constructive interpretation of intuitionism in a classical setting, we claim that some conceptual refinements suffice to make their “pragmatic interpretation” a bona fide representation of intuitionism. We sketch a meaning-asuse interpretation of co-intuitionism that seems to fulfil the requirements of Dummett and Prawitz’s justificationist approach. We extend the Brouwer-Heyting-Kolmogorov interpretation to bi-intuitionism by regarding co-intuitionistic formulas as types of the evidence for them: if conclusive evidence is needed to justify assertions, only a scintilla of evidence suffices to justify hypotheses. (shrink)
This study accounts for the observed patterns of variation and ambiguity in the expression and interpretation of aspect in bare habitual statements in Polish in the framework of Bouma’s ( 2008 ) recent version of stratified bi-directional Optimality Theory (OT).
A bi-level account of trust is developed and defended, one with relevance in ethics as well as epistemology. The proposed account of trust—on which trusting is modelled within a virtue-theoretic framework as a performance-type with an aim—distinguishes between two distinct levels of trust, apt and convictive, that take us beyond previous assessments of its nature, value, and relationship to risk assessment. While Ernest Sosa (2009; 2015; 2017), in particular, has shown how a performance normativity model may be fruitfully applied to (...) belief, my objective is to apply this kind of model in a novel and principled way to trust. I conclude by outlining some of the key advantages of the performance-theoretic bi-level account of trust defended over more traditional univocal proposals. (shrink)
In this paper, bi-intuitionistic multilattice logic, which is a combination of multilattice logic and the bi-intuitionistic logic also known as Heyting–Brouwer logic, is introduced as a Gentzen-type sequent calculus. A Kripke semantics is developed for this logic, and the completeness theorem with respect to this semantics is proved via theorems for embedding this logic into bi-intuitionistic logic. The logic proposed is an extension of first-degree entailment logic and can be regarded as a bi-intuitionistic variant of the original classical multilattice logic (...) determined by the algebraic structure of multilattices. Similar completeness and embedding results are also shown for another logic called bi-intuitionistic connexive multilattice logic, obtained by replacing the connectives of intuitionistic implication and co-implication with their connexive variants. (shrink)