Search results for "APP"

showing 10 items of 28370 documents

Evidentiary proceedings before an appellate court in the Polish criminal trial

2016

W artykule przedstawiono postępowanie dowodowe przed sądem odwoławczym. Analizując tę problematykę wskazano, iż zakres postępowania dowodowego prowadzonego przed sądem ad quem determinuje model postępowania odwoławczego. W apelacyjnym modelu postępowania odwoławczego kontrola zaskarżonego orzeczenia obejmuje uchybienia zarówno w zakresie prawa, jak i błędną ocenę ustaleń faktycznych oraz błędy przy wymiarze kary. W tym modelu sąd apelacyjny ponownie przeprowadza dowody i wydaje zupełnie nowy wyrok, bez możliwości uchylenia zaskarżonego wyroku i przekazania sprawy sądowi pierwszej instancji do ponownego rozpoznania. Rewizyjny model postępowania odwoławczego charakteryzuje się dwuinstancyjnoś…

sąd odwoławczyappellate proceedingpostępowanie odwoławczeevidentiary proceedingappellate courtpostępowanie dowodoweIus Novum
researchProduct

Glosa do wyroku Sądu Najwyższego z dnia 9 lutego 2021 r., III KK 175/20

2022

W niniejszym opracowaniu autor akceptuje stanowisko Sądu Najwyższego, iż jeżeli w toku kontroli kasacyjnej Sąd Najwyższy stwierdzi, że apelacja strony, która wniosła kasację, nie została uwzględniona, a uzasadnienie wyroku sądu odwoławczego rażąco narusza przepis art. 457 § 3 k.p.k., zaś w kasacji w oparciu o „jakość” tego uzasadnienia wywodzony jest zarzut rażącego naruszenia art. 433 § 2 k.p.k. wprost (w treści zarzutu) lub też w uzasadnieniu kasacji (art. 526 § 1 k.p.k. w związku z art. 118 § 1 k.p.k.), to uchybienie takie wymaga uchylenia wyroku sądu odwoławczego, albowiem wymaga tego konstytucyjny art. 45 ust. 1 w zw. z art. 176 § 1 Konstytucji RP i konwencyjny (art. 6 EKPCz) standard …

sąd odwoławczyfair appeal trialappealkasacjarzetelne postępowanie odwoławczeSupreme Courtappellate courtSąd NajwyższycassationapelacjaIus Novum
researchProduct

Zasada bezpośredniości w postępowaniu odwoławczym na tle art. 452 K.P.K. z perspektywy historycznej

2019

Zasada bezpośredniości jest kwalifikowana to tzw. zasad nieskodyfikowanych. Oznacza to, że odkodowanie treści rzeczonej zasady jest możliwe w oparciu o interpretację odpowiedniej grupy przepisów. Art. 452 k.p.k. stanowi fundamentalny przepis, który odpowiada na zasadnicze pytanie dotyczqce zakresu realizowania zasady bezpośredniości w postępowaniu odwoławczym. O zakresie obowiqzywania zasady bezpośredniości w postępowaniu przed sqdem II instancji decyduje model postępowania odwoławczego, kształtowany w oparciuo obowiqzujqce granice dopuszczalnego dowodzenia w instancji odwoławczej. Na skutek przemodelowania postępowania odwoławczego z pełniqcego funkcję wyłqcznie kontrolnq w kierunku postęp…

sąd odwoławczyrulebezpośredniośćdirectnesszasadamodel postępowania odwoławczegocourt of appealmodel of appeal proceedingPROBACJA
researchProduct

A new approach for estimating a nonlinear growth component in multilevel modeling

2011

This study presents a new approach to estimation of a nonlinear growth curve component with fixed and random effects in multilevel modeling. This approach can be used to estimate change in longitudinal data, such as day-of-the-week fluctuation. The motivation of the new approach is to avoid spurious estimates in a random coefficient regression model due to the synchronized periodical effect (e.g., day-of-the-week fluctuation) appearing both in independent and dependent variables. First, the new approach is introduced. Second, a Monte Carlo simulation study is carried out to examine the functioning of the proposed new approach in the case of small sample sizes. Third, the use of the approac…

ta112Social PsychologyComputation05 social sciencesMonte Carlo methodMultilevel model050401 social sciences methods050301 educationRegression analysisRandom effects modelGrowth curve (statistics)EducationNonlinear system0504 sociologyDevelopmental NeuroscienceComponent (UML)Developmental and Educational PsychologyEconometricsApplied mathematicsLife-span and Life-course StudiesPsychology0503 educationta515Social Sciences (miscellaneous)International Journal of Behavioral Development
researchProduct

Numerical Recovery of Source Singularities via the Radiative Transfer Equation with Partial Data

2013

The inverse source problem for the radiative transfer equation is considered, with partial data. Here we demonstrate numerical computation of the normal operator $X_{V}^{*}X_{V}$ where $X_{V}$ is the partial data solution operator to the radiative transfer equation. The numerical scheme is based in part on a forward solver designed by F. Monard and G. Bal. We will see that one can detect quite well the visible singularities of an internal optical source $f$ for generic anisotropic $k$ and $\sigma$, with or without noise added to the accessible data $X_{V}f$. In particular, we use a truncated Neumann series to estimate $X_{V}$ and $X_{V}^{*}$, which provides a good approximation of $X_{V}^{*…

ta113Applied MathematicsGeneral MathematicsOperator (physics)ta111010102 general mathematicsMathematical analysisMicrolocal analysisNumerical Analysis (math.NA)Inverse problem01 natural sciences35R30 (Primary) 35S05 35R09 35Q20 92C55Neumann series010101 applied mathematicsSobolev spaceMathematics - Analysis of PDEsRadiative transferFOS: MathematicsGravitational singularityMathematics - Numerical Analysis0101 mathematicsAnisotropyMathematicsAnalysis of PDEs (math.AP)
researchProduct

Why Do Users Switch Mobile Applications? : Trialing Behavior as a Predecessor of Switching Behavior

2018

Mobile application providers face high user losses because users can easily and often switch to an alternative application. Researchers have recently started to study information technology (IT) switching. However, no studies have concentrated on the unique context of mobile applications. Mobile application switching differs from the switching behavior related to many other IT products and services because of the highlighted role of alternatives, beta versions, updates, reviews, and users’ spontaneous behavior. To address this gap, we develop a mobile-specific model by using a qualitative research approach. As a theoretical contribution, we introduce trialing behavior as a predecessor of sw…

ta113Computer science020204 information systems0502 economics and business05 social sciences0202 electrical engineering electronic engineering information engineeringswitching behavior02 engineering and technology050203 business & managementmobile applicationsInformation Systems
researchProduct

Software-as-a-Service Revenue Models

2013

This paper give an overview of the three main revenue models, focusing on the advantages and disadvantages for SaaS providers and their customers. Also identify the most effective revenue model for particular situations.

ta113Computer sciencebusiness.industrycomputer.internet_protocolSoftware as a serviceSoftware developmentInformation technologyCloud computingService-oriented architectureComputer securitycomputer.software_genreComputer Science ApplicationsEngineering managementRevenue modelHardware and ArchitectureRevenue assuranceYield managementbusinesscomputerSoftwareIT Professional
researchProduct

A Cooperative Coevolution Framework for Parallel Learning to Rank

2015

We propose CCRank, the first parallel framework for learning to rank based on evolutionary algorithms (EA), aiming to significantly improve learning efficiency while maintaining accuracy. CCRank is based on cooperative coevolution (CC), a divide-and-conquer framework that has demonstrated high promise in function optimization for problems with large search space and complex structures. Moreover, CC naturally allows parallelization of sub-solutions to the decomposed sub-problems, which can substantially boost learning efficiency. With CCRank, we investigate parallel CC in the context of learning to rank. We implement CCRank with three EA-based learning to rank algorithms for demonstration. E…

ta113Cooperative coevolutionTheoretical computer scienceLearning to RankComputer sciencebusiness.industryRank (computer programming)Genetic ProgrammingEvolutionary algorithmContext (language use)Genetic programmingImmune ProgrammingMachine learningcomputer.software_genreEvolutionary computationComputer Science ApplicationsComputational Theory and MathematicsCooperative CoevolutionInformation RetrievalBenchmark (computing)Learning to rankArtificial intelligencebusinesscomputerInformation SystemsIEEE Transactions on Knowledge and Data Engineering
researchProduct

Shared and personal learning spaces: Challenges for pedagogical design

2012

Abstract The development of new tools for collaboration, such as social software, plays a crucial role in leisure time and work activities. The aim of this article is to summarize the research in the field of computer-supported collaborative learning (CSCL). This is done particularly from the perspective of the blurred line between individual (personal) and group-level (shared) learning that the use of the new tools has forced us to re-think. First, individual and group-level perspectives to learning are discussed to make sense of the major notions of how learning is understood in CSCL research. Second, based on this theoretical grounding, it will be further elaborated what this means to th…

ta113Cooperative learningKnowledge managementComputer Networks and CommunicationsComputer sciencebusiness.industryEducational technologyCollaborative learningOpen learningExperiential learningLearning sciencesComputer Science ApplicationsEducationSynchronous learningActive learningta516businessta515The Internet and Higher Education
researchProduct

On shape differentiation of discretized electric field integral equation

2013

Abstract This work presents shape derivatives of the system matrix representing electric field integral equation discretized with Raviart–Thomas basis functions. The arising integrals are easy to compute with similar methods as the entries of the original system matrix. The results are compared to derivatives computed with automatic differentiation technique and finite differences, and are found to be in an excellent agreement. Furthermore, the derived formulas are employed to analyze shape sensitivity of the input impedance of a planar inverted F-antenna, and the results are compared to those obtained using a finite difference approximation.

ta113Discretizationta213Automatic differentiationApplied MathematicsMathematical analysista111General EngineeringFinite differenceBasis functionMethod of moments (statistics)Electric-field integral equationComputational MathematicsShape optimizationSensitivity (control systems)AnalysisMathematicsEngineering Analysis with Boundary Elements
researchProduct