Search results for "Constructive"

showing 10 items of 301 documents

Developing the sense of the meaning of life in children and youth as a goal of creative prophylaxis

2020

This article complies with the belief that in social prophylaxis it is necessary to shift the center of gravity from “fighting” pathologies and negative deviations onto forming and strengthening positive factors which protect the individual and social groups against pathologies. Formation of a constructive feeling of the meaning of life, among others through development towards higher values, is such a procedure that realizes the aims of contemporary creative prophylaxis and – at the same time – addresses the goals of rearing. Supporting emotional, cognitive and social development of the young makes it possible to develop their potentials understood as abilities, predispositions, talents, s…

Social groupFeelingmedia_common.quotation_subjectSocial changeCognitionGeneral MedicinePsychologyConstructiveMeaning of lifeSocial psychologymedia_commonSocial Pathology and Prevention
researchProduct

Media assemblages, ethnographic vis-ability and the enactment of video in sociological research

2013

Video recordings offer great opportunities for qualitative social science research; their epistemological status, however, has not been left unchallenged. The paper picks up on this methodological debate, sounding out the specific potential of this research medium. Yet instead of primarily participating in methodological debates, we particularly want to inquire into the underlying empirical notions, settings, actors, and sceneries, which inform methodological debates on video. Reviewing research on ‘professional vision’ in Science and Technology Studies we try to raise awareness of the constructive nature of the practices, which manufacture and transform visual traces into evidence. We then…

Sociology and Political ScienceProfessional visionMediationEthnographySociological researchSociologySocial science researchConstructiveSocial Sciences (miscellaneous)EpistemologyDistinktion: Journal of Social Theory
researchProduct

Consolidated challenge to social demand for resilient platforms : Lessons from Uber's global expansion

2017

Many in the industry see the ride-sharing company Uber as the significant advancement through information and communication technology (ICT) particularly of the digital service platform and sharing economy. Uber has been exploring the new frontier of the ICT-driven disruptive business model (IDBM) and succeeded in its global expansion to over 479 cities in more than 75 countries worldwide in June of 2016. Such rapid expansion provides constructive insights regarding the significance of IDBM, not only in transportation but also in almost all other business fields. While at the same time Uber's legal battles in some cities around the world raise a serious question regarding the rationale of I…

Sociology and Political Sciencemedia_common.quotation_subjectHuman Factors and ErgonomicsBusiness modelConstructivedigital service platformEducationFrontierlegal battlesICT-driven disruptive business modelSharing economy0502 economics and businessEconomicsBusiness and International Managementmedia_commonta113Uber's global expansionRapid expansionconsolidated challenge to social demand05 social sciencessharing economyjakamistalousTransformative learningEconomyInformation and Communications TechnologyService (economics)050211 marketingco-evolutionary acclimatization050203 business & management
researchProduct

Towards Axiomatic Basis of Inductive Inference

2001

The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…

SoundnessDiscrete mathematicsPredicate logicSMorse–Kelley set theoryComputer scienceNon-well-founded set theoryZermelo–Fraenkel set theoryConstructive set theoryInductive reasoningAxiom schemaUrelementScott's trickMonad (functional programming)First-order logicAxiom of extensionalityMathematics::LogicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSCalculusAxiom of projective determinacyAxiom of choiceKripke–Platek set theoryAction axiomAxiom
researchProduct

Consistent device simulation model describing perovskite solar cells in steady-state, transient, and frequency domain

2019

​This document is the Accepted Manuscript version of a Published Work that appeared in final form in ACS Applied Materials & Interfaces, copyright © American Chemical Society after peer review and technical editing by the publisher. To access the final edited and published work see https://pubs.acs.org/doi/10.1021/acsami.9b04991

Steady state (electronics)Materials scienceIMPSImpedance spectroscopy610 Medicine & health02 engineering and technology010402 general chemistrycomputer.software_genre01 natural sciencesChemical societyGeneral Materials ScienceTransient (computer programming)Device simulation10266 Clinic for Reconstructive SurgeryMaterials621.3: Elektrotechnik und ElektronikCèl·lules fotoelèctriquesTrapsPerovskite (structure)Drift-diffusion modelingProgramming languagePerovskite solar cellsHysteresis021001 nanoscience & nanotechnology2500 General Materials Science0104 chemical sciencesMobile ionsFrequency domainTransient photo-current0210 nano-technologycomputer
researchProduct

Finitary formal topologies and Stone’s representation theorem

2008

AbstractWe study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theorem for distributive lattices. We work within the framework of a minimalist foundation (as proposed by Maria Emilia Maietti and the second author). Both inductive and co-inductive methods are used in most proofs.

Stone's representationGeneral Computer ScienceRelation (database)Representation theoremFormal topologyformal topology; positivity; Stone's representation; constructive methodsPositivityBasis (universal algebra)Topological spaceStone’s representationMathematical proofConstructiveTheoretical Computer ScienceConstructive methodsAlgebraDistributive propertyFinitaryComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Theoretical and Experimental Model for the Analysis of a Cardan Cross

2015

The work presents the aproach of initial moddeling and calculus in order to prepare an finite element investigation of the cardan transmission joint. For this, it is necessary to develop a flexible informational system that would connect the constructive design of cardan transmissions to the technological design within a unitary structure. Due to the typodimensional diversity of cardan transmissions, the design and manufacturing of the various components for a certain application domain (medical aparature, dental and agricultural machines, lifting and transportation machines etc.) has been typified. In order to study the problems that occur in the practice of using cardan transmissions, the…

Structure (mathematical logic)Engineering drawingEngineeringbusiness.industryExperimental modelGeneral MedicineUnitary stateConstructiveIndustrial engineeringFinite element methodTransmission (telecommunications)Application domainTechnological designbusinessApplied Mechanics and Materials
researchProduct

Groups are not always the same

1993

The idea of supporting group meetings at the same time and at the same place by computer raises the problem of how salient features of group behaviors are understood in meetings. In this paper we take a critical look at several beliefs about group behaviors in research dealing with electronic meeting systems (EMS). The paper argues based on an empirical study that the concept of a small, cohesive business team, so widely held, in all EMS research is not necessarily a valid starting point in thinking of meeting support. In particular, the paper critically evaluates a number of beliefs of user aspects, group features such as composition, structure and protocols, and task characteristics such …

Structure (mathematical logic)Knowledge managementGeneral Computer SciencePoint (typography)business.industryGroup (mathematics)Public relationsConstructiveTask (project management)Empirical researchSalientbusinessPsychologyComposition (language)Computer Supported Cooperative Work (CSCW)
researchProduct

Noninvasive Flap Preconditioning by Foam-Mediated External Suction Improves the Survival of Fasciocutaneous Axial-Pattern Flaps in a Type 2 Diabetic …

2018

Background Advances in reconstructive surgery are leading to an increased number of flaps at risk for ischemic necrosis, because of either intrinsic (e.g., larger flap size) or extrinsic (e.g., diabetes) factors. Methods to preoperatively improve flap vascularity and limit postoperative ischemia are lacking. Noninvasive suction, using either a macrodeformational silicone cup interface (external volume expansion) or a microdeformational polyurethane foam interface (foam-mediated external volume expansion), has been shown to induce angiogenesis in tissues. The authors investigated whether the preoperative use of external volume expansion/foam-mediated external volume expansion improves flap s…

Suction (medicine)Reconstructive surgerymedicine.medical_specialtyAngiogenesisTissue ExpansionIschemiaMice ObeseMice Inbred StrainsStimulationSuctionVascular Remodeling030230 surgerySurgical FlapsDiabetes Mellitus ExperimentalNecrosis03 medical and health scienceschemistry.chemical_compound0302 clinical medicineVascularitymedicineAnimalsPostoperative PeriodIschemic PreconditioningInflammationbusiness.industryGraft SurvivalHistologymedicine.diseaseSurgeryVascular endothelial growth factorDisease Models AnimalDiabetes Mellitus Type 2chemistry030220 oncology & carcinogenesisFemaleSurgerymedicine.symptombusinessPlastic and Reconstructive Surgery
researchProduct

Boolean operations with implicit and parametric representation of primitives using R-functions

2005

We present a new and efficient algorithm to accurately polygonize an implicit surface generated by multiple Boolean operations with globally deformed primitives. Our algorithm is special in the sense that it can be applied to objects with both an implicit and a parametric representation, such as superquadrics, supershapes, and Dupin cyclides. The input is a constructive solid geometry tree (CSG tree) that contains the Boolean operations, the parameters of the primitives, and the global deformations. At each node of the CSG tree, the implicit formulations of the subtrees are used to quickly determine the parts to be transmitted to the parent node, while the primitives' parametric definition …

Surface (mathematics)Theoretical computer scienceComputer scienceInformation Storage and Retrieval02 engineering and technologyConstructive solid geometryImaging Three-DimensionalParametric surfaceSuperquadricsImage Interpretation Computer-Assisted[ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineeringparametric surfaceDifferentiable functionBoolean functionRepresentation (mathematics)ComputingMilieux_MISCELLANEOUSComputingMethodologies_COMPUTERGRAPHICSParametric statisticsGielis curveImplicit functionNumerical analysis020207 software engineeringNumerical Analysis Computer-Assistedsupershape[ INFO.INFO-GR ] Computer Science [cs]/Graphics [cs.GR]Computational geometryImage EnhancementComputer Graphics and Computer-Aided Design[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Vertex (geometry)Tree (data structure)Mesh generation[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Signal ProcessingCurve fitting020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionAlgorithmSoftwareAlgorithms
researchProduct